Formulas
Clasificado en Matemáticas
Escrito el en 
español con un tamaño de 12,08 KB
Modus Ponendo Ponens (PP)
1 Si estudia, tendrá buenas calificaciones. 1 P -> Q P
2 Estudia 2 P P
3 Tendrá buenas calificaciones. 3 Q PP (1,2)
Modus Tollendo Tollens (TT)
1 Si das buenos examenes, pasará de curso 1 P ->Q P
2 No pasa de curso 2 -Q P
3 No da buenos examenes 3 -P TT(1,2)
Adjunción (A)
1 Estudia 1 P P
2 Pasará de curso. 2 Q P
3 Estudia y pasara de curso. 3 P . Q A(1,2)
Simplificación (S)
1 Estudia y tiene buenas calificaciones 1 P . Q P 1 P . Q P
2 Estudia 2 P S(1) 2 Q S(1)
3 Tiene buenas calificaciones
Tollendo Ponens (TP)
1 O estudia o reprobará el examen 1 P v Q P 1 P v Q P
2 No estudia. 2 -P P 2 -Q P
3 Reprobará el examen. 3 Q TP(1,2) 3 P TP(1,2)
Adición (LA)
1 Estudia. 1 P P
2 Estudia o trabaja. 2 P v Q LA(1)
Silogismo Hipotetico (SH)
1 Si estudia, aprueba los exámenes. 1 P -> Q P
2 Si aprueba los exámenes, terminará la Media. 2 Q -> R P
3 Si estudia, terminará la Media. 3 P -> R SH(1,2)
Silogismo Disyuntivo (SD)
1 Estudia o reprueba los exámenes. 1 P v Q P
2 Si estudia, terminará la Media. 2 P -> R P
3 Si reprueba los exámenes, trabajará. 3 Q -> S P
4 Terminará la Media o trabajará. 4 R v S SD (1,2,3)
Simplificacion Disyuntiva (DP)
1 Estudia o estudia. 1 P v Q P
2 Estudia. 2 Q v p CL(1)
Leyes de Morgan (LM)
1 No bailas y no te diviertes. 1 -P . -Q P
2 No es cierto que bailas o te diviertes. 2 - (PvQ) LM(1)
-----------------------------------------------------
1 No es cierto que bailas o te diviertes. 1 -(P v Q) P
2 No bailas y no te diviertes. 2 -P . -Q LM(1)
------------------------------------------------------
1 No bailas o no te diviertes. 1 - P v Q p
2 No es cierto que bailas y te diviertes. 2 - (P . Q) LM(1)
-------------------------------------------------------
1 No es cierto que bailas y te diviertes. 1 - (P . Q) P
2 No bailas o no te diviertes. 2 -P v -Q LM (1)
__________________________________
1 Bailas y te diviertes. 1 P . Q p
2 No es cierto que no bailas o no te diviertes. 2 - (-P V -Q) LM(1)
----------------------------------------------------------
1 No es cierto que bailas o no te diviertes 1 - (P v -Q) p
2 No bailas y te diviertes. 2 -P . Q LM (1)
----------------------------------------------------------
Bicondicional (LB)
1 Si 2 X 3 = 6 si y solo si 3 + 3 = 6 1 P <-> Q P 1 P <-> Q P
2 Si 2 x 3 = 6 , entonces 3 + 3 = 6 2 P ->Q LB(1) 2 Q -> P LB(1)
3 Si 3 + 3 = 6, entonces 2 x 3 = 6
____________________________________
Doble Negacions (DN)
1 No es cierto que no te diviertes.
2 Te diviertes.
_____________________________________
1 Te diviertes.
2 No es cierto que no te diviertes.
_______________________________
Ley Conmutativa (CL)
1 Bailas y te diviertes.
2 Te diviertes y bailas.
_______________________
Disyuncion
1 Bailas o te diviertes. 1 P v Q p
2 Te diviertes o bailas.