A maior rede de estudos do Brasil

Alguém pode me ajudar nessa questão sobre métodos dedutivos?

Então galera, preciso provar através de metodo dedutivo o argumento a seguir:

(J -> E) ^ (J -> C) -> J -> (E ^ C)

Lógica IFAESA

6 resposta(s) - Contém resposta de Especialista

User badge image

RD Resoluções Verified user icon

Há mais de um mês

A resposta será:

(J -> E) ^ (J -> C) -> J -> (E ^ C)

Premissas:

1) (J -> E)

2) (J -> C)

3) J

4) Fazendo Modus ponens em 1) e 3) temos: E

5) Fazendo Modus ponens em 2) e 3) temos: C

6) Fazendo uma "adição" entre 4) e 5) temos: (E ^ C)

A resposta será:

(J -> E) ^ (J -> C) -> J -> (E ^ C)

Premissas:

1) (J -> E)

2) (J -> C)

3) J

4) Fazendo Modus ponens em 1) e 3) temos: E

5) Fazendo Modus ponens em 2) e 3) temos: C

6) Fazendo uma "adição" entre 4) e 5) temos: (E ^ C)

User badge image

Andre

Há mais de um mês

A resposta será:

(J -> E) ^ (J -> C) -> J -> (E ^ C)

Premissas:

1) (J -> E)

2) (J -> C)

3) J

4) Fazendo Modus ponens em 1) e 3) temos: E

5) Fazendo Modus ponens em 2) e 3) temos: C

6) Fazendo uma "adição" entre 4) e 5) temos: (E ^ C)

User badge image

Maurilio

Há mais de um mês

não posso te ajudar amigo!

User badge image

Sam

Há mais de um mês

(J -> E) ^ (J -> C) -> J -> (E ^ C)

Premissas:

1) (J -> E)

2) (J -> C)

3)  J 

4) Fazendo Modus ponens em 1) e 3) temos: E

5) Fazendo Modus ponens em 2) e 3) temos: C

6) Fazendo uma "adição" entre 4) e 5) temos: (E ^ C)

Essa pergunta já foi respondida por um dos nossos especialistas