Matemática Discreta: Aula 04

● Quantificadores: existe, para todo e negações.

Existe

Existe é sinônimo de há.

Exemplo: existe um número primo par.
A expressão “existe” não exige que o número
que satisfaz as propriedades seja único.
Apenas estamos dizendo que há um número
que satisfaz tais condições.
Existe tal que
Existe tal que x é múltiplo de 12 e de 15.
Algoritmo de Euclides

Dados a e b inteiros, existem únicos q e r,

também inteiros, tais que e .
Para todo

Ao usarmos o quantificador para todo, queremos

dizer que todos os elementos de um
determinado conjunto satisfazem uma
determinada condição ou gozam de uma certa
propriedade.
Exemplo: todo múltiplo de 6 é múltiplo de 2 e de
3.
Ex. 2: para todo inteiro x e y, vale a seguinte
propriedade:
Podemos misturar os quantificadores, criando
novas sentenças.
Para todo x inteiro, existe y inteiro tal que
Para todo x inteiro, existe y inteiro tal que .
Existe x inteiro tal que, para todo y inteiro,
(falsa)
Negação

A negação de uma sentença é uma nova

sentença que é verdadeira sempre que a
primeira for falsa, e vice-versa.
Exemplo: Eu vou à festa se puder ir de ônibus ou
de metrô.
Ex. 2: Para homens entrarem na câmara dos
deputados, devem estar vestindo terno e gravata.
Negue a frase “Existe tal que é
irracional.”
Negue a frase “todo número ímpar terminado em
1, 3 ou 7 é primo”.