List questions from formal-proofs

Published on 19 Mar 2026 - 21:21

318

Views

Axiom Problems (Intro to Computer Logic)

Published on 20 Oct 2018 - 17:51

69

Views

$\Sigma ; \lnot \alpha \vdash k $. Prove that $\Sigma \vdash \alpha$

Published on 24 Oct 2018 - 15:29

117

Views

Formal proof of implication

Published on 24 Oct 2018 - 19:11

513

Views

Prove by induction that the union of countable sets is countable

Published on 25 Oct 2018 - 2:12

31

Views

Is it possible to show that there is some multiple of 4 that when added to a multiple of 16, will give you perfect square?

Published on 26 Oct 2018 - 2:25

1.6k

Views

Starting with a false statement, how can one prove anything is true?

Published on 26 Oct 2018 - 16:41

113

Views

Construct a deductive system where $1^n$ is provable iff $n$ is prime

Published on 27 Oct 2018 - 11:07

45

Views

Induction: Using P(n) vs P(n+1) is bad style?

Published on 28 Oct 2018 - 7:32

52

Views

Definition of the spectrum in first order logic

Published on 28 Oct 2018 - 16:20

79

Views

Construct a deductive system where $1^n$ is provable iff n is not prime

Published on 28 Oct 2018 - 16:58

315

Views

How is Post's tautology theorem used in this proof?

Published on 29 Oct 2018 - 4:12

355

Views

Find a natural deduction proof to show ∃x∃y (S(x,y) ∨ S(y,x)) ⊢ ∃x∃y S(x,y) by predicate logic.

Published on 25 Mar 2026 - 4:43

134

Views

How do we formally define "j-th smallest element"?

Published on 06 Nov 2018 - 5:33

363

Views

Formal proof of $\exists x (\exists y P(y) \rightarrow P(x))$ and $(\forall x \exists y R(x,y))\rightarrow (\forall y \exists x R(y,x))$

Published on 24 Mar 2026 - 23:51

List Question

Need help for a proof ( sequent calculus )

Axiom Problems (Intro to Computer Logic)

$\Sigma ; \lnot \alpha \vdash k $. Prove that $\Sigma \vdash \alpha$

Formal proof of implication

Prove by induction that the union of countable sets is countable

Is it possible to show that there is some multiple of 4 that when added to a multiple of 16, will give you perfect square?

Starting with a false statement, how can one prove anything is true?

Construct a deductive system where $1^n$ is provable iff $n$ is prime

Induction: Using P(n) vs P(n+1) is bad style?

Definition of the spectrum in first order logic

Construct a deductive system where $1^n$ is provable iff n is not prime

How is Post's tautology theorem used in this proof?

Find a natural deduction proof to show ∃x∃y (S(x,y) ∨ S(y,x)) ⊢ ∃x∃y S(x,y) by predicate logic.

How do we formally define "j-th smallest element"?

Formal proof of $\exists x (\exists y P(y) \rightarrow P(x))$ and $(\forall x \exists y R(x,y))\rightarrow (\forall y \exists x R(y,x))$

Trending Questions

Popular # Hahtags

Popular Questions