Question

Tenho duas questoes de logica computacional
1. p V (q ^ r), q→ s, r→ t, s ^ t → p V u, ~p |-- u
2.p V (~q Ʌ r), p → s, s →r, q |-- r

Answer 1

Resposta:

logicamente

Explicação:

que ano vc tá entendo isso não