Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00026441n
Noun Concept
Categories: Mathematical proofs, Mathematical logic, Proof theory, Sources of knowledge, Articles containing potentially dated statements from 2011
EN
derivation
EN
A line of reasoning that shows how a conclusion follows logically from accepted propositions WordNet 3.0
English:
mathematical logic
Definitions
Relations
Sources
EN
A line of reasoning that shows how a conclusion follows logically from accepted propositions WordNet 3.0 & Open English WordNet
A line of reasoning that shows how a conclusion follows logically from accepted propositions. OmegaWiki
That which is derived; a derivative; a deduction. Wiktionary
IS A
inference
HAS KIND
proof by contrapositive
proof without words
proof by contradiction
automated theorem proving
computer-assisted proof
DERIVATION
deduce
WordNet 3.0 & Open English WordNet
EN
derivation
Wiktionary
EN
derivation
OmegaWiki
EN
derivation
Wikipedia Redirections
EN
derivation (mathematical logic)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License