تناقض
preferred label: contradiction @en
type: Concept
related: تابع ارزش

ارزش در مدل
preferred label: truth in model @en
type: Concept
broader: تابع ارزش

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

تابع ارزش
related: جمله درست
related: حکم باطل
related: دستگاه اصل موضوعی
related: مثال نقض
related: استنتاج
related: صدق تارسکی
related: منطق شهودگرایانه
related: تناقض
narrower: ارزش درستی
narrower: ارزش
narrower: درستی
narrower: گزاره راستگو
narrower: ارزش در مدل
narrower: نتیجه توتولوژیک
narrower: درست
preferred label: truth funtion @en
type: Concept
broader: معنا شناسی

جمله درست
preferred label: valid sentence @en
type: Concept
related: تابع ارزش

حکم باطل
preferred label: absurd statement @en
type: Concept
related: تابع ارزش

نتیجه توتولوژیک
preferred label: tautological implication @en
type: Concept
broader: تابع ارزش

منطق شهودگرایانه
preferred label: intuitionistic logic @en
type: Concept
related: تابع ارزش

استنتاج
preferred label: deduction @en
type: Concept
related: تابع ارزش

درستی
preferred label: validity @en
type: Concept
broader: تابع ارزش

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

گزاره راستگو
preferred label: tautology @en
type: Concept
broader: تابع ارزش

ارزش
preferred label: truth @en
type: Concept
broader: تابع ارزش

درست
preferred label: valid @en
type: Concept
broader: تابع ارزش

معنا شناسی
preferred label: semantic @en
type: Concept
narrower: تابع ارزش

ارزش درستی
preferred label: truth value @en
type: Concept
broader: تابع ارزش

صدق تارسکی
preferred label: Tarski truth @en
type: Concept
related: تابع ارزش