Professional Documents
Culture Documents
Validade
Matemática Computacional
Prof. Aristóteles Meneses
Análise e Desenvolvimento de Sistemas
Quantificadores, Predicados e Validade
• Quantificadores: são frases do tipo “para
todo”, ou “para cada”, ou “para algum”, isso
é, frases que dizem quantos objetos, em algum
sentido, tem uma determinada propriedade. O
quantificador universal é simbolizado por ∀
, e se lê ”para todo”, “para qualquer” ou “para
cada”.
• Predicados: é a propriedade de uma
determinada sentença. A notação é P (x).
• Observe a sentença: “Para todo x, x > 0”
• Essa é uma proposição verdadeira sobre os
inteiros positivos.
• Ela contém o quantificador - Para todo x , e o
predicado é x > 0. Logo a sentença acima pode
ser simbolizada por:
• (∀ x )(x > 0), mas como x > 0 é o
predicado, podemos colocar ainda numa forma
mais geral:
• (∀ x )(Px)
• O Valor lógico dessa expressão depende do domínio
dos objetos sobre os quais estamos nos
referindo, isso é, a coleção de objetos dentre os quais
x pode ser escolhido. Essa coleção se chama
domínio de interpretação, ou conjunto
universo.
• Exemplo 1:
• Se o conjunto universo consiste em todos os livros
em sua biblioteca municipal.
• Se (Px) é a propriedade de x ter a capa vermelha.
• Logo (∀ x )(Px) diz que:” todos os livros em sua
biblioteca municipal têm capa vermelha”.
• É claro que o valor lógico dessa expressão, com essa
interpretação, deve ser falso.
• Exemplos 2:
• Qual o valor lógico da expressão (∀ x )(Px) nas duas
interpretações:
• A)(Px) é a propriedade que x é amarelo e o conjunto
universo é o conjunto de todos os botões de ouro.
(verdadeira)
• B) (Px) é a propriedade que x é amarelo e o
conjunto universo é o conjunto de todas as flores.
(falsa)
• Quantificador existencial: é simbolizado por ∃
, e se lê “existe”, “há pelo menos um”, “existe algum”
ou “para algum”.
• Exemplo 3:
• Se o conjunto universo consiste em todos os livros
em sua biblioteca municipal.
• Se (Px) é a propriedade de x ter a capa vermelha.
• Logo (∃ x )(Px) diz que: „em sua biblioteca
municipal tem pelo menos um livro de capa
vermelha‟.
• Exemplo 4:
Dados:
A(x) é “x é um cachorro”
B(y) é “y é um coelho”
C(x) é “x persegue y”