absurd statement
type: Concept
preferred label: حکم باطل @fa
related: sentence

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

rejection
type: Concept
preferred label: رد @fa
related: sentence

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

syllogism
type: Concept
preferred label: قیاس @fa
related: sentence

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

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

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

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

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

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

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

sentence
type: Concept
broader: formula
narrower: undecidable sentence
narrower: atomic sentence
narrower: consistent sentence
narrower: valid sentence
preferred label: جمله @fa
related: statement
related: closed substructure
related: model completion of theory
related: strongly minimal set
related: term
related: sequent calculus
related: rejection
related: first order language
related: negation
related: axiomatic system
related: atomic diagram
related: syllogism
related: assertion
related: logical operations
related: Vaught test
related: elementary diagram
related: model complete theory
related: theory
related: contradiction
related: strongly minimal structure
related: absurd statement
related: false
related: deduction
related: atomic model
related: logical connectives
related: natural deduction
related: strongly minimal formula

formula
type: Concept
narrower: sentence
preferred label: فرمول @fa

theory
type: Concept
preferred label: نظریه @fa
related: sentence

logical connectives
type: Concept
preferred label: ادات منطقی @fa
related: sentence

deduction
type: Concept
preferred label: استنتاج @fa
related: sentence

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

sequent calculus
type: Concept
preferred label: حساب دنباله‌ها @fa
related: sentence

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

contradiction
type: Concept
preferred label: تناقض @fa
related: sentence

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

closed substructure
type: Concept
preferred label: زیرساخت بسته @fa
related: sentence

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

Vaught test
type: Concept
preferred label: آزمون وات @fa
related: sentence

atomic model
type: Concept
preferred label: مدل اتمی @fa
related: sentence

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

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

elementary diagram
type: Concept
preferred label: نمودار مقدماتی @fa
related: sentence

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

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

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

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