Predikátová logika prvního řádu (First-order predicate logic, FOPL)

   Převeďte do formulí predikátové logiky prvního řádu následující věty v
   češtině:

   1. Alice bydlí v Brně, ale Bob ne.

   2. Láďa dal gól a radostí oběhl hřiště.

   3. Někteří studenti přišli do učebny.

   4. Nikdo nemá rád čekání ve frontě.

   5. Nebude-li pršet, nezmokneme.

   Poznámka: Protože zadání je dost vágní, existuje několik řešení.

   Tipy:

    1. Definujte v každé větě, co rozumíte entitami a co je pro vás predikát.

    2. Predikát je často přísudek, může to být i přívlastek. Například: “Auto
       je červené” a “červené auto” obsahují predikát “být_červený”.

    3. Můžete použít logické spojky AND OR a NOT. Pozor, jejich význam může
       být jiný než je význam ve větě.

    4. Můžete použít kvantifikátory FORALL a EXISTS.