Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
Category:論理式
ポーランド記法
Polish notation
全称記号
Universal quantification
推論規則
Rule of inference
命題
Proposition
恒真式
Tautology (logic)
命題関数
Propositional function
原子論理式
Atomic formula
論理式 (数学)
Logical formula
数式
Expression (mathematics)
トートロジー
Tautology (language)
シークエント
Sequent
定理
Theorem
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter