「日本語」で考へた場合の「弱選言（両立的選言）」と「強選言（排他的選言）」。

（01）
① Ｐ∨Ｑ＝ＰとＱの、少なくとも、一方は「真」である。
② Ｐ▽Ｑ＝ＰとＱの、「真・偽」は、一致しない。
に於いて、
① は「弱選言（両立的選言）」である。
② は「強選言（排他的選言）」である。
然るに、
（02）
① Ｐが「偽」であって、その上、Ｑも「偽」であるならば、（ＰとＱの、少なくとも一方は「真」である）といふことには、ならないし、
② Ｐが「偽」であって、その上、Ｑも「偽」であるとしても（ＰとＱの「真・偽」は一致しない）といふことには、ならない。
従って、
（01）（02）により、
（03）
① Ｐ∨Ｑ であって、尚且つ、Ｐが「偽」であるならば、Ｑは「真」であって、
② Ｐ▽Ｑ であって、尚且つ、Ｐが「偽」であるならば、Ｑは「真」である。
然るに、
（04）
① Ｐ∨Ｑ，～Ｐ├ Ｑ
② Ｐ▽Ｑ，～Ｐ├ Ｑ
といふ「連式」は、
① Ｐ∨Ｑ であって、尚且つ、Ｐは「偽」である。故に、Ｑは「真」である。
② Ｐ▽Ｑ であって、尚且つ、Ｐは「偽」である。故に、Ｑは「真」である。
といふ「意味」である。
従って、
（03）（04）により、
（05）
① Ｐ∨Ｑ，～Ｐ├ Ｑ
② Ｐ▽Ｑ，～Ｐ├ Ｑ
といふ「推論（選言三段論法）」は、両方とも、「妥当」である。
従って、
（01）（05）により、
（06）
①「（両立的）選言三段論法」は「妥当」であって、
②「（排他的）選言三段論法」も「妥当」である。
然るに、
（01）により、
（07）
① Ｐ∨Ｑ＝ＰとＱの、少なくとも、一方は「真」である。
② Ｐ▽Ｑ＝ＰとＱの、「真・偽」は、一致しない。
といふことからすれば、、
① であれば、「Ｐは真、Ｑも真」であることは、「許容」され、
② であれば、「Ｐは真、Ｑも真」であることは、「許容」されない。
従って、
（07）により、
（08）
① Ｐ∨Ｑ，Ｐ├ ～Ｑ
② Ｐ▽Ｑ，Ｐ├ ～Ｑ
といふ「連式」に於いて、
① は「妥当」ではないが、
② は「妥当」である。
令和０４年０７月２２日、毛利太。