Showing validity of a formula in first order logic
89938
Is the Formula Logically Valid?
53199
First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
138897
help with some Hilbert style proofs in a propositional logic axiom system.
141529
Proving existence of a minimum
143627
Use the Fitch system to prove the tautology (p ∨ ¬p)
150451
Logic soundness and completeness
103463
Mantel's Theorem proof verification
94617
Showing Consistency and Completeness implies a unique truth assignment
72185
The negation of a limit condition, Spivak style.
66971
What is the purpose of the first test in an inductive proof?
48606
Help with a Predicate Logic homework proof
113605
In Fitch, how does one prove "(P → Q)" from the premise "(¬P ∨ Q)"?
87928
Proof of logical equivalence of biconditional and other proposition
115712
Application of Derivatives rigorous proof
88603
verify equicontinuous functions
141814
Proofs using theorems instead of axioms
10598
Contrapositive Fitch Proof