タグ:同値 を含むページ 命題 ~3段論法と対偶2008/10/18(土) 3段論法という名前のついたものがあります。 AならばB、BならばC、が成り立てば AならばCが成り立つ、というものです。 対偶と呼ばれるものがある。 これは命題の問題でよく使われる... 続きを読む