'

PREDICADOS E QUANTIFICADORES
Prof. C esar Francisco de Moura Couto Matem atica Discreta

&

'

CEFET-MG

Predicados e Quanticadores

Traduzindo do Portugu es para Express oes L ogicas

Expresse a senten ca Todo estudante desta classe estudou c alculo, usando predicados e quanticadores. Solu c ao: Identica c ao do quanticador Para cada estudante desta classe, este estudante estudou c alculo. Introdu c ao da vari avel do predicado. Para cada estudante x desta classe, x estudou c alculo. C (x ) e o predicado x estudo c alculo. Para o dom nio de estudantes desta classe, a senten ca pode ser traduzida para xC (x). E para o dom nio de todas as pessoas? Para cada pessoa x, se x e um estudante desta classe, ent ao x estudou c alculo. Esta senten ca pode ser traduzida para x(S (x) C (x)). A senten ca x(S (x) C (x)), est a correta?

&

Prof. C esar Francisco de Moura Couto

'

CEFET-MG

Predicados e Quanticadores

Traduzindo do Portugu es para Express oes L ogicas

Expresse a senten ca Algum estudante da classe visitou o M exicoe Todo estudante da classe visitou o Canad a ou M exico. Solu c ao: Identica c ao do quanticador Existe um estudante da classe com a propriedade de que o estudante visitou o M exico. Introdu c ao da vari avel do predicado. Existe um estudante x da classe com a propriedade de que x visitou o M exico. M (x ) e o predicado x visitou o M exico. Para o dom nio de estudantes desta classe, a senten ca pode ser traduzida para xM (x). E para o dom nio de todas as pessoas? Existe uma pessoa x que tem as propriedades de x ser estudante da classe e x visitou o M exico. Esta senten ca pode ser traduzida para x(S (x) M (x)).

&

Prof. C esar Francisco de Moura Couto

'

CEFET-MG

Predicados e Quanticadores

Traduzindo do Portugu es para Express oes L ogicas

Expresse a senten ca Todo estudante da classe visitou o Canad a ou M exico. Solu c ao: Identica c ao do quanticador e introdu c ao da vari avel do predicado. Para cada estudante x, x tem a propriedade de ter visitado o M exico ou Canad a. C (x ) e o predicado x visitou o Canad a, M (x) e o predicado x visitou o M exico. Para o dom nio de estudantes desta classe, a senten ca pode ser traduzida para x(C (x) M (x)). E para o dom nio de todas as pessoas? Para cada pessoa x, se x e estudante da classe, ent ao x tem a propriedade de x ter visitado o M exico ou x ter visitado o Canad a. Esta senten ca pode ser traduzida para x(S (x) (C (x) M (x)).

&

Prof. C esar Francisco de Moura Couto

'

CEFET-MG

Predicados e Quanticadores

Premissas e Conclus ao
Expresse as senten cas abaixo usando predicados e quanticadores, assumindo que o dom nio seja todas as criaturas. Todos os le oes s ao selvagens. Alguns le oes n ao bebem caf e. Algumas criaturas selvagens n ao bebem caf e. Solu c ao: Sejam P (x), Q(x) e R(x) as senten cas x e um le ao, x e selvageme x bebe caf e. x(P (x) Q(x)) x(P (x) R(x) x(Q(x) R(x))

&

Prof. C esar Francisco de Moura Couto

'

CEFET-MG

Predicados e Quanticadores

Premissas e Conclus ao
Expresse as senten cas abaixo usando predicados e quanticadores, assumindo que seja todos os p assaros. Todos os beija-ores s ao ricamente coloridos. Nenhum p assaro grande vive de n ectar P assaros que n ao vivem de n ectar s ao mon otonos nas cores. Beija-ores s ao pequenos Solu c ao: Sejam P (x), Q(x), R(x) e S (x) as senten cas x e um beija-or, x e grande, x vive de nectare x e ricamente colorido. x(P (x) S (x)) x(Q(x) R(x) x(R(x) S (x)) x(P (x) Q(x))

&

Prof. C esar Francisco de Moura Couto