Similar to 推論規則
論理的真理
Logical truth
空虚な真
Vacuous truth
妥当性
Validity (logic)
論理定項
Logical constant
論理式 (数学)
Logical formula原子論理式
Atomic formula
シークエント
Sequent
数式
Expression (mathematics)
定理
Theoremトートロジー
Tautology (language)
ポーランド記法
Polish notation
命題
Proposition
命題関数
Propositional function
第1歩兵師団 (ギリシャ軍)
1st Infantry Division (Greece)
1,2-ジオキサン
1,2-Dioxane州間高速道路115号線
Interstate 1151619プロジェクト
The 1619 Project
1725年の音楽
1725 in music
1808年5月3日、マドリード
The Third of May 1808
1851年12月2日のクーデター
1851 French coup d'état
1870年のサッカー
1870 in association football
1948年アッシズシリーズ第2戦
Second Test, 1948 Ashes series
1948年サンモリッツオリンピック
1948 Winter Olympics
第1旅団 (オーストラリア)
1st Brigade (Australia)
2 Girls 1 Cup
2 Girls 1 Cup
2.5次元
2.5D
2002年アメリカグランプリ
2002 United States Grand Prix2008年北京オリンピック
2008 Summer Olympics
