ارزش
preferred label: truth @en
type: Concept
related: گزاره راستگو

گزاره راستگو
type: Concept
broader: تابع ارزش
broader: گزاره
related: درست
related: ارزش
related: منطق جبری
related: تناقض
related: ارزش درستی
preferred label: tautology @en
scope note: توتولوژی

تابع ارزش
preferred label: truth funtion @en
type: Concept
narrower: گزاره راستگو

گزاره
preferred label: proposition @en
type: Concept
narrower: گزاره راستگو

درست
preferred label: valid @en
type: Concept
related: گزاره راستگو

منطق جبری
preferred label: algebraic logic @en
type: Concept
related: گزاره راستگو

تناقض
preferred label: contradiction @en
type: Concept
related: گزاره راستگو

ارزش درستی
preferred label: truth value @en
type: Concept
related: گزاره راستگو