Filtrar


Questões por página:

Associe as sentenças da lógica de 1ª ordem às suas respectivas propriedades.



As associações corretas são:

No cálculo proposicional, os operadores lógicos { ¬ , Λ , V , → , ⇔ } podem ser deduzidos a partir dos operadores
mostrar texto associado

Considere que a tabela abaixo representa as primeiras colunas da tabela-verdade da proposição (P→Q)∧(¬R).



Logo, a coluna abaixo representa a última coluna dessa tabela-verdade.

mostrar texto associado

A sentença "A justiça e a lei nem sempre andam pelos mesmos caminhos" pode ser representada simbolicamente por P∧Q, em que as proposições P e Q são convenientemente escolhidas.

mostrar texto associado
As proposições “Luiz joga basquete porque Luiz é alto” e “Luiz não é alto porque Luiz não joga basquete” são logicamente equivalentes.