PROPOSIÇÃO

-> Sentença declaratória

-> Pode ser valorada como V ou F
(e, por lógica, se for V, então será falsa, e vice-versa)
-> Não importa como vai chegar à valoração

Ex:  2+2=4 (V)

2 + 2 = 5 (F)
O prof. A dá aula de português.

Para saber:
-> Estou declarando? Posso valorar?

NÃO SÃO:
1. Interrogativa (?)
2. Impositiva (. ou !)
3. Exclamativa (!)
4. Sentenças abertas (Ex: Ele dá aula de port. --> ELE QUEM?)
que te leva a outra pergunta antes das que devem ser feitas

5. Paradoxo = Essa é uma sentença falsa. 

Se for V, então é F. Se for F, é V. Não comporta no sentido de lógica.

6. Sentenças sem verbo (falta ação).

Princípios:

1. IDENTIDADE = Proposição V é sempre V, uma proposição F, é

sempre F.

2. NÃO CONTRADIÇÃO= Não pode ser simultaneamente V e F

3. Terceiro excluído = V ou F, não comporta outro valor

Lógica Boleana
Conectivos OU operadores lógicos.

O não pode vir disfarçado:

Ex: Não é verdade

Verdadeiro = Absolutamenteprovado

TIPOS:
- Simples = 1 proposição
- Composta = 2 ou +

- Condicional pode ser mascarada (SE.. ENTÃO)

Então (->)
Quem pode mais, pode menos

Regra da condicional : Se , então.

se hoje é quinta-feira, então meu time do coração ganhará de goleada

1 = nega ambas ,inverte e mantém o " se , então "

2 = mantém a primeira , nega a segunda + conectivo " E "

3 = mantém a segunda ,nega a primeira + conectivo " ou "

>Hoje não é quinta-feira ou meu time do coração ganhará de goleada