Diskuse:Predikátová logika prvního řádu
Z Wikipedie, otevřené encyklopedie
Je to pěkné, že to tu máme, a díky za to, ale ještě lepší by bylo, kdyby to někdo zkusil vysvětlit tak, aby to i nebohý laik pochopil.
Nejlépe na nějakých příkladech, z reálného světa.