تناقض
preferred label: contradiction @en
type: Concept
related: جمله

جمله سازگار
preferred label: consistent sentence @en
type: Concept
broader: جمله

نمودار اتمی
preferred label: atomic diagram @en
type: Concept
related: جمله

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

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

زیرساخت بسته
preferred label: closed substructure @en
type: Concept
related: جمله

جمله درست
preferred label: valid sentence @en
type: Concept
broader: جمله

حکم باطل
preferred label: absurd statement @en
type: Concept
related: جمله

حساب دنباله‌ها
preferred label: sequent calculus @en
type: Concept
related: جمله

مدل اتمی
preferred label: atomic model @en
type: Concept
related: جمله

تصدیق
preferred label: assertion @en
type: Concept
related: جمله

رد
preferred label: rejection @en
type: Concept
related: جمله

عبارت
preferred label: statement @en
type: Concept
related: جمله

نقیض
preferred label: negation @en
type: Concept
related: جمله

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

جمله تصمیم‌ناپذیر
preferred label: undecidable sentence @en
type: Concept
broader: جمله

قیاس
preferred label: syllogism @en
type: Concept
related: جمله

استنتاج طبیعی
preferred label: natural deduction @en
type: Concept
related: جمله

آزمون وات
preferred label: Vaught test @en
type: Concept
related: جمله

فرمول
preferred label: formula @en
type: Concept
narrower: جمله

مجموعه قوی‌مینیمال
preferred label: strongly minimal set @en
type: Concept
related: جمله

جمله اتمی
preferred label: atomic sentence @en
type: Concept
broader: جمله

عملیات منطقی
preferred label: logical operations @en
type: Concept
related: جمله

استنتاج
preferred label: deduction @en
type: Concept
related: جمله

ادات منطقی
preferred label: logical connectives @en
type: Concept
related: جمله

نمودار مقدماتی
preferred label: elementary diagram @en
type: Concept
related: جمله

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

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

نظریه مدل کامل
preferred label: model complete theory @en
type: Concept
related: جمله

ساختار قوی‌مینیمال
preferred label: strongly minimal structure @en
type: Concept
related: جمله

جمله
type: Concept
narrower: جمله تصمیم‌ناپذیر
narrower: جمله اتمی
narrower: جمله سازگار
narrower: جمله درست
related: عبارت
related: زیرساخت بسته
related: مدل تکمیل‌شده نظریه
related: مجموعه قوی‌مینیمال
related: عبارت) جمله)
related: حساب دنباله‌ها
related: رد
related: زبان مرتبه اول
related: نقیض
related: دستگاه اصل موضوعی
related: نمودار اتمی
related: قیاس
related: تصدیق
related: عملیات منطقی
related: آزمون وات
related: نمودار مقدماتی
related: نظریه مدل کامل
related: نظریه
related: تناقض
related: ساختار قوی‌مینیمال
related: حکم باطل
related: نادرست
related: استنتاج
related: مدل اتمی
related: ادات منطقی
related: استنتاج طبیعی
related: فرمول قوی‌مینیمال
broader: فرمول
preferred label: sentence @en

نظریه
preferred label: theory @en
type: Concept
related: جمله

نادرست
preferred label: false @en
type: Concept
related: جمله