Infinite truth assignments
102824
Countable set of truth assignments satisfying set of well formed formulas
72371
Proof of Strong Induction Using Well-Ordering Principle
139278
If $\Gamma$ is satisfiable then $\Gamma$ is consistent
121361
Showing that $\lnot Q \lor (\lnot Q \land R) = \lnot Q$ without a truth table
94295
Pigeonhole-principle with two choices
106799
Proof Verification: Converse of Intermediate Value Theorem
135267
Predicate Logic and Inference
128111
Why is a deductive closure an intersection of maximally consistent sets?
72068
Finding Boolean/Logical Expressions for truth tables in algebraic normal form(ANF)
91281
Proving the so-called "Well Ordering Principle"
46420
Infinite Atwood's machine
103653
Interpretations and models in propositional logic
44974
Infinite set and countable subsets
156850
Fix-Point Theorem Proof.
29755
Power set equivalency of Axiom of Choice
62936
Proving equivalencies of two versions of the Axiom of Choice
101877
Assumed True until proven False. The Curious Case of the Vacuous Truth