〔 〕は有るのだ。

（01）
矛盾律：～（（ＡはＢである）∧～（ＡはＢである））
（昭和堂、論理学の基礎、1994年、２９頁）
然るに、
（02）
任意の表述の否定は、その表述を’～（　　）’という空所にいれて書くことにしよう（大修館書店、現代論理学入門、1972年、１５頁）。
従って、
（01）（02）により、
（03）
矛盾律：～（（ＡはＢである）∧～（ＡはＢである））
から、（　）を、一つ除き、
矛盾律：～（ＡはＢである∧～（ＡはＢである））
とする。
（04）
∧　は、馴染みがないので、＆　とする。
従って、
（03）（04）により、
（05）
矛盾律：～（ＡはＢである＆～（ＡはＢである））
（06）
（（　））は、〔（　）〕とする。
従って、
（05）（06）により、
（07）
矛盾律：～〔ＡはＢである＆～（ＡはＢである）〕
（08）
～＝否定　は、「日本語の語順」に合わせて、文末に置く。
従って、
（07）（08）により、
（09）
矛盾律：〔ＡはＢである＆（ＡはＢである）～〕～
（10）
孔子聖人＝孔子は聖人なり。
にならって、
ＡＢ＝ＡはＢである。　とする。
従って、
（09）（10）により、
（11）
矛盾律：〔ＡＢ＆（ＡＢ）～〕～
然るに、
（12）
矛盾律：ＡがＢであってＢでない、ということはない。
（昭和堂、論理学の基礎、1994年、２９頁）
然るに、
（13）
ＡがＢであってＢでない、ということはない＝
ＡはＢであって、ＡはＢでない、ということない。
ｃｆ.
安倍晋三は総理大臣であって、安倍晋三は総理大臣でない。といふことはない。
従って、
（11）（13）により、
（14）
矛盾律：〔ＡＢ＆（ＡＢ）～〕～
矛盾律：ＡはＢであって、ＡはＢでない、ということはない。
然るに、
（15）
ＡＢ＆〔（ＡＢ）～〕～
の場合は、
ＡＢ＆〔（ＡＢ）～〕～＝
ＡはＢであって、〔（ＡはＢで）ない〕ではない＝
ＡはＢであって、ＡはＢである。
となって、「矛盾律」には、ならない。
ｃｆ.
安倍晋三は総理大臣であって、安倍晋三は総理大臣である。
従って、
（16）
ＡＢ＆〔（ＡＢ）～〕～＝
ＡはＢであって、ＡはＢである。
を、仮に、「肯定律」とする。
然るに、
（17）
ＡはＢである。ＡはＢでない、といふことはない＝
ＡはＢであって、ＡはＢである。
従って、
（16）（17）により、
（18）
肯定律：ＡＢ＆〔（ＡＢ）～〕～＝
肯定律：ＡはＢである。ＡはＢでない、といふことはない。
従って、
（14）（18）により、
（19）
矛盾律：〔ＡＢ＆（ＡＢ）～〕～＝
矛盾律：ＡはＢであって、ＡはＢでない、ということはない。
肯定律：ＡＢ＆〔（ＡＢ）～〕～＝
肯定律：ＡはＢである。ＡはＢでない、といふことはない。
従って、
（19）により、
（20）
〔（ＡＢ）～〕～＝
ＡはＢでない、といふことはない。
然るに、
（21）
（ＡＢ）～＝ＡはＢでない
従って、
（20）（21）により、
（22）
〔　〕～＝といふことはない。
従って、
（22）により、
（23）
〔　〕＝といふこと
従って、
（19）（23）により、
（24）
矛盾律：ＡはＢであって、ＡはＢでない、ということはない。
肯定律：ＡはＢである。　ＡはＢでない、といふことはない。
といふ二つに、あって、
〔　〕＝といふこと　
〔　〕＝といふこと
は、有ります。
平成２６年１２月１１日、毛利太。