Filtrar


Questões por página:

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.
mostrar texto associado

A proposição simbólica (P∧Q)∨R possui, no máximo, 4 avaliações V.

mostrar texto associado
Há duas proposições no seguinte conjunto de sentenças:
(I) O BB foi criado em 1980.
(II) Faça seu trabalho corretamente.
(III) Manuela tem mais de 40 anos de idade.