Escolar Documentos
Profissional Documentos
Cultura Documentos
1. Quantificaes 1.1. Sentena Aberta 1.1.1. Sentena aberta com uma varivel 1.1.2. Conjunto-verdade de uma sentena aberta 1.1.3. Sentenas abertas com duas variveis 1.1.4. Conjunto-verdade de uma sentena aberta com duas variveis 1.1.5. Sentenas abertas com n variveis 1.1.6. Conjunto-verdade de uma sentena aberta com n variveis
QUANTIFICAES
O quantificador universal () e o quantificador existencial () so smbolos lgicos.
[INT-]: uma quantificao universal verdadeira se, e somente se todas as suas instncias forem verdadeiras. Se houver pelo menos uma instncia falsa, ento a quantificao universal ser falsa. [INT-]: uma quantificao existencial verdadeira se, e somente se houver pelo menos uma instncia sua que seja verdadeira. Se todas as suas instncias forem falsas, ento a quantificao existencial ser falsa.
VP = {x | xA P(x)=V}
ou, mais simplesmente como:
VP = {xA | P(x)}
Exemplos:
X menor que y(x<y); Y divisor de y(x | y).
Aula Lgica Mdulos 14 e 15 8 Prof. Luiz Alberto
Exerccios
Determinar o conjunto-verdade em N (conjunto dos nmeros naturais) de cada uma das sentenas abertas a seguir:
(a) 2x = 6 (b) x-1<4 (c) x2 - 5x + 6 = 0 (d) x2 - x + 2 = 0 (e) x2 - 5x = 0 (f) x - 5 N
Aula Lgica Mdulos 14 e 15 12 Prof. Luiz Alberto
Exerccios
Dados os conjuntos A={2, 3, 5} e B={3, 6, 8, 11} determinar o conjunto-verdade da sentena aberta x | y (x divide y sem resto) em AxB. Dados os conjuntos A={-2, 0, 1, 2} e B={-1, 0, 3} determinar o conjunto-verdade da sentena aberta x + y < 1 em AxB.
13
15
Quantificadores
Quantificadores so operadores lgicos aplicados a uma varivel e a uma expresso (uma sentena aberta simples ou composta). Os quantificadores foram definidos para capturar conceitos da linguagem natural como:
Para todo mundo ... No tem ningum aqui que ... Todos aqui ... Tem algum que poderia ... Qualquer um que ... Existe pelo menos um de ns ...
16 Prof. Luiz Alberto
Quantificadores
So considerados dois tipos de afirmaes sobre vrios elementos de um domnio:
Afirmaes universais, que devem ser vlidas para todos os elementos de um domnio; Afirmaes existenciais, que devem ser vlidas para pelo menos um dos elementos do domnio.
Quantificador Universal ( )
Seja uma sentena aberta p(x) em um conjunto no vazio A (A ) e seja Vp o seu conjuntoverdade:
Quantificador Universal ( )
Quando Vp = A, isto , todos os elementos do conjunto A satisfazem a sentena aberta p(x), podemos, ento, afirmar:
Para todo elemento x de A, p(x) verdadeira (V) Qualquer que seja o elemento x de A, p(x) verdadeira (V) Para todo x de A, p(x) Qualquer que seja x de A, p(x)
Assim,
x A: p(x)
Portanto,
x: p(x)
Aula Lgica Mdulos 14 e 15 18 Prof. Luiz Alberto Aula Lgica Mdulos 14 e 15 19 Prof. Luiz Alberto
Quantificador Universal ( )
importante salientar que enquanto P(x) uma sentena aberta, a sentena quantificada (xA) (P(x)) no mais uma sentena aberta. A quantificao fecha uma sentena aberta, transformando-a numa proposio simples que pode ser verdadeira ou falsa no domnio A, dependendo do conjunto-verdade VP ser ou no igual ao domnio A.
tem um valor lgico que verdade (V) se Vp = A e falso (F) se Vp A.
Quantificador Universal ( )
Observe o exemplo abaixo: (x) (x mortal). Essa proposio se l qualquer que seja x, e mortal, o que uma proposio verdadeira (V) no universo H dos seres humanos. Se a varivel da sentena aberta for outra, em vez da letra x, escreve-se o qualificador universal seguido da respectiva varivel. Desta forma, a expresso: (Fulano) (Fulano mortal). L-se qualquer que seja Fulano, Fulano mortal, que significa a mesma coisa que a proposio anterior.
20
21
Quantificador Universal ( )
Exemplos: Afirmaes universais vlidas (verdadeiras):
(xH) (x mortal), para H o conjunto de seres humanos. (xN) (x+2 > x), para N o conjunto dos nmeros naturais (xA) (x<7) , para A={0,1,2,3,4}
Exerccios
Sendo R o conjunto dos nmeros reais, determinar o valor lgico das seguintes expresses:
(a) (xR) (|x| = x) (e) (xR) (x+1 > x) (f) (xR) (x2 = x)
22
23