2005-09-22から1日間の記事一覧
――id:mind:20050916から、観察論理学つながり ――id:mind:20040529から、観察論理学つながり <「ならばif(含意⊃)」か、 「ならばそのときに限りif(and only i)f(同値≡)」か ――我々は、「⊃(と≡)」に沿って、三段推論→(と可逆推論⇒)を進めていくことからすると…
――id:mind:20050916から、観察論理学つながり ――id:mind:20040529から、観察論理学つながり <「ならばif(含意⊃)」か、 「ならばそのときに限りif(and only i)f(同値≡)」か ――我々は、「⊃(と≡)」に沿って、三段推論→(と可逆推論⇒)を進めていくことからすると…