-
（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）（ⅰ）１（１）Ｐ Ａ （２）Ｐ... -
（1311）「恒真式（トートロジー）」の「３つの定義」。
(2024-02-07 14:37:31 | 論理)
―「含意の定義（Ｄｆ.→）」―（01）１ （１） ... -
（1310）「排中律」を使って「恒真式（トートロジー）」を証明する。
(2024-02-04 16:27:35 | 論理)
（01）① Ｐ∨～Ｐ （Ｐであるか、または、Ｑである）。② Ｐ＆Ｑ... -
（1309）「（古典論理の）実質含意」について（Ⅱ）。
(2024-02-03 12:03:26 | 「は」と「が」)
（01）（ⅰ）１（１）～Ｐ Ａ１（２）～Ｐ... -
（1308）「（古典論理の）含意の、パラドックス」について。
(2024-02-02 17:33:02 | 論理)
（01）（ⅰ）１（１） ￢Ａ Ａ１（２） ￢Ａ... -
（1307）「Ｐでないならば、Ｐである」は『矛盾』ではない（Ⅱ）。
(2024-02-02 06:40:28 | 論理)
（01）① （Ｐでない）か、または（Ｑである）。② （Ｐでない）か、また... -
（1306）「Ｐでないならば、Ｐである」は『矛盾』ではない。
(2024-02-01 16:06:16 | 論理)
―「20:28 2024/02/01」の時点で、この「記事の補足」が、完成して... -
（1305）「パースの法則（恒真式）」を「否定」すると「矛盾」する。
(2024-01-30 17:43:43 | 論理)
（01）（ⅰ）１ （１） Ｐ→ Ｑ Ａ ２（２） ... -
（1304）「ちょうど２個のものがＦである」の「述語論理」。
(2024-01-27 17:50:18 | 論理)
（01）① ∃ｘ∃ｙ｛（Ｆｘ＆Ｆｙ）＆ｘ≠ｙ｝... -
（1303）「すべての人間はその人自身である。」の「述語論理」。
(2024-01-25 12:54:05 | 論理)
（01）「述語論理」は「無矛盾」であって「完全」である。然るに、（02）① す... -
（1302）「量化子（∀，∃）」と「ド・モルガンの法則」について。
(2024-01-22 15:32:48 | 論理)
（01）（ⅰ）１ （１） ∀ｘ（ Ｆｘ） Ａ ２ （２... -
（1301）「ド・モルガンの法則」と「含意の定義」と「パースの法則」。
(2024-01-21 14:02:12 | 論理)
（01）（ⅰ）１ （１） （Ｐ＆～Ｑ）∨Ｐ... -
（1300）「源氏物語の作者は二人とはゐない」の「述語論理」。
(2024-01-20 12:01:42 | 論理)
（01）（ⅰ）源氏物語の作者（Ｇ）は、二人とはゐない（at most one ... -
（1299）「虎長百獣長」の「述語論理」。
(2024-01-19 12:16:16 | 漢文・述語論理)
（01）１ （１）∃ｘ∀ｙ｛虎ｘ＆百獣ｙ＆長ｘ... -
（1298）「富岳は富士山である」の「述語論理」。
(2024-01-16 10:29:40 | 「は」と「が」)
（01）１ （１） ∀ｘ｛日本の山ｘ...