Answer: symboliclogic

AnswerCrossword Clue
SYMBOLICLOGICFormal system used in statement analysis