Construir a “condicional associada” a cada um dos seguintes argumentos:
Passo 1
Beleza, vamos começar! O enunciado pede para construir a “condicional associada” do argumento
. Isso está dentro do estudo da Lógica Proposicional, especificamente lidando com implicações e negações. Vamos precisar entender como transformar esse argumento em uma condicional que relaciona a premissa à conclusão.
Passo 2
Primeiro, vamos entender o que significa
. Isso quer dizer que, se assumirmos que
implica
é verdadeiro, então também podemos afirmar que a combinação de
e a negação de
é falsa.
Passo 3
A condicional associada transforma o argumento dado em uma única implicação. Para isso, vamos colocar a premissa como o antecedente e a conclusão como o consequente. Ou seja, a condicional associada será:
Se
, então
.
Passo 4
Vamos escrever isso usando a seta de implicação para ficar mais claro. Ficaria assim:
Passo 5
Essa condicional nos diz que a validade da implicação
garante que não é possível ter
verdadeiro e
falso ao mesmo tempo, o que faz sentido lógico.
Resposta
A condicional associada é: