# data[].attributes.body
A Formalização é a representação da forma lógica de uma proposição, a tradução da linguagem natural para a linguagem da lógica proposicional (linguagem simbólica).

•No dicionário, as frases estão no presente do indicativo e não existem negações.

Formalizar um argumento:

Se estiver a chover, encontrar-te-ei no cinema.

Está a chover

Então, encontrar-te-ei no cinema.

Construir o Dicionário:

·     P = Está chover.

·     Q = Encontrar-te-ei no cinema

Forma lógica do argumento

P→ Q

P

∴  Q  ou  (P→ Q), P ∴  Q

# data[].attributes.body
Se tivermos bem presentes as regras que fomos referindo para cada uma das conectivas, haverá muitas situações em que não é necessário fazermos tabelas de verdade para determinar as condições em que uma dada proposição é verdadeira ou falsa.

Há, no entanto, proposições que são bastante mais complexas do que as que foram apresentadas, e nesses casos o recurso às tabelas de verdade é importante.

Determinar o âmbito de uma conectiva é, para tal efeito, uma tarefa crucial. O âmbito de uma conectiva é a parte da respetiva fórmula a que ela se aplica. A conectiva principal será a que tiver maior âmbito.

Comecemos pela seguinte fórmula: P V ¬ Q.

Neste caso, temos duas conectivas: uma negação, ¬ Q, e uma disjunção, P V Q. A conectiva principal é a disjunção porque abrange toda a fórmula.

# data[].attributes.body
Ao contrário da negação que se aplica apenas a uma parte. Vejamos agora uma outra fórmula, um pouco mais complexa: ¬ P → ¬ Q. Agora temos duas negações e uma condicional. A condicional é a conectiva principal, sendo que cada uma das negações tem igual âmbito, que é menor que o da condicional.

Saber formular uma proposição complexa é uma tarefa fundamental para evitar casos em que não se consiga determinar qual das conectivas tem maior âmbito.

A fórmula P → Q V R, por exemplo, está incorretamente formulada, uma vez que nela não se consegue determinar qual é a conectiva principal.

√Para a formular corretamente, temos de recorrer a parêntesis. Assim, uma das formulações corretas possíveis seria:

P → (Q V R). E neste caso, a conectiva principal é a condicional.