-
（30）「括弧」と「句読点」。
(2018-05-24 21:10:48 | 論理)
（01） （ａ） １ （１） Ｐ＆（Ｑ∨... -
（31）「述語論理」の「訓読」。
(2018-06-05 13:22:22 | 論理)
（01） １ （１）∀ｘ〔∃ｙ（ｘｙ＝１... -
（32）「∀ｘ∃ｙ愛（ｘｙ）」等の、３通りの、読み方。
(2018-06-06 10:40:52 | 論理)
（01） ① ∀ｘ［∃ｙ〔愛（ｘｙ）〕］ に... -
（33）「二項述語における量記号」の読み方。
(2018-06-08 17:03:19 | 論理)
（01） ある人αが、すべての人に愛され... -
（34）象は鼻は（が）長い。
(2018-06-13 17:42:43 | 「は」と「が」)
（01） １ （１） ... -
（36）三上先生に、改めて、指摘したいこと。
(2018-06-16 10:36:37 | 「は」と「が」)
（01） ① Ａ is Ｂ． に於いて、 ① Ａ ... -
（37）「佐太が（の）」の、「が」と「の」について。
(2018-06-17 18:30:34 | 「は」と「が」)
（01） ① 昨日、澁谷で、大田にオオタ（... -
（39）ヒルベルトの公理：Ｐならば（ＱならばＰである）。
(2018-06-21 13:34:56 | 論理)
（01） ヒルベルトの演繹システムは、公... -
（40）「逆」が「真」である場合について。
(2018-06-25 20:07:52 | 「は」と「が」)
（01） ① 全ての人間は動物である。が、... -
（42）「∈（は）」と「＝（が）」について。
(2018-06-28 17:31:33 | 「は」と「が」)
（01） ① Ａは（∈）Ｂである。 ② Ａは（... -
（44）「対偶」と「等値」と、「は（∈）」と「が（＝）」について。
(2018-06-30 20:06:55 | 「は」と「が」)
（01） １ （１） Ａ→ Ｂ 仮... -
（48）三上章先生、金谷武洋先生、日本語にも「主語」は有ります。
(2018-07-07 12:06:18 | 「は」と「が」)
（01） ① ソクラテスは人間である。 と... -
（49）象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
(2018-07-08 20:33:02 | 「は」と「が」)
（01） １ （１）∃ｘ｛花子ｘ＆... -
（51）二重主語：∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
(2018-07-11 15:19:22 | 「は」と「が」)
（01） ① 象は動物である。然るに、花子... -
（55）「全ては知りません」等の「は」」：「部分否定」について。
(2018-07-15 19:05:24 | 「は」と「が」)
（01） ① 全ては知りません。 ② 全てな... -
（57）「Only men」と「The only men」。
(2018-07-19 16:04:59 | 英語、論理。)
（01） ① ＡだけがＢである＝Ａ以外は... -
（59）馬は顔（だけ）が長い＝∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ ）｝。
(2018-07-21 20:48:22 | 「は」と「が」)
（01） ① 馬は顔が長い。 ② 象は鼻が長... -
（60）すべての馬の頭は動物の頭である（ド・モルガンの例）。
(2018-07-22 19:22:16 | 論理)
（01） すべての馬が動物であれば、馬... -
（6１）「花子は象である。」の「花子」は「主語」である
(2018-07-23 16:32:42 | 論理)
（01） ① ＡはＢである＝ＡはＢである。... -
（62）「私は・私が長谷川です。」の「は・が」について。
(2018-07-24 19:04:27 | 「は」と「が」)
（01） 「ギリシャ語やラテン語」の場合...