Övning 7
Översätt satserna nedan till predikatlogikens språk.
nyckel:
a = Arthur, b = Boris, c = Cecilia, p(x) = x talar, q(x,y) = x tala med y, r(x,y,z) = x talar om y för z, s(x) = x stampar
- Arhur talar.
- Boris talar och stampar.
- Cecilia talar med Boris.
- Arthur talar om Boris för Cecilia.
- Arthur talar men stampar inte.
- Arthur och Cecilia talar.
- Boris stampar inte.
- Varken Boris eller Arthur talar.
- Om Arthur talar, så stampar Boris inte.
- Cecilia talar med Boris.
- Boris talar om Cecilia för Arthur.
- Om Cecilia talar med Arthur, så talar Boris inte med henne.
- Boris talar med Cecilia endast om Arthur talar om Cecilia för honom.
- Athur talar med Cecilia eller så talar de inte alls.
- Boris och Arthur talar med varandra.
- Cecilia och Boris talar med varandra, men de stampar inte.
- Alla stampar.
- Någon talar.
- Om någon stampar, så talar alla.
- Om alla stampar, så talar alla.
- Alla som stampar talar.
- Någon stampar och någon talar.
- Någon stampar och talar.
- Om Arthur stampar, så talar alla.
- Artur talar med någon.
- Någon talar med Cecilia.
- Alla talar med Boris.
- Ingen talar med Arthur.
- Någon talar med alla.
- Alla talar med alla.
- Alla talar med sig själva.
- Om någon talar om Cecilia för Arthur, så talar han med henne.
- Alla som talar med Boris talar med Arthur.
- Cecilia talar med alla som talar med henne.
- Om Cecilia talar med alla, så talar någon med Arthur.
- Arthur talar om någon för alla.
- Arthur talar om alla för någon.
- Någon talar om någon för alla.
- Boris talar med alla utom Arthur.
- Cecilia talar med någon annan än Arthur.
- Ingen talar med Arthur.
- Ingen talar med någon.
Studiematerial
Kursens startsida