en
inference rule
(
n
)
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
formal language
➜
en
preserving
➜
en
truth
➜
en
well formed formula
➜
Types of inference rule
en
existential instantiation
➜
en
modus ponens
➜
en
modus tollens
➜
Context of this term
en
logic
➜
en
proof theory
➜
inference rule is part of…
en
formal system
➜