Logika predikat tingkat pertama

Kedua kalimat di atas dalam kalkulus proposisional adalah dua proposisi yang tidak berhubungan, misalnya dilambangkan dengan "p" dan "q". Dalam LTP, keduanya dihubungkan dengan satu sifat, yaitu Manusia(x), artinya x adalah seorang manusia. Bila x = Socrates kita mendapatkan proposisi pertama, "p"; dan jika x = Plato kita mendapatkan proposisi kedua, "q".