Arjan
New Member
Posts: 43
|
Post by Arjan on Jan 21, 2005 15:35:29 GMT -5
Mag je bij het elimineren van de existentiele kwantor als tweede term (dus het rechter gedeelte van de eliminatie boven de streep) ook een falsum als term gebruiken?
|
|
Arjan
New Member
Posts: 43
|
Post by Arjan on Jan 21, 2005 16:02:36 GMT -5
Heb ik die vraag wellicht zelf beantwoord als ik stel dat 't inderdaad mag omdat 'falsum' een van de atomaire formules binnen predicaten logica?
|
|
marcel
Junior Member
Marcel (de) bakker
Posts: 70
|
Post by marcel on Jan 21, 2005 17:42:44 GMT -5
In het boek van van Dalen zie je in 2.9 "Adding the existential quantifier" een bewijs van de eliminatieregel m.b.v. de universele kwantor. Als je daar voor psi falsum invult dan zie je dat je daar niets geks doet. Dus ik denk ook dat het kan.
|
|
Arjan
New Member
Posts: 43
|
Post by Arjan on Jan 22, 2005 7:12:21 GMT -5
Als ik me niet vergis dan hebben we deze falsum toepassing nodig bij enkele huiswerkopgaves, .......toch?
|
|