absurd statement
حکم باطل
assertion
تصدیق
rejection
عبارت
statement
syllogism
قیاس
نادرست
false
logical operations
عملیات منطقی
first order language
زبان مرتبه اول
atomic sentence
جمله اتمی
undecidable sentence
جمله تصمیم‌ناپذیر
valid sentence
جمله درست
consistent sentence
جمله سازگار
sentence
جمله
فرمول
formula
theory
نظریه
ادات منطقی
logical connectives
استنتاج
deduction
natural deduction
استنتاج طبیعی
حساب دنباله‌ها
sequent calculus
دستگاه اصل موضوعی
axiomatic system
تناقض
contradiction
نقیض
negation
closed substructure
زیرساخت بسته
عبارت) جمله)
term
Vaught test
آزمون وات
مدل اتمی
atomic model
model completion of theory
مدل تکمیل‌شده نظریه
model complete theory
نظریه مدل کامل
elementary diagram
نمودار مقدماتی
atomic diagram
نمودار اتمی
strongly minimal structure
ساختار قوی‌مینیمال
strongly minimal formula
فرمول قوی‌مینیمال
strongly minimal set
مجموعه قوی‌مینیمال