Escolar Documentos
Profissional Documentos
Cultura Documentos
1.3. Partamos do seguinte dicionário: P: Chove; Q: Neva; R: Faz sol. A interpretação da fórmula proposicional
(P V R) →¬Q é a seguinte.
(A) Não neva, logo ou chove ou faz sol.
(B) Chove ou faz sol se, e só se, não neva.
(C) Se chove ou faz sol, então não neva.
(D) Não neva, e chove ou faz sol.
1.5. Uma forma de inferência é válida se, e apenas se, o respetivo inspetor de circunstâncias não contiver nenhuma linha em
que:
(A) As premissas sejam verdadeiras e a conclusão seja falsa.
(B) As premissas sejam falsas e a conclusão seja verdadeira.
(C) A conclusão seja verdadeira e as premissas sejam verdadeiras.
(D) A conclusão seja falsa e as premissas também.
V V _ V_ F F_ _
V F F __ _ F_ _
F V V __ V __ V
F F _ V_ _ _ _ V
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
5. Testa, através da tabela da verdade, a validade do argumento seguinte: caso seja válido corresponde a qual inferência
válida? Caso seja inválido corresponde a qual falácia formal? Não te esqueças de formalizar o argumento.
Se gostas de mim, então dizes-me a verdade.
Não me dizes a verdade.
Logo, não gostas de mim.
(V ∴ ¬ ↔ V)
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
________
6. Considera a frase “Se a cobra é um réptil, então rasteja pelo chão” como primeira premissa e constrói os argumentos a
seguir indicados e formaliza-os: (símbolos para formalizar – (∴ ¬ )
a) Modus ponens.
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
b) Modus tollens.
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
_____________________________________________________________________________________________________
COTACÕES:
Domínio
s
Bom trabalho!