Conectivo_lógico_bicondicional loading ...