USING CONSIDERATION ACCOUNTING AXIOMES TO PROVE SOME FORMULAS
Keywords:
formula, axiom, dysfunctions, conjunctions, implication, negation, reasoning calculus, proof.Abstract
In this article, we will consider solving examples of the topic “the concept of proof”, one of the topics of discrete mathematics and mathematical logic that challenge most students. Knowing the subject of “axioms of reasoning calculus” is of great importance in inducing provable formulas. Through this article, we will show students how to easily prove induction formulas using a feedback account.
Downloads
Published
How to Cite
Issue
Section
License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.