LÓGICA PROPOSICIONAL

Na linguagem natural encontramos vários tipos de sentenças: declarativas, interrogativas, exclamativas, etc. O que distingue a sentença declarativa das outras é o fato dela poder ser VERDADEIRA ou FALSA. Assinale a alternativa que contém uma sentença declarativa.

• Vá tomar banho.

• Feliz aniversário!

• Todos os homens são loiros.

• Que dia é hoje?

Considere as seguintes sentenças:

"José é loiro";

"José é alto".

Sabendo que ambas são verdadeiras, assinale a alternativa que contém a informação correta sobre José.

• José é loiro mas não é alto.

• José é loiro e alto.

• José é loiro ou alto.

• José não é loiro mas é alto.

Considere as sentenças abaixo:

p: "Ana é alta";

q: "Ana é loira".

Assinale a alternativa que contém corretamente a sentença

"p ou q".

• Ana é alta ou Ana é loira.

• Ana é alta ou Ana não é loira.

• Ana é alta e Ana é loira.

• Ana não é alta ou Ana é loira.

Considere as sentenças abaixo:

p: "Ana é alta";

q: "Ana é loira".

Dizemos que a sentença "p ou q" é FALSA quando tanto p quanto q são falsas. Sabendo disso, assinale a alternativa que é a negação da sentença

"Ana é alta ou loira".

• Ana não é alta e é loira.

• Ana é alta e não é loira.

• Ana não é alta e nem loira.

• Ana é alta e loira.

Sejam duas sentenças p e q. A sentença:

"Se p então q"

é chamada condicional. A sentença condicional é considerada FALSA quando p é verdadeira e q é falsa. Marque a alternativa que contém uma sentença condicional FALSA.

Na lógica proposicional, uma implicação é considerada falsa apenas quando a proposição antecedente é verdadeira e a consequente é falsa. Marque a alternativa que contém uma implicação falsa.

• Se chove, então está nublado.

• Se 2 é maior que 5, então 3 é menor que 7.

• Se hoje é segunda-feira, então amanhã é terça-feira.

• Se o sol está brilhando, então está escuro lá fora.