FUNDAMENTOS DE MATEMÁTICA II

LÓGICA MATEMÁTICA

PROF. JAMERSON PEREIRA

 Proposição

Definição 1:

Uma proposição (ou sentença) é todo conjunto de

palavras e/ou símbolos que, juntos, expressam um
pensamento ou sentido completo (pode ser
declarativa ou afirmativa, mas nunca exclamativa ou
interrogativa);
Em geral, são orações que afirmam fatos ou
expressam juízos formados sobre determinadas
elementos (inclusive pessoas e coisas) e permitem
ser classificadas em verdadeira(V) ou falsa (F).
 Características básicas para identificar:

i. Sendo oração, tem sujeito e predicado;

ii. É declarativa;
iii. Tem um e apenas um, dos dois valores lógicos, isto
é, ou é Verdadeira (V) ou é Falsa.

Com isso, montamos os dois princípios básicos da

lógica:
1) PRINCÍPIO DA NÃO CONTRADIÇAO:
1.1) Uma proposição não pode ser verdadeira e
falsa simultaneamente;
 Características básicas para identificar:

2. PRINCÍPIO DO TERCEIRO EXCLUÍDO:

2.1) Toda a proposiçao ou é verdadeira ou é falsa,
ou seja, sempre assume um dos dois casos, nunca
um terceiro;

Definição 2: chama-se valor lógico de uma proposição

a verdade (V) se a proposição é verdadeira e a
falsidade (F) se a proposição é falsa.
 Exemplos:

a) O número π é racional;
b) Tiradentes descobriu o Brasil;
c) ¾ é um número inteiro;
d) O Sol gira em torno da Terra;
e) 4 ≠ 6
f) O mercúrio é mais pesado que a água;
g) Dez é menor que sete;

Exercício 1: Atribua o valor lógico de cada das

proposições acima.
 Exemplos de não proposições

 3.5 + 1 ;
 é um número irracional? ;
 3x-1 =11 ;
 Como está você? ;
 Ele é muito inteligente ;
 Pegue isso!

Exercício 2: em cada uma dos itens acima,

justifique o fato de não ser proposição.
 Negação

 Para qualquer proposição p, é sempre possível

construir uma outra chamada de negação de p, cujo
símbolo é ~p ou p’.
 Naturalmente, os valores de p e ~p são contrários, o
seja, quando ~p é verdadeira, p é falsa e vice-versa.
 Vejamos exemplos:
a) p: Dez é menor do que sete
~p: Dez não é menor do que sete
~p : Não é verdade que dez é menor do que sete
~p: É falso que dez é menor do que sete
 Negação

a) r: FHC foi presidente do Brasil

~r: FHC não foi presidente do Brasil
~r: Não é verdade que FHC foi presidente do Brasil

Desafio: o que ocorre se negarmos novamente?

Não é verdade que FHC foi presidente do Brasil
~(~r): FHC foi presidente do Brasil

Conclusão: a dupla negação retoma a proposição

original: ~(~p)=p.
 OBRIGADO!

Obs.: Imagens retiradas da internet;

Referências: Introdução à Lógica de Edgard de Alencar Filho (2002); Fundamentos de Matemática
Elementar 1, de Gelson Iezzi e Carlos Murakami (1977-)