翻訳と辞書
Words near each other
・ 原子砲
・ 原子砲弾
・ 原子破壊機
・ 原子移動ラジカル重合
・ 原子空孔
・ 原子経済
・ 原子線
・ 原子記号
・ 原子説
・ 原子論
原子論理式
・ 原子質量
・ 原子質量単位
・ 原子軌道
・ 原子軌道関数
・ 原子量
・ 原子量単位
・ 原子間力
・ 原子間力顕微鏡
・ 原子間距離


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

原子論理式 : ミニ英和和英辞書
原子論理式[げんしろんりしき]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [はら, もと]
  1. (n,n-suf,n-t) (1) origin 2. basis 3. foundation
原子 : [げんし]
 【名詞】1. atom 【形容詞】2. atomic
原子論 : [げんしろん]
 【名詞】 1. atomic theory 2. atomism
: [こ, ね]
 (n) first sign of Chinese zodiac (The Rat, 11p.m.-1a.m., north, November)
: [ろん]
 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
論理 : [ろんり]
 【名詞】 1. logic 
: [り]
 【名詞】 1. reason 
: [しき]
  1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style 

原子論理式 : ウィキペディア日本語版
原子論理式[げんしろんりしき]
原子論理式()または素論理式(そろんりしき)は、それを構成する部分論理式を持たない論理式である。何をもって原子論理式とするかは論理体系による。たとえば命題論理における原子論理式は命題変数である。
原子論理式は論理システムにおける最も単純な論理式である。整論理式はまず全ての原子論理式を示し、次に整論理式から整論理式を形成するルールを与えるという帰納的な方法によって定義される(再帰的定義)。複数の原子論理式から構成される論理式を複合論理式という。
例として命題論理に関する整論理式の定義を示す
#任意の命題変数 ''p'' は整論理式(かつ原子論理式)である
#任意の整論理式 ''A'' が与えられたとき、その否定 ¬''A'' は整論理式である
#任意の整論理式 ''A'' と ''B'' が与えられたとき、連言 ''A'' ∧ ''B'' ("''A'' かつ ''B'' ") は整論理式である
#任意の整論理式 ''A'' と ''B'' が与えられたとき、選言 ''A'' ∨ ''B'' ("''A'' または ''B'' ")は整論理式である
#任意の整論理式 ''A'' と ''B'' が与えられたとき、含意 ''A'' ⇒ ''B'' ("''A'' ならば ''B'' ")は整論理式である
==脚注==




抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「原子論理式」の詳細全文を読む




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

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