Decide if this statement is valid or invalid.
Valid
If x>7, then x > 7.
| |
|y| >7, so y > 7.
Invalid
