2. Questões de Concurso

Filtrar

Questões por página:
Dado que W, Y e Z são proposições no contexto do Cálculo Proposicional, podendo assumir valores falsos ou verdadeiros, conclui-se que
Considerando os predicados: chefe(x) significando que x é chefe, departamento(x) significando que x é um departamento e chefia (x, y) significando que x chefia y, a restrição “Todo chefe chefia um departamento” pode ser expressa pela seguinte fórmula da lógica de predicados de primeira ordem:

Dados os conectivos que representam, respectivamente, as operações de negação, conjunção e disjunção da lógica clássica, a operação de ou exclusivo (xor) entre duas fórmulas a e b pode ser definida pela seguinte fórmula:

Considere que para duas proposições p e q da lógica proposicional vale a fórmula .
Nesse cenário, e na ausência de qualquer outra informação sobre p ou q, para que seja possível inferir sem refutar a validade de pode-se assumir a validade de

Assinale a opção que apresenta valor lógico falso.
© 2016-2024 Fonte Concursos - Questões de Concurso e Plano de Estudo