Seonglae ChoThe process of deriving continuously true statements using Inference Ruless from basic premises called Axioms
The methodology for determining the truth value of a logical proposition through a formal proof process deals with the set of axioms and inference rules used to show that a proposition is logically true. In other words, it studies the process of proving that a proposition is true.