「否定記号」を解説文に含む見出し語の検索結果(1~10/43件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/25 02:35 UTC 版)「ISO 80000-2」の記事における「脚注と出典」の解説^ “規格詳細情報 - IS...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:12 UTC 版)「エルブラン化」の記事における「定義と例」の解説F {\displaystyle F} ...
論理式のエルブラン化(英: Herbrandization)とは、論理式のスコーレム化の双対となる構成である。ジャック・エルブランに因む。トアルフ・スコーレムは、レーヴェンハイム–スコーレムの...
論理式のエルブラン化(英: Herbrandization)とは、論理式のスコーレム化の双対となる構成である。ジャック・エルブランに因む。トアルフ・スコーレムは、レーヴェンハイム–スコーレムの...
.mw-parser-output .Unicode{font-family:"TITUS Cyberbit Basic","Code2000","Chrysanthi Unicode","Doulo...
.mw-parser-output .Unicode{font-family:"TITUS Cyberbit Basic","Code2000","Chrysanthi Unicode","Doulo...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 07:56 UTC 版)「全称記号」の記事における「記号の意味」の解説「Px」という開論理式 (open for...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/25 02:35 UTC 版)「ISO 80000-2」の記事における「その他の符号及び記号」の解説番号記号意味備考2...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/12 01:59 UTC 版)「Unicode」の記事における「波ダッシュ・全角チルダ問題」の解説JIS X 0221...
< 前の結果 | 次の結果 >
>>
「否定記号」の辞書の解説