Questão FC149298
Texto para o item Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, mas não como ambas, simultaneamente. As proposições são freqüentemente re
Lógica de Proposições
Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, mas não como ambas, simultaneamente. As proposições são freqüentemente representadas por letras maiúsculas e, a partir de proposições simples, novas proposições podem ser construídas utilizando-se símbolos especiais. Uma expressão da forma A ∧ B, que é lida como “se A, então B”, é F se A for V e se B for F e, nos demais casos, será sempre V. Uma expressão da forma A → B, que é lida ∨ como “A e B”, é V se A e B forem V e, nos demais casos, será sempre F. Uma expressão da forma A ∨ B, que é lida como “A ou B”, é F se A e B forem F e, nos demais casos, será sempre V. Uma expressão da forma ¬A, a negação de A, é V se A for F e é F se A for V.
Julgue o item que segue, a respeito de lógica sentencial e de primeira ordem, tendo como referência as definições apresentadas no texto.
Atribuindo-se todos os possíveis valores lógicos V ou F às proposições A e B, a proposição [(¬A) → B] ∧ A terá três valores lógicos F.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A proposição [(¬A) B] A não pode ter apenas três valores lógicos F, pois sua avaliação depende da combinação dos valores lógicos de A e B. Para determinar os valores, é necessário considerar todos os casos possíveis para A e B. A negação ¬A terá um valor que depende do valor de A, e a conjunção (¬A) B também terá diferentes resultados com base nas combinações. Ao avaliar todas as possibilidades, notamos que a expressão pode resultar em valores diferentes, não se limitando a três F. Portanto, a afirmação está incorreta.
Conteúdo do catálogo FC Concursos · Atualizado em