Operadores e Validade Lógica

Qual dos seguintes operadores é utilizado para verificar se dois valores são iguais?

Qual é a propriedade da validade lógica que afirma que se uma proposição é verdadeira, então sua negação é falsa?

• Reflexividade

• Simetria

• Transitividade

• Não-contradição

Qual das seguintes formas é um exemplo de silogismo categórico?

• Todos os homens são mortais. Sócrates é homem. Logo, Sócrates é mortal.

• Se chove, então a rua está molhada. Está chovendo. Logo, a rua está molhada.

• Se eu estudar, passarei no exame. Eu não estudei. Logo, não passarei no exame.

• Se eu for ao mercado, comprarei frutas. Eu comprei frutas. Logo, fui ao mercado.

Qual é a inferência por contraposição da proposição "Se está chovendo, então a rua está molhada"?

• Se a rua está molhada, então está chovendo.

• Se a rua não está molhada, então não está chovendo.

• Se não está chovendo, então a rua não está molhada.

• Se está chovendo, então a rua não está molhada.

Qual das seguintes proposições é uma relação de implicação?

Qual das seguintes proposições é um exemplo de validade lógica?

Qual operador relacional é utilizado para verificar se um valor é maior ou igual a outro?

• Reflexividade

• Simetria

• Transitividade

• Não-contradição

Qual das seguintes proposições é um exemplo de silogismo categórico?

• Se eu estudar, passarei no exame. Eu estudei. Logo, passei no exame.

• Todos os cães são mamíferos. Rex é um cão. Logo, Rex é um mamífero.

• Se eu for ao mercado, comprarei frutas. Eu não fui ao mercado. Logo, não comprei frutas.

• Se está chovendo, então a rua está molhada. A rua está molhada. Logo, está chovendo.

Qual é a inferência por contraposição da proposição "Se eu estudar, passarei no exame"?

• Se eu não estudar, não passarei no exame.

• Se eu passar no exame, então estudei.

• Se eu não passar no exame, então não estudei.

• Se eu estudar, não passarei no exame.