Question

Formula for the summation of $2^i$ where $i$ has bounds $[0, n)$.

score 27 · Answer 1 · 2022-01-23 11:34:03

27

Views

Formula for the summation of $2^i$ where $i$ has bounds $[0, n)$.

Published on 23 Jan 2022 - 11:34

score 684 · Answer 2 · 2022-01-28 07:34:33

684

Views

Suppose that $h : X → Y$ and $f : Z → Y$. Then $\exists g : X → Z$ s.t. $h = f ◦ g$ if $f$ is a bijection.

Published on 28 Jan 2022 - 7:34

score 66 · Answer 3 · 2022-01-31 01:18:08

66

Views

Prove that $x^x/(x-1)^{x-1}$ has a derivative $e$

Published on 31 Jan 2022 - 1:18

score 522 · Answer 4 · 2022-02-02 05:38:56

522

Views

proof of principle of explosion using natural deduction

Published on 02 Feb 2022 - 5:38

score 109 · Answer 5 · 2026-02-23 12:07:14

109

Views

Proving $\lnot((A\Rightarrow B)\Rightarrow\lnot(B\Rightarrow C))\Rightarrow(A\Rightarrow C)$

Published on 23 Feb 2026 - 12:07

score 42 · Answer 6 · 2022-02-14 00:50:59

42

Views

Using the summation formula in an inductive proof

Published on 14 Feb 2022 - 0:50

score 78 · Answer 7 · 2022-02-18 23:30:39

78

Views

Is there a "canonical" form of second order logic?

Published on 18 Feb 2022 - 23:30

score 142 · Answer 8 · 2026-03-25 09:25:21

142

Views

Is $\mathbb{Z} ⊂ \mathbb{Q}$ true in formal proofs? How do formalized systems capture this relationship?

Published on 25 Mar 2026 - 9:25

score 178 · Answer 9 · 2026-02-23 12:04:34

178

Views

Formal proof that $\vdash (\varphi \rightarrow \psi) \rightarrow (\neg \varphi \lor \psi)$.

Published on 23 Feb 2026 - 12:04

score 144 · Answer 10 · 2022-03-01 17:42:27

144

Views

How do I write a proof for: $\neg p\vdash p\to q$

Published on 01 Mar 2022 - 17:42

score 125 · Answer 11 · 2022-03-10 15:49:29

125

Views

How to prove that $∀x (p(x) \to ¬ q(x))⊢¬(∃x (p(x)∧q(x)))$ using natural deduction in tree format

Published on 10 Mar 2022 - 15:49

score 69 · Answer 12 · 2022-03-23 13:34:15

69

Views

Does a particular statement in Lambda calculus count as a proof?

Published on 23 Mar 2022 - 13:34

score 116 · Answer 13 · 2026-03-26 14:22:39

116

Views

How does the finitely axiomatized formalization of predicate logic correspond to natural deduction for predicate logic?

Published on 26 Mar 2026 - 14:22

score 160 · Answer 14 · 2022-03-30 00:48:44

160

Views

How to build a proof related to Depth First Search (Components of forest are precisely the connected components of the graph)

Published on 30 Mar 2022 - 0:48

score 104 · Answer 15 · 2022-04-02 18:59:47

104

Views

How can I prove $(\lnot A \rightarrow A) \rightarrow A$?

Published on 02 Apr 2022 - 18:59

List Question

Formula for the summation of $2^i$ where $i$ has bounds $[0, n)$.

Suppose that $h : X → Y$ and $f : Z → Y$. Then $\exists g : X → Z$ s.t. $h = f ◦ g$ if $f$ is a bijection.

Prove that $x^x/(x-1)^{x-1}$ has a derivative $e$

proof of principle of explosion using natural deduction

Proving $\lnot((A\Rightarrow B)\Rightarrow\lnot(B\Rightarrow C))\Rightarrow(A\Rightarrow C)$

Using the summation formula in an inductive proof

Is there a "canonical" form of second order logic?

Is $\mathbb{Z} ⊂ \mathbb{Q}$ true in formal proofs? How do formalized systems capture this relationship?

Formal proof that $\vdash (\varphi \rightarrow \psi) \rightarrow (\neg \varphi \lor \psi)$.

How do I write a proof for: $\neg p\vdash p\to q$

How to prove that $∀x (p(x) \to ¬ q(x))⊢¬(∃x (p(x)∧q(x)))$ using natural deduction in tree format

Does a particular statement in Lambda calculus count as a proof?

How does the finitely axiomatized formalization of predicate logic correspond to natural deduction for predicate logic?

How to build a proof related to Depth First Search (Components of forest are precisely the connected components of the graph)

How can I prove $(\lnot A \rightarrow A) \rightarrow A$?

Trending Questions

Popular # Hahtags

Popular Questions