A - Equivalências Lógicas

Question 1

O que é a equivalência lógica?

Answer 1

Quando duas proposições apresentam a mesma tabela-verdade

Question 2

Quais são as equivalências fundamentais?

Answer 2

1 - Equivalência Contrapositiva

2 - Transformação da condicional em disjunção inclusiva

3 - Transformação da disjunção inclusiva em condicional

Question 3

Equivalência contrapositiva

Answer 3

P → Q ≡ ~Q → ~P

Question 4

Transformação da condicional em disjunção inclusiva

Answer 4

P → Q ≡ ~P ∨ Q

Question 5

Transformação da disjunção inclusiva para condicional

Answer 5

P ∨ Q ≡ ~P → Q

Question 6

É correto afirmar que a negação de P∧Q , pode ser representada por ~(P∧Q), que corresponde a ~P∨~Q?

Answer 6

Sim, ou seja:

• Podemos dizer que a negação de P∧Q é ~P∨~Q
• Podemos dizer que ~(P∧Q) é equivalente a ~P∨~Q

Question 7

Não é verdade que Joãozinho não comeu chocolate é equivalente a Joãozinho comeu chocolate? (Questão de dupla negação de proposição simples)

Answer 7

Sim, pois a negação de ~P sempre tem valor lógico igual a proposição P

Question 8

Leis de Morgan

Answer 8

Negação da conjunção:

1 nega-se ambas a parcelas da conjunção
2 troca-se a conjunção pela disjunção inclusiva

Ou seja:
~(P∧Q)≡~P∨~Q

Negação da disjunção inclusiva:

1 - Negam-se ambas as parcelas da disjunção inclusiva; e
2 - Troca-se a disjunção inclusiva pela conjunção

Ou seja:
~(P∨Q)≡~P∧~Q

Question 8

Negação da condicional

Answer 8

1 - Mantém-se o primeiro termo
2 - Troca-se a condicional pela conjunção
3 - Nega-se o segundo termo

~(P→Q) ≡ P∧~Q

Question 8

Negação da conjunção para a forma condicional

Answer 8

São duas formas:

~(P∧Q) ≡ P→~Q

~(P∧Q) ≡ Q→~P

Question 8

Conjunção de condicionais

Answer 8

São duas equivalências:

(P→R)∧(Q→R) ≡ (P∨Q)→R

(P→Q)∧(P→R) ≡ P → (Q∧R)

Question 9

Equivalências da disjunção exclusiva

Answer 9

São 3:

1 - P ⊻ Q: (~P) ⊻ (~Q)
2 - (~P) ↔ Q
3 - P ↔ (~Q)

+ Bônus: P ⊻ Q ⬄ (P ∨ Q) ∧ ~(P ∧ Q)

Question 10

Negações da disjunção exclusiva

Answer 10

São 3:

1 - P ↔ Q
2 - (~P) ⊻ Q
3 - P ⊻ (~Q)

Question 10

Equivalências da Bicondicional

Answer 10

São 4:

1 - (P → Q) ∧ (Q → P)
2 - (~P) ↔ (~Q)
3 - (~P) ⊻ Q
4 - P ⊻ (~Q)

Question 10

Negações da Bicondicional

Answer 10

São 4 (as mais comuns):

1 - P ⊻ Q
2 - (~P) ↔ Q
3 - P ↔ (~Q)
4 - (P ∧ ~Q) ∨ (Q ∧ ~P)

Question 11

Estudo, trabalho e não me canso pode ser negado da seguinte forma:

Não estudo ou não trabalho ou me canso

Answer 11

Essa vírgula, tem papel de conjunção

Sim, é equivalente à proposição: “estudo e trabalho e não me canso

Podendo ser negada da seguinte forma:

não estudo ou não trabalho ou me canso