与えられた3つの命題の真偽を判定し、真である場合は証明を、偽である場合は反例を挙げる。 (4) $n$ は 3 の倍数 $\implies$ $n$ は 9 の倍数 (5) $m+n$ は偶数 $\implies$ $m, n$ の少なくとも一方は偶数 (6) 積 $mn$ は奇数 $\implies$ $m, n$ はともに奇数

論理学命題真偽判定証明反例整数倍数
2025/6/19

1. 問題の内容

与えられた3つの命題の真偽を判定し、真である場合は証明を、偽である場合は反例を挙げる。
(4) nn は 3 の倍数     \implies nn は 9 の倍数
(5) m+nm+n は偶数     \implies m,nm, n の少なくとも一方は偶数
(6) 積 mnmn は奇数     \implies m,nm, n はともに奇数

2. 解き方の手順

(4)
* この命題は偽である。
* 反例:n=6n = 6 は 3 の倍数であるが、9 の倍数ではない。
(5)
* この命題は真である。
* 証明:m,nm, n がともに奇数であると仮定する。
すると、m=2k+1m = 2k+1n=2l+1n = 2l+1k,lk, l は整数)と表せる。
このとき、m+n=(2k+1)+(2l+1)=2k+2l+2=2(k+l+1)m+n = (2k+1) + (2l+1) = 2k + 2l + 2 = 2(k+l+1) となり、m+nm+n は偶数となる。
m,nm,nがともに奇数の時、m+nm+n は偶数なので、背理法により、m+nm+n が偶数     \implies m,nm, n の少なくとも一方は偶数。
(6)
* この命題は真である。
* 証明:mm または nn が偶数であると仮定する。
m=2km = 2k とすると、mn=2knmn = 2kn となり、mnmn は偶数である。
n=2ln = 2l とすると、mn=2mlmn = 2ml となり、mnmn は偶数である。
したがって、mnmn が奇数ならば、mmnn はともに奇数である。

3. 最終的な答え

(4) 偽
(5) 真
(6) 真

「論理学」の関連問題

問題文には3つの命題とその真偽を判断するよう指示があります。 (4) $n$ は3の倍数 $\implies$ $n$ は9の倍数 (5) $m+n$ は偶数 $\implies$ $m, n$ の少...

命題真偽論理倍数偶数奇数
2025/6/19

与えられた2つの条件pとqに対して、命題 $p \Rightarrow q$ の真偽を、集合を用いて調べる問題です。 (1) $p: x \leq 2$, $q: x \leq 4$ (xは実数) (...

命題集合真偽条件
2025/6/19

命題「$x$ を実数とするとき、$x^2 = -1$ ならば $x = 2$」が真である理由を説明する。

命題真偽実数論理条件
2025/6/16

問題は、与えられた条件の否定を述べる問題です。x, y は実数、m, n は自然数です。以下の6つの条件に対する否定を求めます。 (1) $x < -1$ かつ $y > 0$ (2) $n$ は偶数...

論理否定条件命題
2025/6/14

問題は、以下の4つの命題の真偽を判定することです。ここで、$x$ は実数、$n$ は整数とします。 (1) $x^2 = x \Rightarrow x = 1$ (2) $n$ が 4 の倍数 $\...

命題真偽判定条件整数実数
2025/6/14

$n$ は自然数であるとき、以下の2つの条件の否定を求めます。 (1) $n$ は偶数である。 (2) $n$ は 5 より小さい。

命題否定自然数偶数奇数不等式
2025/6/13

xは実数、nは整数とします。次の命題の真偽を調べます。 (1) $x^2 = x \implies x=1$ (2) $n$ が4の倍数 $\implies n^2$ が8の倍数 (3) $-7 < ...

命題真偽論理不等式整数
2025/6/12

問題92の(4), (5), (6)について、与えられた命題の逆、対偶、裏をそれぞれ述べ、それらの真偽を調べる。

命題対偶真偽倍数偶数奇数
2025/6/11

問題は、与えられた条件の否定を求める問題です。具体的には、以下の6つの条件について、その否定を答えます。ここで、$a$, $b$は実数、$m$, $n$は自然数です。 (1) $a<-1$ かつ $b...

論理否定条件命題
2025/6/11

命題「$x=2 \Longrightarrow x^2=4$」の逆の命題と、その真偽を①〜④の中から選ぶ問題です。ここで、$x$ は実数とします。

命題真偽実数
2025/6/11