👉 In logic and mathematics, a tautology is an assertion that cannot be true or false independently of the rules of inference. In simpler terms, if you can prove a statement to be true by following all of its logical rules, then it must necessarily be true. For example: - If p → q (p is a premise) - If q → r (q is a premise) - If p → r (p and q are both premises) Then we say that "p is a
