一つの体系の中で、ある命題の肯定と否定が両方ともいえるなら、その体系は矛盾している。 矛盾からはどんな命題でも導き出すことができる。 pと¬pの両方が成り立つとする。 すると以下のようにして任意の命題qを導ける。 p∧¬p ─── p ─── p∨q ──── ¬p→q ¬p ─…
朝食に牡蠣フライと豆腐とわかめの味噌汁でご飯。
今朝の体重は59.2kg。昨日から0.1kg減。 体脂肪率は21.7%。0.9%増。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。