Logika predikat tingkat pertama

Jika kalkulus proposisional membahas proposisi sederhana, LTP menambahkan predikat dan kuantor. Misalnya: