Ik ben net begonnen met propositielogica en ben nu bezig met zinnen om te zetten naar propositielogica met atomaire zinnen. Er wordt gevraagd om de vertaalsleutels er ook bij te zetten.
De eerste zin was:
De man loopt op straat en ziet dat er een auto aankomt, dus gaat het snel op de stoep lopen.
Dit was mijn antwoord:
\(A \land B \to C\)
A = De man loopt op straat.B = De man ziet dat er een auto aan komt.
C = De man gaat snel op de stoep lopen.
Daarna kwam deze zin:
Je bent onheus bejegend door een medewerker van de universiteit of een docent heeft niet tijdig jouw scriptie beoordeeld.
Waarop ik snel dit antwoord invulde:
\(A \lor \neg B\)
A = Je bent onheus bejegend door een medewerker van de universiteit.B = Een docent heeft tijdig jouw scriptie beoordeeld.
Maar, het is bij logica zo dat
\(\lor\)
ook waar geeft wanneer beide A en B waar zijn. Dit lijkt mij niet de bedoeling. Dus zou ik hierbij moeten zeggen:\(A \lor \neg B \land \neg (A \land \neg B)\)
Is dit correct denken of denk ik te ver?Ook had ik een probleem bij de zin:
Studenten leveren hun werk op papier of digitaal in maar niet zowel op papier als digitaal.
Het kan volgens mij op twee manieren, welke is juist?
\((A \lor B) \land \neg (A \land B) = (A \land \neg B) \lor (\neg A \land B)\)
A = Studenten leveren hun werk op papier in.B = Studenten leveren hun werk digitaal in.
Uiteindelijk mijn laatste vraag. Hoe doe ik deze zin:
Docenten nemen zelf tijdig het initiatief om tot openbare werving van student-assistenten over te gaan.
Ik vrees dat ik nog veel te vragen heb over deze stof
Alvast bedankt,
Evan
.