Proof of logical equivalence with raa
87928
Proof of logical equivalence of biconditional and other proposition
21035
Clarifying on how if p,q is logically equivalent to p only if q
29755
Power set equivalency of Axiom of Choice
140194
Using natural deduction to prove that $p \implies q \vdash \lnot p \lor q$
9282
Prove using natural deduction $((P \land Q) \rightarrow R) \vdash (P \rightarrow R) \lor (Q\rightarrow R)$
152817
Proving $\sup B=\inf A$
37924
Equivalence of norms proof
157490
Statements equivalent to the Axiom of Choice
108045
Show that are logically equivalent
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
93342
Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators.
111862
Proof for sequent (Logic)
96748
Formal deductions on Hilbert system
72391
linear dependence proof using subsets
5293
Show that the logic $ \ \forall x \exists y \ P(x,y) \ $ is not logically equivalent to $ \ \exists x \forall y \ P(x,y) \ $
72034
Truth table and the meaning of $\oplus$ in propositional logic
65379
Deriving $\neg R$ from $\{R↔(R∨(P∧¬P)), R↔¬P, ¬P→(P↔(Q→Q)), P→Q\}$