（01）
第一に、固有名（proper name）をつぎの符号のひとつとして定義する。
ｍ，ｎ，・・・・・・
第二に、任意の名前（aribitary name）をつぎの符号のひとつとして定義する。
ａ，ｂ，ｃ，・・・・・・
第三に、個体変数（individual variable）をつぎの符号のひとつとして定義する。
ｘ，ｙ，ｚ，・・・・・・
第四に、述語文字（predicate-letter）をつぎの符号のひとつとして定義する。
（E.J.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、１７６頁）
（02）
固有名と任意の名前をいずれかを包括する語を導入しておくのが便利なことは明らかである。
それ故、ターム（term）を、固有名あるいは任意の名前と定義する。
（E.J.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、１７７頁改）
従って、
（01）（02）により、
（03）
「E.J.レモンの述語論理」には、
「固有名（proper name）」といふ「ターム（term）」と、
「任意の名前（aribitary name）」といふ「ターム（term）」による、
「２種類のターム（term）」がある。
然るに、
（04）
従って、
（04）により、
（05）
「京大（大西琢朗先生）の述語論理」では、
「個体変項（individual variables）」と、
「個体定項（individual constants）」とを、「ターム（term）」と呼ぶ。
従って、
（01）～（05）により、
（06）
「（京大を含む）世間一般の述語論理」には、どうやら、
「E.J.レモンの述語論理」には有る所の、
「固有名（proper name）」と、
「任意の名前（aribitary name）」の「区別」が無いやうである。
然るに、
（07）
昨日も示したものの、
ｍ＝森山（といふ名前の個体）。
ｎ＝中村（といふ名前の個体）。
ｏ＝太田（といふ名前の個体）。
犯人＝犯人である（といふ述語文字）。
現場＝現場にゐた（といふ述語文字）。
であるとして、
１ （１）∀ｘ（犯人ｘ→ｘ＝ｍ∨ｘ＝ｎ∨ｘ＝ｏ） Ａ
２ （２）∃ｘ（犯人ｘ＆現場ｘ） Ａ
３ （３） ～現場ｍ＆～現場ｎ Ａ
１ （４） 犯人ａ→ａ＝ｍ∨ａ＝ｎ∨ａ＝ｏ １ＵＥ
５ （５） 犯人ａ＆現場ａ Ａ
５ （６） 犯人ａ ５＆Ｅ
１ ５ （７） ａ＝ｍ∨ａ＝ｎ∨ａ＝ｏ ４６ＭＰＰ
１ ５ （８） ａ＝ｍ∨（ａ＝ｎ∨ａ＝ｏ） ７結合法則
１ ５ （９） ～ａ≠ｍ∨（ａ＝ｎ∨ａ＝ｏ） ８ＤＮ
１ ５ （ア） ａ≠ｍ→（ａ＝ｎ∨ａ＝ｏ） ９含意の定義
イ （イ） ａ≠ｍ Ａ
１ ５イ （ウ） ａ＝ｎ∨ａ＝ｏ アイＭＰＰ
１ ５イ （エ） ～ａ≠ｎ∨ａ＝ｏ ウＤＮ
１ ５イ （オ） ａ≠ｎ→ａ＝ｏ エ含意の定義
１ ５ （カ） ａ≠ｍ→（ａ≠ｎ→ａ＝ｏ） イオＣＰ
３ （キ） ～現場ｍ ３＆Ｅ
３ （ク） ～現場ｎ ３＆Ｅ
５ （ケ） 現場ａ ５＆Ｅ
３５ （コ） ～現場ｍ＆現場ａ キケ＆Ｉ
サ （サ） ａ＝ｍ Ａ
３５ サ （シ） ～現場ｍ＆現場ｍ コサ＝Ｅ
３５ （ス） ａ≠ｍ サシＲＡＡ
１ ３５ （セ） ａ≠ｎ→ａ＝ｏ カスＭＰＰ
３５ （ソ） ～現場ｎ＆現場ａ クケ＆Ｉ
タ（タ） ａ＝ｎ Ａ
３５ タ（チ） ～現場ｎ＆現場ｎ ソタ＝Ｅ８
３５ （ツ） ａ≠ｎ タチＲＡＡ
１ ３５ （テ） ａ＝ｏ セツＭＰＰ
１ ３５ （ト） 犯人ｏ ６テ＝Ｅ
１２３ （ナ） 犯人ｏ ２５トＥＥ
といふ「述語計算（Predicate calculus）」は「正しい」。
従って、
（01）（07）により、
（08）
∀ｘ（犯人ｘ→ｘ＝ｍ∨ｘ＝ｎ∨ｘ＝ｏ），∃ｘ（犯人ｘ＆現場ｘ），～現場ｍ＆～現場ｎ├ 犯人ｏ
といふ「連式」、すなはち、
（ⅰ）∀ｘ（犯人ｘ→ｘ＝ｍ∨ｘ＝ｎ∨ｘ＝ｏ）。然るに、
（ⅱ）∃ｘ（犯人ｘ＆現場ｘ）。 然るに、
（ⅲ） ～現場ｍ＆～現場ｎ。 従って、
（ⅳ） 犯人ｏ。
といふ「推論」は、「E.J.レモンの述語論理」として「妥当」である。
従って、
（08）により、
（09）
（ⅰ）すべてのｘについて（ｘが犯人であるならば、ｘはｍか、ｘはｎか、ｏである。 然るに、
（ⅱ） あるｘについて（ｘは犯人であって、ｘは現場にゐた）。 然るに、
（ⅲ）ｍは現場にゐなかったし、ｎも現場にゐなかった。 従って、
（ⅳ）ｏが犯人である（犯人はｏである）。
といふ「推論」は、「妥当」である。
といふ「推論」は、「E.J.レモンの述語論理」として「妥当」である。
従って、
（09）により、
（10）
（ⅰ）犯人は、森山か、中村か、太田である。然るに、
（ⅱ）犯人は、現場にゐた。 然るに、
（ⅲ）森山と中村には、アリバイがある。 従って、
（ⅳ）太田が犯人である。
といふ「推論」は、「E.J.レモンの述語論理」としては「妥当」である。
従って、
（06）～（10）により、
（11）
（ⅰ）犯人は、森山か、中村か、太田である。然るに、
（ⅱ）犯人は、現場にゐた。 然るに、
（ⅲ）森山と中村には、アリバイがある。 従って、
（ⅳ）太田が犯人である。
といふ「推論」は、「（京大を含む）世間一般の述語論理」としても「妥当」であるか「否」かは、「現時点での私」には、分からない。
（12）
ｍ＝森山（といふ名前の個体）。
ｎ＝中村（といふ名前の個体）。
ｏ＝太田（といふ名前の個体）。
を用ひないのであれば、
森山＝森山である（といふ述語文字）。
中村＝中村である（といふ述語文字）。
太田＝太田である（といふ述語文字）。
を用ひることになる。
従って、
（13）
「１行目」は、
１（１）∀ｘ（犯人ｘ→ｘ＝ｍ∨ｘ＝ｎ∨ｘ＝ｏ） Ａ
ではなく、
１（１）∀ｘ（犯人ｘ→森山ｘ∨中村ｘ∨太田ｘ） Ａ
となるものの、「続きを書く」のは「難しさう」なので「書きたくない」。