Is there a category of logical propositions and deductions?
102899
Category theory with objects as logical expressions over $\{\vee,\wedge,\neg\}$ and morphisms as?
111862
Proof for sequent (Logic)
56351
Prove that these statements $(A \lor \neg B)$ and $\neg A \to \neg B$ are logically equivalent
16187
proof of functional completeness of logical operators
96904
Predicate Calculus Practice
37195
Good books on mathematical logic?
142382
Is "logicalising" a valid word?
42590
Understanding implication in logic truth tables (excerpt from textbook)
46423
Distributivity of quantifiers over logical connectives
108292
Precedence between implication and bi-implication
116978
Trying to prove $p,p \to (r \to q) \vdash (\neg q \to \neg r)$ by using natural deduction.
29629
Distinguishing between valid and fallacious arguments (propositional calculus)
140194
Using natural deduction to prove that $p \implies q \vdash \lnot p \lor q$
94415
Existential import: in logic, do propositions default to true or false when objects in them do not exist?
48368
Prove using Natural Deduction in predicate logic $(\forall x\ P(x))\to Q ⊢ \exists x (P(x)\to Q)$
9282
Prove using natural deduction $((P \land Q) \rightarrow R) \vdash (P \rightarrow R) \lor (Q\rightarrow R)$
42517
Is formal truth in mathematical logic a generalization of everyday, intuitive truth?