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

Dadas as proposições da lógica sentencial e as explicações, associe a coluna da direita com a coluna da esquerda



As associações corretas são:

Associe as proposições da lógica sentencial na coluna da direita, onde P e Q são predicados atômicos, às explicações na coluna da esquerda.



As associações corretas são:

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