「xac」を解説文に含む見出し語の検索結果(11~20/266件中)
義務論理(英: deontic logic)は、義務や権利などの概念を扱う論理学の一分野である。規範論理とも。典型的な記法としては、OA(A は義務的である、A であるべきだ)と PA(A は...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/19 05:42 UTC 版)「航空交通管制」の記事における「VORTAC(V/T)」の解説ヴォルタック(ボルタック)...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/02 12:14 UTC 版)「ハングル」の記事における「パッチム番号」の解説* ㄱ ㄲ ㄳ ㄴ ㄵ ㄶ ㄷ ㄹ ㄺ ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/29 06:30 UTC 版)「3値論理」の記事における「ウカシェヴィッチの3値論理」の解説ウカシェヴィッチの3値論理...
.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...
古典論理や直観主義論理、および類似の形式体系において、爆発律(ばくはつりつ、Principle of explosion)[注釈 1][注釈 2]とは、矛盾から任意の命...
ナビゲーションに移動検索に移動標準到着経路(ひょうじゅんとうちゃくけいろ、Standard Terminal Arrival Route; STAR)とは、巡航する航空機が空港に着陸するために高度を下...
ナビゲーションに移動検索に移動標準到着経路(ひょうじゅんとうちゃくけいろ、Standard Terminal Arrival Route; STAR)とは、巡航する航空機が空港に着陸するために高度を下...
ナビゲーションに移動検索に移動標準到着経路(ひょうじゅんとうちゃくけいろ、Standard Terminal Arrival Route; STAR)とは、巡航する航空機が空港に着陸するために高度を下...