Aussagelogik math. formulieren

Question

Aufgabe: Im mathematischen Kontext formulieren:

1) Bobs linkes und sein rechtes Auge besitzen dieselbe Farbe.

2) Sowohl Alice als auch Bob finden genau zwei der folgenden drei Tiere süss (nicht notwendigerweise dieselben):

   - Katzen       - Otter     - Kängurus

3) alice und Bob sind sich uneins darüber, ob Katzen süss sind.

Problem/Ansatz:

Komme bei diesen Aussagelogiken nicht weiter. Wäre dankbar für eure Vorschläge!

Answer 1

1) L(B) ∧ R(B): F

2) A ∧ B: X∧Y , X,Y ∈{K,O,Kä}

3) S: A ≠B

S= Katzen sind süss

Comments

danke dir :)