Question

$\vdash\neg(\square \neg p\land p\land\diamond(p\land\square p\land \diamond p) )$

score 59 · Answer 1 · 2026-03-25 04:42:43

59

Views

$\vdash\neg(\square \neg p\land p\land\diamond(p\land\square p\land \diamond p) )$

Published on 25 Mar 2026 - 4:42

score 31 · Answer 2 · 2019-03-22 03:04:24

31

Views

How can I prove that $n \sqrt{\frac{x}{n^2}} = \sqrt{x} | n \in \mathbb{N}$?

Published on 22 Mar 2019 - 3:04

score 217 · Answer 3 · 2026-03-25 10:55:31

217

Views

Can axioms be premises in formal proofs?

Published on 25 Mar 2026 - 10:55

score 244 · Answer 4 · 2019-03-25 20:37:05

244

Views

Landau’s Function

Published on 25 Mar 2019 - 20:37

score 45 · Answer 5 · 2019-03-26 03:41:05

45

Views

Proving the theorem $\forall a\in\mathbb{N},\forall m\in\mathbb{N},(m<a\Rightarrow m\leq a-1)$

Published on 26 Mar 2019 - 3:41

score 123 · Answer 6 · 2019-04-02 12:44:42

123

Views

Understanding $\lor~E$ in Natural Deduction?

Published on 02 Apr 2019 - 12:44

score 304 · Answer 7 · 2019-04-03 18:37:16

304

Views

How do I prove relation involving inequalities is transitive?

Published on 03 Apr 2019 - 18:37

score 29 · Answer 8 · 2019-04-06 20:01:27

29

Views

Proof for similarities between two triangles.

Published on 06 Apr 2019 - 20:01

score 300 · Answer 9 · 2019-04-07 18:44:20

300

Views

Show $\neg(\forall x\phi)\vdash \exists x(\neg \phi)$ using an ND-derivation

Published on 07 Apr 2019 - 18:44

score 200 · Answer 10 · 2019-04-08 07:24:31

200

Views

Having trouble figuring out when to use induction or direct proof.

Published on 08 Apr 2019 - 7:24

score 196 · Answer 11 · 2026-03-23 07:35:02

196

Views

Why is the calculus of constructions called that way, and what is a "construction" in CoC?

Published on 23 Mar 2026 - 7:35

score 591 · Answer 12 · 2026-03-25 07:41:04

591

Views

How to prove A → (B ∨ C) given A → B

Published on 25 Mar 2026 - 7:41

score 168 · Answer 13 · 2019-05-14 07:29:18

168

Views

let a,b,c and d be positive integers such that a/b < c/d. Show that a/b < a+c/b+d < c/d

Published on 14 May 2019 - 7:29

score 237 · Answer 14 · 2019-05-20 10:28:30

237

Views

Natural deduction proof: $C, (C \land D)↔F \vdash (D \land E) \to F$

Published on 20 May 2019 - 10:28

score 55 · Answer 15 · 2019-05-24 06:04:01

55

Views

how to give a formal prove to $ \vdash \exists x (P(x) \rightarrow P(y)) $

Published on 24 May 2019 - 6:04

List Question

$\vdash\neg(\square \neg p\land p\land\diamond(p\land\square p\land \diamond p) )$

How can I prove that $n \sqrt{\frac{x}{n^2}} = \sqrt{x} | n \in \mathbb{N}$?

Can axioms be premises in formal proofs?

Landau’s Function

Proving the theorem $\forall a\in\mathbb{N},\forall m\in\mathbb{N},(m<a\Rightarrow m\leq a-1)$

Understanding $\lor~E$ in Natural Deduction?

How do I prove relation involving inequalities is transitive?

Proof for similarities between two triangles.

Show $\neg(\forall x\phi)\vdash \exists x(\neg \phi)$ using an ND-derivation

Having trouble figuring out when to use induction or direct proof.

Why is the calculus of constructions called that way, and what is a "construction" in CoC?

How to prove A → (B ∨ C) given A → B

let a,b,c and d be positive integers such that a/b < c/d. Show that a/b < a+c/b+d < c/d

Natural deduction proof: $C, (C \land D)↔F \vdash (D \land E) \to F$

how to give a formal prove to $ \vdash \exists x (P(x) \rightarrow P(y)) $

Trending Questions

Popular # Hahtags

Popular Questions