05 - Negação De Proposições Flashcards
Como negar conjunção (e) (^)?
Nega-se as proposições (P, Q)
Troca-se o conectivo (e) (^) Pelo conectivo (ou) (v)
A conjunção vira disjunção
~(P ^ Q) = ?
~P v ~Q
Dica:
Na conjunção volta-se negando tudo, invertendo todos os sinais (inclusive os ^ v)
~(P ^ Q) = ~P v ~Q
Como negar disjunção (ou) (v)?
Nega-se as proposições (P, Q)
Troca-se o conectivo (ou) (v) Pelo conectivo (e) (^)
A disjunção vira conjunção
~(P v Q) = ?
~P ^ ~Q
Dica:
Na disjunção volta-se negando tudo, invertendo todos os sinais (inclusive os v ^)
~(P v Q) = ~P ^ ~Q
Como negar o condicional (se…, então) (→)?
Mantém o antecedente (1a proposição) nega-se o consequente (2a proposição)
Troca-se o conectivo (se..., então) (→) Pelo conectivo (e) (^)
O condicional vira conjunção
~(P → Q) = ?
P ^ ~Q
Dica:
Mantém a 1a proposição, nega a 2a proposição
→ vira ^
~(P → Q) = P ^ ~Q
Como negar disjunção exclusiva (ou…, ou) (vsublinhado)?
Para negar a disjunção exclusiva
Faz-se o bicondicional
Troca-se o conectivo (ou..., ou) (vsublinhado) Pelo conectivo (se..., e somente se) (↔)
~(PvsublinhadoQ) = P ↔ Q
~(PvsublinhadoQ) = ?
P ↔ Q
Dica:
A negação da disjunção exclusiva vira o bicondicional
(vsublinhado) ↔
~(PvsublinhadoQ) = P ↔ Q
Como negar a bicondicional (se…, e somente se) (↔)?
Para negar a bicondicional
Faz-se a disjunção exclusiva
Troca-se o conectivo (se..., e somente se) (↔) Pelo conectivo (ou..., ou) (vsublinhado)
~(P ↔ Q) = PvsublinhadoQ
~(P ↔ Q) = ?
PvsublinhadoQ
Dica:
A negação da bicondicional vira a disjunção exclusiva
↔ (vsublinhado)
~(P ↔ Q) = PvsublinhadoQ