-
（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）問題 次の報告から確実に正しいと言えることには〇を、そうでないないもの... -
（1326）「この問題の正解率は６４.５％でした。」
(2024-03-24 17:17:22 | 場合の数)
（01）問題 次の報告から確実に正しいと言えることには〇を、そうでないないもの... -
（1325）ＡＩは何も考えてはいない！！
(2024-03-23 09:57:41 | 論理)
（01）「マイクロソフトのＡＩ」に「質問(兎は象ですか？)」をしたところ、「Ａ... -
（1324）「ド・モルガンの法則（命題変数が３つで、∨と∧が混在する場合）」。
(2024-02-26 19:53:57 | 論理)
（01） ― 次に示す通り、例へば、―① Ｐ... -
（1323）「象の鼻が長い」の「述語論理」。
(2024-02-25 12:47:14 | 象は鼻が長い、述語論理。)
（01）①｛象の鼻、兎の鼻、馬の鼻｝②｛象の耳、兎の耳、馬の耳｝③｛象の耳、兎... -
（1322）「象は鼻が長い（動物である）」の「述語論理」の解説。
(2024-02-24 14:50:15 | 象は鼻が長い、述語論理。)
（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）（ⅰ）１ （１） ～Ｐ∨ Ｐ Ａ ２... -
（1315）「恒真式（トートロジー）」の「意味」について。
(2024-02-14 19:56:47 | 論理)
（01）① Ａ，Ｂ├ Ｃ② Ａ├ Ｂ→Ｃ③ ├ ... -
（1314）「命題論理」の「完全性定理」。
(2024-02-13 21:57:52 | 論理)
―「文字数制限」をオバーするため、（01）～（14）を「省略」します。―... -
（1313）「恒真式」が「恒真（トートロジー）」である所以。
(2024-02-12 15:03:57 | 論理)
（01）１ （１） Ｐ→Ｑ ... -
（1312）「恒真式」の「否定」は「矛盾」である（conjecture？）。
(2024-02-08 13:08:58 | 論理)
（01）（ⅰ）１（１）Ｐ Ａ （２）Ｐ...