Proposições 02

Question 1

P <=> Q (são logicamente equivalentes).
Duas proposições são logicamente equivalentes se e somente se possuem a mesma tabela-verdade

Question 2

P -> Q <=> ~Q -> ~P (volta negando)
P->Q <=> ~PVQ (nega a primeira, fica com a segunda e conectivo ou)
PVQ <=> ~P -> Q

Question 3

As proposições P->Q é Q->P NÃO SÃO equivalentes.

Question 4

Se P, então Q
P é condição suficiente para q
Q é condição necessária para P

Question 5

Não confunda equivalência com negação.

Question 6

Se P, então q
Para negar: mantém o primeiro, nega o segundo e coloca o conectivo E

Question 7

Para negar uma proposição composta pelo “ou… ou”, basta manter as proposições componentes e trocar o conectivo por “se…, e somente se”

Answer 7

Para negar uma proposição composta pelo “se…, e somente se”, basta manter as proposições componentes e trocar o conectivo por “ou…ou”

Question 8

PROPOSIÇÃO | NEGAÇÃO

Answer 8

Todo -> algum… não
Nenhum ou todo…não -> algum
Algum -> nenhum ou todo…não
Algum…não -> todo