Aula 01: Equivalências lógicas Flashcards

1
Q

O que é uma equivalência lógica?

A

Duas proposições A e B são equivalentes (A ⇔ B
A ≡ B) quando todos os valores lógicos assumidos por elas são iguais para todas as combinações de valores lógicos atribuídos às proposições simples que as compõem (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 três equivalências fundamentais

A
  • Equivalência contrapositiva da condicional;
  • Transformação da condicional (se…então) em disjunção inclusiva (ou); e
  • Transformação da disjunção inclusiva (ou) em condicional (se…então).
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
1. Invertem-se as posições do antecedente e do consequente; 2. Negam-se ambos os termos da condicional.
Ex.:
p: “Hoje choveu.”
q: “João fez a barba.”
Considere a seguinte condicional p→q:
p→q: “Se [hoje choveu], então [João fez a barba].”
A condicional a seguir é equivalente à condicional original:
~q→~p: “Se [João não fez a barba], então [hoje não choveu].”

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

Transformação da condicional (se…então) em disjunção inclusiva (ou)

A

p→q ≡ ~p∨q
1. Nega-se o primeiro termo;
2. Troca-se a condicional (se…então; →) pela disjunção inclusiva (ou; ∨); e
3. Mantém-se o segundo termo.
Ex.: p→q: “Se [hoje choveu], então [João fez a barba].”
~p∨q: “[Hoje não choveu] ou [João fez a barba].”

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

Transformação disjunção inclusiva (ou) em condicional (se…então)

A

p∨q ≡ ~p→q
1. Nega-se o primeiro termo;
2. Troca-se a disjunção inclusiva (ou; ∨) pela condicional (se…então; →); e
3. Mantém-se o segundo termo.
Ex.: p∨q: “[Pedro estuda] ou [Maria trabalha].”
~p→q: “Se [Pedro não estuda], então [Maria trabalha].”

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

O que são negações lógicas?

A

Uma negação lógica acaba sendo uma equivalência proveniente da negação de uma proposição. Por exemplo, a negação de p∧q, que pode ser representada por ~(p∧q), corresponde a ~p∨~q. ~p∨~q terá o valor lógico da negação de p∧q, dada por ~(p∧q), para todas as linhas da tabela-verdade:

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

Negação da conjunção (e; ∧) (Lei de Morgan)

A

~(p∧q) ≡ ~p∨~q
1. Negam-se ambas as parcelas da conjunção (e; ∧); e
2. Troca-se a conjunção (e; ∧) pela disjunção inclusiva (ou; ∨).
Ex.: p∧q: “[Comi lasanha] e [bebi refrigerante].”
~(p∧q) ≡ ~p∨~q: “[Não comi lasanha] ou [não bebi refrigerante].”

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

Negação da disjunção inclusiva (ou; ∨) (Lei de Morgan)

A

~ (p∨q) ≡ ~p∧~q
1. Negam-se ambas as parcelas da disjunção inclusiva (ou; ∨); e
2. Troca-se a disjunção inclusiva (ou; ∨) pela conjunção (e; ∧).
Ex.: p∨q: “[Comi lasanha] ou [bebi refrigerante].”
~(p∨q) ≡ ~p∧~q: “[Não comi lasanha] e [não bebi refrigerante].”

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

Negação da condicional (se… então)

A

~(p→q) ≡ p∧~q
1. Mantém-se o primeiro termo;
2. Troca-se a condicional (se… então; →) pela conjunção (e; ∧);
3. Nega-se o segundo termo.
Ex.: p→q: “Se [eu comi lasanha], então [eu bebi refrigerante].”
~ (p→q) ≡ p∧~q: “[Eu comi lasanha] e [eu não bebi refrigerante].”

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

Negações da conjunção (e) para a forma condicional (se…então)

A

1) ~(p∧q) ≡ p→~q
2) ~(p∧q) ≡ q→~p
Ex.: p∧q: “[Comi lasanha] e [bebi refrigerante].”
Além de negar por De Morgan, também é possível:
~(p∧q) ≡ p→~q: “Se [comi lasanha], então [não bebi refrigerante].”
~(p∧q) ≡ q→~p: “Se [bebi refrigerante], então [não comi lasanha].

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

Prove que ~(p∧q) e p→~q são equivalentes.

A

1- Negação por De Morgan:
~(p∧q) ≡ ~p∨~q
2- Equivalência fundamental que correlaciona a disjunção inclusiva com a condicional:
p∨q ≡ ~p→q.
3- Aplicando esse procedimento para ~p∨~q, temos:
~(p∧q) ≡ ~(~p)→~q
4- Resultado:
~(p∧q) ≡ p→~q

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

Prove que ~(p∧q) e q→~p são equivalentes.

A

1- Temos a seguinte equivalência:
~(p∧q) ≡ p→~q
2- Aplicando a equivalência contrapositiva em p→~q, ficamos com:
~(p∧q) ≡ ~(~q)→~p
3- Resultado:
~(p∧q) ≡ q→~p

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

Equivalências envolvendo conjunção de condicionais e um termo em comum

A
  • Quando o termo comum é o consequente, a equivalência apresenta uma disjunção inclusiva no antecedente.
    (p→r)∧(q→r) ≡ (p∨q)→r
  • Quanto o termo comum é o antecedente, a equivalência apresenta uma conjunção no consequente.
    (p→q)∧(p→r) ≡ p→(q∧r)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Equivalências da disjunção exclusiva (ou…ou)

A

1 - p⊻q ≡ (~p)⊻(~q)
2- p⊻q ≡ (~p)↔q
3- p⊻q ≡ p↔(~q)
Ex.: p⊻q: “Ou [jogo bola], ou [jogo sinuca].”
1- (~p)⊻(~q): “Ou [não jogo bola], ou [não jogo sinuca].”
2- (~p)↔q: “[Não jogo bola] se e somente se [jogo sinuca].”
p↔(~q): “[Jogo bola] se e somente se [não jogo sinuca].”

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

Negação da disjunção exclusiva (ou…ou)

A

1- ~(p⊻q) ≡ p↔q
2- ~(p⊻q) ≡ (~p)⊻q
3- ~(p⊻q) ≡ p⊻(~q)
Ex.: p⊻q: “Ou [jogo bola], ou [jogo sinuca].”
1- ~(p⊻q) ≡ p↔q: “[Jogo bola] se e somente se [jogo sinuca].”
2- ~(p⊻q) ≡ (~p)⊻q: “Ou [não jogo bola], ou [jogo sinuca].”
3- ~(p⊻q) ≡ p⊻(~q): “Ou [jogo bola], ou [não jogo sinuca].”

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

Equivalências da bicondicional (se e somente se)

A
  • p↔q ≡ (p→q)∧(q→p)
  • p↔q ≡ (~p)↔(~q)
  • p↔q ≡ (~p)⊻q
  • p↔q ≡ p⊻(~q)
    p↔q: “[Durmo] se e somente se [estou cansado]”
    (p→q)∧(q→p): “[Se (estou cansado), então (durmo)] e [se (durmo), então (estou cansado)]”.
    (~p)↔(~q): “[Não durmo] se e somente se [não estou cansado].”
    (~p)⊻q: “Ou [não durmo], ou [estou cansado].”
    p⊻(~q): “ Ou [durmo], ou [não estou cansado].”
17
Q

Negações da bicondicional (se e somente se)

A

~ (p↔q) ≡ p⊻q
~ (p↔q) ≡ (~p)↔q
~ (p↔q) ≡ p↔(~q)
~ (p↔q) ≡ (p∧~q)∨(q∧~p)
p↔q: “[Durmo] se e somente se [estou cansado]”
~(p↔q) ≡ p⊻q: “Ou [Durmo], ou [estou cansado]”
~(p↔q) ≡ (~p)↔q: “[Não durmo] se e somente se [estou cansado]”
~(p↔q) ≡ p↔(~q): “[Durmo] se e somente se [não estou cansado]”
~ (p↔q) ≡ (p∧~q)∨(q∧~p):

18
Q

Mostre que ~ (p↔q) e p⊻q são equivalentes.

A

Podemos demonstrar essa equivalência utilizando outra equivalência da negação da disjunção exclusiva:
~(p⊻q) ≡ p↔q
Podemos negar os dois lados desse resultado da seguinte forma:
~(~(p⊻q)) ≡ ~(p↔q)
Negando duas vezes uma proposição, ela retorna à proposição original. Logo:
p⊻q ≡ ~(p↔q) ou
~(p↔q) ≡ (p⊻q)

19
Q

Mostre que ~ (p↔q) e (p∧~q)∨(q∧~p) são equivalentes.

A

Vamos utilizar a seguinte equivalência para a bicondicional já conhecida:
p↔q ≡(p→q)∧(q→p)
Se negarmos ambos os lados da equivalência teremos o seguinte:
~(p↔q) ≡ ~((p→q)∧(q→p))
Veja-se que o lado direito da equivalência é a negação de uma conjunção, que pode ser reescrita utilizando De Morgan:
~ (p↔q) ≡ ~(p→q)∨~(q→p)
Agora devemos negar os dois condicionais, (p→q) e (q→p).
~ (p↔q) ≡ (p∧~q)∨(q∧~p)

20
Q

Propriedade comutativa dos conectivos

A

Todos os conectivos, exceto o condicional (se…então; →), gozam da propriedade comutativa. É possível trocar a ordem dos componentes em uma proposição composta sem afetar o resultado da tabela-verdade:
p∧q ≡ q∧p
p∨q ≡ q∨p
p⊻q ≡ q⊻p
p↔q ≡ q↔p
Ex.: A negação de p→q: “Se [eu correr], então [chego a tempo].” é ~ (p→q) ≡ p∧~q: “Corro e não chego a tempo.”, mas também pode ser a alternativa ~ (p→q) ≡ p∧~q ≡ ~q∧p: “Não chego a tempo e corro.”

21
Q

Considere a afirmação:
Animais são bípedes ou são quadrúpedes e árvores tem folhas verdes.
Uma afirmação que corresponda à negação lógica dessa afirmação é:
a) Árvores não tem folhas verdes e animais são bípedes e são quadrúpedes.
b) Animais não são bípedes ou não são quadrúpedes e árvores não têm folhas verdes.
c) Animais não são bípedes ou não são quadrúpedes, ou árvores não têm folhas verdes.
d) Árvores têm folhas verdes e animais não são bípedes ou são quadrúpedes.
e) Árvores não têm folhas verdes ou animais não são bípedes e não são quadrúpedes.

A

b: “Animais são bípedes.”
q: “Animais são quadrúpedes.”
a: “Árvores tem folhas verdes.”
(b∨q)∧a: “[(Animais são bípedes) ou ((animais) são quadrúpedes)] e [árvores tem folhas verdes].”
- A negação dessa frase é a negação de uma conjunção (e; ∧) formada dois termos: o termo (b∨q) e o termo a. Para realizar a negação de uma conjunção, usa-se a equivalência ~(p∧q) ≡ ~p∨~q.
- Aplicando a equivalência em questão para negar (b∨q)∧a, ficamos com:
~[(b∨q)∧a] ≡ ~(b∨q)∨~a
- A parcela ~(b∨q) é a negação
da disjunção inclusiva (b∨q), que também pode ser desenvolvida por De Morgan: ~(b∨q) corresponde a ~b∧~q, ficando:
~[(b∨q)∧a] ≡ (~b∧~q)∨~a
- Logo, procuramos por (~b∧~q)∨~a, ou seja:
(~b∧~q)∨~a: “[(Animais não são bípedes) e ((animais) não são quadrúpedes)] ou [árvores não tem folhas verdes].”
- Aplicando a propriedade comutativa, ficamos com:
(~b∧~q)∨~a ≡ ~a∨(~b∧~q)
~a∨(~b∧~q): “[Árvores não tem folhas verdes] ou [(Animais não são bípedes) e ((animais) não são quadrúpedes)].”