Answer: formallogic

AnswerCrossword Clue
FORMALLOGIC

System using syllogisms