Lógica Computacional - Estruturas lógicas e argumentos I

Qual é a definição de proposição na lógica computacional?

• Uma oração interrogativa

• Uma oração paradoxal

• Uma oração exclamativa

• Uma oração declarativa

Quantos valores as variáveis Booleanas podem assumir na álgebra Booleana?

• Infinitos valores

• Um valor

• Dois valores

• Três valores

O que é um argumento na lógica computacional?

• Uma sequência de proposições onde a última é justificada pelas anteriores

• Uma oração interrogativa

• Uma oração declarativa

• Uma oração paradoxal

Qual das seguintes sentenças pode ser considerada uma proposição?

• A lâmpada daquele poste está acesa

• Só sei que nada sei

• Quando é o jogo?

• O sol é quente

O que são proposições compostas na lógica computacional?

• Proposições que não podem ser valoradas

• Proposições que declaram algo com o uso de conectivos

• Proposições que são sempre falsas

• Proposições que são sempre verdadeiras

Qual é o princípio que diz que algo deve ser idêntico a si mesmo?

• Princípio da identidade

• Princípio da contradição

• Princípio do terceiro excluído

• Princípio da não contradição

O que é uma proposição na lógica computacional?

• Uma oração exclamativa que é sempre verdadeira

• Uma oração paradoxal que é sempre falsa

• Uma oração interrogativa que não pode ser valorada

• Uma oração declarativa que pode ser valorada em verdadeira ou falsa

O que é um algoritmo?

• Uma sequência de proposições onde a última é justificada pelas anteriores

• Um trajeto de casa até a escola

• Um conjunto de proposições em sequência

• Uma oração declarativa

Qual é a definição de argumento na lógica computacional?

• Uma oração declarativa

• Uma oração paradoxal

• Uma sequência de proposições onde a última é justificada pelas anteriores

• Uma oração interrogativa

O que são proposições simples na lógica computacional?

• Proposições que são sempre verdadeiras

• Proposições que são sempre falsas

• Proposições que não podem ser valoradas

• Proposições que declaram algo com o uso de conectivos