A B ye eşittir Eğer ve sadece B gerçekse A doğrudur. ile aynı anlamı vardır.
- A is equivalent to B has the same meaning as A is true if and only if B is true.
Eğer tamsayı sadece sıfırdan büyük veya eşit ise tamsayı doğaldır.
- An integer is natural if and only if it is greater or equal to 0.