Bevis
Posted: 09/09-2011 21:08
Hei, trenger hjelp med denne oppgaven. Vet ikke
hvordan jeg skal gå frem.
Given a1, a2, ..., an |- a. Prove that a1, a2, ..., an−1 |- (an-->a) by using
the Deduction Theorem and standard logical equivalences?
Takk
hvordan jeg skal gå frem.
Given a1, a2, ..., an |- a. Prove that a1, a2, ..., an−1 |- (an-->a) by using
the Deduction Theorem and standard logical equivalences?
Takk