Logika predikat tingkat pertama

Dalam kalkulus proposisional, ketiga kalimat di atas diterjemahkan sebagai:
(formula_1 artinya "maka")