REGLAS LÓGICAS

Las reglas lógicas son formas de razonamientos válidas y elementales en las que al sustituir las variables por constantes dan lugar a razonamientos válidos.

Modus Ponens (modo de poner) afirma que si p, se consigue q.
Si aplicamos el método del condicional asociado a unrazonamiento, podemos determinar si un razonamiento es válido o no.
Siguiendo los pasos del condicional asociado: -Dado un razonamiento se abstrae su forma lógica.
Si la historia ha llegado a su fin, entonces la humanidad está condenada a repetirse. Efectivamente, la historia ha llegado a su fin. Por lo tanto, la humanidad está condenada a repetirse.
Si p q
P
_________
q
-De la forma lógica pasamos a la forma de proposición
(p q) . p q

-Hallo la tabla de verdad, respetando las reglas que rigen cada conectiva.


(p q) . p q
V V V V V V V
F V V F F V V
V F F F V V F
F V F F F V F


Modus Tollens (modo de sacar) afirma que si p, se consigue q.
Si aplicamos el método del condicional asociado a un razonamiento, podemos determinar si un razonamiento es válido o no.
Siguiendo los pasos del condicional asociado: -Dado un razonamiento se abstrae su forma lógica.
Si p q
-q
_________
-p
-De la forma lógica pasamos a la forma de proposición
(p q) . -q -p


-Hallo la tabla de verdad, respetando las reglas que rigen cada conectiva.
(p q) . -q -p
V V V F F V F
F V V F F V V
V F F F V V F
F V F V V V V