「一般的に成り立たない」と「成り立たない」と「成り立つとは限らない」
「\(A\)は一般的に成り立たない」と「\(A\)は成り立つとは限らない」を論理式で表すと\(\exists x,\lnot A\left(x\right)\)となります。
しかし日常で「成り立つとは限らない」は大抵は成り立つが例外的に成り立たないと解釈されることが多く、「一般的に成り立たない」は例外的に成り立つことはあるかもしれないが大抵は成り立たないことと解釈されることが多く、異なる意味に捉えられることがあります。
「\(A\)は一般的に成り立たない」と「\(A\)は成り立たない」を論理式で表すと\(\exists x,\lnot A\left(x\right)\)となります。
(1)「一般的に成り立たない」と「成り立つとは限らない」の違い
「一般的に成り立たない」と「成り立つとは限らない」は数学では同値となり、「反例が少なくとも1つ存在する」ということを意味します。「\(A\)は一般的に成り立たない」と「\(A\)は成り立つとは限らない」を論理式で表すと\(\exists x,\lnot A\left(x\right)\)となります。
しかし日常で「成り立つとは限らない」は大抵は成り立つが例外的に成り立たないと解釈されることが多く、「一般的に成り立たない」は例外的に成り立つことはあるかもしれないが大抵は成り立たないことと解釈されることが多く、異なる意味に捉えられることがあります。
(2)「一般的に成り立たない」と「成り立たない」の違い
「一般的に成り立たない」と「成り立たない」も数学では同値となり、「反例が少なくとも1つ存在する」ということを意味します。「\(A\)は一般的に成り立たない」と「\(A\)は成り立たない」を論理式で表すと\(\exists x,\lnot A\left(x\right)\)となります。
ページ情報
| タイトル | 「一般的に成り立たない」と「成り立たない」と「成り立つとは限らない」 |
| URL | https://www.nomuramath.com/xoqprz1r/ |
| SNSボタン |
文章と論理記号での優先順位
「Aを満たすBが存在する」と「Aを満たすのは任意のBについてである」という表現
量化記号の説明部分の順番
論理演算と集合演算との関係
\[
a\in A\leftrightarrow a\in B\Leftrightarrow a\in\left(A\cap B\right)\cup\left(A\cup B\right)^{c}
\]
