List questions from hilbert-calculus | MathQA

How to prove this theorem in this hilbert system

Published on 20 Nov 2021 - 11:40

Proving $\lnot((A\Rightarrow B)\Rightarrow\lnot(B\Rightarrow C))\Rightarrow(A\Rightarrow C)$

Published on 05 Feb 2022 - 12:53

Formal proof that $\vdash (\varphi \rightarrow \psi) \rightarrow (\neg \varphi \lor \psi)$.

Published on 24 Feb 2022 - 19:04

Bound variables and two variables in a proposition

Published on 15 Mar 2022 - 1:12

Axiomatic derivation - what does instancing an axiom practically entail?

Published on 19 Mar 2022 - 15:33

What is the motivation for the axioms for Propositional Calculus in Mendelson's "Introduction to Mathematical Logic"?

Published on 30 Mar 2022 - 19:04

Is this Hilbert proof system complete?

Published on 31 Mar 2022 - 11:14

Hilbert style proof of $\text{A}\vdash \left( \text{A}\to \text{B} \right)\to \text{B}$

Published on 21 Jan 2023 - 19:25