Betekenis van uitdrukkingen over de verzameling van de natuurlijke getallen
Beste,
Ik heb volgende opgave gekregen voor het vak 'Talen en Automaten'. Kan je me uitleggen wat ze hiermee bedoelen? Ik vraag niet om het op te lossen, maar gewoon om het uit te leggen. Alvast bedankt
Opgave: Beschouw als universum de verzameling van de natuurlijke getallen. Ga voor elk van de volgende uitdrukkingen na wat de betekenis is, en of ze waar of vals is: 1. "x $y (x y) 2. $y "x (x y) 3. $x "y (x y) 4. "y $x (x y) 5. $x $y (x y) 6. "x "y (x y)
Ashwin
Student universiteit België - zondag 28 september 2008
Antwoord
Die "x betekent 'voor alle x' en die $x betekent 'er is een x'.
Dus bij 1. staat 'voor alle x is er een y zodat xy'. De vraag is dan of dat klopt. Ik denk 't wel... Noem mij een 'x' en dan neem ik y=x+1 en dan is er altijd een y zodat xy.
En de rest gaat precies zo...
Je begrijpt dat de eis 'voor alle' veel moeilijker is dan 'er is een'. Maar ik denk dat het nu wel gaat lukken. Anders maar weer vragen...
zondag 28 september 2008
©2001-2024 WisFaq
|