Discrete Mathematics
and Its Applications
Kenneth H. Rosen
Fourth Edition
by : Prof. Dr. Aman Ullah Khan
==========
A theorem is a statement that can be shown to be true.
The proof of a theorem is “the sequence of statements that form an argument” to demonstrate that the theorem is true.
Axioms or postulates are the underlying assumptions about mathematical structures, the hypothesis of the theorem to be proved and previously proved theorems.
The Rules of Inference are the means to draw conclusions from other assertions and tie together the steps of a proof.
Fallacies are “the incorrect reasoning”.
A Lemma is simple theorem used in the proof of other theorems.
A Corollary is a proposition that can directly established from a theorem that has been proved.
A Conjecture is a statement whose truth value is unknown.
More inside attachment...