Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01870560n
Noun Concept
Categories: 命題論理, 推論規則, 論理的真理, 形式体系, 数学に関する記事
JA
推論規則  変換規則
JA
推論規則（すいろんきそく、英: rule of inference, inference rule, transformation rule）とは、論理式から他の論理式を導く推論の規則である。 Wikipedia
Definitions
Relations
Sources
JA
推論規則（すいろんきそく、英: rule of inference, inference rule, transformation rule）とは、論理式から他の論理式を導く推論の規則である。 Wikipedia
IS A
論理形式
HAS KIND
置換規則
EN
tautology
EN
structural rule
HAS INSTANCE
EN
contraposition
EN
SLD resolution
構成的両刀論法
EN
destructive dilemma
普遍例化
+28 relations
DESCRIBED BY SOURCE
EN
The Free Dictionary
Wikipedia
JA
推論規則
Wikidata
JA
推論規則
Wikipedia Translations
JA
変換規則

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