symbolic logic, lógica simbólica

A representação das leis do raciocínio. O nome deriva do fato de que são usados símbolos no lugar de expressões em linguagem natural para enunciar proposições e relações. Ver também logic (lógica).