Semantik - Prädikatenlogik: Allquantor

x ist wahr gdw es kein x gibt, das A nicht erfüllt.

Alles fließt.

=> für jedes Ding gilt: es fließt.

=> für alle x gilt: x fließt.

=>

x(FLIEßEN(x))

Alle Menschen sind sterblich.

=> für jeden Menschen gilt: er ist sterblich.

=> für jedes x gilt: wenn x ein Mensch ist, ist x sterblich.

=>

x(MENSCH(x) -> STERBLICH(x))

"Alle F sind G." => x(F(x) -> G(x))