-
（1352）「ド・モルガンの法則と、命題論理と、述語論理と、量化子の関係」（Ⅱ）。
(2024-12-18 11:43:35 | 論理)
「昨日（令和６年１２月１７日）の記事」を書き直します。 （01）（ⅰ）｛ｘの変... -
（1350）「代表的選言項（typical disjunct）」について。
(2024-12-14 14:04:39 | 論理)
（01）（ⅰ）１ （１）∃ｘ（Ｆｘ∨Ｇｘ） ... -
（1349）「条件法（Conditional Proof）」は「簡単」である。
(2024-12-12 12:05:32 | 論理)
（01）この規則（ＣＰ）の扱い方は、これまでの規則のそれよりも会得しにくいもの... -
（1348）「幾らかのフランス人は寛大である」の「述語論理」。
(2024-11-27 14:17:58 | 論理)
（01）「すべてのフランス人は寛大である」は一種の条件文として適切に記号化され... -
（1347）「今両虎共闘」の「述語論理」。
(2024-11-21 11:05:49 | 漢文・述語論理)
（01）（ⅰ）今両虎共闘、其勢不俱生＝今両虎共闘、其勢不（俱生）... -
（1346）「日本は東京が首都である」の「述語論理」と「生成ＡＩ」。
(2024-11-19 12:31:39 | 象は鼻が長い、述語論理。)
（01）１ （１）∀ｘ｛日本ｘ→∃ｙ（... -
（1345）「鼻は象が長い」の「述語論理」と「生成ＡＩ（コパイロット）の無能ぶり」。
(2024-11-17 18:29:53 | 象は鼻が長い、述語論理。)
（01）①｛象の鼻、兎の鼻、馬の鼻｝②｛象の耳、兎の耳、馬の耳｝③｛象の顔、兎... -
（1344）「（三上章の）象は鼻が長い」の「述語論理」と「主語と主題」と「古典文法」。
(2024-11-16 07:40:34 | 象は鼻が長い、述語論理。)
（01）1,304,803 回視聴 2021/03/23 ゆる言語学ラジオ全部... -
（1343）「恒真式（トートロジー）」の「定義（Ⅱ）」。
(2024-11-14 12:20:34 | 論理)
―（20）以下に、「昨日（令和６年１１月１３日）の記事」の「続き」を書きます。... -
（1342）「恒真式（トートロジー）」の「定義」。
(2024-11-13 18:02:41 | 論理)
（01）（ⅰ）１ （１） Ｐ→ Ｑ Ａ ２ ... -
（1341）「パースの法則（論理学初歩・練習問題）」
(2024-11-10 11:45:06 | 論理)
（01）命題計算では、パースの法則は （（Ｐ... -
（1340）「恒真式（トートロジー）」について。
(2024-11-09 12:37:55 | 論理)
（01）（ⅰ）１ （１） Ｐ→ Ｑ Ａ ２ ... -
（1339）裁判は、いきなり、結審した模様である。
(2024-11-01 14:05:36 | 医療過誤)
（01）（ⅰ）裁判長は、（ⅱ）被告に対し... -
（1338）∀ｘ（Ｆｘ）≡∀ｘ∀ｙ（Ｆｘ＆Ｆｙ）
(2024-08-28 11:40:04 | 論理)
（01）Ｄ＝｛ａ、ｂ、ｃ｝であるならば、① ... -
（1337）「清少納言は紫式部ではない」の「述語論理」。
(2024-08-27 15:22:47 | 論理)
（01）１ （１） ∃ｘ（紫式部ｘ... -
（1336）「兎は耳が長い（象は鼻が長い）」の「述語論理」。
(2024-08-24 10:09:35 | 象は鼻が長い、述語論理。)
（01）１ （１） ∀ｘ｛兎ｘ→∃... -
（1335）∃ｘ∃ｙ（Ｆｘ＆Ｆｙ）├ ∃ｘ（Ｆｘ）
(2024-08-23 17:50:05 | 論理)
（01）１４２ ∃ｘ（Ｆｘ）├ ∃ｘ∃ｙ（Ｆｘ＆Ｆｙ）１... -
（1334）「ＡＩは、論理が苦手である！！」。
(2024-07-05 17:57:23 | 論理)
（01）（ⅰ）「東京都民でない」ならば... -
（1333）「単独犯」の「述語論理」（ＡＩには無理！！）。
(2024-05-28 16:41:52 | 日本語、述語論理。)
（01）「次の計算」では、「ド・モルガンの法則」や、「含意の定義」等の「定理（... -
（1332）「しばらく、ブログを更新できない理由」。
(2024-04-30 07:01:17 | お知らせ)
ただ今、第二回目の口頭弁論の「準備書...