cardinality of language
قوت زبان
true
راست
sentence
جمله
تابع ارزش
truth funtion
valid sentence
جمله درست
language
زبان
logical method
روش منطقی
deduction
استنتاج