Question

Considere a seguinte fórmula: ¬Q ∧ (P ∨ Q) → P. Sua demonstração é a seguinte: 1) ¬Q 2) (P∨Q) 3) (¬¬P∨Q) 4) (¬P→Q) 5) ¬¬P 6) P As justificativas para cada etapa da dedução são:

Answer 1

20 para C
40 para D 
20 para A 
10 para B 
15 para E

Answer 2

Resposta:

premissa 1; premissa 2; dupla negação em (2); regra do condicional em (3); modus tollens em (1) e (4); dupla negação em (5).