６÷２（１＋２）は９at MATH６÷２（１＋２）は９ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト250:１３２人目の素数さん 11/07/26 00:22:36.12 > 「『汚名挽回』は正しい日本語か」みたいな問題なんだから、 僕は 「 American Football Player はアメリカ人フットボール選手なのかアメフト選手なのか 」 みたいな問題だと思った。 ・どちらが正しいのかは文法ではなく文脈を読む事で判断するのが現実的。 ・American-Football Player のように単語を - でつなぐと意味が確定する。 これは「6÷2(1+2)のような式は誤解されるおそれがあるから、括弧をつけるべき」という事に相当する。 251:１３２人目の素数さん 11/07/26 00:28:56.59 例えば命題論理の場合 原子式:Ｐ,Ｑ,Ｒ,Ｓ,… 結合子:￢,∨,∧,⇒,⇔ 補助記号:(,) で (1)原子式は論理式である (2)A,Bが論理式である時、(￢A),(A∨B),(A∧B),(A⇒B),(A⇔B)はそれぞれ論理式である (3)上記の(1)(2)によって論理式とされるものだけが論理式である と構文論的には定義する。 実際は(3)を少し修正して (3)'上記の(1)(2)によって論理式と,それを以下に従い略記したものだけが論理式である [略記の規則] ・一番外側の括弧(上記の定義に従って論理式を作った時に、最後に付ける括弧)は省略してもよい ・結合子の結合の強さを{￢}＞{∨,∧}＞{⇒}≧{⇔}と定め、これに応じて括弧を省略してもよい としている。(※結合の強さを{￢}＞{∨,∧,⇒,⇔}と定める流儀もある) 表現の微妙な違いはあるが、このような規則が明記されている文献がいくつかある。 この規則の下では、 (((￢Ｐ)∧Ｑ)⇒(Ｒ∨Ｓ)) を ￢Ｐ∧Ｑ⇒(Ｒ∨Ｓ)と略記してよいことが導出される。 四則演算の式で、 ((((Ａ＋Ｂ)－Ｃ)×Ｄ)÷(Ｅ＋Ｆ)) を (Ａ＋Ｂ－Ｃ)×Ｄ÷(Ｅ＋Ｆ) と略記してよいと定まっているということは、 命題論理と同様の定義や略記の規則が何かしらあるはずである。 が、そのような定義が明記された文献が見当たらないので困ったもんだ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch