Definition: a logical variable is a variable that is either true or false (boolean).
Definition: a logical statement is a True or False statement made up of logical operators and variables.
Definition: conditional $ p \rightarrow q $; “if P is True, we can deduce that Q is True.” So if P if False, the statement doesn’t owe use shit and no longer applies.