出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/02 21:06 UTC 版)「時相論理」の記事における「時相作用素」の解説時相論理では2種類の作用素を使用する。論理...

命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...

命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...

論理和の導入(ろんりわのどうにゅう、英: Disjunction introduction)(選言導入則、 ∨ {\displaystyle \lor } -導入則)[1...

論理和の導入(ろんりわのどうにゅう、英: Disjunction introduction)(選言導入則、 ∨ {\displaystyle \lor } -導入則)[1...

ナビゲーションに移動検索に移動論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、 ∧ {\displayst...

ナビゲーションに移動検索に移動論理積の消去(ろんりせきのしょうきょ、英: Conjunction elimination)(論理積の除去、連言除去則、 ∧ {\displayst...

ナビゲーションに移動検索に移動家族的類似（かぞくてきるいじ、英: family resemblance、独: Familienähnlichkeit）とは、言語哲学・認知言語学上の概念...

ナビゲーションに移動検索に移動家族的類似（かぞくてきるいじ、英: family resemblance、独: Familienähnlichkeit）とは、言語哲学・認知言語学上の概念...

ナビゲーションに移動検索に移動家族的類似（かぞくてきるいじ、英: family resemblance、独: Familienähnlichkeit）とは、言語哲学・認知言語学上の概念...