0440949 - Andreas van Cranenburgh, Logica en symbolische robotica, zevende opdracht.

4.
4

5.
5

6. Ik kan mij absoluut niet vinden in deze stelling. Mijn tegenvoorbeeld:

objecten 0 en 1, A(0)=false, A(1)=true. P=false.
In dit geval is de variant met universele quantor waar, links van de pijl is het false en rechts ook, geen probleem. Maar de variant met existentiele quantor is niet waar! Want links van de pijl is het true, maar rechts false.

Nog een tegenvoorbeeld: er zijn geen objecten, P=true, in dit geval is de variant met de universele quantor waar, want als er geen objecten zijn dan is alles waar met een universele quantor. Maar de variant met de existentiele quantor is niet waar, want er zijn immers geen objecten.

Plaatjes gemaakt met Dia, website geschreven met Nvu.