List questions from formal-proofs

Published on 29 Apr 2026 - 12:46

102

Views

Prove this $\vdash_{_L}\mathscr{\left((\neg B)\rightarrow B\right)\rightarrow B}$

Published on 30 Apr 2026 - 6:04

126

Views

How much of first order statements can we derive purely from the definitions in arithmetic?

Published on 06 May 2026 - 7:32

86

Views

Deduction of $\vdash \exists x (Px \rightarrow \forall y Py)$

Published on 09 Apr 2026 - 2:02

69

Views

Struggling with the reasoning of why this is so - proofs

Published on 13 Apr 2026 - 16:40

9.5k

Views

for all sets A, B, and C if A ⊆ B then A$\cup$C ⊆ B$\cup$C.

Published on 16 Apr 2026 - 5:46

99

Views

How can I prove these quantifier problem? $\neg\forall x P(x) \iff \exists x \neg P(x)$

Published on 15 Apr 2026 - 9:43

535

Views

Deduction of "Disjunction elimination"

Published on 11 Apr 2026 - 9:05

242

Views

Formally proving $p\wedge q \rightarrow p$

Published on 15 Apr 2026 - 15:06

5.2k

Views

Mathematics books to master limits.

Published on 16 Apr 2026 - 23:08

212

Views

Proving the impossibility of a proof

Published on 14 Apr 2026 - 13:48

88

Views

How to formally prove $\forall x: x11=x$ in the theory of groups.

Published on 11 Apr 2026 - 11:41

231

Views

Is it possible to rewrite the solution of an equation as a sequence of logical inferences in a logic system (e.g. FOL, SOL, etc.)?

Published on 11 Apr 2026 - 4:03

92

Views

Most adequate logic system to formally prove Euler's identity (and what would the proof look like)?

Published on 11 Apr 2026 - 20:58

278

Views

Some questions about the properties of equality

Published on 08 Apr 2026 - 9:24

List Question

Fitch Natural Deduction proof problem

Prove this $\vdash_{_L}\mathscr{\left((\neg B)\rightarrow B\right)\rightarrow B}$

How much of first order statements can we derive purely from the definitions in arithmetic?

Deduction of $\vdash \exists x (Px \rightarrow \forall y Py)$

Struggling with the reasoning of why this is so - proofs

for all sets A, B, and C if A ⊆ B then A$\cup$C ⊆ B$\cup$C.

How can I prove these quantifier problem? $\neg\forall x P(x) \iff \exists x \neg P(x)$

Deduction of "Disjunction elimination"

Formally proving $p\wedge q \rightarrow p$

Mathematics books to master limits.

Proving the impossibility of a proof

How to formally prove $\forall x: x11=x$ in the theory of groups.

Is it possible to rewrite the solution of an equation as a sequence of logical inferences in a logic system (e.g. FOL, SOL, etc.)?

Most adequate logic system to formally prove Euler's identity (and what would the proof look like)?

Some questions about the properties of equality

Trending Questions

Popular # Hahtags

Popular Questions