Mit jelentenek az alábbi logikában használ jelek?

Ezek a képletek elsőrendű logikában vannak. [link]

Az első rendű logika annyival egészül ki, hogy beszélhetsz egyénekről/egyedekről. Pl megmondhatod, hogy Szókratész aki egy egyed, az filozófus. pl így: F(sz) - ahol F egy egy változós predikátum, és azt jelenti, hogy a változója az filozófus, sz pedig egy konstans szimbólum, ami azt jelenti, hogy sz az egy egyed, nem "akárki".

változó lehet pl x (x y z általában változók, tehát a feladatban is), és ha azt mondom, hogy "minden x (F(x) -> E(x))" minden x-re igaz, hogy ha x filozófus, akkor x az ember. Így az F(sz)-ből és a minden x (F(x) -> E(x)) - ből megtudjuk, hogy Szókratész ember.

Ez volt az univerzális kvantor [link]

a létezik, azaz az egzisztenciális kvantor [link]

az meg olyan, hogy létezik olyan kutya, ami nem ugat. létezik x (K(x) és nem U(x)) - ez azt jelenti, hogy van legalább egy kutya, aki nem ugat. Lehet, hogy egyik kutya se ugat, lehet hogy egy kivételével mindegyik ugat, de az összes közül egy biztos hogy nem.