No.3ベストアンサー
- 回答日時:
ANo.2の「書き方2」は正書法であり、これを推奨します。
書き方1は書き方2より簡潔なので、話の文脈(議論領域)が明確な時にしばしば使われます。しかし、書き方2は、同じ論理式を他の文脈で利用する場合にも(たとえば、そこでは議論領域が実数だったとしても)そのままの形で使えるから、間違いが生じにくい。書き方1だと文脈に合わせて修正が必要になります。
書き方3は略記法です。これが正しい書き方だと思っていると、命題の否定を考えるときに間違えやすくなります。すなわち「「全ての3以上の自然数に対して、命題Pが成り立つ」のではない」という命題は、書き方2なら
¬∀n(n∈N∧n≧3 ⇒ P)
となり、これを正しく
∃n¬(n∈N∧n≧3 ⇒ P)
へ全く機械的に書き換えられる。けれども、書き方3だとそうは行かず、いちいち論理式の意味を考えなくちゃできませんから、間違いが入る機会が増えてしまうわけです。
よく使われる略記法
∀n≧3; P
は、他人がこれを書いた時にその意図を理解するために、一応知っておく必要があります。(ANo.1の「書き方」の3番目は、この略記法に似ています。)この略記法が好ましくない理由は、ANo.2の書き方3の問題点と同様です。言い換えれば、これを「略記法だと分かっていて、いつでも正書法に戻して書き直せる」という人以外が使うべきではありません。ところが不幸な事に、これは論理式がよく分かっていない人が好んで使う書き方でもあり、その結果、誤りがしばしば生じます。
なお、ANo.1の「書き方」の1番目はご質問の命題を表しておらず誤り。2番目は意味以前に式の形になっておらず誤り。
まず、分かりやすい回答ありがとうございます。
論理式の書き方だけでなく、論理式を他の場所に引用するときや、論理式を否定するときに気をつけなければならないことまで教えてくださっていて、とてもうれしかったです。
stomachmanさんがおっしゃるとおり、論理式を完璧に理解するまでは、間違いの少ない書き方2を使おうと思います。
回答ありがとうございました。
No.2
- 回答日時:
書き方1 全体集合(議論領域)を明示した後、論理式を書く方法
nを自然数として、
∀n(n≧3 ⇒ P(n))
書き方2 議論領域はあらゆるものとして
∀n(n∈N∧n≧3 ⇒ P(n))
書き方3 この書き方が一番多いかも
∀n∈N(n≧3 ⇒ P(n))
いずれにしても、(∀n)(n∈N ∧ n≧3 ∧ P(n))は間違いです
上記を日本語で表現すれば、全てのnは自然数でかつ3以上でかつP(n)が成り立つ。でおかしいでしょ。
なるほど、様々な書き方があるのですね。
3つめの、略記法まで教えてくださってありがとうございます。
間違った表記法と、多くの正しい書き方を示してくださったおかげで、他の場合にも応用できるようになったと思います。
回答ありがとうございました!
No.1
- 回答日時:
Zはふつう整数の集合を表し、自然数の集合はNと書きますが、省略なしで書くとすれば、
(∀n)(n∈N ∧ n≧3 ∧ P(n))
だと思います。上記を、
(∀n∈N ∧ n≧3)(P(n))
と略記する方法はありますが、大抵上記のようにほとんど略記にならないので(∧が一個減っただけ(^^;))、
nを自然数として、(∀n≧3)(P(n))
ってやるのが普通だと思います。こっちの方がわかりやすいし(^^;)。
一番はじめに回答していただき、ありがとうございます。
nを自然数として、∀n≧3;P(n)
は、略記法とのことなので、論理式に慣れてきたら使ってみようと思います。
回答ありがとうございました!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学で知識を整理したいです 同値性を意識する時はある命題の逆と同値になっていなければならないんですよ 5 2022/08/04 18:41
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 数学 論理式、合成命題について 命題変数と論理記号を用いて命題を形式的に構成したものを論理式、または合成命 1 2022/04/12 21:06
- 数学 文字の入った確率の最大最小 3 2022/11/24 22:27
- 数学 至急お願いします‼️今日私立大学入試で数学を受けてきたのですが、問題に納得できません。この問題、数列 9 2023/02/07 00:45
- 日本語 意味とは何か、どこにあるのか? 16 2022/04/09 11:44
- 数学 数学の解法について こんばんは。最近数学の問題を解いています。証明問題を解いたのですが、解答とアプロ 4 2022/09/11 23:22
- 数学 この公式は暗記が必要な公式だと思いますが、何か語呂とかありますかね? それとも、問題を何度も解いて、 3 2022/04/19 12:17
- 数学 大学数学 「条件:t進表現において、何乗しても右から2桁が変わらない2桁の自然数が存在する。」 上記 7 2023/06/28 22:25
- 数学 数学の質問です。 例えば 2<x<K+1 xは整数1つのときのkを求めろ という問題があったとします 3 2023/07/03 01:54
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
高校一年生です。 数学で分から...
-
命題の真偽
-
数学の記号"⇔" "∴"の使い方を教...
-
高校数学です! x, yを実数とす...
-
ある等式⇔ある等式の逆数をとっ...
-
無理数
-
数学の質問です。 命題p,q,rに...
-
g◦fが全射で、さらにgが単射な...
-
lim[n→∞](1-1/n)^n=1/e について
-
物理 E; Pの保存に関して。 微...
-
全員と同じグループを経験でき...
-
【数学】 lim x→a ↑これってど...
-
√(n+1)-√(n )の極限について。...
-
dx/dy や∂x/∂y の読み方について
-
極限について
-
絶対値のついた2つの不等式に...
-
数学の極限の問題です! (1)l...
-
lim[x→0]1/(1+exp(1/x)) の極...
-
三角関数の範囲について、 0≦x≦...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の記号"⇔" "∴"の使い方を教...
-
「PならばQ」と「(Pでない...
-
原則には、例外が付きものです...
-
任意の実数とは?
-
ゲーデルの第1不完全性定理の具...
-
命題の否定でわからないところ...
-
数学の理論展開は 全て前後で必...
-
n^2が5の倍数ならばnも5の倍数...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
命題と論理式の違いは何でしょ...
-
「PならばQ」の真理関数表は言...
-
無理数
-
数学が出来ると他の教科も出来...
-
負荷号命題で A and bが成り立...
-
任意の実数xに対して、x-1<n≦x...
-
必要十分条件
-
数学のサイトについて。
-
数学 同値と必要十分の意味につ...
-
xは、実数とする時、次の命題が偽...
-
常に真または偽である条件の扱い
おすすめ情報