Documentos de Académico
Documentos de Profesional
Documentos de Cultura
enlazadas
por las palabras "Si... entonces..." u otras que tengan el mismo sentido. La
proposición que
precede al "entonces" se llama el antecedente y la que le sigue se llama el
consecuente y no
se pueden intercambiar sin que se altere el sentido.
Algunas proposiciones, aunque no estén separadas constituyen una implicación. Por
ejemplo
la proposición "Los gatos son felinos" es equivalente a la implicación: "Si es gato,
entonces es
felino"
p q, aunque siempre tiene el sentido condicional del "Si se cumple lo que dice p
entonces
se cumplirá necesariamente lo que dice q", se lee simplemente "p entonces q".
SD Silogismo Disyuntivo
A∨B
¬A
-----
¬B
SH Silogismo hipotético
A→B
B→C
-----
A→C
LS Ley de simplificación
A∧B
-----
A
LA Ley de adición
A
-----
A∨B
CONTRAPOSITIVA
A→B
-----
¬B → ¬A