Resolution Proof Understanding
14236
Why is this clause unsatisfiable?
154459
Constructing a HoTT proof term of 1≠0
138897
help with some Hilbert style proofs in a propositional logic axiom system.
75625
Complete residue system proof
94617
Showing Consistency and Completeness implies a unique truth assignment
145118
How does the proof of Rejection Sampling make sense?
86421
Proof of the definition of cardinal exponentiation
51922
Epsilon Delta Proof: How do I use the definitions to prove
122786
C: The Math Behind Negatives and Remainder
29325
Maximum Proof (Average?)
113065
Proving equivalences of statements equivalent to AC
19326
What makes induction a valid proof technique?
31340
Concurrent lines proof for a regular 18-gon
57215
Stuck on formal proofs. Not sure how to continue
103653
Interpretations and models in propositional logic
47222
Soundness of a rule of a proof system with respect to the truth tables?
55357
Why does drawing $\square$ mean the end of a proof?