Oké, ik denk dat ik het snap.
De oorspronkelijke stelling is dus fout, en de negatie is correct.
Zo dan:
x
,
y
:
((x²=y²) => (x=y))
De
staat waarschijnlijk wel op de foute plaats hé?
Dan nog:
Opdracht: "
Schrijf elke van volgende uispraken met behulp van de notatie van formele logica (dwz kwantoren, implicatie, ...). Voer daarbij zelf notaties in voor bepaalde verzamelingen die relevant zijn in de diverse uitspraken"
(a) "Op elke potje past een deksel"
Oplossing: [rr] p [element]P, [rr] d
D: het past
Hier is P de verzameling van potjes, en D de verzameling deksels
---------------------------------------
(b) "Er is een deksel dat op elke potje past"
Oplossing: ?
---------------------------------------
© "Als iemand goed studeert, zal hij slagen"
Oplossing: (Goed studeren) <=> (Slagen)
---------------------------------------
(d) "Voor elk examen slaagt er minstens één student."
Oplossing:
/ e
E: s
1 (s[element]S)
Hier is S de verzameling van het aantal slagende studenten
---------------------------------------
(e) "Er is een examen waarvoor elke student slaagt."
Oplossing:
e
E :
s
S
Hier is E de verzameling van examens en S het aantal slagende studenten.
---------------------------------------
(f) "Er is een student die voor alle examens slaagt"
Oplossing:
s
S ....... ?
Alvast bedankt
PS: de Oplossing zijn door mijzelf gemaakt, en zijn dus niet (altijd) correct.
Be careful whose advice you buy, but be patient with those who supply it.
