For two [[Proposition|propositions]] $A$ and $B$, $A \implies B$ will represent that A **implies** B, meaning that in a truth table, $A$ is only ever True in a rows that $B$ is also true. In other words, it can be read as a [[Tautology|tautological]] [[Logical Operations|conditional]], meaning "If $A$ then $Bquot; is always true. Example: $A \land B \Rightarrow A$ |A|B|$A\land B$ | $