definition
type: Concept
preferred label: تعریف @fa
related: logical object

condition
type: Concept
preferred label: شرط @fa
related: logical object

absurd
type: Concept
broader: logical object
preferred label: باطل @fa

trivial
type: Concept
broader: logical object
preferred label: بدیهی @fa

paradox
type: Concept
broader: logical object
preferred label: پارادکس @fa

consequent
type: Concept
broader: logical object
preferred label: تالی @fa

assertion
type: Concept
broader: logical object
preferred label: تصدیق @fa

register
type: Concept
broader: logical object
preferred label: ثبات @fa

true
type: Concept
broader: logical object
preferred label: راست @fa

rejection
type: Concept
broader: logical object
preferred label: رد @fa

intuition
type: Concept
broader: logical object
preferred label: شهود @fa

statement
type: Concept
broader: logical object
preferred label: عبارت @fa

hypothesis
type: Concept
broader: logical object
preferred label: فرض @fa

syllogism
type: Concept
broader: logical object
preferred label: قیاس @fa

ambiguous
type: Concept
broader: logical object
preferred label: مبهم @fa

undefiend concept
type: Concept
broader: logical object
preferred label: مفهوم تعریف‌نشده @fa

false
type: Concept
broader: logical object
preferred label: نادرست @fa

logical object
type: Concept
broader: general terminology
narrower: intuition
narrower: hypothesis
narrower: rejection
narrower: statement
narrower: true
narrower: false
narrower: register
narrower: undefiend concept
narrower: ambiguous
narrower: assertion
narrower: syllogism
narrower: consequent
narrower: paradox
narrower: absurd
narrower: trivial
preferred label: شی منطقی @fa
related: algebraic logic
related: cylindrical construction
related: condition
related: infinitesimal
related: non-standard model
related: definition
related: non-standard arthmetic models
related: Boolean logic
related: complexity of proof

general terminology
type: Concept
narrower: logical object
preferred label: اصطلاحات عمومی @fa

cylindrical construction
type: Concept
preferred label: ساختمان استوانه‌ای @fa
related: logical object

Boolean logic
type: Concept
preferred label: منطق بولی @fa
related: logical object

algebraic logic
type: Concept
preferred label: منطق جبری @fa
related: logical object

complexity of proof
type: Concept
preferred label: پیچیدگی برهان @fa
related: logical object

infinitesimal
type: Concept
preferred label: بی‌نهایت کوچک @fa
related: logical object

non-standard arthmetic models
type: Concept
preferred label: مدل‌های نااستاندارد حساب @fa
related: logical object

non-standard model
type: Concept
preferred label: مدل نااستاندارد @fa
related: logical object