List questions from formal-proofs

Published on 11 Nov 2019 - 17:33

343

Views

Proof of Edmund Landau's Foundation of Analysis

Published on 20 Nov 2019 - 19:34

321

Views

Discrete Mathematics Proofs - Prime Number Tests

Published on 01 Dec 2019 - 1:16

582

Views

First order logic proof with identity rules

Published on 01 Dec 2019 - 10:41

85

Views

Predicate Logic Natural Deduction

Published on 26 Mar 2026 - 2:26

57

Views

Finding equivalence classes for fractionalPart

Published on 02 Dec 2019 - 2:45

37

Views

Prove $\frac{1}{\sin{2\alpha}}+\frac{1}{\sin{2^2\alpha}}+\cdots+\frac{1}{\sin{2^n\alpha}}=\frac{1}{\tan{\alpha}}-\frac{1}{\tan{2^n\alpha}}$

Published on 03 Dec 2019 - 23:36

166

Views

Can semantic entailment be used in a formal proof?

Published on 04 Dec 2019 - 0:17

94

Views

Is this logic proof valid?

Published on 04 Dec 2019 - 14:53

157

Views

How do I show that a goal cannot be proven from premises?

Published on 25 Mar 2026 - 16:00

102

Views

Is there only one right solution when solving with Fitch system?

Published on 08 Dec 2019 - 5:26

293

Views

Suppose that $A$ is an $n$-set. How many subsets does $A$ have that exist of exactly $k$ elements, where $0\leq k\leq n$?

Published on 09 Dec 2019 - 23:52

191

Views

Deducing material implication from inference rule

Published on 14 Dec 2019 - 2:05

249

Views

Estimating meta-mathematical properties of conjectures

Published on 25 Mar 2026 - 17:38

171

Views

Discharging Assumptions and Conditional Introduction (Chiswell and Hodges)

Published on 23 Feb 2026 - 8:38

List Question

Discrete Math - Proofs and Predicates

Proof of Edmund Landau's Foundation of Analysis

Discrete Mathematics Proofs - Prime Number Tests

First order logic proof with identity rules

Predicate Logic Natural Deduction

Finding equivalence classes for fractionalPart

Prove $\frac{1}{\sin{2\alpha}}+\frac{1}{\sin{2^2\alpha}}+\cdots+\frac{1}{\sin{2^n\alpha}}=\frac{1}{\tan{\alpha}}-\frac{1}{\tan{2^n\alpha}}$

Can semantic entailment be used in a formal proof?

Is this logic proof valid?

How do I show that a goal cannot be proven from premises?

Is there only one right solution when solving with Fitch system?

Suppose that $A$ is an $n$-set. How many subsets does $A$ have that exist of exactly $k$ elements, where $0\leq k\leq n$?

Deducing material implication from inference rule

Estimating meta-mathematical properties of conjectures

Discharging Assumptions and Conditional Introduction (Chiswell and Hodges)

Trending Questions

Popular # Hahtags

Popular Questions