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
Bevis
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
-
John Cena54
- Cantor
- Innlegg: 123
- Registrert: 03/11-2006 19:44
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