Logika predikat tingkat pertama

Ketiga kalimat di atas tidak dapat dihubungkan dalam kalkulus proposisional. Dalam LTP, kita dapat menerjemahkan ketiga kalimat itu sebagai: