¬p→(¬p∨q)が恒真命題で¬p→(p→q)と同値って面白いな。

ｐ：シリツ医である
ｑ：馬鹿である
とすると
　シリツ医でないならば、（シリツ医ならば馬鹿である）
は恒真命題であるｗ