Logika predikat tingkat pertama

Logika predikat tingkat pertama adalah sistem deduksi formal yang digunakan dalam matematika, filosofi, linguistika, dan ilmu komputer.