Có một số hữu tỉ nhỏ hơn nghịch đảo của nó

Dùng kí hiệu ∀ hoặc ∃ để viết các mệnh đề sau

Có một số hữu tỉ nhỏ hơn nghịch đảo của nó;