「括弧は有るべし（述語論理）」。

（01）
命題論理では、命題が個々の対象として扱われ、それに基づいて論理式や真理条件が定義された。述語論理では、この命題の内部構造までに立ち入って、より複雑な論理式を扱う。具体的には、例えば（１）―（３）のような論理式を対象とする。
　（１）　ｒｕｎ（ｊｏｈｎ）
　（２）　ｌｏｖｅ（ｊｏｈｎ，ｍａｒｙ）∧ ￢ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ）
　（３）　∃ⅹｌｏｖｅ（ｊｏｈｎ，ｘ）
（産業図書、数理言語学辞典、2013年、５６頁：述語論理、今仁生美）
然るに、
（02）
　 Ｐ＝ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ）　に於いて、
　 Ｐ　の「否定」が、
￢Ｐ　ならば、
￢Ｐ＝￢（ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ））
でない。といふことは、有り得ないし、
（03）
省略できるものはすべて省略するというのではなく、省略するかしないかは「わかりやすい表現かどうか」を基準に判断してください。表現が複雑にならない限り、省略せずに丁寧に書くことをお勧めします（内中伸光、論理の練習帳、2002年、７１頁）。との、ことである。
従って、
（01）（02）（03）により、
（04）
　（２）　ｌｏｖｅ（ｊｏｈｎ，ｍａｒｙ）∧ ￢ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ）
　（３）　∃ⅹｌｏｖｅ（ｊｏｈｎ，ｘ）
といふ「述語論理」も、「括弧は省略せず」に、
　（２）　ｌｏｖｅ（ｊｏｈｎ，ｍａｒｙ）∧ ￢（ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ））
　（３）　∃ⅹ（ｌｏｖｅ（ｊｏｈｎ，ｘ））
といふ風に、書くべきである。
従って、
（04）により、
（05）
　（２） ￢（ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ））＝
　（２） Ｍａｒｙ　ｄｏｅｓ　ｎｏｔ　ｌｏｖｅ　ｊｏｈｎ.
然るに、
（06）
￢＝ΟΥ
ｌｏｖｅ＝ΦΙΛΕΕΙ
ｍａｒｙ＝ΜΑΡΙΑ
ｊｏｈｎ＝ΙΩΑΝΝΗΝ
従って、
（05）（06）により、
（07）
　（２） ￢（ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ））＝
　（２） ΟΥ（ΦΙΛΕΕΙ（ΜΑΡΙΑ，ΙΩΑΝΝΗΝ））.
然るに、
（08）
ない＝ΟΥ
愛さ＝ΦΙΛΕΕΙ
マリアは＝ΜΑΡΙΑ
ヨハネを＝ΙΩΑΝΝΗΝ
従って、
（07）（08）により、
（09）
　（２） ￢（ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ））＝
　（２） ΟΥ（ΦΙΛΕΕΙ（ΜΑΡΙΑ，ΙΩΑΝΝΗΝ））＝
　（２）ない（愛さ（マリアはヨハネを））。
従って、
（05）（09）により、
（10）
　（２） ￢（ｌｏｖｅ（ｍａｒｙ，ｊｏｈｎ））＝
　（２） ΟΥ（ΦΙΛΕΕΙ（ΜΑΡΙΑ，ΙΩΑΝΝΗΝ））⇒
　（２） （（ΜΑΡΙΑ，ΙΩΑΝΝΗΝ）ΦΙΛΕΕΙ）ΟΥ＝
　（２） （（マリアはヨハネを）愛さ）ない。
然るに、
（11）
例　２.１．３　次はすべて命題関数である.
　（ａ）　ｐ（ｘ）：ｘは女である.
　（ｂ）　ｑ（ｘ）：ｘ＋２＝１.
　（ｃ）　ｒ（ｘ，ｙ）：ｘ　と　ｙ　は友人である。
　（ｄ）　ｓ（ｘ，ｙ）：２ｘ＋ｙ＝√３.
（内中伸光、論理の練習帳、2002年、７１頁）。
従って、
（11）より、
（12）
　（２）　￢（Ｌ（ｘ，ｙ））：ｘ　は　ｙ　を愛さない。　
　は、「命題関数」である。
従って、
（10）（11）（12）により、
（13）
　（２） ￢（Ｌ（ｘ，ｙ））＝
　（２） ΟΥ（ΦΙΛΕΕΙ（ΜΑΡΙΑ，ΙΩΑΝΝΗΝ））⇒
　（２） （（マリアはヨハネを）愛さ）ない。
といふ「ギリシャ語訓読」は、「述語論理（命題関数）」である。
然るに、
（14）
信長をａ、秀吉をｂ、「・・・は・・・の主君である」をＦとすると、
「信長は秀吉の主君である」⇒　Ｆａｂ
それぞれの多項述語は個体を置く順序が決まっている。
Ｆｂａ　とすると、「秀吉は信長の主君である」と読まれる。
（昭和堂、論理学の基礎、1994年、１６１頁）。
従って、
（13）（14）により、
（15）
　（２） ￢（Ｌ（ｘ，ｙ））　は、
　（２） ￢Ｌｘｙ　と書いても、かまわない。
加へて、
（16）
「自然言語」であれば、例へば、
「天下の英雄は、唯君と我のみ」といふ場合に
「∃ｘ∃ｙ（Ｆｘ＆Ｆｙ＆（ｘ≠ｙ）＆∀ｚ（Ｆｚ→（（ｚ＝ｘ）∨（ｚ＝ｙ））））」＝
「或るｘと或るｙについて、ｘは英雄であり、ｙも英雄であり、ｘとｙは同一ではなく、全てのｚについて、そのｚが英雄ならば、ｚは、ｘであるか、ｙである。」
といった、「持って回った言ひ方」はしない。
従って、
（17）
その意味では、「日本語や漢文やギリシャ語」と、「述語論理」は、同列には、論じられない。
しかしながら、
（18）
　（２） ￢（Ｌ（ｘ，ｙ））＝
　（２） ΟΥ（ΦΙΛΕΕΙ（ΜΑΡΙΑ，ΙΩΑΝΝΗΝ））⇒
　（２） （（マリアはヨハネを）愛さ）ない。
といふ「ギリシャ語訓読」が可能であって、尚且つ、
　（２） ￢Ｌｘｙ
といふ「述語論理」が、「正確」には、
　（２） ￢（Ｌ（ｘ，ｙ））
である以上、
　（２） ΟΥ　ΦΙΛΕΕΙ　ΜΑΡΙΑ　ΙΩΑΝΝΗΝ.
　（２） マリアは　ヨハネを　愛さ　ない。
といふ「ギリシャ語と日本語」が、
　（２）ΟΥ（ΦΙΛΕΕΙ（ΜΑΡΙΑ　ΙΩΑΝΝΗΝ））⇔
　（２）（（マリアはヨハネを）愛さ）ない。
といふ「形」を、してゐない。はずがない。
従って、
（19）
「括弧」は、有るべし。
平成２６年１２月２５日、毛利太。