「順・対偶・裏・逆（論理学の基本）」について。

（01）
①＝　Ｐ＆　Ｑ
②＝～Ｐ＆　Ｑ
③＝～Ｐ＆～Ｑ
は、それぞれ、
①＝Ｐであって、その上、Ｑである。
②＝Ｐでないが、ただし、Ｑである。
③＝Ｐでないし、その上、Ｑでない。
という「意味」である。
従って、
（01）により、
（02）
｛［（Ｐであって、その上、Ｑである。）、（Ｐでないが、ただし、Ｑである。）］、Ｐでないし、その上、Ｑでない。｝
ということは、
｛［（Ｐ＆Ｑ）、（～Ｐ＆Ｑ）］、（～Ｐ＆～Ｑ）｝
ということであって、
｛［（Ｐ＆Ｑ）、（～Ｐ＆Ｑ）］、（～Ｐ＆～Ｑ）｝
ということは、
｛［①、②］、③｝
ということである。
然るに、
（03）
Ｐ＝徳島である。
Ｑ＝四国である。
とする。
ｃｆ.

従って、
（02）（03）により、
（04）
｛［（徳島であって、その上、四国である。）、（徳島でないが、ただし、四国である。）］、（徳島でないし、その上、四国でない。）｝
ということは、
｛［（Ｐであって、その上、Ｑである。）、（Ｐでないが、ただし、Ｑである。）］、Ｐでないし、その上、Ｑでない。｝
ということであって、
｛［（Ｐであって、その上、Ｑである。）、（Ｐでないが、ただし、Ｑである。）］、Ｐでないし、その上、Ｑでない。｝
ということは、
｛［（Ｐ＆Ｑ）、（～Ｐ＆Ｑ）］、（～Ｐ＆～Ｑ）｝
ということは、
｛［（Ｐ＆Ｑ）、（～Ｐ＆Ｑ）］、（～Ｐ＆～Ｑ）｝
ということは、
｛［①、②］、③｝
ということである。
従って、
（04）により、
（05）
ａ「徳島である。」
とするならば、
① だけが、すなわち、
①（徳島であって、その上、四国である。）
だけが、「正しい」。
然るに、
（06）
①（徳島であって、その上、四国である。）
という風に、「言える」のであれば、
①（徳島は、四国である。）。
という「命題（順）」は「真（本当）」である。
然るに、
（04）により、
（07）
ｂ「徳島でない。」
とするならば、
② に加えて、
③ もそうであり、従って、
②（徳島でないが、ただし、四国である。）
③（徳島でないし、その上、四国でない。）
という「２通り」の、「両方」が「正しい」。
然るに、
（07）により、
（08）
②（徳島でないが、ただし、四国である。）
③（徳島でないし、その上、四国でない。）
という「両方」が「正しい」とするならば、
③（徳島でないならば、四国でない。）
という「命題（裏）」は「偽（ウソ）」である。
然るに、
（04）により、
（09）
ｃ「四国でない。」
というのであれば、
③ だけが、「正しい」。
然るに、
（10）
③ だけが、すなわち、
③（徳島でないし、その上、四国でない。）
と言うのであれば、すなわち、
③（四国でないし、その上、徳島でない。）
と言うのであれば、
③（四国でないならば、徳島ではない。）
という「命題（対偶）」は「真（本当）」である。
然るに、
（04）
（11）
ｅ「四国である。」
とするならば、
① に加えて、
② もそうであり、従って、
①（徳島であって、その上、四国である。）
②（徳島でないが、ただし、四国である。）
という「２通り」の、「両方」が「正しい」。
然るに、
（11）により、
（12）
①（四国であって、その上、徳島である。）
②（四国であるが、ただし、徳島でない。）
という「両方」が「正しい」とするならば、
②（四国であるならば、徳島である。）
という「命題（逆）」は「偽（ウソ）」である。
従って、
（01）～（12）により、
（13）
（ⅰ）「四国」が、
（ⅱ）「徳島」だけからなる、
（ⅲ）「１島１県」でない限り、
（ⅳ）「徳島は四国である（四国でないならば、　徳島でない）」という「順と（対偶）」は「真（本当）」であるが、
（ⅴ）「徳島でないならば、四国ではない（四国は徳島である）」という「裏と（ 逆 ）」は「偽（ウソ）」になる。