|
Related terms:
formal system
assertions
lnot
modus
propositional logic
natural number
propositional
field theory
deductive
Wikipedia sources: Rule of inference Existential quantification Theory Hypothetical syllogism Axiom Context for words: rules of inference |
|