A - Equivalências Lógicas Flashcards

1
Q

O que é a equivalência lógica?

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Quais são as equivalências fundamentais?

A

1 - Equivalência Contrapositiva

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

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Equivalência contrapositiva

A

P → Q ≡ ~Q → ~P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

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

A

P → Q ≡ ~P ∨ Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

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

A

P ∨ Q ≡ ~P → Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

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

A

Sim, ou seja:

  • Podemos dizer que a negação de P∧Q é ~P∨~Q
  • Podemos dizer que ~(P∧Q) é equivalente a ~P∨~Q
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

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)

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Leis de Morgan

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Negação da condicional

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

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

A

São duas formas:

~(P∧Q) ≡ P→~Q

~(P∧Q) ≡ Q→~P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Conjunção de condicionais

A

São duas equivalências:

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

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Equivalências da disjunção exclusiva

A

São 3:

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

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Negações da disjunção exclusiva

A

São 4:

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Equivalências da Bicondicional

A

São 4:

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Negações da Bicondicional

A

São 5 (as mais comuns):

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

Observe que a bicondicional é equivalente a [(P → Q) ∧ (Q → P)]: isso é um “se e somente se”, mas, a negação é:

~(P → Q): P ∧ (~Q).
~ ( ∧ ): v
~(Q → P): Q ∧ (~P).

Ficando:

[P ∧ (~Q)] ∨ [Q ∧ (~P)]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

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

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

A

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

12
Q

P v Q ∧ ~ (P ∧ Q) é equivalente a:

A

Primeiramente, temos que perceber que se trata de uma disjunção exclusiva, como se fosse:

P ou Q, mas não ambos, ou
Ou P ou Q.

Tem várias equivalências e negações, mas o ponto que pretendíamos chegar já foi alcançado, que era perceber que se trata de uma disjunção exclusiva.

13
Q

~[(P v Q) ∧ ~(P ∧ Q)]

A

Temos que negar o ∧.

~[(P v Q) ∧ ~(P ∧ Q)]

1º: ~(P v Q): (~P ∧ ~Q)

2º: Negar a negação de “~(P ∧ Q)”
: P ∧ Q.

Ficando, no final das contas:

(~P ∧ ~Q) v (P ∧ Q)

14
Q

“Ana não vai à igreja se e somente se Maria não tem fé”
é equivalente a negação de “Maria tem fé ou Maria vai à igreja, mas não ambos”

A

Certo, a bicondicional é a negação da disjunção exclusiva (e vice-versa).

Ambas aceitam comutatividade.

“Ou Maria tem fé ou Maria vai à igreja, mas não ambos” também estaria correta. De acordo com as bancas: o “mas não ambos” reforça a ideia da exclusividade.

15
Q

“Ou Maria tem fé ou Ana vai à igreja” é equivalente a “Maria tem fé e Ana vai à igreja, ou Maria não tem fé e Ana não vai à igreja”.

A

(M ∧ A) v (~M ∧ ~A)

“Ou Maria tem fé ou Ana vai à igreja” é equivalente a NEGAÇÃO de “Maria tem fé e Ana vai à igreja, ou Maria não tem fé e Ana não vai à igreja”.

Ou Maria tem fé ou Ana vai à igreja

= (M ⊕ A)
= (M v A) ∧ ~(M ∧ A)

~[(M v A) ∧ ~(M ∧ A)]
= (~M ∧ ~A) v (M ∧ A)

Com a comutatividade da disjunção inclusiva:

“Maria tem fé e Ana vai à igreja, ou Maria não tem fé e Ana não vai à igreja”

O “ou” aceita comutatividade, podendo ficar:

“Maria não tem fé e Ana não vai à igreja, ou Maria tem fé e Ana vai à igreja”.