تناقض
contradiction
ارزش در مدل
truth in model
دستگاه اصل موضوعی
axiomatic system
truth funtion
تابع ارزش
valid sentence
جمله درست
absurd statement
حکم باطل
tautological implication
نتیجه توتولوژیک
intuitionistic logic
منطق شهودگرایانه
استنتاج
deduction
درستی
validity
counterexample
مثال نقض
tautology
گزاره راستگو
ارزش
truth
درست
valid
semantic
معنا شناسی
truth value
ارزش درستی
Tarski truth
صدق تارسکی