Dùng kí hiệu ∀ hoặc ∃ để viết mệnh đề sau và xét tính đúng sai của nó. Mọi số thực khác 0 nhân với nghịch đảo của nó bằng 1.