今日の朝練 今日のお買い物快速号は、後光が射していた。。喜) 今日のお買い物快速号 今日の高槻方面

A→Aを帰納的(意味論的)に証明してみた。 ＊＊帰納とはwikiより 「個別的・特殊的な事例から一般的・普遍的な規則・法則を見出そうとする論理的推論の方法のこと」です。 断っておくが、命題論理での証明です。 A→Aは略記で定義をまじめに適用すると ￢(￢A /…