Se √3 é um número irracional, então √8 é um número racional.

Ou ¼ é um número inteiro ou √5 é um número natural.

Ou √4 é um número irracional ou 0,333... é um número racional.

√9 é um número irracional se, e somente se, ½ é um número inteiro.

Se 0,5 é um número racional, então √13 é um número irracional.