logic related issues & queries in MathXchanger









How are we meant to prove theorems?

logic proof-writing
Updated September 21, 2019 06:20 AM









Compactness Theorem- Why not Counterexample?

logic
Updated September 18, 2019 20:20 PM

Proving by Mathematical Induction

logic induction
Updated September 18, 2019 18:20 PM

How do I negate a mathematical statement?

logic
Updated September 18, 2019 17:20 PM

$\delta_0$-formula

set-theory first-order-logic
Updated September 18, 2019 14:20 PM





Inference in natural deduction proofs

logic
Updated September 17, 2019 20:20 PM


modus tollens and proof by contradiction

logic proof-theory
Updated September 17, 2019 10:20 AM






Is {$↔,⊕$} complete set?

discrete-mathematics logic
Updated September 16, 2019 10:20 AM



Proof for a sequent in symbolic logic

logic sequent-calculus
Updated September 15, 2019 23:20 PM

Showing Page 1 of 0