「論理積と論理和」を解説文に含む見出し語の検索結果(1～10/20件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/01/28 04:15 UTC 版)「冠頭標準形」の記事における「論理積と論理和」の解説論理積と論理和の規則は、 ( &#x...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)「線形論理」の記事における「線形含意（lolli、⊸）」の解説上掲の論理積と論理和は世界...
論理演算子（ろんりえんざんし、英: logical operator）は、コンピュータ・プログラミングや命題論理等[注釈 1]における論理演算の演算子の総称である。論理「論理演...
この項目「四値論理」は途中まで翻訳されたものです。（原文：[1]）翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れな...
この項目「四値論理」は途中まで翻訳されたものです。（原文：[1]）翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れな...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:07 UTC 版)「直観主義論理」の記事における「結合子の定義不可能性」の解説古典命題論理において、論理積...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)「線形論理」の記事における「線形結合記号」の解説線形論理では、論理結合子が再検討される。
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
< 前の結果 | 次の結果 >