exception
استثنا
cardinality of language
قوت زبان
اصلی
cardinal
مثال نقض
counterexample
استثنایی است که در برابر یک حکم کلی بیان می‌شود.
تابع ارزش
truth funtion
language
زبان
model
مدل
logical method
روش منطقی
فرمول
formula