Esto se acerca más a las ópticas intuicionistas y constructivistas sobre el condicional material, más que a las de la lógica clásica.