Assinale a alternativa que apresenta uma proposição composta com operador lógico bicondicional com valor lógico verdadeiro.

Se √7 é um número irracional, então – 2 é um número inteiro.

√2 é um número racional se, e somente se, – 5 é um número inteiro.

Se √25 é um número irracional, então ½ é um número racional.

√49 é um número irracional se, e somente se, √17 é um número racional.

Ou √1 é um número irracional ou √2 é um número racional.