Conditional Propositions and Logical Equivalence
By: Cole Srebro, Dillan Patel, Jerry Langan. Deductive Structure -a system, of thought in which conclusions are justified by means of previously proved.