Formale Logik ist nicht mein Ding, deshalb das ganze ohne Gewähr!
Definitionen:
B: Herr Maier isst Blumenkohl
E: Herr Maier isst Erbsen
K: Herr Maier isst Kartoffeln
I: Herr Maier isst Eis zum Nachtisch
O: Herr Maier isst Kompott zum Nachtisch
Aussagen:
- Wenn er Blumenkohl isst, isst er keine Erbsen
- Wenn er Kartoffeln isst, isst er auch Erbsen
- wenn er keine Kartoffeln isst, isst er Eis zum Nachtisch, sonst Kompott
Die Formalisierung lautet:
Zitieren