11890337
Description
Flashcards by Fernanda Guimarães , updated more than 1 year ago
|
Created by Fernanda Guimarães
almost 7 years ago
|
|
| Question | Answer |
| Equivalência de conjunção (^) | Recíproca p^q= q^p |
| Equivalência de disjunção (v) | Recíproca p v q= q v p |
| Equivalência de disjunção EXCLUSIVA(v_) | Recíproca (p v_ q= q v_ p) Contrária (p v_ q= ~p v_ ~q) Contra-positiva (p v_ q= ~q v_ ~p) p v_q = (p ^ ~q) v (~p ^ q) |
| Equivalência bicondicional (<->) | Recíproca (p <-> q= q <-> p) Contrária (p <-> q= ~p <-> ~q) Contra-positiva (p <-> q= ~q <-> ~p) p <-> q = (p -> q) ^ (q -> p) |
| Equivalência condicional (->) | Contra-positiva (p->q= ~q -> ~p ) p -> q = ~p v q |
| LEIS DE MORGAN Negação de conjunção | ~(p^q) = ~p v ~q |
| LEIS DE MORGAN Negação de disjunção | ~(p v q)= ~p ^ ~q |
| Negação da disjunção exclusiva | ~ (p v_ q) = ~p v_ q ~ (p v_ q) = p v_ ~q ~ (p v_ q) = p <-> q |
| Negação do bicondicional | ~(p <-> q) = ~p <-> q ~(p <-> q) = p <-> ~q ~(p <-> q) = p v_ q |
Want to create your own Flashcards for free with GoConqr? Learn more.