Question

Por que os lógicos simbólicos buscam formalizar os argumentos?​

Answer 1

Resposta:

A formalização de argumentos consiste em representar os seus componentes (premissas e conclusão) através de letras sentenciais e dos símbolos que representam os operadores lógicos.

Fórmula bem formada.

Esses símbolos juntamente com os parênteses constituem o vocabulário do cálculo proposicional, entretanto nem toda a seqüência desses caracteres apresenta significado lógico. Por exemplo:

A seqüência ∼ ((∧)∨R), não apresenta nenhum significado independente do que “R” represente.

Para evitarmos essa situação temos certas regras de formação, chamadas regras de formação, que constituem a gramática do cálculo proposicional. Uma fórmula que satisfaz as regras de formação é dita uma fórmula bem formada (fbf).