File:DM1.Logic.6A.Implication.20180312.pdf