As leis básicas do pensamento lógico

1) Qual dos itens abaixo é uma proposição?

a) “Caramba!”; “Feliz aniversário!” (R: não é proposição, é uma sentença exclamativa)

b) “como é o seu nome?”; “o jogo foi de quanto?” (R: não é proposição, é uma sentença interrogativa)

c) “Estude mais.”; “Leia aquele livro”. (R: não é proposição, é uma sentença imperativa)

d) “Feliz ano novo!” (R: não é proposição, é uma sentença exclamativa)

e) A Terra é maior que a Lua. (R: é proposição, pois é uma oração, tem sujeito e predicado)

As proposições, geralmente são representadas por letras minúsculas (p, q, r, s etc).

São outros exemplos de proposições:

p: Pedro é médico.

q: 5 < 8 (Cinco é menor que oito.)

r: Luíza foi ao cinema ontem à noite.

Leis fundamentais do pensamento lógico

PRINCÍPIO DA IDENTIDADE

Se uma proposição for verdadeira ela será verdadeira; uma proposição falsa é falsa.

PRINCÍPIO DA NÃO-CONTRADIÇÃO

Nenhuma proposição poderá ser verdadeira e falsa ao mesmo tempo.

PRINCÍPIO DO TERCEIRO EXCLUÍDO

Uma proposição ou será verdadeira, ou será falsa: não há outra possibilidade.

Proposições

Existem dois tipos de proposições: simples e composta.

SIMPLES

Serão proposições simples ou proposição atômica aquelas que vêm sozinhas, desacompanhadas de outras orações.

Exemplos:

Todo homem é mortal. (Só existe uma oração)

COMPOSTA

Se duas (ou mais) proposições vêm conectadas entre si, formando uma só sentença, estaremos diante de uma proposição composta ou proposição molecular.

Exemplos:

João é médico e Pedro é dentista. (1ª oração: João é médico e 2ª Pedro é dentista)

Maria vai ao cinema ou Paulo vai ao circo.

Ou Luís é baiano, ou é paulista.

Se chover amanhã de manhã, então não irei à praia.

Através dos conectivos acima, em negrito, pode-se perceber a união de duas proposições.

Essas proposições atribuem valores lógicos, ou verdadeiro ou falso, que poderão estar presentes em uma proposição composta. Estudaremos cada um deles a seguir, uma vez que é de nosso interesse conhecer o valor lógico das proposições compostas.

Conectivos Lógicos