Caio Souza

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 .