Logika predikat tingkat pertama

Contoh berikut menjabarkan perbedaan kalkulus proposisional dan LTP: