Similar to 排中律
ロジャー・アルペリン
Roger C. Alperin
レオン・バッティスタ・アルベルティ
Leon Battista Albertiアルマゲスト
Almagest
ステファニー・ブリュースター・ブリューワー・テイラー・アレクサンダー
Stephanie B. Alexander
アレクサンダー多項式
Alexander polynomial
アレクサンダーの角付き球面
Alexander horned sphere
アレクサンダーの定理
Alexander's theorem
アレクサンドリアのメネラウス
Menelaus of Alexandria
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
パヴェル・アレクサンドロフ
Pavel Alexandrov
アレクサンドロフ拡大
Alexandroff extension
論理和の導入
Disjunction introduction
仮言三段論法
Hypothetical syllogism
吸収法則
Absorption law
論理和の消去
Disjunction elimination論理積の消去
Conjunction elimination
対偶 (論理学)
Contraposition
導出原理
Resolution (logic)
ド・モルガンの法則
De Morgan's laws
パースの法則
Peirce's law
背理法
Proof by contradiction
フレーゲの定理
Frege's theorem
古典論理
Classical logic
述語論理
Predicate logic
論理積の導入
Conjunction introduction
命題論理
Propositional calculus
(19308) 1996 TO66
(19308) 1996 TO66
フリースタイルスキー・ワールドカップ
FIS Freestyle Ski World Cup
