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:論理記号
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)
否定記号
⊢
全称記号
Universal quantification
シークエント計算
Sequent calculus
ロズンジ
部分構造論理
Substructural logic
∵
メタ変数
Metavariable
¬
∴
Therefore sign
prev
1
2
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter
