Post by Yodium on Jan 21, 2005 7:26:40 GMT -5
Ik ben even oude opgaven aan het doornemen en heb een vraagje over opgave 4 van constructies met bewijzen van opgaven die we week 5 moesten inleveren.
Ik heb daar vanuit falsum met RAA !p geconcludeerd en trek met de RAA de aanname p in. Dit is goed gerekend, maar volgens mij mag dat niet? Had ik daar niet !!p in moeten trekken?
En nog een tweede vraagje: Joost heeft het een paar keer gehad over dat hij een schema wilde gaan maken met alle regels en tekens die we hebben gehad ofzo. Weet iemand of hij dat ook echt heeft gedaan en hoe ik daar dan aan kan komen?
Dank.
Ik heb daar vanuit falsum met RAA !p geconcludeerd en trek met de RAA de aanname p in. Dit is goed gerekend, maar volgens mij mag dat niet? Had ik daar niet !!p in moeten trekken?
En nog een tweede vraagje: Joost heeft het een paar keer gehad over dat hij een schema wilde gaan maken met alle regels en tekens die we hebben gehad ofzo. Weet iemand of hij dat ook echt heeft gedaan en hoe ik daar dan aan kan komen?
Dank.