ارضا شدن
satisfaction
درستی
validity
tautology
گزاره راستگو
ارزش درستی
truth value
تابع ارزش
truth funtion
hypothesis
فرض
درست
valid
many-valued logic
منطق چندمقدار