Please enable JavaScript.

Coggle requires JavaScript to display documents.

Equivalências Lógicas, Negações Lógicas, Qual regra seguir?, Equivalência…

- - - - Segunda Lei de Morgan: negar duas proposições ligadas por “ou” é o mesmo que negar as duas proposições e juntá-las com “e”: ~ (p ∨ q) = (~ p) ∧ (~ q)
        Para negarmos uma proposição composta ligada pelo conectivo
        operacional “OU”, basta negarmos ambas as proposições individuais(simples) e trocarmos o conectivo “ou” pelo conectivo “e”. Ou seja, “transformaremos” uma disjunção inclusiva em uma conjunção.
        
        Negação da Disjunção Exclusiva
        
        1ª Regra: ¬(P ⊻ Q) ⇔ P ↔ Q
        Mantemos as duas partes e trocamos o conectivo “ou...ou...” pelo
        conectivo “se e somente se”.
        
        2ª Regra: ¬(P ⊻ Q) ⇔ (¬P) ↔ (¬Q)
        Negamos as duas partes e trocamos o conectivo “ou...ou...” pelo conectivo “se e somente se”.
        
        3ª Regra: ¬(P ⊻ Q) ⇔ P ⊻ (¬Q)
        Mantemos a primeira e negamos a segunda e mantemos o conectivo “ou... ou...”
        
        4ª Regra: ¬(P ⊻ Q) ⇔ (¬P) ⊻ Q
        Negamos a primeira, mantemos a segunda e mantemos o conectivo “ou... ou...”.
        
        1 more item...