Answer: symboliclogic

AnswerCrossword Clue
SYMBOLICLOGIC

Formal system used in statement analysis