symbolic logic

Noun

 * 1)  A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.

Translations

 * Romanian:
 * Thai: ตรรกศาสตร์สัญลักษณ์, ตรรกวิทยาสัญลักษณ์