Question

considere a validade
(p^q)v(p→q),~(p^q)➩p→q

A regra de inferência que assegura a verdade da conclusão, admitindo a verdade da premissa é:
Escolha uma:

a. modus tollens
b. silogismo hipotético
c. modus ponens
d. silogismo disjuntivo
e. simplificaçã

Answer 1

(p∧q)∨(p→q), ~(p∧q)   |-  p→q

Vamos chamar as premissas de P1,P2,...,Pn. Assim:

P1: (p∧q)∨(p→q); V ∨ V |- V
P2: ~(p∧q); ~V = F, nos leva a V(p∧q) = F ∴ vale p→q
P3: p→q; silogismo disjuntivo de P1 e P2

Logo, reposta certa Item d), Silogismo Disjuntivo

Answer 2

A resposta correta é: silogismo disjuntivo.