>  2004/11/03 (水) 00:13:23        [mirai]
> > この論理の飛躍は何なんだ(;´Д`)
> 論理的には命題の真偽だけじゃ命題の逆の真偽を決められないんだっけ
> 中学生のころに習った気もするがさっぱり忘れた

命題 PならばQ
逆  QならばP
裏  PでないならQでない
対偶 QでないならPでない

命題の真偽と対偶の真偽は同値
逆と裏の真偽は同値
他の組合せは同値とは限らない
だったと思う

参考:2004/11/03(水)00時05分18秒