Construir a “condicional associada” a cada um dos seguintes argumentos:
p q vdash sim(p wed>= sim q)

Passo 1

Beleza, vamos começar! O enunciado pede para construir a “condicional associada” do argumento p q vdash sim(p wed>= sim q). 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 p q vdash sim(p wed>= sim q). Isso quer dizer que, se assumirmos que p implica q é verdadeiro, então também podemos afirmar que a combinação de p e a negação de q é 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 p q, então sim(p wed>= sim q).

Passo 4

Vamos escrever isso usando a seta de implicação para ficar mais claro. Ficaria assim:
(p q) sim(p wed>= sim q)

Passo 5

Essa condicional nos diz que a validade da implicação p q garante que não é possível ter p verdadeiro e q falso ao mesmo tempo, o que faz sentido lógico.

Resposta

A condicional associada é:
(p q) sim(p wed>= sim q)

Exercícios relacionados