something like: if r^p -> q
in a truth table where, r is false, and p then q is false.
then the statement r^p -> q is true?
is this because of the if then statement only?
so then p^q where p and q are both false would make p^q a false statement correct?