Oración 1: la regla dice que si suponiendo A se llega a la conclusión de que B, entonces se puede afirmar que A → B, introduciendo así un condicional material
Oración 2: una demostración que hace uso de la regla de introducción del condicional material podría ser:
Conector: por ejemplo,
Relación: entailment
Género: articles