Definitions (binding association of concepts to words within presentation)
Declaratives (scenario givens; for the sake of this discussion..)
Axioms (already agreed to be true and demarked as axiomatical)
Conclusive Premises (simple conclusions due to lack of alternatives)
Observational Premises (we have directly seen this...)
Conditional Premises (IF this is true, then..)
Arguments (because that is true, this.. must also be true)
Conclusions (because all of that has been true, this.. can be concluded)
Extrapolations (having concluded that, this.. can also be concluded)
Other than tpyos or other stupidities, such a presentation will be correct 100% of the time. The truth value will be 100% because NO presumptions are made (other than the notion that anyone cares) and all possible alternatives have been properly denounced. But note that each element should be demarked as to which type it is.