形式逻辑

基于确定规则进行推理的系统范式，输入与输出关系明确，常用于描述传统软件行为