01 - Equivalências Lógicas

Question 1

Propriedade comutativa

Answer 1

Todos os conectivos, EXCETO o condicional, possuem a propriedade comutativa
p v q == q v p
p^q == q^p

Question 2

Negação do e/ou

Answer 2

Deve-se negar ambas as proposições
E trocar o e pelo ou
Ou trocar o ou pelo e dependendo da proposição original

Question 3

Negação da disjunção exclusiva

Answer 3

É a negação da proposição ou…ou

A negação mais comum é a própria bicondicional

Question 4

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

Answer 4

~(p^q) == p–>~q
~(p^q) == q–> ~p

Question 5

Negação da condicional

Answer 5

~(p–>q) == p^~q

Question 6

Negação da bicondicional

Answer 6

Pode ser feita de 4 maneiras
1- É a própria disjunção exclusiva
2- Negar apenas umas das proposições simples
3- ~(p<–>q) == (p^~q) V (q^~p

Question 7

Defina o que é uma equivalência lógica

Answer 7

Quando duas proposições apresentam a mesma tabela-verdade dizemos que são equivalentes

Question 8

Conjunção das condicionais

Answer 8

(p–>r)^(q–>r) == (pVq–>r)

(p–>q)^(p–>r) == p–> (q^r)

Question 9

As 4 equivalências fundamentais são:

Answer 9

1- Contrapositiva da Condicional: p–>q == ~q–>~p

2- Transformação da condicional em disjunção inclusiva: p–>q == ~pVq

3- Transformação da disjunção em condicional: pVq == ~p–>q

4- Transformação da bicondicional em 2 condicionais: p<–>q == (p–>q)^(q–>p)