List questions from formal-proofs

Published on 05 Dec 2016 - 20:38

1.3k

Views

Formal proof with first order logic axioms.

Published on 26 Mar 2026 - 22:17

35

Views

Prooving that an formula's value is decreasing for an increasing $p \in [0,1]$

Published on 14 Dec 2016 - 20:01

41

Views

Formally Proofing the ¬(¬ ∧ ) can become P ∧¬Q

Published on 17 Dec 2016 - 15:21

3.9k

Views

Each person has at most 3 enemies in a group. Show that we can separate them into two groups where a person will have at most one enemy in the group.

Published on 17 Dec 2016 - 18:13

129

Views

How shall I prove the given statement?

Published on 18 Dec 2016 - 6:37

271

Views

What's the strength of logic without $\neg\neg\exists x P(x) \implies \exists x P(x)$?

Published on 26 Mar 2026 - 11:01

57

Views

Question about reading proof notation

Published on 14 Jan 2017 - 21:21

542

Views

Constructive proof of Barber Paradox

Published on 16 Jan 2017 - 11:44

750

Views

(¬A ∨ B) is equivalent to B?

Published on 17 Jan 2017 - 1:08

230

Views

Basic Mathematics - Proofs - Proving rational numbers are equivalent to 1

Published on 23 Jan 2017 - 13:20

243

Views

Constructing a counterexample

Published on 24 Jan 2017 - 0:56

158

Views

Proof by Induction Help: Prove that there are unique integers $a\geq 0$ and $k>0$ such that $n=(3^a)\cdot k$ and $k$ is not divisible by $3$.

Published on 31 Jan 2017 - 1:01

76

Views

Is this an onto function?

Published on 02 Feb 2017 - 2:45

92

Views

Proof of the equation of a surface

Published on 05 Feb 2017 - 4:09

List Question

Discrete Math - Prove function is onto with two variables

Formal proof with first order logic axioms.

Prooving that an formula's value is decreasing for an increasing $p \in [0,1]$

Formally Proofing the ¬(¬ ∧ ) can become P ∧¬Q

Each person has at most 3 enemies in a group. Show that we can separate them into two groups where a person will have at most one enemy in the group.

How shall I prove the given statement?

What's the strength of logic without $\neg\neg\exists x P(x) \implies \exists x P(x)$?

Question about reading proof notation

Constructive proof of Barber Paradox

(¬A ∨ B) is equivalent to B?

Basic Mathematics - Proofs - Proving rational numbers are equivalent to 1

Constructing a counterexample

Proof by Induction Help: Prove that there are unique integers $a\geq 0$ and $k>0$ such that $n=(3^a)\cdot k$ and $k$ is not divisible by $3$.

Is this an onto function?

Proof of the equation of a surface

Trending Questions

Popular # Hahtags

Popular Questions