|
RAA
Jan 23, 2005 8:53:14 GMT -5
Post by Peter Somers on Jan 23, 2005 8:53:14 GMT -5
Steeds gaat het mis als ik RAA moet toepassen of verzuim toe te passen. Soms gebeurt dat wel vier keer in een afleiding, soms meteen in het begin of ergens anders in de boomstructuur. Ik probeer dat al weken onder de knie te krijgen. In ieder geval het loopt steeds mis. Is er wellicht een eenvoudige toepasbaarheidsvuistregel voor deze wildcard? Met dank, Peter Somers
|
|
|
RAA
Jan 23, 2005 12:20:11 GMT -5
Post by Bertjan on Jan 23, 2005 12:20:11 GMT -5
Hoi Peter, Volgens mij is er niet echt een een vuistregel, anders dan 'als je vastloopt, probeer dan RAA'. Bij mij is het een kwestie van veel sommetjes maken (vooral waarvan ik de uitwerking bij de hand had), en op een gegevens moment ga je dan zien dat als er bepaalde dingen voorkomen, dat je dan met RAA een oplossing kunt vinden, bijv: * Vrijwel altijd als er ergens in de opgave een 'niet' staat, komt er wel ergens een RAA voor. * Als je gelijk al in het begin van een opgave een disjunctie (V) tegenkomt. Dan moet je hem zelf vaak twee keer gebruiken: één keer met de linker kant, en een keer met de rechterkant. Bijv. opgave 2.2 van het oefententamen. Diezelfde opgave geeft ook een reden waaróm je die RAA gebruikt: alleen uit phi -> psi kun je nooit tot !phi of psi komen! Door de RAA kun je extra aannames 'losweken', waarmee je je bewijs rond kan maken. (Mijn tip is - zo heb ik het tenminste gedaan- doe opgave 2.2 net zo vaak totdat je het 'trucje' uit je hoofd kent. Inmiddels staat er een prachtige uitwerking op het web!) * als je op een gegeven moment uitkomt bij een disjunctie-elimintatie (A V B), dan kun je daar - als je bijvoorbeeld !A (niet A) al hebt, B concluderen: .....................................D ........................... 2 [!A] ...........................--------- -> E ............................falsum ...........................--------- falsum-eliminatie BVA...........1.........B ------------------------- -> E 1,2 ...............B
Maar ja, dat zijn dus meer 'trucjes' dan vuistregels. Ik hoop dat je hier toch 'iets' aan hebt.
|
|