翻訳と辞書
Words near each other
・ 二重反転プロペラ、逆回転
・ 二重反転ローター
・ 二重反転式プロペラ
・ 二重反転式ローター
・ 二重受粉
・ 二重可換子環
・ 二重合唱
・ 二重否定
・ 二重否定 (言語学)
・ 二重否定の導入
二重否定の排除
・ 二重否定の消去
・ 二重否定の除去
・ 二重否定除去
・ 二重唇
・ 二重唱
・ 二重唱 (デュエット)
・ 二重回し
・ 二重回旋運動
・ 二重国籍


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

二重否定の排除 : ミニ英和和英辞書
二重否定の排除[にじゅうひてい]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [に]
  1. (num) two 
二重 : [ふたえ]
 【名詞】 1. double 2. two-fold 3. two layers 
二重否定 : [にじゅうひてい]
 (n) double negative
: [おも]
  1. (adj-na,n) main 2. principal 3. important
: [ひ]
 【名詞】 1. no 2. the noes 
否定 : [ひてい]
  1. (n,vs) negation 2. denial 3. repudiation 

二重否定の排除 ( リダイレクト:二重否定の除去 ) : ウィキペディア日本語版
二重否定の除去[にじゅうひていのじょきょ]

二重否定の除去(にじゅうひていのじょきょ、)は、論理学、特に命題論理における推論規則の1つである。いわゆる二重否定と等価なものを追加したり(二重否定の導入)、二重の否定作用素を削除したり(二重否定の除去)といった操作を論理式に施す。
これは、次の二つの文が等価であることに基づいている。
: 「雨が降っていないというのは偽である」

: 「雨が降っている」
二重否定の除去を形式的に表すと次のようになる。
¬¬A
∴ A
二重否定の導入を形式的に表すと次のようになる。
A      
∴ ¬¬A
二重否定の導入Double negative introduction)は、二重否定の除去の逆であり、命題の意味を変えずに二重否定を追加できることを意味している。
これらの規則はシークエントの記法を使うと次のようにも表せる。
: \neg \neg A \vdash A ,
: A \vdash \neg \neg A .
これら2つの推論規則演繹定理を適用すると、以下の2つの妥当な論理式が得られる。
: \vdash \neg \neg A \rightarrow A ,
: \vdash A \rightarrow \neg \neg A ,
これらは、次の1つの論理式にまとめることができる。
: \neg \neg A \leftrightarrow A .
双方向の含意関係は同値関係であるため、整論理式内の任意の ¬¬''A'' は ''A'' に置換でき、その際にその整論理式(wff)の真理値は変化しない。
二重否定の除去は古典論理では定理だが、直観論理ではそうではない。直観論理では「この場合、雨が降っていない、のではない(It's not the case that it's not raining)」という文は「雨が降っている」よりも弱いとされる。後者は雨が降っていることを証明する必要があるが、前者は単に雨が降っているとしても矛盾しないことを証明すればよい(自然言語における緩叙法形式でもこのような区別が見られる)。二重否定の導入は直観論理でも定理であり、また \neg \neg \neg A \vdash \neg A も直観主義でも成立する。
素朴集合論でも、補集合が同様の性質を持つ。集合 A と集合 (AC)C は等価である(ここで、AC は A の補集合を意味する)。


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「二重否定の除去」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.