9.Predikatu-logika.pdf