Karteikarten

Equivalencia lógicas

Freddy Ulate Agüero Matemática Discreta Universidad Spanisch 13 Karten

Karten in diesem Stapel (13)

1Implicación y doble disyunción (ID)\[ P \Rightarrow Q \equiv \neg P \vee Q \]
2Contrapositiva\[ P \Rightarrow Q \equiv \neg Q \Rightarrow \neg P \]
3Doble negación (DN)\[ \neg(\neg P) \equiv P \]
4De Morgan (DM)\[ \neg (P \vee Q) \equiv \neg P \wedge \neg Q \]
\[ \neg (P \wedge Q) \equiv \neg P \vee \neg Q \]
5Conmutatividad (Con.)\[ P \vee Q \equiv Q \vee P \]
\[ P \wedge Q \equiv Q \wedge P \]
6Asociativa (Aso.)\[ (P \vee Q) \vee R \equiv P \vee (Q \vee R) \]
\[ (P \wedge Q) \wedge R \equiv P \wedge (Q \wedge R) \]
7Distributiva (Dis.)\[ P \vee (Q \wedge R) \equiv (P \vee Q) \wedge (P \vee R) \]
\[ P \wedge (Q \vee R) \equiv (P \wedge Q) \vee (P \wedge R) \]
8Idempotencia (Ide.)\[ P \vee P \equiv P \]
\[ P \wedge P \equiv P \]
9Neutro (Ne.)\[ P \vee F_{0} \equiv P \]
\[ P \wedge V_{0} \equiv P \]
10Inversos (Inv.)\[ P \vee \neg P \equiv V_{0} \]
\[ P \wedge \neg P \equiv F_{0} \]
11Dominación (Dom.)\[ P \vee F_{0} \equiv F_{0} \]
\[ P \wedge V_{0} \equiv V_{0} \]
12Absorción (Abs.)\[ P \vee (P \wedge Q) \equiv P \]
\[ P \wedge (P \vee Q) \equiv P \]
13Exportación (Exp.)\[P \Rightarrow (Q \Rightarrow R ) \equiv (P \wedge Q) \Rightarrow R \]