Ready to learn
Ready to review
Ignore words
Check the boxes below to ignore/unignore words, then click save at the bottom. Ignored words will never appear in any learning session.
Ignore?
Modus ponendo ponens (MPP)
(P → Q ∧ P) ⇒ Q
Modus Tollendo Tollens (MTT)
(P → Q ∧¬Q ) ⇒ ¬P
(1) Modus Tollendo ponens (MTP) o ley de disyunción *
(P ∨ Q ∧¬P ) ⇒ Q
(2) Modus Tollendo ponens (MTP) o ley de disyunción **
(P ∨ Q ∧¬Q ) ⇒ P
Doble negación
¬¬P ⇔ P
(1) Regla de simplificación (Lajd) *
(P∧Q)⇒ P
(2) Regla de simplificación (Lajd) **
(P∧Q)⇒ Q
(1) Regla de adjunción *
(P∧Q )⇒ P∧Q
(2) Regla de adjunción **
(P∧Q ) ⇒ Q∧P
(1) Leyes de De Morgan (LDM) *
¬(P∧Q) ⇔ ¬P ∨ ¬Q
(2) Leyes de De Morgan (LDM)**
¬(P∨Q) ⇔ ¬P ∧ ¬Q
Ley de silogismo hipotetico (LSH)
(P → Q ∧ Q → R) ⇒ P → R
(1) Ley de silogismo disyuntivo (LSD)*
(P ∨ Q ∧ P → R ∧ Q → S) ⇒ R∨S
(2) Ley de silogismo disyuntivo (LSD) **
(P ∨ Q ∧ P → R ∧ Q → S)⇒ S∨R
(1) Ley de las bicondicionales (LB) *
(P ⇔ Q) ⇒ P → Q
(2) Ley de las bicondicionales (LB) **
(P → Q ∧ Q→P) ⇒ P ⇔ Q
(3) Ley de las bicondicionales (LB) ***
(P ⇔ Q) ⇒ Q → P
(4) Ley de las bicondicionales (LB) ****
(P ⇔ Q) ⇒(P→Q)∧(Q→P)
Equivalencia del implica
P → Q ≡ ¬P ∨ Q
Negación del implica
¬(P → Q) ≡ P ∨ ¬Q
Ley asociativa de la disyunción
(P ∨ Q)∨R ⇔ P∨(Q ∨ R)
Ley conmutativa para la disyunción
P ∨ Q ⇔ Q ∨ P
Ley asociativa para la conjunción
(P∧Q) ∧ R ⇔ P∧(Q∧R)
Ley conmutativa para la conjunción
P∧Q ⇔ Q∧P
Ley distributiba de la conjunción respecto a la disyunción
P ∧ ( Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)
Ley de contrapuesta
P → Q ⇔ ¬Q → ¬P
(1) Ley de idempotencia *
P ∨ T ⇔ T
(2) ley de idempotencia **
P∧T ⇔ P
(3) Ley de idempotencia ***
P ∨ ∅ ⇔ P
(4) ley de idempotencia ****
P ∧ ∅ ⇔ ∅
