## Discrete Mathematics with Applications 4th Edition

$\underline{\ p\ |\ q\ |\ \lnot p\ |\ \lnot q\ |\ if\ (\lnot p \lor q)\ then \lnot q}$ $\ T |\ T |\ \ F\ \ |\ \ F\ \ |\ \ F$ $\ T |\ F |\ \ F\ \ |\ \ T\ \ |\ \ T$ $\ F |\ T |\ \ T\ \ |\ \ F\ \ |\ \ F$ $\ F |\ F |\ \ T\ \ |\ \ T\ \ |\ \ T$
$\lnot p \lor q \rightarrow \lnot q$ Set up a table with all the possible combinations of T/F values for p and q. Evaluate the if/then statement. When the if element is T and then element is F, the statement is F. In all other cases the statement is T. $\underline{\ p\ |\ q\ |\ \lnot p\ |\ \lnot q\ |\ if\ (\lnot p \lor q)\ then \lnot q}$ $\ T |\ T |\ \ F\ \ |\ \ F\ \ |\ if\ T\ then\ F\longrightarrow F$ $\ T |\ F |\ \ F\ \ |\ \ T\ \ |\ if\ F\ then\ F\longrightarrow T$ $\ F |\ T |\ \ T\ \ |\ \ F\ \ |\ if\ T\ then\ F\longrightarrow F$ $\ F |\ F |\ \ T\ \ |\ \ T\ \ |\ if\ T\ then\ T\longrightarrow T$