Hallo!
Voor een opdracht moet ik meerdere zinnen omzetten in symbolische vorm. De meeste zijn gelukt, maar met één blijf ik zitten:
"Wanneer twee gegeven sets S1 en S2 dezelfde leden hebben, zijn ze gelijk"
Mijn 'oplossing' is als volgt:
∀x(Lid(x,S1) ∧ Lid(x,S2) → (S1 ≡ S2)
Kunt u mij aangeven of dit correct is, en zo nee wat ik fout doe?Kees
22-11-2006
Je haakjes zijn uit balans: de haak achter "x moet na het tweede Lid-predicaat worden afgesloten; dan is het, mits het puntje tussen de twee Lid-predicaten voor de dubbele pijl staat correct.
kphart
28-11-2006
#47736 - Logica - Student universiteit