PREFERRED TERM
formula
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
NARROWER CONCEPTS
RELATED CONCEPTS
- ambiguous
- assertion
- atomic diagram
- axiomatic system
- counterexample
- definable type
- false
- first order language
- generalization
- Godel numbering
- inequality
- law
- logical operations
- minimal set
- model completion of theory
- Morley degree
- natural deduction
- negation
- quantifier
- rule
- stable formula
- statement
- strongly minimal formula
- Tarski-Vaught theorem
- term
- type
- witness property
IN OTHER LANGUAGES
فرمول
Persian
URI
http://www.irandoc.acir/onto/irandoc/MAT0007277