Universidad Nacional de Rosario

Facultad de Ciencias Exactas, Ingenierı́a y Agrimensura

Técnicatura Universitaria en Inteligencia Artificial
Lógica

Resumen de las Reglas y Leyes

Reglas de inferencia
Trivial (t). Introducción de la Negación (i¬ ).

p p → F0
∴p ∴ ¬p

Introducción de la Conjunción (i∧ ). Eliminación de la Negación (e¬ ).

¬¬p
p
∴p
q
∴p∧q Introducción de la Contradicción (iF0 ).

Eliminación de la Conjunción (e∧ ). p

¬p
p∧q p∧q ∴ F0
∴p ∴q
Eliminación de la Contradicción (eF0 ).
Introducción de la implicancia (i→ ).
F0
[p] ∴p
..
. Tercero excluido (TND).
q
∴p→q
∴ p ∨ ¬p
Eliminación de la implicancia (e→ ).
Modus Tollens (MT).
p→q
p p→q
∴q ¬q
∴ ¬p
Introducción de la Disyunción (i∨ ).
Silogismo Disyuntivo (SD).

p q p∨q
∴p∨q ∴p∨q ¬p
∴q
Eliminación de la Disyunción (e∨ ).
Silogismo Hipotético (SH).
p∨q
p→r p→q
q→r q→r
∴r ∴p→r
Leyes de la lógica
Ley de la doble negación. Leyes del neutro.

¬(¬p) ⇔ p p ∧ T0 ⇔ p

Leyes de De Morgan. p ∨ F0 ⇔ p

¬(p ∧ q) ⇔ ¬p ∨ ¬q Leyes inversas.

¬(p ∨ q) ⇔ ¬p ∧ ¬q p ∧ ¬p ⇔ F0
Leyes conmutativas. p ∨ ¬p ⇔ T0
p∧q ⇔q∧p
Leyes de dominación.
p∨q ⇔q∨p
p ∧ F0 ⇔ F0
Leyes de asociativas.
p ∨ T0 ⇔ T0
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
Leyes de absorción.
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
p ∧ (p ∨ q) ⇔ p
Leyes de distributivas.
p ∨ (p ∧ q) ⇔ p
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
Negación de tautologı́a.
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
¬T0 ⇔ F0
Leyes idempotentes.

p∧p⇔p Negación de contradicción.

p∨p⇔p ¬F0 ⇔ T0