「数学記号の表」を解説文に含む見出し語の検索結果(171~180/269件中)
数学、数理論理学、命題論理、述語論理などにおいて、論理式(ろんりしき、英語: logical expression)とは、真理値を必要とする場所にあらわれる式のことであり、原子論理式や、それを...
論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し[1])、変数(変...
論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し[1])、変数(変...
論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し[1])、変数(変...
論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し[1])、変数(変...
論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し[1])、変数(変...
論理的真理(ろんりてきしんり、英語: logical truth)は、論理学の基本的な概念の一つ。その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素があら...
論理的真理(ろんりてきしんり、英語: logical truth)は、論理学の基本的な概念の一つ。その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素があら...
論理的真理(ろんりてきしんり、英語: logical truth)は、論理学の基本的な概念の一つ。その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素があら...
量化(りょうか、英: Quantification)とは、言語や論理学において、論理式が適用される(または満足される)議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...