Nos conjuntos numéricos, são válidas as seguintes afirmações:

• todo número natural é um número inteiro;

• todo número inteiro é um número racional;

• todo número racional é um número real;

• todo número irracional é um número real;

• todo número real é um número complexo;

• não existe um número que seja, simultaneamente, racional e irracional nos conjuntos numéricos.

Com base nessas informações, se p é um número irracional, então