True Table for Logical Implication ⟹
ttfli
{\displaystyle {\begin{array}{l}p~{\text{implies}}~q.\\[6pt]{\text{if}}~p~{\text{then}}~q.\end{array}}}
A | B | A \implies B |
---|---|---|
True | True | True |
True | False | False |
False | True | True |
False | False | True |
or