symbolic logic

/S IH0 M B AA1 L IH0 K L AA1 JH IH0 K/
noun
  1. 1

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

Source: https://en.wiktionary.org/wiki/symbolic%20logic