（270）「先ほどの記事（269）」の続きを書きます。

―「先ほどの記事（269）」の続きを書きます。―
（02）により、
（10)
① 　　Ｐ→　Ｑ　＝Ｐならば、Ｑである。
② ～（Ｐ＆～Ｑ）＝ＰであってＱでない。といふことはない。
に於いて、
①＝② である。
然るに、
（11）
② ＰであってＱでない。といふことはない。
といふのであれば、
② Ｐでない。
といふ場合については、「何も述べてゐない。」
従って、
（11）により、
（12）
② ＰであってＱでない。といふことはない。
といふのであれば、
② Ｐでない。ならば、Ｑであるか、Ｑでないか、のどちらかである。
といふ風に、述べてゐる。
然るに、
（13）
②「Ｑであるか、Ｑでないか、のどちらかである。」
といふのは、「排中律」であるため、「常に、真である。」
従って、
（10）（12）（13）により、
（14）
② ＰであってＱでない。といふことはない。
として、
② Ｐでない。
ならば、
① 　　Ｐ→　Ｑ　＝Ｐならば、Ｑである。
② ～（Ｐ＆～Ｑ）＝ＰであってＱでない。といふことはない。
は、「必ず、真」である。
然るに、
（15）
① 　　Ｐ→　Ｑ　＝Ｐならば、Ｑである。
② ∀ｘ（人間ｘ→正直ｘ）＝すべてのｘについて、ｘが人間ならば、ｘは正直である。
に於いて、
①＝② であるならば、
① Ｐでない。
② すべてのｘについて、ｘが人間である。といふわけではない。
に於いて、
①＝② である。
然るに、
（16）
② あるｘは人間でない。
とすれば、
② すべてのｘについて、ｘが人間である。といふわけではない。
といふことは、「真（本当）」である。
然るに、
（17）
② すべてｘは人間でない。
としても、
② すべてのｘについて、ｘが人間である。といふわけではない。
といふことは、「真（本当）」である。
従って、
（14）（15）（17）により、
（18）
② ∀ｘ（人間ｘ→正直ｘ）＝すべてのｘについて、ｘが人間ならば、ｘは正直である。
として、
② ∀ｘ（～人間ｘ）＝すべてｘは人間でない。
とするならば、
② ∀ｘ（人間ｘ→正直ｘ）＝すべてのｘについて、ｘが人間ならば、ｘは正直である。
といふ「命題」は、「真（本当）」である。
然るに、
（19）
② ∀ｘ（～人間ｘ）＝すべてｘは人間でない。
といふことは、
② ～∃ｘ（人間ｘ）＝人間であるｘは存在しない。
といふ、ことである、
従って、
（18）（19）により、
（20）
② ～∃ｘ（人間ｘ）＝人間であるｘは存在しない。
のであれば、
② ∀ｘ（人間ｘ→正直ｘ）＝すべてのｘについて、ｘが人間ならば、ｘは正直である。
といふ「命題」は、「真（本当）」である。