Bevis

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
John Cena54
Cantor
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 :)
Svar