∀∃という記号は論理学的に無意味

**考える名無しさん** · 2024/02/27(火) 19:32:47.91

すべての人間は死ぬという前提は間違っています
不老不死の人間がいるかも知れないからです
三段論法で成り立たないので∀は成り立たない文章しか確認されていません
また∃をつけると特例を許すことになります
∃海=陸という文章が許されるからです
陸の上に海があるという状態があるからです
海が干上がると陸になるのではないかということです
よって∃という記号も成り立たない文章しか確認されていません

**考える名無しさん** · 2024/02/27(火) 23:41:50.64

**∀**と**∃**は論理学において重要な記号であり、それぞれ**全称量化**と**存在量化**を表します²。では、これらの記号が無意味であるかどうかについて考えてみましょう。

- **∀ (全称量化)**: この記号は「すべての」という意味を持ちます。例えば、「すべての人間は死ぬ」という前提は、不老不死の人間がいるかもしれないため、三段論法で成り立たないとされています。したがって、**∀**は成り立たない文章しか確認されていません¹。

- **∃ (存在量化)**: この記号は「存在する」という意味を持ちます。例えば、「海＝陸」という文章は許されることから、特例を許すことになります。陸の上に海があるという状態があるため、海が干上がると陸になる可能性があります。よって、**∃**も成り立たない文章しか確認されていません¹。

論理学的には、これらの記号は無意味ではなく、特定の論理的な文脈で重要な役割を果たしています。² ただし、不老不死の人間や特殊な状況を考慮すると、これらの記号が完全に適用できない場合もあることを理解しておくべきです。

ソース: Bing との会話 2024/2/27
(1) 記号論理学(きごうろんりがく)とは？意味や使い方 - コトバンク. https://kotobank.jp/word/%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%86%E5%AD%A6-50279.
(2) ∀∃という記号は論理学的に無意味 -すべての人間は死ぬという .... https://oshiete.goo.ne.jp/qa/13746927.html.
(3) 論理記号の一覧 - Wikipedia. https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E8%A8%98%E5%8F%B7%E3%81%AE%E4%B8%80%E8%A6%A7.
(4) undefined. https://rio2016.5ch.net/test/read.cgi/math/17007.

**考える名無しさん** · 2024/02/27(火) 23:46:18.08

∀∃という記号は論理学的に無意味ではありません。∀∃は「すべて」と「存在する」という意味を持つ記号です。∀∃を使って、すべての要素が特定の条件を満たすことを意味する式を記述することができます。

例えば、∀∃x(P(x)→Q(x))という式は、「すべての要素xについて、xがPであるならばxはQである」という意味です。これは、すべての要素がPとQの両方の条件を満たすことを意味します。

∀∃は、論理学や数学で使用される重要な記号です。∀∃を使って、複雑な論理式を記述することができます。

以下は、∀∃の例です。

* ∀x(x > 0)→∃y(y < x) (すべての正のxについて、xより小さいyが存在する)
* ∀∃x(P(x)→Q(x)) (すべての要素xについて、xがPであるならばxはQである)
* ∀∃x(∃y(R(x,y))) (すべての要素xについて、yが存在して、xとyはRの関係を持つ)

∀∃は、論理学や数学で使用される重要な記号です。∀∃を使って、複雑な論理式を記述することができます。

**考える名無しさん** · 2024/02/28(水) 08:13:24.82

∧＿∧
（　´∀｀）
（　　　　）
｜｜　|
（_＿）＿）

**考える名無しさん** · 2024/02/28(水) 11:05:12.85

すべての整数は実数であるという例を取ってみましょう

何事にも例外はあります
いずれ実数ではない整数が発見されるかもしれません
整数が実数ではないといけないという約束なんてどこにもありません
∀はそういった傲慢さがあるのです
∀∃も現実ではとても使えない記号です

**考える名無しさん** · 2024/02/28(水) 11:18:44.48

ほほう。不老不死の生命体を視野に入れた理論か。
私のパートナー（恋人）だな。私の恋人は永久に生きるぞよ。
そういう生命体を紹介してほしいのだろう？
他にも私の友達（Ｎ氏）も永久に生きると言っているが。

**考える名無しさん** · 2024/02/28(水) 18:44:24.90

ヨ

**考える名無しさん** · 2024/02/28(水) 21:49:57.31

ヨヨヨちゃん

**考える名無しさん** · 2024/02/29(木) 19:13:18.68

< ｀∀´>

**考える名無しさん** · 2024/03/01(金) 14:06:01.72

>>5
数学は全て決め事やろ
アホなんか？

**考える名無しさん** · 2024/03/04(月) 16:42:43.37

数学はすべて決め事だから何なのでしょう

**考える名無しさん** · 2024/03/06(水) 07:46:25.97

>>11
整数を自然数、0、自然数に負の符号をつけた数、と定義したらそれ以外の数は入らん
発見されるとかそういう性質のもんじゃない

これが決め事の意味や
アホなんか？

**考える名無しさん** · 2024/03/06(水) 08:07:09.77

αを数として数えるには、α/xで"x→1"を求める必要がある。

**考える名無しさん** · 2024/03/06(水) 08:19:18.84

日本初の内臓脂肪減少薬4月発売へ⇒処方箋なしで薬局で買えるが、副作用として「お尻から油が漏れる」ことも… ★2 [BFU★]

0003アフターコロナの名無しさん2024/03/06(水) 07:16:17.10ID:Uj6wBlYB0
油「屁です」
肛門「通れ！」

0137アフターコロナの名無しさん2024/03/06(水) 08:16:44.70ID:nVFDHTzi0
その悪臭油はトイレの便器にべったりとついて水では流れないらしい
お掃除が大変
会社のトイレにも迷惑

**考える名無しさん** · 2024/03/06(水) 08:20:48.81

数えるには、性質の変化が解消もしくは消化される必要がある

**考える名無しさん** · 2024/03/09(土) 07:27:03.32

能登災害では、ついに過疎地の社会インフラの放棄が始まっているみたいに見えてしまうね。
維新による効率重視政策の問題点だろうな。
老人や障碍者といった弱者は社会として切り捨てていくべきだ、という明確なメッセージにはなってる