#### 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