primitive formula
preferred label: فرمول اولیه @fa
type: Concept
broader: formula

minimal set
preferred label: مجموعه مینیمال @fa
type: Concept
related: formula

axiomatic system
preferred label: دستگاه اصل موضوعی @fa
type: Concept
related: formula

first order language
preferred label: زبان مرتبه اول @fa
type: Concept
related: formula

equivalence formula
preferred label: فرمول معادل @fa
type: Concept
broader: formula

generalization
preferred label: تعمیم @fa
type: Concept
related: formula

law
preferred label: قانون @fa
type: Concept
related: formula

universal formula
preferred label: فرمول جهانی @fa
type: Concept
broader: formula

atomic formula
preferred label: فرمول اتمی @fa
type: Concept
broader: formula

logical operations
preferred label: عملیات منطقی @fa
type: Concept
related: formula

counterexample
preferred label: مثال نقض @fa
type: Concept
related: formula

inequality
preferred label: نامعادله @fa
type: Concept
related: formula

absolute formula
preferred label: فرمول مطلق @fa
type: Concept
broader: formula

rule
preferred label: قاعده @fa
type: Concept
related: formula

statement
preferred label: عبارت @fa
type: Concept
related: formula

quantifier
preferred label: سور @fa
type: Concept
related: formula

type
preferred label: تایپ @fa
type: Concept
related: formula

subformula
preferred label: زیرفرمول @fa
type: Concept
broader: formula

natural deduction
preferred label: استنتاج طبیعی @fa
type: Concept
related: formula

Godel numbering
preferred label: شماره‌گذاری گودل @fa
type: Concept
related: formula

stable formula
preferred label: فرمول پایدار @fa
type: Concept
related: formula

positive formula
preferred label: فرمول مثبت @fa
type: Concept
broader: formula

term
preferred label: عبارت) جمله) @fa
type: Concept
related: formula

Tarski-Vaught theorem
preferred label: قضیه تارسکی-وات @fa
type: Concept
related: formula

definable type
preferred label: تایپ تعریف‌پذیر @fa
type: Concept
related: formula

language
preferred label: زبان @fa
type: Concept
narrower: formula

false
preferred label: نادرست @fa
type: Concept
related: formula

model completion of theory
preferred label: مدل تکمیل‌شده نظریه @fa
type: Concept
related: formula

complexity of formula
preferred label: پیچیدگی فرمول @fa
type: Concept
broader: formula

assertion
preferred label: تصدیق @fa
type: Concept
related: formula

sentence
preferred label: جمله @fa
type: Concept
broader: formula

strongly minimal formula
preferred label: فرمول قوی‌مینیمال @fa
type: Concept
related: formula

witness property
preferred label: ویژگی شاهد @fa
type: Concept
related: formula

negation
preferred label: نقیض @fa
type: Concept
related: formula

formula
related: counterexample
related: logical operations
related: ambiguous
related: Morley degree
related: negation
related: axiomatic system
related: witness property
related: stable formula
related: atomic diagram
related: Godel numbering
related: false
related: law
related: rule
related: minimal set
related: Tarski-Vaught theorem
related: type
related: assertion
related: first order language
related: strongly minimal formula
related: term
related: statement
related: model completion of theory
related: inequality
related: quantifier
related: natural deduction
related: definable type
related: generalization
narrower: complete formula
narrower: sentence
narrower: complexity of formula
narrower: primitive formula
narrower: subformula
narrower: positive formula
narrower: universal formula
narrower: absolute formula
narrower: atomic formula
narrower: equivalence formula
type: Concept
preferred label: فرمول @fa
broader: language

ambiguous
preferred label: مبهم @fa
type: Concept
related: formula

Morley degree
preferred label: درجه مورلی @fa
type: Concept
related: formula

atomic diagram
preferred label: نمودار اتمی @fa
type: Concept
related: formula

complete formula
preferred label: فرمول کامل @fa
type: Concept
broader: formula