Atribua um valor verdade às seguintes proposições: S e 2 não é par, então 3 não é par.

Passo 1

Primeiro, vamos entender o que a questão está pedindo. Temos uma proposição lógica: " não é par, então não é par." Vamos trabalhar com lógica proposicional para atribuir valores de verdade a essa proposição. Para resolver isso, vamos precisar conhecer os conceitos de conjunção (representada por “e”), negação e implicação na lógica.

Passo 2

Vamos identificar as partes da proposição:
  • Antecedente (A): " não é par"
  • Consequente (B): " não é par"
Primeiro, precisamos avaliar cada parte individualmente.

Passo 3

Analisando o antecedente " não é par":
  • é par: Sabemos que o número 2 é par.
  • A proposição " não é par" é falsa.
  • Independentemente do valor de S, a conjunção " não é par" será falsa porque uma das partes é falsa.

Passo 4

Agora, analisando o consequente " não é par":
  • é ímpar: Sabemos que o número 3 não é par.
  • Portanto, a proposição " não é par" é verdadeira.

Passo 5

Agora, temos a estrutura da implicação:
  • A (falsa) implica B (verdadeiro)
  • Na lógica, uma implicação onde o antecedente é falso e o consequente é verdadeiro é considerada verdadeira.

Resposta

A proposição " não é par, então não é par" é verdadeira.

Exercícios relacionados