List questions from formal-proofs

Published on 26 Jan 2019 - 21:17

32

Views

Formal proof method for predicate logics

Published on 28 Jan 2019 - 18:17

659

Views

Formal Proof - premises and conclusions

Published on 28 Jan 2019 - 21:10

148

Views

Proving $\exists ! x (t = x)$ constructively without double negation axiom

Published on 29 Jan 2019 - 6:45

167

Views

Formal Deduction (logic) Question: $\lnot C, (B \to \lnot C) \to A \vdash (A \to C) \to F$

Published on 02 Feb 2019 - 23:43

23.8k

Views

Proving Symmetric Difference of A and B

Published on 25 Mar 2026 - 4:39

144

Views

Proof of $(P\to Q) \vee (Q\to P)$ with natural deduction

Published on 04 Feb 2019 - 10:02

320

Views

Proof of Natural Numbers using n+1 = n ∪ {n}

Published on 05 Feb 2019 - 23:59

135

Views

A 7-formula deduction for $\{\forall x (Px \to Qx), \forall z P z\} \vdash Qc$. Enderton logic page 123.

Published on 09 Feb 2019 - 1:33

67

Views

Natural deduction - formal proof troubles

Published on 09 Feb 2019 - 16:39

85

Views

Is this proof in natural deduction proof system correct?

Published on 25 Mar 2026 - 7:41

3.2k

Views

Formal proof of one of De Morgan's laws

Published on 22 Mar 2026 - 17:50

54

Views

Non contradiction principle

Published on 09 Feb 2019 - 21:36

51

Views

Can someone give me a hint on how to prove this?

Published on 09 Feb 2019 - 21:53

1.2k

Views

Trouble with negation introduction with Fitch natural deduction proof

Published on 09 Feb 2019 - 21:55

List Question

How to prove the following formula using an indirect proof

Formal proof method for predicate logics

Formal Proof - premises and conclusions

Proving $\exists ! x (t = x)$ constructively without double negation axiom

Formal Deduction (logic) Question: $\lnot C, (B \to \lnot C) \to A \vdash (A \to C) \to F$

Proving Symmetric Difference of A and B

Proof of $(P\to Q) \vee (Q\to P)$ with natural deduction

Proof of Natural Numbers using n+1 = n ∪ {n}

A 7-formula deduction for $\{\forall x (Px \to Qx), \forall z P z\} \vdash Qc$. Enderton logic page 123.

Natural deduction - formal proof troubles

Is this proof in natural deduction proof system correct?

Formal proof of one of De Morgan's laws

Non contradiction principle

Can someone give me a hint on how to prove this?

Trouble with negation introduction with Fitch natural deduction proof

Trending Questions

Popular # Hahtags

Popular Questions