| Line 26: |
Line 26: |
| | <br> | | <br> |
| | | | |
| − | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:45%" | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:45%" |
| − | |+ '''Logical Implication''' | + | |+ style="height:30px" | <math>\text{Logical Implication}\!</math> |
| − | |- style="background:#e6e6ff" | + | |- style="height:40px; background:#f0f0ff" |
| − | ! style="width:15%" | p | + | ! style="width:33%" | <math>p\!</math> |
| − | ! style="width:15%" | q | + | ! style="width:33%" | <math>q\!</math> |
| − | ! style="width:15%" | p ⇒ q | + | ! style="width:33%" | <math>p \Rightarrow q\!</math> |
| | |- | | |- |
| − | | 0 || 0 || 1 | + | | <math>0\!</math> || <math>0\!</math> || <math>1\!</math> |
| | |- | | |- |
| − | | 0 || 1 || 1 | + | | <math>0\!</math> || <math>1\!</math> || <math>1\!</math> |
| | |- | | |- |
| − | | 1 || 0 || 0 | + | | <math>1\!</math> || <math>0\!</math> || <math>0\!</math> |
| | |- | | |- |
| − | | 1 || 1 || 1 | + | | <math>1\!</math> || <math>1\!</math> || <math>1\!</math> |
| | |} | | |} |
| | | | |