「節標準形」を解説文に含む見出し語の検索結果(111～120/192件中)
論理的真理（ろんりてきしんり、英語: logical truth）は、論理学の基本的な概念の一つ。その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素があら...
論理記号の一覧（ろんりきごうのいちらん）では、論理学における記号について解説する。論理記号は、当学問分野で広く論理的表現を表すのに用いられている。以下の表は多くの一般的な記号について、それらの名称と読...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...