Question

Expansion of bounded uniqueness quantifier

score 229 · Answer 1 · 2020-07-05 22:00:55

229

Views

Expansion of bounded uniqueness quantifier

Published on 05 Jul 2020 - 22:00

score 125 · Answer 2 · 2026-03-25 17:37:40

125

Views

Garson Exercise 2.4(a), Show axiom (4) is provable in S5

Published on 25 Mar 2026 - 17:37

score 173 · Answer 3 · 2020-07-11 01:21:53

173

Views

Prove that a function in $\mathbb R^n$ is surjective

Published on 11 Jul 2020 - 1:21

score 82 · Answer 4 · 2026-03-25 04:41:45

82

Views

Is it possible to check the validity of the following theorem in Group Theory automatically by a computer? If so, how?

Published on 25 Mar 2026 - 4:41

score 100 · Answer 5 · 2026-02-23 04:42:57

100

Views

$|x-a| < \epsilon$ , $|y-a| < \epsilon$ (where $x,y,a\in\mathbb R $ and $\epsilon>0$). Use the Triangle Inequality to find an estimate for $|x-y|$

Published on 23 Feb 2026 - 4:42

score 558 · Answer 6 · 2020-07-22 08:24:20

558

Views

What's the difference between a Proof System and a Theory?

Published on 22 Jul 2020 - 8:24

score 166 · Answer 7 · 2026-02-23 08:43:05

166

Views

How to derive ${ A \vdash C }$ from ${A \lor B \vdash C}$ in the sequent calculus LK?

Published on 23 Feb 2026 - 8:43

score 183 · Answer 8 · 2016-07-06 02:41:01

183

Views

Proof of a theorem using Hilbert's system

Published on 06 Jul 2016 - 2:41

score 45 · Answer 9 · 2016-07-26 21:49:39

45

Views

Does the Statement $\lim_{f(x)\to a}k(x)$ Make Sense

Published on 26 Jul 2016 - 21:49

score 1.1k · Answer 10 · 2016-08-11 13:30:25

1.1k

Views

Why are auxiliary lines valid in geometric proofs?

Published on 11 Aug 2016 - 13:30

score 71 · Answer 11 · 2016-08-16 16:27:50

71

Views

Why are these two lines not congruent (and other ways to figure out if other shapes are not congruent)

Published on 16 Aug 2016 - 16:27

score 314 · Answer 12 · 2016-08-17 18:49:12

314

Views

Examples of non-trivial proofs in deductive systems

Published on 17 Aug 2016 - 18:49

score 118 · Answer 13 · 2026-03-26 16:57:17

118

Views

Deductive Logic : If A -> B it can be deduced neg(A) -> neg(B)

Published on 26 Mar 2026 - 16:57

score 270 · Answer 14 · 2026-03-25 09:28:54

270

Views

Does the Definition of a Formal Proof in Mendelson's Book Allow for the Use of Theorem/Derived Axiom Schema in Formal Proofs?

Published on 25 Mar 2026 - 9:28

score 68 · Answer 15 · 2026-03-25 09:29:20

68

Views

Can the Negation of a Conditional Implying the First Atomic Proposition Get Proven in Around 50 Steps?

Published on 25 Mar 2026 - 9:29

List Question

Expansion of bounded uniqueness quantifier

Garson Exercise 2.4(a), Show axiom (4) is provable in S5

Prove that a function in $\mathbb R^n$ is surjective

Is it possible to check the validity of the following theorem in Group Theory automatically by a computer? If so, how?

$|x-a| < \epsilon$ , $|y-a| < \epsilon$ (where $x,y,a\in\mathbb R $ and $\epsilon>0$). Use the Triangle Inequality to find an estimate for $|x-y|$

What's the difference between a Proof System and a Theory?

How to derive ${ A \vdash C }$ from ${A \lor B \vdash C}$ in the sequent calculus LK?

Proof of a theorem using Hilbert's system

Does the Statement $\lim_{f(x)\to a}k(x)$ Make Sense

Why are auxiliary lines valid in geometric proofs?

Why are these two lines not congruent (and other ways to figure out if other shapes are not congruent)

Examples of non-trivial proofs in deductive systems

Deductive Logic : If A -> B it can be deduced neg(A) -> neg(B)

Does the Definition of a Formal Proof in Mendelson's Book Allow for the Use of Theorem/Derived Axiom Schema in Formal Proofs?

Can the Negation of a Conditional Implying the First Atomic Proposition Get Proven in Around 50 Steps?

Trending Questions

Popular # Hahtags

Popular Questions