xxxxxxxxxx
| A | B | A → B | (A → B) ∧ A | [(A → B) ∧ A] → B |
|---|---|-------|------------|---------------------|
| T | T | T | T | T |
| T | F | F | F | T |
| F | T | T | F | T |
| F | F | T | F | T |