ارزش
truth
تابع ارزش
truth funtion
proposition
گزاره
درست
valid
algebraic logic
منطق جبری
تناقض
contradiction
truth value
ارزش درستی
tautology
گزاره راستگو
توتولوژی