List questions from formal-proofs

Published on 14 Apr 2026 - 9:13

412

Views

show that for every consistent theory there is a complete consistent theory

Published on 10 Apr 2026 - 23:14

258

Views

Natural deduction: predicate logic proof (Prenex form)

Published on 11 Apr 2026 - 0:48

171

Views

Induction with two variables in PA

Published on 11 Apr 2026 - 11:53

43

Views

Proving a logical implication using modus ponens and metatheorems

Published on 13 Apr 2026 - 22:28

191

Views

Is $A \& B \multimap A$ derivable?

Published on 24 Apr 2026 - 23:03

350

Views

Trouble understanding proof to $\vdash ((\neg(\phi\rightarrow \psi))\rightarrow\phi)$?

Published on 14 Apr 2026 - 1:23

220

Views

Predicate Logic Natural Deduction: $∃x P(x) ⊢P(x)$

Published on 16 Apr 2026 - 5:21

997

Views

When should I use RAA in natural deduction proofs?

Published on 11 Apr 2026 - 0:08

213

Views

Natural deduction proof of $(A \to \lnot B \lor C), ((\lnot D \land A) \to B), (\lnot E \to A) \vdash D \lor (C \lor E)$

Published on 14 Apr 2026 - 15:56

460

Views

In proof writing, is it mathematically sound to prove uniqueness before proving existence?

Published on 16 Apr 2026 - 14:29

308

Views

Proof using natural deduction (Tautology)

Published on 10 Apr 2026 - 7:29

636

Views

Show that the proof rule is not sound and proof question

Published on 11 Apr 2026 - 12:56

329

Views

How to use natural deduction to show $\neg (P \land Q) \vdash \neg P \lor \neg Q$?

Published on 16 Apr 2026 - 5:17

600

Views

How can I prove the following with natural deduction rules? $¬∀x∃yP(x,y) ⊢ ∃x∀y¬P(x,y)$

Published on 14 Apr 2026 - 15:49

List Question

Predicate Logic Hilbert Proof

show that for every consistent theory there is a complete consistent theory

Natural deduction: predicate logic proof (Prenex form)

Induction with two variables in PA

Proving a logical implication using modus ponens and metatheorems

Is $A \& B \multimap A$ derivable?

Trouble understanding proof to $\vdash ((\neg(\phi\rightarrow \psi))\rightarrow\phi)$?

Predicate Logic Natural Deduction: $∃x P(x) ⊢P(x)$

When should I use RAA in natural deduction proofs?

Natural deduction proof of $(A \to \lnot B \lor C), ((\lnot D \land A) \to B), (\lnot E \to A) \vdash D \lor (C \lor E)$

In proof writing, is it mathematically sound to prove uniqueness before proving existence?

Proof using natural deduction (Tautology)

Show that the proof rule is not sound and proof question

How to use natural deduction to show $\neg (P \land Q) \vdash \neg P \lor \neg Q$?

How can I prove the following with natural deduction rules? $¬∀x∃yP(x,y) ⊢ ∃x∀y¬P(x,y)$

Trending Questions

Popular # Hahtags

Popular Questions