User:ZuluPapa5/box


 * {| class="wikitable" style="text-align:left"

! Preservation properties !! Logical connective sentences
 * True and false preserving: || Logical conjunction (AND, $\land$ ) *  Logical disjunction (OR, $\lor$ )
 * True preserving only: || Tautology ( $\top$ ) * Biconditional (XNOR, $\leftrightarrow$ ) * Implication ( $\rightarrow$ ) * Converse implication ( $\leftarrow$ )
 * False preserving only: || Contradiction ( $\bot$ )* Exclusive disjunction (XOR, $\oplus$ ) * Nonimplication ( $\nrightarrow$ ) * Converse nonimplication ( $\nleftarrow$ )
 * Non-preserving: || Proposition * Negation ( $\neg$ ) *  Alternative denial (NAND,  $\uparrow$ )*Joint denial (NOR, $\downarrow$ )
 * }
 * False preserving only: || Contradiction ( $\bot$ )* Exclusive disjunction (XOR, $\oplus$ ) * Nonimplication ( $\nrightarrow$ ) * Converse nonimplication ( $\nleftarrow$ )
 * Non-preserving: || Proposition * Negation ( $\neg$ ) *  Alternative denial (NAND,  $\uparrow$ )*Joint denial (NOR, $\downarrow$ )
 * }
 * }
 * }