List questions from proof-theory

Published on 26 Mar 2026 - 12:34

210

Views

How do I prove the Deduction theorem using tableaux in propositional logic?

Published on 19 Aug 2016 - 19:06

600

Views

History of the predicate calculus

Published on 22 Aug 2016 - 16:53

101

Views

Prerequisites for consistency proofs of propositional calculus

Published on 23 Aug 2016 - 21:59

1.4k

Views

Implication and the Deduction theorem

Published on 25 Aug 2016 - 17:04

141

Views

If Γ,A∧B⊢Δ is an axiom, then also Γ,A,B⊢Δ is an axiom

Published on 23 Feb 2026 - 10:20

956

Views

Why do the axioms of equality suffice?

Published on 26 Mar 2026 - 22:14

85

Views

Proof by strong induction basis case requirement

Published on 10 Sep 2016 - 20:11

528

Views

A formal proof that $ (P \Rightarrow Q) $ is equivalent to its contrapositive $ (\neg Q \Rightarrow \neg P) $.

Published on 11 Sep 2016 - 18:51

282

Views

Show that a function is a bijection.

Published on 13 Sep 2016 - 3:04

4.2k

Views

what is the difference between exhaustive proof and proof by cases?

Published on 17 Sep 2016 - 18:26

4.7k

Views

What is backward reasoning in logic proofs?

Published on 22 Sep 2016 - 10:53

186

Views

Entailment relations that are not partial orders

Published on 25 Sep 2016 - 15:03

613

Views

Equality in the untyped lambda calculus without extensionality

Published on 25 Mar 2026 - 11:08

86

Views

How to prove $(p\rightarrow q)\rightarrow(r\rightarrow s)$?

Published on 29 Sep 2016 - 2:45

List Question

Is Gödel's modified liar an illogical statement?

How do I prove the Deduction theorem using tableaux in propositional logic?

History of the predicate calculus

Prerequisites for consistency proofs of propositional calculus

Implication and the Deduction theorem

If Γ,A∧B⊢Δ is an axiom, then also Γ,A,B⊢Δ is an axiom

Why do the axioms of equality suffice?

Proof by strong induction basis case requirement

A formal proof that $ (P \Rightarrow Q) $ is equivalent to its contrapositive $ (\neg Q \Rightarrow \neg P) $.

Show that a function is a bijection.

what is the difference between exhaustive proof and proof by cases?

What is backward reasoning in logic proofs?

Entailment relations that are not partial orders

Equality in the untyped lambda calculus without extensionality

How to prove $(p\rightarrow q)\rightarrow(r\rightarrow s)$?

Trending Questions

Popular # Hahtags

Popular Questions