| symbolic logic | สัญลักษณ์ตรรกศาสตร์ [คอมพิวเตอร์ ๑๙ มิ.ย. ๒๕๔๔] |
| symbolic logic | ตรรกศาสตร์สัญลักษณ์, ตรรกวิทยาสัญลักษณ์ [ปรัชญา ๒ มี.ค. ๒๕๔๕] |
| symbolic logic | ตรรกศาสตร์สัญลักษณ์ [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
| symbolic logic | (n) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity, Syn. formal logic, mathematical logic |
| symbolic logician | (n) a person skilled at symbolic logic |
| 記号論理学 | [きごうろんりがく, kigouronrigaku] (n, adj-no) { comp } (See 数理論理学) symbolic logic [Add to Longdo] |
| 記号論理学 | [きごうろんりがく, kigouronrigaku] symbolic logic, mathematical logic [Add to Longdo] |
| 数理論理学 | [すうりろんりがく, suurironrigaku] symbolic logic, mathematical logic [Add to Longdo] |