语言
没有数据
通知
无通知
論理
など）に対してのみ真であるのに対し、真理関数的恒真式は、それが含む論理連結語（「または〈or〉」、「かつ〈and〉」、否定論理和〈nor〉など）に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。 論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる
社会選択理論（しゃかいせんたくりろん、英語: social choice theory）は、個人の持つ多様な選好（preference）を基に、個人の集合体としての社会の選好の集計方法、社会による選択ルールの決め方、そして社会が望ましい決定を行なうようなメカニズムの設計方法のあり方を解明する理論体系
整列可能定理 任意の集合は整列可能である。 ツォルンの補題 順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。） テューキーの補題 有限性（英語版）を満たす空でない任意の集合族は包含関係に関する極大元を持つ。 比較可能定理
推論 > 論理的推論 論理的推論（ろんりてきすいろん、英: logical reasoning）は、論理学において演繹、帰納、アブダクション（仮説形成）の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel
事象と比較して簡潔であり、さらに既存の知識や常識とは反する自明ではない結論を導き出し、しかも原因としての独立変数と結果の従属変数を繋ぐ枠組みが明快でなければならない。最後に理論はその真偽を問うことが可能な性質、つまり反証可能性を保持しなければならない。以上の理論の対象となっている事象の重要性や実務的な実践性を加えることもできる。
クーデター合理論（クーデターごうりろん）とは、日本の右翼・民族派の政治思想の一つ。 1960年1月に右翼思想家で国家社会主義運動家の小島玄之が唱えた理論である。前年11月の全学連の「国会乱入事件」を受けて、自衛隊によるクーデターの可能性を考察したもので、小島が主宰する『思想研究』創刊号（1960年1月）に発表した。
搜索 
搜索 搜索 
