Relation between a tautology and a theorem
12569
Using the terms 'theorem 'and 'tautology'
144266
set theory proof of $A\cap B = A \setminus(A\setminus B)$
83714
$A \in B$ vs. $A \subset B$ for proofs
117431
Are the proofs for the properties of parallel lines, and that a triangle has 180 degrees, inherently tautological?
141814
Proofs using theorems instead of axioms
136584
Understanding connection between terms tautology, contradiction, contingent, satisfiable, unsatisfiable, valid and invalid
81550
Linking two theorems: on algebraic closure and on minimal splitting field
115224
Equivalences of $\diamondsuit$-principle.
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
103463
Mantel's Theorem proof verification
32325
Can there be a valid argument which has a tautology as a conclusion?
148500
Understanding this theorem and how to go about proving it surjectivity?
6119
If both $P$ and $Q$ are true , how can I tell that $P$ implies $Q$?
41223
How to check, whether the formula is a tautology
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
143999
Prove that formula is not tautology.
122184
De Morgan's laws in logic and set theory