「形式的な記法」を解説文に含む見出し語の検索結果(1～10/11件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/02 21:23 UTC 版)「論理積の消去」の記事における「形式的な記法」の解説論理積の消去の推論規則は、シークエン...
論理和の導入(ろんりわのどうにゅう、英: Disjunction introduction)(選言導入則、 ∨ {\displaystyle \lor } -導入則)[1...
論理和の導入(ろんりわのどうにゅう、英: Disjunction introduction)(選言導入則、 ∨ {\displaystyle \lor } -導入則)[1...
論理積の導入 (ろんりせきのどうにゅう、英: Conjunction introduction)(連言導入則、 ∧ {\displaystyle \land } -導入則とも）&...
論理積の導入 (ろんりせきのどうにゅう、英: Conjunction introduction)(連言導入則、 ∧ {\displaystyle \land } -導入則とも）&...
ナビゲーションに移動検索に移動論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、 ∧ {\displayst...
ナビゲーションに移動検索に移動論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、 ∧ {\displayst...
論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、 ∨ {\displaystyle \lor } -除去則&...
論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、 ∨ {\displaystyle \lor } -除去則&...
.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;background:var(...
< 前の結果 | 次の結果 >