-
「恒真式（トートロジー）」の「定義」。
(2024-11-13 18:02:41 | 論理)
（01）（ⅰ）１ （１） Ｐ→ Ｑ Ａ ２ ... -
「パースの法則（論理学初歩・練習問題）」
(2024-11-10 11:45:06 | 論理)
（01）命題計算では、パースの法則は （（Ｐ... -
（1340）「恒真式（トートロジー）」について。
(2024-11-09 12:37:55 | 論理)
（01）（ⅰ）１ （１） Ｐ→ Ｑ Ａ ２ ... -
（1338）∀ｘ（Ｆｘ）≡∀ｘ∀ｙ（Ｆｘ＆Ｆｙ）
(2024-08-28 11:40:04 | 論理)
（01）Ｄ＝｛ａ、ｂ、ｃ｝であるならば、① ... -
（1337）「清少納言は紫式部ではない」の「述語論理」。
(2024-08-27 15:22:47 | 論理)
（01）１ （１） ∃ｘ（紫式部ｘ... -
（1335）∃ｘ∃ｙ（Ｆｘ＆Ｆｙ）├ ∃ｘ（Ｆｘ）
(2024-08-23 17:50:05 | 論理)
（01）１４２ ∃ｘ（Ｆｘ）├ ∃ｘ∃ｙ（Ｆｘ＆Ｆｙ）１... -
（1334）「ＡＩは、論理が苦手である！！」。
(2024-07-05 17:57:23 | 論理)
（01）（ⅰ）「東京都民でない」ならば... -
（1331）「唯一のｘがＦである」の「述語論理」（Ⅱ）。
(2024-04-01 12:45:25 | 論理)
（01）「一昨日（令和６年３月３０日）の記事」でも示した通り、｛ｘの変域｝＝｛... -
（1330）∃ｘ（Ｆｘ）├ ∃ｘ∃ｙ（Ｆｘ＆Ｆｙ）！？
(2024-03-30 16:49:38 | 論理)
（01）１４２ ∃ｘ（Ｆｘ）├ ∃ｘ∃ｙ（Ｆｘ＆Ｆｙ）... -
（1329）「この問題の正解率は６４.５％でした。」と「述語論理」（Ⅱ）。
(2024-03-28 19:06:48 | 論理)
（01） 男子＝男の子である。～男子＝男の子でない。 女子＝女の子である。～女... -
（1328）「この問題の正解率は６４.５％でした。」と「述語論理」。
(2024-03-27 13:58:49 | 論理)
（01）問題 次の報告から確実に正しいと言えることには〇を、そうでないないもの... -
（1327）「この問題の正解率は６４.５％でした。」（Ⅱ）
(2024-03-24 20:30:17 | 論理)
（01）問題 次の報告から確実に正しいと言えることには〇を、そうでないないもの... -
（1325）ＡＩは何も考えてはいない！！
(2024-03-23 09:57:41 | 論理)
（01）「マイクロソフトのＡＩ」に「質問(兎は象ですか？)」をしたところ、「Ａ... -
（1324）「ド・モルガンの法則（命題変数が３つで、∨と∧が混在する場合）」。
(2024-02-26 19:53:57 | 論理)
（01） ― 次に示す通り、例へば、―① Ｐ... -
（1321）「（Ｐ＆Ｑ）→～Ｐ」の「対偶」について。
(2024-02-23 13:52:06 | 論理)
（01）① （Ｐ＆Ｑ）→ Ｐ② （Ｐ＆Ｑ）→～Ｐと... -
（1320）「恒真式（トートロジー」ではない「式」の作り方。
(2024-02-22 20:07:48 | 論理)
（01）１（１） Ｐ＆ Ｑ＆ Ｒ Ａ１（２） Ｒ １＆Ｅ１... -
（1319）「ある入門書」にある「述語論理」の「例題」（Ⅱ）。
(2024-02-20 09:50:04 | 論理)
（01）たとえ名辞が三つに限られていても、ヴェン図形では処理できない推論がある... -
（1318）「ある入門書」にある「論理学」の「例題」。
(2024-02-19 13:30:56 | 論理)
（01）他方、ヴェン図は、三段論法の枠にはまらない推論にも使える。たとえば、次... -
（1317）「恒真式（トートロジー）」の「研究」の続き。
(2024-02-18 18:01:35 | 論理)
―「昨日（令和６年２月１７日）」の「続き」を書きます。―然るに、（27）（ⅰ）... -
（1316）「恒真式（トートロジー）」の「研究」。
(2024-02-17 17:13:57 | 論理)
（01）（ⅰ）１ （１） ～Ｐ∨ Ｐ Ａ ２...