List questions from formal-proofs

Published on 08 Nov 2014 - 5:30

468

Views

Hilbert system (with inference rule of modus ponens), show $\vdash \exists x (Px \rightarrow \forall x Px)$

Published on 09 Nov 2014 - 19:05

106

Views

If a wff is simply atomic (e.g. $Pxy$) are $x$ and $y$ considered free in it?

Published on 11 Nov 2014 - 1:46

1k

Views

Proving that successor of a number is not zero

Published on 11 Nov 2014 - 20:35

3.1k

Views

Proof of a theorem in Hilbert's system

Published on 12 Nov 2014 - 7:53

2.1k

Views

A simple proof of Descartes's rule of sign

Published on 14 Nov 2014 - 0:28

108

Views

Prove a predicate formula in the constructive logic

Published on 14 Nov 2014 - 23:50

185

Views

Help with semi-formal logic

Published on 25 Mar 2026 - 4:35

332

Views

Formal Proofs: $\vdash Py \land \exists x Qx \rightarrow \exists x (Py \land Qx)$

Published on 18 Nov 2014 - 0:02

126

Views

Proofs of Sets and Subsets

Published on 19 Nov 2014 - 0:24

266

Views

Problem with proving formally tautology using given rules

Published on 19 Nov 2014 - 18:09

1.6k

Views

Motivation for natural deduction

Published on 25 Mar 2026 - 21:46

196

Views

Hilbert's style proof (FO logic)

Published on 24 Nov 2014 - 0:56

435

Views

Formal Proofs: $\vdash \exists x (Py \land Qx) \rightarrow Py \land \exists x Qx$

Published on 25 Nov 2014 - 1:13

537

Views

Status of declarative proof languages in proof assistants

Published on 25 Mar 2026 - 1:16

List Question

Prove $(P\to (Q \to R)) \to (Q \to (P \to R))$ (derivation)...

Hilbert system (with inference rule of modus ponens), show $\vdash \exists x (Px \rightarrow \forall x Px)$

If a wff is simply atomic (e.g. $Pxy$) are $x$ and $y$ considered free in it?

Proving that successor of a number is not zero

Proof of a theorem in Hilbert's system

A simple proof of Descartes's rule of sign

Prove a predicate formula in the constructive logic

Help with semi-formal logic

Formal Proofs: $\vdash Py \land \exists x Qx \rightarrow \exists x (Py \land Qx)$

Proofs of Sets and Subsets

Problem with proving formally tautology using given rules

Motivation for natural deduction

Hilbert's style proof (FO logic)

Formal Proofs: $\vdash \exists x (Py \land Qx) \rightarrow Py \land \exists x Qx$

Status of declarative proof languages in proof assistants

Trending Questions

Popular # Hahtags

Popular Questions