Galerias de Imagens > > Teoria do Conhecimento
Lógica Formal
A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações. Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas. As letras minúsculas p, q e r, em fonte itálica, são convencionalmente usadas para denotar proposições:
p: 1 + 2 = 3
Esta declaração define que p é 1 + 2 = 3 e que isso é verdadeiro.