（1244）「パースの法則」が「ヘンテコ」である「理由」。

論理

（01）①（（Ｐ＆～Ｑ）∨Ｐ）→Ｐ②（（Ｐ→ Ｑ）→Ｐ）→Ｐに於いて、①＝② であることを「証明」したい。従って、（01）により、（02）① （Ｐ＆～Ｑ）∨Ｐ② （Ｐ→ Ｑ）→Ｐに於いて、①＝② であることを「証明」したい。然るに、（03）（ⅰ）１（１） □→ ◇ Ａ２（…

（1243）「パースの法則」は「言ひ換へる」と「普通」である。

論理

（01）（ⅰ）１（１）（Ｐ→Ｑ）→ ＰＡ２（２）（Ｐ→Ｑ）＆～ＰＡ２（３）（Ｐ→Ｑ）Ａ１２（４）Ｐ１３ＭＰＰ２（５）～Ｐ２＆Ｅ１２（６）Ｐ＆～Ｐ４５＆Ｉ１（７）～（（Ｐ→Ｑ）＆～Ｐ）２６ＲＡＡ８（８）～（～（Ｐ→Ｑ）∨ Ｐ）…

論理

（01）（ⅰ）１（１）Ｐ→ ＱＡ２（２）Ｐ＆～ＱＡ２（３）Ｐ２＆Ｅ１２（４）Ｑ１３ＭＰＰ２（５）～Ｑ２＆Ｅ１２（６）Ｑ＆～Ｑ４５＆Ｉ１（７）～（Ｐ＆～Ｑ）２６ＲＡＡ８（８）～（～Ｐ∨ Ｑ）Ａ９（９）～ＰＡ９（ア）…

（01）１（１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ｝Ａ１（２） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆鼻ａｙ）→～長ａ｝１ＵＥ３（３）（鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆鼻ａｂ）→～長ａＡ３（４）（～象ｂ＆鼻ａｂ）…

論理

（01）（ⅰ）１（１）（Ｆａ→～Ｇａ）＆（Ｆｂ→～Ｇｂ）＆（Ｆｃ→～Ｇｃ）Ａ２（２）（Ｆａ＆Ｇａ）∨ （Ｆｂ＆Ｇｂ）∨（Ｆｃ＆Ｇｃ）Ａ２（３）（Ｆａ＆Ｇａ｝∨｛（Ｆｂ＆Ｇｂ）∨（Ｆｃ＆Ｇｃ）｝２分配法則４（４）Ｆａ＆ＧａＡ１（…

論理

（01）例へば、①（Ｇａ）≡（ａさんは群馬県民である）。②（Ｆａ）≡（ａさんは福岡県民である）。に於いて、①＝② でない。従って、（01）により、（02）①（Ｇａ＆Ｆｂ＆Ｆｃ）＝（ａは群馬であって、ｂは福岡であって、ｃは福岡である）。②（Ｆａ＆Ｆｂ＆Ｆｃ…

論理

（01）１（１）（Ｆａ＆Ｇａ）∨ （Ｆｂ＆Ｇｂ）∨（Ｆｃ＆Ｇｃ）Ａ１（２）（Ｆａ＆Ｇａ）∨｛（Ｆｂ＆Ｇｂ）∨（Ｆｃ＆Ｇｃ）｝１結合法則３（３）（Ｆａ＆Ｇａ）Ａ３（４）Ｆａ３＆Ｅ３（５）Ｆａ∨Ｆｂ４∨Ｉ３（６）Ｆａ∨Ｆｂ∨Ｆｃ５∨Ｉ …

（01）１（１） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝Ａ２（２） ∀ｘ｛兎ｘ→∃ｚ（耳ｚｘ＆～鼻ｚｘ＆長ｚ）｝Ａ３（３） ∃ｘ（象ｘ＆兎ｘ）Ａ１（４）象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）１ＵＥ２（５）兎…

論理

（01）｛ｘの変域｝＝｛ａさん、ｂさん、ｃさん｝であるとして、Ｆａ∨Ｆｂ∨Ｆｃ＝∃ｘ（Ｆｘ）然るに、（02）（ⅰ）１（１）ＦａＡ１（２）Ｆａ∨Ｆｂ１∨Ｉ１（３）Ｆａ∨Ｆｂ∨Ｆｃ２∨Ｉ（４）Ｆａ→（Ｆａ∨Ｆｂ∨Ｆｃ）１３ＣＰ（ⅱ）１（１）ＦｂＡ１（２）…