Professor references his definition of recursion Notes say "see
Define Tautology Math. Web a tautology is an assertion of propositional logic that is true in all situations; That is, it is true for all possible.
That is, it is true for all possible. Web a tautology is an assertion of propositional logic that is true in all situations;
That is, it is true for all possible. That is, it is true for all possible. Web a tautology is an assertion of propositional logic that is true in all situations;
