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. Pesquise também logic (lógica).
