Like material conditionals, do we have specific names for components of biconditionals?
47161
Quick logic question about $P\leftrightarrow Q$, terminology
10927
How to write conditional equations with one-sided curly brackets
62255
Notation question: Subroup generated by two elements?
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
103378
What is a composition of two binary relations geometrically?
85485
Is there a word for one side in a pair?
83757
Is the following equivalent to the axiom of choice?
56154
Be it that,were to, and should - what were the differences between these conditionals?
93140
type 2 and type 3 conditional sentences (a subordinate clause within the protasis or apodosis)
157247
The ternary (conditional) operator in C
145128
Understanding of Material Implication
84378
Does axiom of foundation/regularity protect against Russell-like paradoxes?
127664
Inverse elements in the absence of identities/associativity.
62817
Functions which are Continuous, but not Bicontinuous
38092
Symbol for "defined to be logically equivalent" (:⇔)
155592
Conditional conundrum
2689
zero conditional and first conditional