Chaz was right that there was a typo in the statement of the valuation rule for the conditional. I inadvertently substituted a + for a - . Thanks to Chaz for pointing this out! I will try to post homework for Monday by tomorrow but Friday at the latest. We fill be talking about inference in multi-valued logic and perhaps a little bit of set theory.