List questions from formal-proofs

Published on 24 Mar 2026 - 22:09

92

Views

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

Published on 23 Mar 2026 - 2:57

119

Views

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

Published on 23 Mar 2026 - 3:56

83

Views

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

Published on 05 Apr 2018 - 0:36

66

Views

Struggling with the reasoning of why this is so - proofs

Published on 10 Apr 2018 - 19:34

9.5k

Views

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

Published on 13 Apr 2018 - 4:02

96

Views

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

Published on 19 Apr 2018 - 17:25

531

Views

Deduction of "Disjunction elimination"

Published on 22 Mar 2026 - 0:52

239

Views

Formally proving $p\wedge q \rightarrow p$

Published on 29 Apr 2018 - 11:52

5.2k

Views

Mathematics books to master limits.

Published on 22 Mar 2026 - 2:10

208

Views

Proving the impossibility of a proof

Published on 22 Mar 2026 - 3:47

85

Views

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

Published on 06 May 2018 - 19:12

228

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 18 May 2018 - 16:20

89

Views

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

Published on 19 May 2018 - 19:19

276

Views

Some questions about the properties of equality

Published on 22 Mar 2026 - 7:25

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