A lógica é uma Ciência de índole matemática fortemente ligada à Filosofia. Um sistema lógico, por sua vez, é um conjunto de axiomas e regras de inferência que visam representar, formalmente, um raciocínio válido. De maneira simplificada, podemos dizer que a lógica é a ferramenta que devemos utilizar para concatenar idéias e proposições em busca da verdade. Você perceberá em breve, na prática, o que acabamos de afirmar.
O primeiro conceito que devemos firmar é o de proposição:
É uma sentença (declarada por meio de palavras ou símbolos) que será considerada, por seu conteúdo, verdadeira ou falsa.
Um exemplo de sentença é: "Os humanos precisam de água para sobreviver". Esta é uma proposição que se mostra, logicamente, verdadeira. Acabamos de nos referir ao valor lógico de uma sentença: "verdadeiro", valor este que, para uma outra proposição, poderia ser "falso". Em resumo, para uma proposição p, que pode ser avaliada por um critério lógico, podem ser atribuídos os valores verdadeiro (V) ou falso (F). Regra geral as proposições são representadas por uma letra minúscula: p, q, r e etc.
Veja a sentença "p" abaixo enunciada:
p: Você nunca esteve no planeta Saturno.
Podemos afirmar que a proposição p é verdadeira (V). Temos, então, que: VL (p) = (V), ou seja, o valor lógico (VL) da sentença (p) é verdadeiro (V).
Há 3 (três) princípios que você deve saber:
1) Princípio da identidade: "uma proposição verdadeira é verdadeira; uma proposição falsa é falsa".
2) Princípio da não-contradição: "nenhuma proposição pode ser verdadeira e falsa ao mesmo tempo".
3) Princípio do terceiro-excluído: "uma proposição ou será verdadeira ou será falsa: não há outra possibilidade".
Nenhum comentário:
Postar um comentário