命題A：小明一下雨就缺席。命題B：今天下雨了。命題C：小明今天缺席。 
如果命題A為假，命題B為假，命題C是什麼值？

討論：

把命題A寫成邏輯語言。A：[在某個時間段，N天，包括今天]，任何一天，(下雨)->(小明缺席)。
如果A=假，是說，至少存在一天，(下雨)and(not(小明缺席))為真。那麼這個“至少存在一天”
包括今天嗎？應該不包括今天，因為B為假，今天沒下雨。所以這個“至少存在一天”是另一天。
那麼，(今天下雨)and(not(小明今天缺席))就為假，從而，not(今天下雨)or(小明今天缺席)就為真。
B為假=not(今天下雨)為真。所以無論(小明今天缺席)為什麼值，not(今天下雨)or(小明今天缺席)都為真。
所以C可以是任何值