AであってもBであるとは限らないの論理式と否定の論理式
または、\(B\left(x\right)\)であっても、\(A\left(x\right)\)が成り立たないとは限らないとなる。
(1)
\(A\)であっても\(B\)であるとは限らないを論理式で書くと\(\exists x,A\left(x\right)\land\lnot B\left(x\right)\)となる。(2)
\(A\)であっても\(B\)であるとは限らないの否定を論理式で書くと\(\forall x,A\left(x\right)\rightarrow B\left(x\right)\)となり、これは\(A\)ならば\(B\)であるということである。(3)
論理式\(\exists x,A\left(x\right)\land B\left(x\right)\)は\(A\left(x\right)\)であっても、\(B\left(x\right)\)が成り立たないとは限らないとなる。または、\(B\left(x\right)\)であっても、\(A\left(x\right)\)が成り立たないとは限らないとなる。
(1)
「\(A\)であっても\(B\)であるとは限らない」は「\(A\)であるが\(B\)でない場合がある」という意味なので、「ある\(x\)が存在し、\(A\left(x\right)\)は真であるが、\(B\left(x\right)\)は偽である」ということであり、これは「ある\(x\)が存在し、\(A\left(x\right)\)かつ\(\lnot B\left(x\right)\)が成り立つ」ということである。これより、論理式で表すと、\(\exists x,A\left(x\right)\land\lnot B\left(x\right)\)となる。
(2)
「\(A\)であっても\(B\)であるとは限らない」を論理式で書くと\(\exists x,A\left(x\right)\land\lnot B\left(x\right)\)であるのでこの否定は、\begin{align*} \lnot\left(\exists x,A\left(x\right)\land\lnot B\left(x\right)\right) & \Leftrightarrow\forall x,\lnot A\left(x\right)\lor B\left(x\right)\\ & \Leftrightarrow\forall x,A\left(x\right)\rightarrow B\left(x\right) \end{align*} となる。
また、これは任意の\(x\)について\(A\left(x\right)\)ならば\(B\left(x\right)\)であるということなので、\(A\)ならば\(B\)ということである。
従って題意は成り立つ。
(3)
\(\exists x,A\left(x\right)\land B\left(x\right)\)は「ある\(x\)が存在し、\(A\left(x\right)\)が真かつ\(B\left(x\right)\)が真である」ということである。これは「\(A\left(x\right)\)であっても、\(B\left(x\right)\)が成り立たないとは限らない」ということである。
また、「\(B\left(x\right)\)であっても、\(A\left(x\right)\)が成り立たないとは限らない」でも同じである。
ページ情報
| タイトル | AであってもBであるとは限らないの論理式と否定の論理式 |
| URL | https://www.nomuramath.com/y9ghhg58/ |
| SNSボタン |
「一般的に成り立たない」と「成り立たない」と「成り立つとは限らない」
文章と論理記号での優先順位
「Aを満たすBが存在する」と「Aを満たすのは任意のBについてである」という表現
量化記号の説明部分の順番
