Algunas reglas de inferencia y leyes lógicas.

Regla de inferencia Denominación

(p  q)  p Simplificación conjuntiva
p(pq) Amplificación disyuntiva
[p  ( p → q)]  q Modus Ponens
[( p → q)  q)]  p Modus Tollens
[( p → q)]  ( q → r)]  ( p → r) Silogismo hipotético
[(p  q)  p)]  q Silogismo disyuntivo
[(p  q)  (p  r)]  q  r Resolución

Leyes Lógicas Denominación

(p)  p Doble negación
pp p Idempotencia
pp p
(p  q)  p  q De Morgan
(p  q)  p  q
p  (q  r)  (p  q)  (p  r) Distributivas
p  (q  r)  (p  q)  (p  r)
pT p Elemento neutro
p F  p
p  p  F Contradicción
p  p  T Tercero excluído o dicotomía
p  F F Dominación
p T  T
p  (p  q)  p Absorción
p  (p  q)  p
(p → q)  (p  q) Condicional
(p → q)  (q → p) Contrarrecíproca
(p  q)  (p → q)  ( q → p) Bicondicional

Leyes de la teoría de conjuntos

MATEMÁTICAS DISCRETAS – BPTMI30