1114924
Description
Flashcards by Freddy Ulate Agüero, updated more than 1 year ago
|
|
Created by Freddy Ulate Agüero
over 9 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.