Question

How to prove that a nested composition of graphs is a graph?

score 37 · Answer 1 · 2026-03-26 16:05:51

37

Views

How to prove that a nested composition of graphs is a graph?

Published on 26 Mar 2026 - 16:05

score 39 · Answer 2 · 2020-04-11 17:46:17

39

Views

Proof within elementary number theory

Published on 11 Apr 2020 - 17:46

score 149 · Answer 3 · 2020-04-13 13:30:03

149

Views

Prove that for all x, y ∈ Z if 7 divides 8x + 23y, then 7 divides x + 2y.

Published on 13 Apr 2020 - 13:30

score 221 · Answer 4 · 2020-04-13 16:27:55

221

Views

Proof by cases inequality with abs. value and min max

Published on 13 Apr 2020 - 16:27

score 65 · Answer 5 · 2020-04-17 01:18:48

65

Views

Are there statements more easily shown to be provable than proved?

Published on 17 Apr 2020 - 1:18

score 310 · Answer 6 · 2026-03-26 09:18:08

310

Views

Proving $\forall x\forall y(P(x) \to Q(y)) \vdash \exists x(P(x) \to \forall y \, Q(y))$ using natural deduction.

Published on 26 Mar 2026 - 9:18

score 2.8k · Answer 7 · 2020-04-22 01:32:31

2.8k

Views

Prove constructive dilemma without using additional assumptions

Published on 22 Apr 2020 - 1:32

score 219 · Answer 8 · 2026-03-26 09:18:05

219

Views

Prove $\exists x(P(x) \land \forall y(P(y) \to y=x)) \vdash \exists x \forall y(P(y) \leftrightarrow y=x)$.

Published on 26 Mar 2026 - 9:18

score 168 · Answer 9 · 2020-04-26 09:27:13

168

Views

Looking for a formal Epsilon-based demo for this important lemma.

Published on 26 Apr 2020 - 9:27

score 132 · Answer 10 · 2026-03-26 09:17:38

132

Views

Urgent Help Given p ⇒ q, use the Fitch System to prove ¬q ⇒ ¬p.

Published on 26 Mar 2026 - 9:17

score 181 · Answer 11 · 2026-03-26 09:17:41

181

Views

Help, have to prove the tautology (p ∨ ¬p) from nothing using fitch system.

Published on 26 Mar 2026 - 9:17

score 74 · Answer 12 · 2020-05-03 19:45:30

74

Views

Let $n \in \mathbb{Z}$ with $n > 1$. Prove that $a \equiv b \pmod{n}$ is an equivalence relation on $\mathbb{Z}$.

Published on 03 May 2020 - 19:45

score 812 · Answer 13 · 2026-02-23 04:57:25

812

Views

Proving $\vdash \neg \neg P \to P$ (double negation elimination) in first order logic, preferrably without deduction theorem

Published on 23 Feb 2026 - 4:57

score 173 · Answer 14 · 2026-03-26 12:08:28

173

Views

Given $\exists x.\lnot p(x)$, use the Fitch System to prove $\lnot \forall x.p(x)$

Published on 26 Mar 2026 - 12:08

score 976 · Answer 15 · 2026-03-26 12:08:30

976

Views

Given $∃y.∀x.p(x,y)$, use the Fitch system to prove $∀x.∃y.p(x,y)$

Published on 26 Mar 2026 - 12:08

List Question

How to prove that a nested composition of graphs is a graph?

Proof within elementary number theory

Prove that for all x, y ∈ Z if 7 divides 8x + 23y, then 7 divides x + 2y.

Proof by cases inequality with abs. value and min max

Are there statements more easily shown to be provable than proved?

Proving $\forall x\forall y(P(x) \to Q(y)) \vdash \exists x(P(x) \to \forall y \, Q(y))$ using natural deduction.

Prove constructive dilemma without using additional assumptions

Prove $\exists x(P(x) \land \forall y(P(y) \to y=x)) \vdash \exists x \forall y(P(y) \leftrightarrow y=x)$.

Looking for a formal Epsilon-based demo for this important lemma.

Urgent Help Given p ⇒ q, use the Fitch System to prove ¬q ⇒ ¬p.

Help, have to prove the tautology (p ∨ ¬p) from nothing using fitch system.

Let $n \in \mathbb{Z}$ with $n > 1$. Prove that $a \equiv b \pmod{n}$ is an equivalence relation on $\mathbb{Z}$.

Proving $\vdash \neg \neg P \to P$ (double negation elimination) in first order logic, preferrably without deduction theorem

Given $\exists x.\lnot p(x)$, use the Fitch System to prove $\lnot \forall x.p(x)$

Given $∃y.∀x.p(x,y)$, use the Fitch system to prove $∀x.∃y.p(x,y)$

Trending Questions

Popular # Hahtags

Popular Questions