Questões de Concursos: Lógica Proposicional

Com a finalidade de reduzir as despesas mensais com energia elétrica na sua repartição, o gestor mandou instalar, nas áreas de circulação, sensores de presença e de claridade natural que atendem à seguinte especificação:

P: A luz permanece acesa se, e somente se, há movimento e não há claridade natural suficiente no recinto.

Acerca dessa situação, julgue os itens seguintes.

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.

Na lógica de primeira ordem, uma proposição é funcional quando é expressa por um predicado que contém um número finito de variáveis e é interpretada como verdadeira (V) ou falsa (F) quando são atribuídos valores às variáveis e um significado ao predicado. Por exemplo, a proposição "Para qualquer x, tem-se que x - 2 > 0" possui interpretação V quando x é um número real maior do que 2 e possui interpretação F quando x pertence, por exemplo, ao conjunto {-4, -3, -2, -1, 0}.

Com base nessas informações, julgue os próximos itens.