استثنا
preferred label: exception @en
type: Concept
broader: مثال نقض

قوت زبان
preferred label: cardinality of language @en
type: Concept
related: مثال نقض

اصلی
preferred label: cardinal @en
type: Concept
related: مثال نقض

مثال نقض
preferred label: counterexample @en
related: مدل
related: تابع ارزش
related: فرمول
related: اصلی
related: زبان
related: قوت زبان
type: Concept
broader: روش منطقی
narrower: استثنا
scope note: استثنایی است که در برابر یک حکم کلی بیان می‌شود.

تابع ارزش
preferred label: truth funtion @en
type: Concept
related: مثال نقض

زبان
preferred label: language @en
type: Concept
related: مثال نقض

مدل
preferred label: model @en
type: Concept
related: مثال نقض

روش منطقی
preferred label: logical method @en
type: Concept
narrower: مثال نقض

فرمول
preferred label: formula @en
type: Concept
related: مثال نقض