Resumen de Leyes y propiedades de la Lgica

1) Leyes de DE MORGAN (p q) p q
(p q) p q

2) DE DOBLE NEGACIN pp

3) DE CONTRARRECPROCA (p q) q p

4) Definicin del BICONDICIONAL (p q) (p q) (q p)

5) IMPLICACION/DISYUNCION (p q) (p q)

6) IDEMPOTENCIA ppp
ppp

7) REDUCCION p (p q) p
p (p q) p

8) DE COMPLEMENTO p p Vo (Ley de tercero excluido)

(Leyes Inversas) p p Fo

9) Leyes de ABSORCIN p Fo Fo
p Vo Vo

10) Leyes de Neutro p Vo p

p Fo p

11) DE TRANSITIVIDAD (p q) (q r) (p r)

Propiedad ASOCIATIVA (p q) r p (q r) || (p q) r p (q r)

Propiedad CONMUTATIVA (p q) (q p) || (p q) (q p)

Propiedad DISTRIBUTIVA p (q r) (p q) (p r)
p (q r) (p q) (p r)

Reglas de Inferencia
LEY DE RAZONAMIENTO DIRECTO (M. Ponens): [(p q) p] q
* Falacia: negacin del antecedente [(p q) p] (no se puede decir nada)

LEY DEL RAZONAMIENTO INDIRECTO (M. Tollens): [(p q) q] p

* Falacia: afirmacin del consecuente [(p q) q] (no se puede decir nada)

LEY DE TRANSITIVIDAD: [(p q) (q r)] (p r)

(Ley de Silogismo)

LEY DE SILOGISMO DISYUNTIVO: [(p q) p] q

Falacia: ESQUEMA DE CADENA FALSO: [(p q) (p r)] (q r)

CETP (UTU) EMT/EMP - Lgica Prof. Roberto Barreira