Filtrar


Questões por página:

Dadas as sentenças A e B da lógica de primeira ordem, onde A é a sentença  e B é a sentença , tem-se que

Considere o conjunto  de conectivos lógicos da lógica sentencial. Por definição, um conjunto de operadores B é completo se somente se todos os operadores de A podem ser expressos em função do(s) operador(es) de B. Analise as afirmativas a seguir



Conclui-se que

X

Relacione as sentenças da lógica de primeira ordem da coluna da direita às explicações da coluna da esquerda.

A associação correta é

mostrar texto associado
Considerando a situação hipotética apresentada acima, julgue os itens a seguir.

Se P e Q representam, respectivamente, as proposições “Eu não sou traficante” e “Eu sou usuário”, então a premissa 1 estará corretamente representada por P∧Q.
mostrar texto associado
A sequência de proposições a seguir constitui uma dedução correta. 
Se Carlos não estudou, então ele fracassou na prova de Física. 
Se Carlos jogou futebol, então ele não estudou. 
Carlos não fracassou na prova de Física. 
Carlos não jogou futebol.