|
Post by Bertjan on Jan 25, 2005 9:45:42 GMT -5
Je hebt gelijk! Ik bedoelde te zeggen:
Vanuit Ex !phi(x) kun je !phi(x) als aanname gebruiken om de eliminatie te komen en 'psi' te concluderen. Let wel: alleen !phi(x) mag vrij zijn omdat je die bij de streep intrekt, maar voor andere aannames die nog boven de streep staan niet (daarom kom die Vx phi (x) zo goed uit: dan is x immers gebonden.
.........................[!phi (x)]1 .............................|D Ex !phi(x).............psi ---------------------------EE1! .........................psi
|
|
Arjan
New Member
Posts: 43
|
Post by Arjan on Jan 25, 2005 10:10:05 GMT -5
Als het aan mij ligt zijn alle oplossingen met zes regels goed voor 5.3 en 5.7 want daar zit ik ook op!
|
|