FACULDADE DE ENGENHARIA DA UNIVERSIDADE DO PORTO Mestrado Integrado em Engenharia Informtica e Computao

Matemtica Discreta
Teste 1, 2011-11-22 Durao de 2H00, com consulta

Problema 1: Traduo (5 valores) Considere uma situao relativa ao tratamento de doentes. O Joo teve um enfarte e toma 1 aspirina por dia. A Ana toma 50mg de Eutirox mas no teve nenhum enfarte. Ou o Lus ou a mulher tomam 2 aspirinas por dia mas no os dois. A Ana a mulher do Joo. Nem o Lus nem a mulher tm cancro mas pelo menos um deles toma 2 doses de insulina por dia. O Lus no tem diabetes ou toma 2 doses de insulina por dia.

1.a) Defina uma linguagem em lgica de primeira ordem adequada para descrever esta situao, indicando quais os predicados, os termos e as constantes que a constituem. 1.b) Escreva, na linguagem que definiu, as tradues das seis frases acima.

Problema 2: Modelos (4 valores) Construa um mundo no Tarskis World em que as seguintes frases sejam todas verdadeiras. Guarde o mundo novo num ficheiro com o nome ei11xxx.wld e submeta esse ficheiro. 1. FrontOf(b,c) SameCol(d,f) LeftOf(f,b) 2. ( LeftOf(b,c) Adjoins(b,d) ) 3. BackOf(a,f) FrontOf(f,e) LeftOf(a,b) 4. Between(d,a,e) ( Tet(e) Dodec(b) ) 5. (c=d) SameShape(a,f) ( Tet(c) Tet(b) ) 6. ( SameShape(b,e) SameShape(a,d) ) 7. (Cube(a) Tet(f)) (Dodec(f) Dodec(a)) 8. Larger(e,c) Larger(b,f) Larger(c,f) Smaller(a,e) Problema 3: Tabelas de verdade (5 valores) Considere as trs frases seguintes: 1. 2. 3. P Q (P R) (Q S) (P R) (Q S)

3.a) Construa uma tabela de verdade para as trs frases, usando o programa Boole. Submeta um ficheiro ei11xxx.tt 3.b) Diga se so verdadeiras ou falsas as seguintes afirmaes: 2. consequncia tautolgica de 1.
Gabriel David, Eduarda Rodrigues, Cludia Chituc

1/2

FEUP/MIEIC

MDIS

2. consequncia lgica de 1. 3. consequncia tautolgica de 1. 3. consequncia lgica de 1. 3.c) Considere que nas trs frases anteriores se tem P=LeftOf(a, b), Q=SameCol(c, d), R=LeftOf(b, c), S=LeftOf(a, c) Diga se so verdadeiras ou falsas as seguintes afirmaes: 2. consequncia tautolgica de 1. 2. consequncia lgica de 1. 3. consequncia tautolgica de 1. 3. consequncia lgica de 1. Problema 4: Prova (6 valores) 4.a) Escreva ( (A B) (A (A B)) ) na forma normal disjuntiva. 4.b) Indique uma prova formal, usando o sistema de Fitch, de que (P Q) uma consequncia de P Q. No pode usar teoremas nem as regras de consequncia. 4.c) A partir de LeftOf(a, b) (RightOf(c, b) SameCol(a, d)) e de d=b prove que LeftOf(a, b) RightOf(c, b) usando o programa Fitch. S pode usar as regras Con uma vez, quando for estritamente necessrio. No pode usar teoremas.

Gabriel David

2/2