Category:数理論理学関連のスタブ項目
背理法
Proof by contradiction
逆
Converse (logic)
メレオロジー
Mereology
比例記号
量子論理
Quantum logic
アリティ
Arity
ダウンタック記号
Tee (symbol)
メタ言語
Metalanguage
形式論理学
Formal logic
推論
Inference
恒真式
Tautology (logic)
型理論
Type theory
ハイティング代数
Heyting algebra
ショアのアルゴリズム
Shor's algorithm