List questions from formal-proofs

Published on 21 Mar 2023 - 4:21

60

Views

Reflection principle for finite subsystems of PA.

Published on 23 Feb 2026 - 12:05

88

Views

Advice on proof-based exercises and more theoretical math subjects

Published on 31 Mar 2023 - 15:55

121

Views

Help with Formal Proof using introduction and elimination rules

Published on 27 Mar 2026 - 4:04

50

Views

If $\Sigma\vdash A \lor B$ then $\Sigma \vdash A$ or $\Sigma \vdash B$

Published on 18 Apr 2023 - 21:02

102

Views

What is the difference between proving an equation versus verifying LHS = RHS?

Published on 09 May 2023 - 0:24

87

Views

Is the contradiction 1=0 a valid contradiction for a proof?

Published on 16 Jun 2023 - 3:12

32

Views

first order logic - Fitch Formal Proof Question

Published on 05 Jul 2023 - 18:56

81

Views

Is this formal proof of the "Proof by Contradiction" derivation rule correct?

Published on 19 Jul 2023 - 0:07

29

Views

Interpretation of a proof by contrapositive in a small subset of the integers

Published on 19 Jul 2023 - 2:41

261

Views

Is my proof of $1+1=2$ correct?

Published on 26 Jul 2023 - 17:31

189

Views

Why is Simplification considered an inference rule instead of a replacement rule?

Published on 23 Aug 2023 - 8:17

127

Views

Do order of lines matter when applying inference rules?

Published on 24 Aug 2023 - 13:32

47

Views

Are there any ternary inference rules in propositional logic?

Published on 25 Aug 2023 - 9:38

51

Views

How to generate iid random variables?

Published on 27 Aug 2023 - 11:11

List Question

Software Recommendation for Theorem Suggestions

Reflection principle for finite subsystems of PA.

Advice on proof-based exercises and more theoretical math subjects

Help with Formal Proof using introduction and elimination rules

If $\Sigma\vdash A \lor B$ then $\Sigma \vdash A$ or $\Sigma \vdash B$

What is the difference between proving an equation versus verifying LHS = RHS?

Is the contradiction 1=0 a valid contradiction for a proof?

first order logic - Fitch Formal Proof Question

Is this formal proof of the "Proof by Contradiction" derivation rule correct?

Interpretation of a proof by contrapositive in a small subset of the integers

Is my proof of $1+1=2$ correct?

Why is Simplification considered an inference rule instead of a replacement rule?

Do order of lines matter when applying inference rules?

Are there any ternary inference rules in propositional logic?

How to generate iid random variables?

Trending Questions

Popular # Hahtags

Popular Questions