Logic Definitions/Axioms (Are they iff statements?)
7871
Are "if" and "iff" interchangeable in definitions?
131889
Axiom of choice and calculus
87928
Proof of logical equivalence of biconditional and other proposition
29629
Distinguishing between valid and fallacious arguments (propositional calculus)
78396
Logical Operators, || or OR?
17037
When are "if" and "whether" equivalent?
13064
In what order are chained implications evaluated? (i.e. $a \implies b \implies c$)
37134
How can I solve this logic question using propositional logic (Natural deduction)?
113065
Proving equivalences of statements equivalent to AC
122015
"This statement is false" - Propositional Logic
62172
Why does $-b < a < b \iff |a| < b$?
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
12091
Are if else statement equivalent to logical and && or || and where should I prefer one over the other?
103483
How can this English sentence be translated into a logical expression? ( Translating " unless")
94415
Existential import: in logic, do propositions default to true or false when objects in them do not exist?
7865
Complete Newbie: Axiom of Foundation Exercise
51863
Logical Conditional Truth Table Rationale