用語混乱が深刻！ 真面目に取り組まないと
「これはひどい」としか言いようがない。[追記]研究対象→曖昧な用語法の研究 - 檜山正幸のキマイラ飼育記 メモ編[/追記]
他の参考記事：
ならば、示す、示せる、導ける
典型的な動詞
- infer 推論図
- prove 証明可能性判断 is provable, can prove
- entail シーケント
- imply 含意の論理式
その他の動詞
- reason
- conclude
- derive
- refine たぶんIsabelle特有
- solve 論理ソフトウェア
- deduce
- reduce
- reduct 英語としてreduceと同義語
- satisfy 意味論
類似の動詞
- normalize
- rewrite
- simplify
- compute
- calculate
名詞
- inference
- proof
- entailment
- implication
- satisfaction
その他の名詞
- reasoning
- conclusion これじゃ結論だ
- derivation
- refinement
- solution これは解
- deduction
- reduction
- reduction
類似の名詞
- normalization
- rewriting
- simplification
- computing, computation
- calculation, calculus （複数形は calculi）
注意
- provable は「証明可能」という形容詞で、provability は「証明可能性」、probabilityは確率。
- validという形容詞もある。意味論で使う。
- show, obtainはIsabelleのキーワードで使われている。
- 論理プログラミングでanswerという概念もある。ユニフィケーションの結果である束縛。
仮定、前提
- premise
- assumption
- hypothesis
- postulate
- prerequisite
- antecedent 含意
- presupposition
結論、帰結
- conclusion
- result
- consequent
- succedent 含意
- final goal 論理ソフトウェア
命題、主張
- proposition 厄介！
- term
- expression
- logical sentence
- statement
- assertion
- claim
- thesis テーゼ
- declaration
その他
- fact ウェンツェルが多用
- context
- judgment Isabelleでは要注意！
- goal
- resolve, resolution
- solve, solution
- tactic
- tactical
- proof method Isabelle特有
- 「述べる」という意味の state
- 「状態」という意味の state
- type synonym, type abbreviation, type alias
- type annotation, type constraint, in-place type declaration
中核論理、中核システム
- meta logic
- framework logic
- logical framework
- M
- The Pure logic
- Pure
- primitive logic
- core logic
- logical core
