Para as questões de números 62 a 64, considere a seguinte notação para os conectivos lógicos: ~ (para a negação), ∨ (para a disjunção inclusiva), & (para a conjunção) e ⊃ (para a implicação material).

Para as questões de números 62 a 64, considere a seguinte notação para os conectivos lógicos: ~ (para a negação), ∨ (para a disjunção inclusiva), & (para a conjunção) e ⊃ (para a implicação material).

Assinale qual das seguintes formas sentenciais é uma tautologia.

Para as questões de números 62 a 64, considere a seguinte notação para os conectivos lógicos: ~ (para a negação), ∨ (para a disjunção inclusiva), & (para a conjunção) e ⊃ (para a implicação material).

Assinale qual das formas sentenciais seguintes é equivalente à forma:

Assinale qual é a contraditória do enunciado: Todo homem é mortal.

Considerando os conectivos usuais de negação, disjunção (inclusiva), conjunção e implicação (material), assinale a alternativa correta.

Quando um argumento dedutivo é válido, isso significa que

Em um reino distante, um homem cometeu um crime e foi condenado à forca. Para que a sentença fosse executada, o rei mandou que construíssem duas forcas e determinou que fossem denominadas de Forca da Verdade e Forca da Mentira. Além disso, ordenou que na hora da execução o prisioneiro deveria proferir uma sentença assertiva qualquer. Se a sentença fosse verdadeira, ele deveria ser enforcado na Forca da Verdade. Se, por outro lado, a sentença fosse falsa, ele deveria ser enforcado na Forca da Mentira. Assim, no momento da execução, foi solicitado que o prisioneiro proferisse a sua asserção. Ao fazer isso, o carrasco ficou completamente sem saber o que fazer e a execução foi cancelada!