Introdução à lógica 1/4

1. Proposição e negação de uma proposição

I. PROPOSIÇÃO

É considerado uma proposição uma oração em que se pode classificar somente em verdadeiro ou somente falso. É declarativa, ou seja, ela afirma ou nega algo (nunca é exclamativa e nem interrogativa).

Não são proposições as frases exclamativas, interrogativas, imperativas, sem verbo, abertas e paradoxais.

Exemplos:

II. NEGAÇÃO DE UMA PROPOSIÇÃO

Com uma proposição P qualquer, podemos construir outra, denominada negação de P, e é representada pelo símbolo ~P.

    Exemplo:

~P tem sempre o valor oposto de P, ou seja, quando P é verdadeiro, ~P é falso. E quando ~P é verdadeiro, P é falso. Sabendo disso, podemos formar uma tabela verdade:

Nas próximas postagens de Introdução à lógica teremos: Conectivos e Condicionais; Tautologias, Proposições logicamente falsas, Relação de implicação e Relação de equivalência; Sentenças abertas e Quantificadores.