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