FORMALIZACIÓN DE LAS PROPOSICIONES

 
Las proposiciones se pueden formalizar mediante el uso de símbolos para representar los diferentes elementos que se presentan dentro de la proposición compuesta, permitiendo así su fácil análisis y determinar su validez, es decir, para determinar si son verdaderos (V) o falsos (F), consta de 3 grupos, y signos auxiliares. Ver más...

Da clic para seguir el vínculo:
VARIABLES LÓGICAS O PROPOSICIONALES
Conectivos LÓGICOS
JERARQUÍA DE CONECTORES
SIGNOS AUXILIARES

JERARQUÍA DE CONECTORES LÓGICOS

 
(De mayor a menor). Se hace uso de esta jerarquía cuando hay símbolos auxiliares como llaves, corchetes, etc.Ver más...

1ro: Bi implicador = ↔
2do Disyuntor fuerte =
3ro Implicador, replicador = → ←
4to Conjuntor y disyuntor débil = v Ʌ
5to Negador = ~

Ver más...

Da clic para seguir el vínculo:
Conectivos LÓGICOS