Disciplina - Filosofia

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: <br><br>

    p: 1 + 2 = 3
<br><br>
Esta declaração define que p é 1 + 2 = 3 e que isso é verdadeiro.

Fonte: commons.wikimedia.org

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.