|
Post by Yodium on Jan 24, 2005 7:47:36 GMT -5
Ik heb volgens mij nooit eliminatie en / of introductie regels van de <-> gezien.
Kun je <-> introduceren na 2 lossen aannames of moet je uit twee lossen aannames eerst een /\ I doen en vervolgens pas een <-> I ?
|
|
|
Post by Bertjan on Jan 24, 2005 10:46:22 GMT -5
A <-> B kun je lezen als (A->B) /\ (B->A). Het is volgens van Dalen geen 'echt' connectief, maar een afgeleid connectief. Dat betekent dus dat een <-> introductie eigenlijk een /\-introductie is: (A->B)..........(B->A) ------------------------ /\ I .......A<->B Er is voor eliminatie vast ook wel iets omgekeerds te verzinnen, maar dan maak je het jezelf wel erg moeilijk op het tentamen !
|
|
|
Post by Yodium on Jan 24, 2005 10:53:00 GMT -5
ok bedankt! Ik had zelf bij een opgave <-> I gedaan en dat is ook goed gerekend, maar ik wilde nog even wat meer bevestiging
|
|