跳转到主要内容

logic, formal

n. Logic based on a formally defined system rather than logic based on meanings.