EQUIVALÊNCIAS
Nota: Quando o exercício de equivalência é
dado através de palavras, na forma de texto,
e pede a negação da proposição, ele
normalmente está solicitando a Negação
Equivalente.
01.Dizer que não é verdade que Pedro é
pobre e Alberto é alto, equivale a:
02.Dizer que não é verdade que João é alto e
Maria é rica , equivale a:
03.A negação de “Hoje é 2ª-feira e amanhã
não choverá” é ?
04.A negação de “Se estiver chovendo, então
eu levo o guarda-chuva” é?
JULGUE OU CERTO, OU ERRADO
05. A negação da proposição “Pedro não
sofreu acidente de trabalho ou Pedro está
aposentado” é
“Pedro sofreu acidente de trabalho ou Pedro
não está aposentado”.
06. Considere que a proposição “O ministério
da Saúde cuida das políticas públicas de
saúde do Brasil e a educação fica a cargo do
ministério da educação.” seja escrita
simbolicamente na forma
P ^ Q.
Nesse caso, a negação da referida proposição é
simbolizada corretamente na forma ¬ P v ¬ Q,
ou seja,
“O ministério da saúde não cuida das políticas
públicas de saúde do Brasil nem a educação
fica a cargo do ministério da Educação”.
07. Considere as seguintes proposições.
A: Está frio.
B: Eu levo agasalho.
Nesse caso, a negação da proposição
composta “Se está frio, então eu levo
agasalho”,
A à B, pode ser corretamente dada pela
proposição “Está frio e eu não levo o
agasalho ” A ^ ( ¬ B)”.
08. A negação da proposição “Ou o cliente
aceita as regras ditadas pelo banco, ou o
cliente não obtém o dinheiro” é logicamente
equivalente a
“O cliente aceita as regras ditadas pelo banco
se, e somente se, o cliente não obtém o
dinheiro”.
Equivalências do p  q
Nota: Quando o exercício de equivalência é
dado através de palavras, na forma de texto,
e “ N Ã O” pede a negação da proposição, por
exclusão, está solicitando a Afirmação
Equivalente.
Exercícios
9.Se estou calmo, então durmo, equivale a:
10.Se Oscar não é culpado, então ele paga a
divida., equivale a:
11.Dizer que
“Carlos planta soja ou Ana não planta algodão
é logicamente equivalente a dizer?
Proposições “S E M PALAVRAS”
Quais são as equivalências para:
a) p ^ ¬ q
b) ¬q à ¬p