Você está na página 1de 6

Sumrio Lgica Mdulo 14

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

M. Sc. Luiz Alberto lasf.bel@gmail.com

Aula Lgica Mdulos 14 e 15

Prof. Luiz Alberto

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.

A Lgica das Sentenas Abertas


Sentenas Abertas com uma Varivel
Definio: uma sentena aberta com uma varivel num conjunto A ou simplesmente uma sentena aberta em A, uma expresso P(x) tal que p(a) verdadeira (V) ou falsa (F) para todo elemento a pertencente ao conjunto A, ou seja, para todo aA. O conjunto A tambm chamado de domnio da varivel x.
X + 1 >10 7 + 1 >10 Sentena Aberta Sentena Fechada

Aula Lgica Mdulos 14 e 15

Prof. Luiz Alberto

Aula Lgica Mdulos 14 e 15

Prof. Luiz Alberto

A Lgica das Sentenas Abertas


Sentenas Abertas com uma Varivel (Exemplos) So sentenas abertas em N= {1, 2, 3, ... ,n, ...} as seguintes expresses: (a) x+1>8 (c) x2 - 5x + 6 = 0 (b) x primo (d) x divisor de 12
para os xN.

A Lgica das Sentenas Abertas


Conjunto-Verdade de uma Sentena Aberta
Definio: chama-se conjunto-verdade de uma sentena aberta P(x) num domnio A. o conjunto de todos os elementos aA tais que P(a) uma proposio verdadeira. Formalmente o conjunto-verdade pode ser definido como:

VP = {x | xA P(x)=V}
ou, mais simplesmente como:

VP = {xA | P(x)}

Aula Lgica Mdulos 14 e 15

Prof. Luiz Alberto

Aula Lgica Mdulos 14 e 15

Prof. Luiz Alberto

A Lgica das Sentenas Abertas


Conjunto-Verdade de uma Sentena Aberta (Exemplos)
(a) O conjunto-verdade de P(x) = x+1 > 8 em N={1, 2, 3, ...} (conjunto dos nmeros naturais) dado por: VP = {xN | P(x)} = {xN | x+1 > 8}= {8, 9, 10, ... } N (b) O conjunto-verdade de P(x) = x+7 < 8 em N={1, 2, 3, ...} (conjunto dos nmeros naturais) dado por: VP = {xN | x+7 < 5}= N

A Lgica das Sentenas Abertas


Conjunto-Verdade de uma Sentena Aberta (Exemplos - Continuao)
(c) O conjunto-verdade de P(x) = x divisor de 10 em N={1, 2, 3, ...} (conjunto dos nmeros naturais) dado por: VP = {xN | x divisor de 10}= {1, 2, 4, 10} N (d) O conjunto-verdade de P(x) = x+5 > 3 em N={1, 2, 3, ...} (conjunto dos nmeros naturais) dado por: VP = {xN | x+5 > 3}= {1, 2, 3, 4, ...} = N N

Aula Lgica Mdulos 14 e 15

Prof. Luiz Alberto

Aula Lgica Mdulos 14 e 15

Prof. Luiz Alberto

A Lgica das Sentenas Abertas


Sentenas Abertas com duas Variveis
Definio: Compreendendo dois conjuntos A e B, entende-se por sentena aberta com duas variveis em A x B ou sentena aberta A x B, uma expresso p(x, y) tal que p(a, b) falsa (F) ou verdadeira (V) para todo par ordenado (a, b) A x B.

A Lgica das Sentenas Abertas


Conjunto-verdade de uma sentena aberta com duas variveis
Definio: O conjunto-verdade de uma sentena aberta p(x, y) em A x B o conjunto de todos os elementos (a, b) A x B tais que p(a, b) uma proposio verdadeira. Formalmente o conjunto-verdade pode ser definido como:

Exemplos:
X menor que y(x<y); Y divisor de y(x | y).
Aula Lgica Mdulos 14 e 15 8 Prof. Luiz Alberto

Vp = {(x, y) A x B | p(x, y)}


Aula Lgica Mdulos 14 e 15 9 Prof. Luiz Alberto

A Lgica das Sentenas Abertas


Sentenas abertas com n variveis Definio: uma sentena aberta com n variveis num conjunto A1A2...An, ou simplesmente uma sentena aberta em A1A2...An, uma expresso P(x1, x2,..., xn) tal que p(a1, a2,..., an) verdadeira (V) ou falsa (F) para todo nupla (a1, a2,..., an) A1A2...An.
Formalmente este conjunto-verdade pode ser definido como: VP = {(x1, x2,..., xn) A1A2...An | P(x1, x2,..., xn)}
Aula Lgica Mdulos 14 e 15 10 Prof. Luiz Alberto

A Lgica das Sentenas Abertas


Conjunto-verdade de uma sentena aberta com com n variveis Definio: O conjunto-verdade de uma sentena aberta P(x1, x2,..., xn) no domnio A1A2...An o conjunto de todas as nuplas (a1, a2,..., an) A1A2...An tais que P(a1, a2,..., an) uma proposio verdadeira. Exemplo
x + 4y + 2z < 22
Aula Lgica Mdulos 14 e 15 11 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.

Aula Lgica Mdulos 14 e 15

13

Prof. Luiz Alberto

Sumrio Lgica Mdulo 15


1. Quantificaes - Continuao 1.1. Quantificador Universal ( )

M. Sc. Luiz Alberto lasf.bel@gmail.com

Aula Lgica Mdulos 14 e 15

15

Prof. Luiz Alberto

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.

Para cada um destes tipos de afirmaes, corresponde um diferente tipo de quantificador:


Quantificadores universais, para representar as afirmaes universais. Quantificadores existenciais, para representar as afirmaes existenciais.
Aula Lgica Mdulos 14 e 15 17 Prof. Luiz Alberto

Aula Lgica Mdulos 14 e 15

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.

Aula Lgica Mdulos 14 e 15

20

Prof. Luiz Alberto

Aula Lgica Mdulos 14 e 15

21

Prof. Luiz Alberto

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)

Afirmaes universais invlidas (falsas):


(xH) (x me), para H o conjunto de seres humanos. (xN) (x+2 > 2x), para N o conjunto dos nmeros naturais (xA) (xN) , para A={0, 1, 2, 3, -3, 2.5, 4, 0.999, }

Aula Lgica Mdulos 14 e 15

22

Prof. Luiz Alberto

Aula Lgica Mdulos 14 e 15

23

Prof. Luiz Alberto