First-order logic - P讲义enn Engineering