[Các đối tượng toán học cơ bản] Mệnh đề, Logic toán học, Vị từ - Lượng từ