Created by Freddy Ulate Agüero
over 10 years ago
|
||
Question | Answer |
Implicación y doble disyunción | \[ P \Rightarrow Q \equiv \neg P \vee Q \] |
Doble negación | \[ \neg(\neg P) \equiv P \] |
Contrapositiva | \[ P \Rightarrow Q \equiv \neg Q \Rightarrow \neg P \] |
De Morgan | \[ \neg (P \vee Q) \equiv \neg P \wedge \neg Q \] \[ \neg (P \wedge Q) \equiv \neg P \vee \neg Q \] |
Conmutatividad | \[ P \vee Q \equiv Q \vee P \] \[ P \wedge Q \equiv Q \wedge P \] |
Idempotencia | \[ P \vee P \equiv P \] \[ P \wedge P \equiv P \] |
Want to create your own Flashcards for free with GoConqr? Learn more.