Revisão Lógica de Predicados

Qual é o conectivo lógico que representa a conjunção, ou seja, a operação "e"?

Em lógica de predicados, qual é a diferença entre um predicado e uma função?

• Um predicado é uma declaração verdadeira ou falsa, enquanto uma função retorna um valor.

• Um predicado sempre retorna um número, enquanto uma função retorna verdadeiro ou falso.

• Ambos são iguais e não têm diferença.

• Um predicado é usado apenas em lógica proposicional.

• Verdadeiro se ambos os operandos forem verdadeiros.

• Falso se ambos os operandos forem falsos.

• Verdadeiro se pelo menos um dos operandos for verdadeiro.

• Falso se pelo menos um dos operandos for verdadeiro.

Qual das seguintes opções representa um argumento válido em lógica proposicional?

As lógicas clássicas (bivalentes) são baseadas em dois princípios:

(marque o que julgar verdadeiro)

• Princípio do "terceiro excluído": uma sentença ou é verdadeira ou é falsa.

• Princípio do "terceiro selecionado": uma sentença ou é verdadeira ou é falsa.

• Princípio da contradição: uma sentença não pode ser verdadeira e falsa ao mesmo tempo.

• Princípio da não contradição: uma sentença não pode ser verdadeira e falsa ao mesmo tempo.

Quais as sentenças da língua portuguesa não pode ser atribuída um valor verdade, V ou F?

• sentenças interrogativas

• sentenças imperativas

• sentenças exclamativas

• sentenças declarativas

Para quais sentenças abaixo é possível atribuir um valor verdade, V ou F?

• Existe vida em outro planeta.

• Vá estudar.

• Ele é honesto.

• Agora não está chovendo.

• Vamos ao cinema?

Haverá alguma proposição que possa, ao mesmo tempo, ser verdadeira e falsa?

• Verdadeiro

• Falso

Qual das seguintes alternativas descreve corretamente o conceito de proposição na lógica?

• Um conjunto de palavras sem sentido que expressa uma opinião.

• Uma frase declarativa que pode ser verdadeira ou falsa.

• Uma sequência de símbolos que sempre é verdadeira.

• Um comando ou instrução que ordena uma ação.

Proposições podem ser ditas como simples ou compostas

• Verdadeiro

• Falso