List questions from formal-proofs

Published on 26 Mar 2026 - 16:02

1.2k

Views

Concerning Symmetric Transitive closure

Published on 09 Jun 2017 - 0:18

656

Views

$\sqrt{2}$ proved irrational by denominator descent on $\sqrt 2 - 1$

Published on 10 Jun 2017 - 8:53

2.4k

Views

Formal proof in Fitch - How to prove contradiction in a biconditional?

Published on 10 Jun 2017 - 22:34

75

Views

Propositional logic, could this question be a typo?

Published on 14 Jun 2017 - 2:46

505

Views

Direct proof using summation

Published on 14 Jun 2017 - 4:30

1.1k

Views

Diagonal of a Rectangle

Published on 28 Mar 2026 - 8:08

2.1k

Views

Proving that the norm of a Matrix is bigger or equal to it's smallest singular value multiplied by a vector.

Published on 21 Jun 2017 - 6:23

1.1k

Views

Is $f(x, y) = 5x - 4y$ injective or surjective?

Published on 21 Jun 2017 - 21:17

841

Views

Proof with disjunctive conclusion

Published on 28 Mar 2026 - 11:52

305

Views

formal Proof of an inequality

Published on 01 Jul 2017 - 13:06

331

Views

Proving $C \vdash D \lor \neg D$ using natural deduction, and WITHOUT any additional hypotheses/assumptions?

Published on 28 Mar 2026 - 10:16

330

Views

Is simplification from 'or' ($\lor$) valid?

Published on 06 Jul 2017 - 6:33

1.1k

Views

Are these conditional statements true?

Published on 16 Jul 2017 - 17:57

2.3k

Views

Which subfields of math are easier or harder to formalize?

Published on 23 Feb 2026 - 2:56

List Question

Fitch Notation Set Theory

Concerning Symmetric Transitive closure

$\sqrt{2}$ proved irrational by denominator descent on $\sqrt 2 - 1$

Formal proof in Fitch - How to prove contradiction in a biconditional?

Propositional logic, could this question be a typo?

Direct proof using summation

Diagonal of a Rectangle

Proving that the norm of a Matrix is bigger or equal to it's smallest singular value multiplied by a vector.

Is $f(x, y) = 5x - 4y$ injective or surjective?

Proof with disjunctive conclusion

formal Proof of an inequality

Proving $C \vdash D \lor \neg D$ using natural deduction, and WITHOUT any additional hypotheses/assumptions?

Is simplification from 'or' ($\lor$) valid?

Are these conditional statements true?

Which subfields of math are easier or harder to formalize?

Trending Questions

Popular # Hahtags

Popular Questions