Jisho

×
どうしゅつ 導出
Links
Noun, Suru verb, Transitive verb, Noun which may take the genitive case particle 'no'
1. derivation (e.g. in math, logic); drawing (conclusion, summary etc.); leading (e.g. to a conclusion, opinion, etc.)​
Wikipedia definition
2. Resolution (logic)​In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic.
Read “Resolution (logic)” on English Wikipedia
Read “導出” on Japanese Wikipedia
Read “Resolution (logic)” on DBpedia

Discussions

to talk about this word.