| formal 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 |
| 形式論理 | [けいしきろんり, keishikironri] (n) formal logic [Add to Longdo] |
| 形式論理学 | [けいしきろんりがく, keishikironrigaku] (n) formal logic [Add to Longdo] |
| 形式論理 | [けいしきろんり, keishikironri] formal logic [Add to Longdo] |