Predictive Logic Eine Tasse ist über einem Buch

Question

Bin rechts oder nicht. Die Prädikatenlogik für die folgenden Sätze.

1. Eine Tasse ist über einem Buch.

   \x exists \y exists cup(x) and book(y) and above(x,y) 
   

2. Eine Tasse berührt ein Buch.

   \x exists \y exists cup(x) and book(y) and touches(x,y). 
   

3. Wenn x über y steht, unterstützt y x.

   for all x For all y on(x,y) implies support(y,x). 
   

4. Wenn x oben y ist und sie sich gegenseitig berühren, dann ist x auf der y.

   for all x for all y above(x,y) and touches(x,y) implies on(x,y). 
   

habe ich recht?

Answer 1

Alle Ihre Formeln scheinen mir vernünftige Darstellungen.

Ich würde zusätzliche Klammern um hinzufügen, um sicherzustellen, dass beide zusammen den Vorläufer der Implikation bilden. Sonst könnte es falsch interpretiert werden als above(x,y) and (touches(x,y) implies on(x,y))