Questões de Concurso

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 AvB, 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 AwB, 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 os itens que seguem, a respeito de lógica sentencial e de primeira ordem, tendo como referência as definições apresentadas no texto.

Proposições são frases que podem ser julgadas como verdadeiras — V — ou como falsas — F —, mas não ambas; são freqüentemente simbolizadas por letras maiúsculas do alfabeto. A proposição simbolizada por A÷B — lida como “se A, então B”, “A é condição suficiente para B”, ou “B é condição necessária para A” — tem valor lógico F quando A é V e B é F; nos demais casos, seu valor lógico é V. A proposição AvB — lida como “A e B”— tem valor lógico V quando A e B forem V e valor lógico F, nos demais casos. A proposição ¬A, a negação de A, tem valores lógicos contrários aos de A.