Return to Article Details CLASSICAL LOGIC: FORMALIZATION OF LOGICAL IMPLICATION Download Download PDF