Return to Article Details Propositional logic extended with a pedagogically useful relevant implication Download Download PDF