翻訳と辞書 Words near each other ・ 論理型 ・ 論理型プログラミング ・ 論理型言語 ・ 論理変数 ・ 論理学 ・ 論理学の哲学 ・ 論理学の歴史 ・ 論理学体系 ・ 論理学史 ・ 論理学者 ・ 論理定項 ・ 論理実証主義 ・ 論理実証主義者 ・ 論理少女 ・ 論理式 ・ 論理形式 ・ 論理情動療法 ・ 論理情動行動療法 ・ 論理数学 ・ 論理演算 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 論理定項 ： ウィキペディア日本語版 論理定項[ろんりていこう] 論理学において、言語 $\backslash mathcal$ の論理定項 () は、$\backslash mathcal$の全ての解釈の下で同じ意味値を持つ記号である。 論理定項の二つの重要な型は、論理結合子と量化記号である。等式述語（通常'='と書かれる）もまた、多くの論理体系において論理定項として扱われる。 一般的に論理定項として扱われるいくつかの記号を以下に示す： 記号 意味 T "真 (true)" F "偽 (false)" ¬ "でない (not)" ∧ "かつ (and)" ∨ "または (or)" → "ならば (implies", "if...then)" ∀ "全ての (for all)" ∃ "存在する (there exists", "for some)" = "等しい (equals)" $\backslash Box$ "必然的である (necessary)" $\backslash Diamond$ "可能的である (possible)" 上記のリスト以外の記号が一般的にさまざま論理定項を記すために用いられることもある。例えば、記号 "&" は 論理和を表す。 論理学の哲学における根本的な疑問の一つに、"論理定項とは何か?"というものがある。一体、論理定項のどのような特徴がそれらを''論理的''にしているのか？〔Carnap〕 == 関連項目 == *非論理記号 *論理値 *論理結合子 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「論理定項」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.