COMPROBACION DEL MODUS PONENS:
P | Q | P Q | (P Q)^P | (P Q)^P] Q |
V V F F | V F V F | V F V V | V F F F | V V V V |
COMPROBACION DEL MODUS TOLLENS:
P | ?p | Q | ?Q | P Q | (P Q)^?Q | [(PQ)^?Q] ?P | ||||||||
V V F F | F F V V | V F V F | F V F V | V F V V | F F V V | V V V V |
COMPROBACION DE LA LEY DEL SILOGISMO:
A | B | C | A B(1) | B | A | 1 ^ 2 | (1^2) 3 | ||||
V V V V F F F F | V F V F V F V F | V V F F V V F F | V F V F V F V F | V V F F V V F V | V V F F V V V V | V F F F V F F V | V V V V V V V V |
COMPROBACION DEL MODO CONJUNTIVO:
M | N | M ^ N | (M ^ N) M | M ^ N N |
V V F F | V F V F | V F F F | V V V V | V V V V |
COMPROBACION DEL MODO DISYUNTIVO:
L | M | ? L | L ? M | ( L? M ) ^ ? L | ( L ? M ) ^ ? L M | |||||||
V V F F | V F V F | F F V V | V V V F | F F V F | V V V V |
Autor:
Irina Julio
Página anterior | Volver al principio del trabajo | Página siguiente |