"TRUE" invited inference

「わしンち」様の7月1日*1より：

1.『海晴姉様は、私のことが大切だから叱る』*2
　
2.『兄は、私のことが大切じゃないから叱らない』

1が真なら、2もまた真である。

(1) P → Q
(2) ¬P → ¬Q

語用論的にはトゥルーです．*3

*1:過去ログに入った場合はこちらかな？

*2:ネタ元は公式日記のこちら

*3:参照：ＢＰ用語集