1

Universidade Federal da Fronteira Sul Cincia da Computao Lista 2 Predicados, Quantificadores e Regras de Inferncia Data: 05/11/2012 Professora: Rosane Rossato Binotto Material extra Sistemas de Especificaes A traduo de sentenas da linguagem natural para expresses lgicas parte essencial para a especificao de sistemas de hardware e sistemas de software. Sistemas e engenheiros de software tomam afirmaes em linguagem natural e produzem especificaes precisas e sem ambiguidades que podem ser usadas como base de um sistema de desenvolvimento. Exemplo: Expresse a especificao A resposta automtica no pode ser enviada quando o sistema est sobrecarregado, usando conectivos lgicos. Soluo: sejam p: A resposta automtica pode ser enviada, e q: O sistema est sobrecarregado. Assim, obtemos Se o sistema est sobrecarregado, ento a resposta automtica no poder ser enviada ou q ~p. Sistemas de especificao devem ser consistentes, ou seja, no podem conter especificaes conflitantes que possam ser usadas para derivar uma contradio. Quando as especificaes no so consistentes, pode no haver um meio de desenvolver um sistema que satisfaa todas as especificaes. Exemplo: Determine se este sistema de especificaes consistente: A mensagem de diagnstico armazenada no buffer ou retransmitida. A mensagem de diagnstico no armazenada no buffer. Se a mensagem de diagnstico armazenada no buffer, ento ela retransmitida. Soluo: inicialmente vamos reescrever as mensagens usando conectivos lgicos. Seja p: A mensagem de diagnstico armazenada no buffer e seja q: A mensagem de diagnstico retransmitida. Assim, A mensagem de diagnstico armazenada no buffer ou retransmitida fica p v q ; A mensagem de diagnstico no armazenada no buffer fica ~p; Se a mensagem de diagnstico armazenada no buffer, ento ela retransmitida fica p q. Vamos verificar quando estas trs especificaes so verdadeiras. Isto ocorre quando o valor verdade de p falso e o valor verdade de q verdadeiro. Uma forma de ver isso calcular a tabela verdade de p v q, ~p e p q. Este sistema continua consistente se adicionarmos a especificao A mensagem de diagnstico no retransmitida? Usando conectivos para esta mensagem obtemos: ~q. Notamos que o sistema acima consiste quando o valor verdade de p falso e o valor verdade de q verdadeiro. Adicionando a nova mensagem temos que analisar quando p v q, ~p, p q e ~q so verdadeiros simultaneamente. Mas isso nunca ocorrer. Logo, este novo sistema ser inconsistente. Usando quantificadores em sistemas de especificaes Exemplo: Use predicados e quantificadores para expressar o sistema de especificaes 1) Todo email com tamanho maior que um megabyte ser comprimido. 2) Se um usurio estiver ativo, ao menos um link de rede estar habilitado. Soluo: 1) Consideremos os predicados S(m,y): Email m tem tamanho maior que y megabytes e C(m): O email m ser comprimido, onde o domnio de m consiste de todas as mensagens de email e y um nmero real positivo. Ento a especificao Todo email com

2 tamanho maior que um megabyte ser comprimido pode ser representada por (S(m,1) C(m)). 2) Consideremos os predicados A(u): O usurio u est ativo e S(n,x): O link de rede n est no estado x, onde o domnio de u consiste de todos os usurios, o domnio de n consiste de todos os links de rede e x tem como domnio todos os estados possveis de cada link. Ento a especificao Se um usurio estiver ativo, ao menos um link de rede estar habilitado pode ser representada por A(u) n S(n, habilitado). Exemplo (Dado por Lewis Carroll): Considere as seguintes sentenas, sendo as duas primeiras premissas e a terceira a concluso. O conjunto inteiro chamado de argumento. Todos os lees so selvagens. Alguns lees no bebem. Algumas criaturas selvagens no bebem caf. Soluo: Consideremos as sentenas P(x): x um leo, Q(x): x selvagem e R(x): x bebe caf, e suponhamos que o domnio consiste de todas as criaturas. Estas sentenas podem ser expressas, respectivamente por: x (P(x) Q(x)) x (P(x) ~R(x)) x (Q(x) ~R(x)) Vamos verificar se este argumento dado por [x (P(x) Q(x)) x (P(x) ~R(x)) ] [x (Q(x) ~R(x))] vlido. De fato, 1. x (P(x) Q(x)).......................................... hiptese 2. P(a) Q(a) .................................................. instanciao universal em (1), para algum a 3. x (P(x) ~R(x)) .......................................... hiptese 4. P(a) ~R(a) .................................................. instanciao existencial em (4), para algum a 5. P(a) ............................................................... simplificao em (4) 6. ~R(a) ............................................................. simplificao em (4) 7. Q(a) .............................................................. modus ponens aplicado em (2) e (5) 8. Q(a) ~R(a) ................................................ conjuno em (7) e (6) 9. x (Q(x) ~R(x)) ...................................... generalizao existencial em (8) Estes exerccios so do livro Matemtica Discreta e suas Aplicaes, K. Rosen Seo 1.3 Predicados e Quantificadores Sugesto: faa os exerccios 1, 2, 3, 4, 5, 7, 9, 11, 12, 13, 15, 17, 19, 21, 23, 25, 29, 31, 35, 36, 39, 41, 51, 52, 53.

Seo 1.4 Quantificadores agrupados Sugesto: faa os exerccios 1, 3, 5, 9, 13, 15, 19, 21, 23, 25, 27, 29, 31, 35, 39, 45.

Seo 1.5 Regras de inferncia Sugesto: faa os exerccios 1, 3, 5, 7, 8, 9, 13, 15, 17, 19, 23, 24.