List questions from formal-proofs

Published on 25 Mar 2026 - 19:13

90

Views

How do I use resolution to prove a formula

Published on 14 Dec 2015 - 23:17

126

Views

Formalizing $na$ for $n\in\mathbb{Z}$ and $a\in R$ where $R$ is a ring.

Published on 17 Dec 2015 - 0:57

185

Views

Proving $(A \implies B) \land (\lnot A \implies C)~,~~ (A \implies \lnot B) \land (\lnot A \implies C) \vdash C$?

Published on 18 Dec 2015 - 11:40

220

Views

I feel like this cannot be proven. Am I setting up the contrapositive correctly?

Published on 10 Jan 2016 - 18:29

98

Views

Isabelle and "Method of Coefficients"

Published on 26 Mar 2026 - 1:28

353

Views

Algorithms in formal logic + ZFC

Published on 15 Jan 2016 - 0:30

462

Views

Proof of dot product = 0 (orthogonality?)

Published on 16 Jan 2016 - 16:24

1.7k

Views

What makes for a rigorous proof?

Published on 21 Jan 2016 - 3:10

348

Views

For all $x$ and some of $y$

Published on 21 Jan 2016 - 6:24

2.2k

Views

When writing proofs, is logical notation a crutch?

Published on 21 Jan 2016 - 14:48

250

Views

formally prove ¬∀x:X.P → Q ⊣⊢ ∃x:X.¬(¬Q → ¬P)

Published on 22 Jan 2016 - 12:17

68

Views

For all real a, b, order the averages.

Published on 26 Mar 2026 - 16:57

434

Views

Recursive definitions in formal logic

Published on 25 Mar 2026 - 22:07

61

Views

How to prove if $5/2 < x < (5/4)(1+\sqrt2)$, then $25/(x(2x-5)\ge 8$

Published on 10 Feb 2016 - 3:31

List Question

Peano Arithmetic: How would this formalized statement be correct?

How do I use resolution to prove a formula

Formalizing $na$ for $n\in\mathbb{Z}$ and $a\in R$ where $R$ is a ring.

Proving $(A \implies B) \land (\lnot A \implies C)~,~~ (A \implies \lnot B) \land (\lnot A \implies C) \vdash C$?

I feel like this cannot be proven. Am I setting up the contrapositive correctly?

Isabelle and "Method of Coefficients"

Algorithms in formal logic + ZFC

Proof of dot product = 0 (orthogonality?)

What makes for a rigorous proof?

For all $x$ and some of $y$

When writing proofs, is logical notation a crutch?

formally prove ¬∀x:X.P → Q ⊣⊢ ∃x:X.¬(¬Q → ¬P)

For all real a, b, order the averages.

Recursive definitions in formal logic

How to prove if $5/2 < x < (5/4)(1+\sqrt2)$, then $25/(x(2x-5)\ge 8$

Trending Questions

Popular # Hahtags

Popular Questions