New posts in Formal Proofs

Proving using axioms of propositional logic

Why isn't Modus Ponens valid here

Propositional Logic Help: $(\neg p \wedge (p \vee q)) \rightarrow q $ is a tautology

Deducing $(\lnot B) \to A$ from $\lnot A \to B$ using Hilbert deductive system

How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?

Prove that $\vdash p \lor \lnot p$ is true using natural deduction

Proof of transitivity in Hilbert Style