Answer: SYMBOLICLOGIC

AnswerCrossword Clue
SYMBOLICLOGICFormal system used in statement analysis