480 likes | 693 Vues
CSE 2813 Discrete Structures. Definitions. A theorem is a valid logical assertion which can be proved usingAxioms: statements which are given to be trueRules of inference: logical rules allowing the deduction of conclusions from premisesA lemma is a
E N D