Discrete mathematics

Abstract

The proposition can be read “If p then q” or, less often, “q if p”. The table shows that “ ” is an inclusive or because it is true even when and are both true. Thus, the statement “I’m watching TV or I’m doing homework” is a true statement if the narrator happens to be both watching TV and doing homework. Note that is false only when is true and is false. Thus, a false statement implies any statement and a true statement is implied by any statement.