logika predikátová - odkazy
kvantifikátor
logika
predikát predikátor
výraz predikátorový
zákony de Morganove