REGLAS DE INFERENCIA LEYES ALGEBRAÍCAS

Nombre Regla de Leyes de: Símbolo

Inferencia
P DOBLE
MODUS PONENS P ⟶Q NEGACIÓN ¬(¬ P)⇔ P
∴Q
P ⟶Q NEGACIÓN DE
MODUS TOLLENS ¬Q V ¬V =F
∴¬P
P ⟶Q
LEY DEL Q ⟶R NEGACIÓN DE F ¬ F=V
SILOGISMO ∴P⟶ R

P
REGLA DE LA Q CONMUTATIVA P ∧Q ⇔ Q ∧ P
CONJUNCIÓN ∴ P ∧Q P ∨Q ⇔ Q ∨ P

REGLA DEL P ∨Q ( P ∧Q ) ∧ R ⇔ P ∧ ( Q∧ R )
SILOGISMO ¬P ASOCIATIVA ( P ∨Q ) ∨ R ⇔ P ∨ ( Q∨ R )
DISYUNTIVO ∴Q
¬P⟶ F
REGLA DE ∴P DISTRUBUTIVA P ∧ ( Q ∨ R ) ⇔ ( P∧ Q ) ∨ ( P ∧ R )
CONTRADICCIÓN P ∨(Q ∧ R) ⇔(P ∨Q) ∧(P ∨ R)

REGLA DE P ∧Q P ∧ ( P∨ Q ) ⇔ P
SIMPLIFICACIÓN ∴P ABSORCIÓN P ∨ ( P∧ Q ) ⇔ P
CONJUNTIVA
REGLA DE P P∧P⇔P
AMPLIACIÓN ∴ P ∨Q IDEMPOTENCIA P∨P⇔P
DISYUNTIVA
P ∧Q
REGLA DE P ⟶(Q ⟶ R ) P ∧V ⇔ P
DEMOSTRACIÓN ∴R IDENTIDAD P∨F⇔P
CONDICIONAL

REGLA DE P⟶R P ∧¬ P ⇔ F
DEMOSTRACIÓN Q⟶R INVERSOS P ∨¬ P ⇔ V
POR CASOS ∴ P ∨Q ⟶ R
P∧F⇔F
DOMINACIÓN P ∨V ⇔ V

¬ ( P ∧Q ) ⇔ ¬ P ∨¬ Q
DE MORGAN ¬ ( P ∨Q ) ⇔ ¬ P ∧¬ Q