Fundamentos de Teoria da Computao

Prof. Dr. Carlos H. A. Higa 3 de Abril de 2013

Notas de aula baseadas em [1].

Lgica Proposicional

As regras de lgica nos do um signicado preciso para sentenas matemticas. Essas regras so usadas para distinguir entre argumentos matemticos vlidos e invlidos. Denio 1. Uma proposio uma sentena declarativa (isto , uma sentena que declara um fato), que pode ser verdadeira ou falsa, mas no ambas. Exemplo 1 Todas as seguintes sentenas declarativas so proposies: 1. Braslia a capital do Brasil. 2. Toronto a capital do Canad. 3. 1 + 1 = 2. 4. 2 + 2 = 3. Exemplo 2 Algumas sentenas que no so proposies: 1. Que horas so? 2. Leia isto cuidadosamente. 3. x + 1 = 2. 4. x + y = z . Usamos letras para indicar variveis proposicionais (ou variveis declarativas). As letras usadas so geralmente p, q, r, s, . . .. O valor-verdade de uma proposio verdadeiro (V) ou falso (F).

higa@facom.ufms.br

Denio 2. Seja p uma proposio. A negao de p, indicada por p (e tambm por p ), a sentena No o caso de p. A proposio p lida no p. O valor-verdade da negao de p, p, o oposto do valor-verdade de p. Exemplo 3 Encontre a negao da proposio Hoje sexta feira. e expresse-a em portugus. Soluo: A negao No o caso de hoje ser sexta-feira.". A negao pode ser simplesmente expressa por Hoje no sexta-feira. ou No sexta-feira hoje.. A Tabela 1 mostra a tabela-verdade para a negao de uma proposio p. Essa tabela tem uma linha para cada uma das possibilidades de valorverdade da proposio p - V ou F. Cada linha mostra o valor-verdade de p correspondente ao valor-verdade de p nesta linha. p V F p F V

Tabela 1: Tabela-verdade para a negao. Denio 3. Sejam p e q proposies. A conjuno de p e q , indicada por p q , a proposio p e q . A conjuno p q verdadeira quando ambas so verdadeiras, e falsa caso contrrio. A Tabela 2 nos mostra a tabela-verdade para p q . Esta tabela tem uma linha para cada combinao de valores-verdade para as proposies p e q . As quatro linhas correspondem aos pares VV, VF, FV, e FF, em que o primeiro valor-verdade o valor de p e o segundo o valor de q . p V V F F q V F V F pq V F F F

Tabela 2: Tabela-verdade para a conjuno. Exemplo 4 Encontre a conjuno das proposies p e q , em que p a proposio Hoje sexta-feira e q a proposio Hoje est chovendo. Soluo: A conjuno p q dessas proposies Hoje sexta-feira e hoje est chovendo. Esta proposio verdadeira em uma sexta-feira chuvosa e falsa em qualquer outro caso.

Denio 4. Sejam p e q proposies. A disjuno de p e q , indicada por p q , a proposio p ou q . A disjuno p q falsa se q e q so ambas falsas, e verdadeira em qualquer outro caso. A Tabela 3 nos mostra a tabela-verdade para p q . p V V F F q V F V F pq V V V F

Tabela 3: Tabela-verdade para a disjuno. Exemplo 5 Qual a disjuno das proposies p e q , em que p e q so as proposies do Exemplo 4. Soluo: A disjuno p q dessas proposies a proposio Hoje sexta-feira ou hoje est chovendo.. Essa proposio verdadeira em uma sexta-feira ou em um dia chuvoso e somente falsa no caso em que no sexta-feira nem chove. Denio 5. Sejam p e q proposies. A disjuno exclusiva (ou OU exclusivo) de p e q , indicada por p q , a proposio que verdadeira quando exatamente uma das duas verdadeira e falsa nos outros casos. A tabela-verdade para o ou exclusivo de duas proposies mostrada na Tabela 4. p V V F F q V F V F pq F V V F

Tabela 4: Tabela-verdade para a disjuno exclusiva. Denio 6. Sejam p e q proposies. A proposio condicional p q a proposio se p, ento q . A condicional p q falsa quando p verdadeira e q falsa, e verdadeira em qualquer outro caso. Na condicional p q , p chamada de hiptese (ou premissa) e q chamada de concluso (ou consequencia). A proposio p q chamada de condicional porque p q arma que q verdadeira na condio de que p tambm o seja. Uma proposio condicional tambm chamada de implicao. A tabela-verdade para a condicional p q mostrada na Tabela 5. Note que p q verdadeira 3

quando ambos o so e quando p falsa (no importando qual o valor verdade de q ). p V V F F q V F V F pq V F V V

Tabela 5: Tabela-verdade para as sentenas condicionais. Algumas variaes para p q : p implica q ; se p, q ; p suciente para q ; p apenas se q . Uma maneira usual de entender a tabela-verdade de uma condicional pensar em uma obrigao ou um contrato. Por exemplo, Se eu for eleito, ento vou diminuir os impostos.. Se o poltico for eleito, os eleitores devem esperar que esse poltico diminua os impostos. No entanto, se o poltico no for eleito, os eleitores no tero nenhuma expectativa sobre o que tal poltico far com os impostos, mesmo que a pessoa tenha inuncia suciente para baix-los. Ser apenas quando o poltico for eleito, mas no baixar os impostos, que os eleitores podero dizer que o poltico quebrou sua promessa de campanha. Esse ltimo cenrio corresponde ao caso em que p verdadeira e q falsa em p q . Oposta: A proposio q p chamada de oposta de p q . Contrapositiva: A contrapositiva de p q a proposio q p. Inversa: A proposio p q chamada de inversa de p q . p V V F F q V F V F p F F V V q F V F V pq V F V V qp V V F V q p V F V V p q V V F V

Tabela 6: Tabela-verdade para a oposta, contrapositiva e inversa. Exemplo 6 Qual a contrapositiva, a oposta e a inversa da proposio condicional O time da casa ganha sempre que est chovendo.? Soluo: A proposio original pode ser escrita como Se est chovendo, ento o time da casa ganha.. Assim temos, Contrapositiva: Se o time da casa no ganha, ento no est chovendo."; Oposta: Se o time da casa ganha, ento est chovendo.; Inversa: Se no est chovendo, ento o time da casa no ganha.. Denio 7. Sejam p e q proposies. A proposio bicondicional p q a proposio p se e somente se q . A bicondicional p q verdadeira 4

sempre que p e q tm o mesmo valor-verdade, e falsa caso contrrio. Bicondicionais so tambm chamadas de bi-implicaes. A tabela-verdade para p q est representada na Tabela 7. Note que p q verdadeira, quando ambas as condicionais p q e q p so verdadeiras, e falsa, caso contrrio. p V V F F q V F V F pq V F F V

Tabela 7: Tabela-verdade para as sentenas bicondicionais. Tabelas-verdade para proposies compostas Podemos usar os conectivos lgicos (conjunes, disjunes, condicional e bicondicional) para construir proposies mais complicadas que envolvem qualquer nmero de variveis proposicionais. Exemplo 7 Construa a tabela-verdade da proposio composta (p q ) (p q ). Soluo: Tabela 8. p V V F F q V F V F q F V F V p q V V F V pq V F F F (p q ) (p q ) V F V F

Tabela 8: Tabela-verdade de (p q ) (p q ). Prioridade de operadores lgicos Vamos geralmente usar parnteses para especicar a ordem em que os operadores lgicos so aplicados em uma proposio composta. Por exemplo (pq )(r) a conjuno de pq e r. No entanto, para reduzir o nmero de parnteses, especicamos que a negao aplicada antes de qualquer outro operador. Isso signica que p q a conjuno de p e q , no a negao da conjuno de p e q . Outra regra geral de prioridade que a conjuno tem prioridade sobre a disjuno, ento p q r signica (p q ) r em vez de p (q r). A Tabela 9 mostra os nveis de prioridade dos operadores lgicos.

Operador

Prioridade 1 2 3 4 5

Tabela 9: Prioridade do operador lgico.

Lgicas e operaes bit

Um bit um smbolo com dois valores possveis, 0 (zero) e 1 (um). Podemos usar um bit 1 para representar o verdadeiro e um bit 0 para representar o falso. Uma computao chamada de operao bit corresponde aos conectivos lgicos, trocando verdadeiro por 1 e falso por 0 nas tabelas-verdade dos operadores , e . Denio 8. Uma sequncia binria uma sequncia de zero ou mais bits. O comprimento dessa sequncia o nmero de dgitos (bits) que ela contm. Exemplo 8 101010011 uma sequncia binria de comprimento nove.

Equivalncias Proposicionais

Denio 9. Uma proposio que sempre verdadeira, qualquer que sejam os valores-verdade das proposies que ocorrem nela, chamada de tautologia. Uma proposio composta que sempre falsa, qualquer que seja o valor-verdade das proposies que a compem, chamada de contradio. Uma proposio composta que no nem tautologia nem contradio chamada de contingncia. Na Tabela 10 temos exemplos de tautologia e contradio. p V F p F V p p V V p p F F

Tabela 10: Exemplos de uma tautologia e de uma contradio.

3.1

Equivalncias Lgicas

Denio 10. As proposies compostas p e q so chamadas de logicamente equivalentes se p q uma tautologia. A notao p q indica que p e q so logicamente equivalentes. 6

A Tabela 11 contm algumas equivalncias importantes. Nessas equivalncias, V indica uma proposio composta que sempre verdadeira, uma tautologia, e F indica uma proposio que sempre falsa, uma contradio. Equivalncias pV p pFp pV V pFF ppp ppp (p) p pq qp pq qp (p q ) r p (q r ) (p q ) r p (q r ) p (q r) (p q ) (p r) p (q r) (p q ) (p r) (p q ) p q (p q ) p q p (p q ) p p (p q ) p p p V p p F Nome Propriedades dos elementos neutros Propriedades de dominao Propriedades idempotentes Propriedade da dupla negao Propriedades comutativas Propriedades associativas Propriedades distributivas Leis de De Morgan Propriedades de absoro Propriedades da negao

Tabela 11: Equivalncias lgicas. Algumas equivalncias importantes que envolvem condicionais e bicondicionais so apresentadas nas Tabelas 12 e 13. p q p q p q q p p q p q p q (p q ) (p q ) p q (p q ) (p r) p (q r) (p r) (q r) (p q ) r (p q ) (p r) p (q r) (p r) (q r) (p q ) r Tabela 12: Equivalncias lgicas que envolvem sentenas condicionais. Exemplo 9 Mostre que (p q ) e p q so logicamente equivalentes. (p q ) (p q ) 7

p q (p q ) (q p) p q p q p q (p q ) (p q ) (p q ) p q Tabela 13: Equivalncias lgicas que envolvem sentenas bicondicionais. (p) q p q

3.2

Forma Normal Conjuntiva - FNC

Uma clusula disjuntiva uma frmula proposicional envolvendo apenas literais e o conectivo de disjuno, sem repetio de variveis proposicionais. Uma frmula proposicional est na forma normal conjuntiva (FNC) se a conjuno de clusulas disjuntivas, sendo que nenhuma delas est contida na outra. Por exemplo: r (p q r) (p q )

3.3

Forma Normal Disjuntiva - FND

Uma clusula conjuntiva uma frmula proposicional envolvendo apenas literais e o conectivo de conjuno, sem repetio de variveis proposicionais. Uma frmula proposicional est na forma normal disjuntiva (FND) se a disjuno de clusulas conjuntivas, sendo que nenhuma delas est contida na outra. Por exemplo: (p q r) (p q ) Dada uma frmula proposicional, como obter uma frmula equivalente na FND? 1. escreva a tabela-verdade da frmula f ; 2. escreva uma clusula conjuntiva para cada linha da tabela, cuja valorao das variveis d valor-verdade 1 para f , da seguinte forma: inclua as variveis que tm valor-verdade 1 na clusula; inclua a negao das variveis que tm valor-verdade 0; 3. a frmula equivalente a f na FND consiste na disjuno das clusulas conjuntivas obtidas no passo (2).

Por p 0 0 1 1

exemplo: q f 0 1 1 1 0 1 1 0

FND: (p q ) (p q ) (p q ).

Predicados e Quanticadores

Nesta seo vamos introduzir uma lgica mais poderosa chamada lgica de predicados.

4.1

Predicados

Sentenas que envolvem variveis, tais como x > 3 ou computador x est funcionando, so frequentemente encontradas na matemtica, em programas de computador e em sistemas de especicaes. Essas declaraes no so nem verdadeiras nem falsas quando o valor das variveis no especicado. A declarao x maior que 3 tem duas partes. A primeira, a varivel x, o sujeito da declarao. A segunda - o predicado, maior que 3 refere-se a uma propriedade que o sujeito pode ter. Podemos representar a declarao x maior que 3 por P (x), em que P indica o predicado maior que 3 e x a varivel. A declarao, ou armao, tambm chamada de o valor da funo proposicional P em x. Uma vez que um valor dado para a varivel x, a declarao P (x) torna-se uma proposio e tem um valor-verdade. Exemplo 10 Seja P (x) a declarao x > 3. Qual o valor-verdade de P (4) e P (2)? Soluo: Obtemos a proposio P (4) substituindo x = 4 na declarao x > 3. Ento, P (4), que a proposio 4 > 3 verdadeira. No entanto, P (2), que a proposio 2 > 3, falsa.

4.2

Quanticadores

Existe uma outra maneira chamada quanticao para criar proposies a partir de funes proposicionais. Em portugus, as palavras muitos, todos, alguns, nenhum e poucos so usadas em quanticaes. 4.2.1 Quanticador universal

Denio 11. A quanticao universal de P (x) a armao P(x) valida para todos os valores de x no domnio.

A notao xP (x) indica a quanticao universal de P (x). Lemos xP (x) como para todo x P (x). Um elemento para o qual P (x) falsa chamado de contra-exemplo para xP (x). O signicado do quanticador universal resumido na primeira linha da Tabela 14. Exemplo 11 Seja P (x) a declarao x + 1 > x. Qual o valor-verdade da quanticao xP (x), no domnio de todos os nmeros reais? Soluo: Como P (x) verdadeira para todo nmero real x, a quanticao xP (x) verdadeira. Sentena xP (x) xP (x) Quando verdadeira? P (x) verdadeira para todo x. Existe um tal x tal que P (x) verdadeira. Tabela 14: Quanticadores. Quando falsa? Existe um x tal que P (x) falsa. P (x) falsa para todo x.

4.2.2

Quanticador existencial

Denio 12. A quanticao existencial de P (x) a proposio Existe um elemento x no domnio tal que P (x). Usamos a notao xP (x) para a quanticao existencial de P (x). Aqui chamado de quanticador existencial. Um domnio deve sempre ser especicado quando uma proposio xP (x) usada. At mesmo porque seu signicado muda quando mudamos o domnio. Sem a especicao de um domnio, a expresso xP (x) no tem sentido. Exemplo 12 Seja P (x) a expresso x > 3. Qual o valor-verdade da quanticao xP (x) no domnio dos nmeros reais? Soluo: Como x > 3 verdadeira para alguns nmeros reais, por exemplo, x = 4, a quanticao existencial de P (x), que xP (x), verdadeira. 4.2.3 Quanticador de unicidade

O quanticador de unicidade indicado por ! ou 1 . A notao !xP (x) (ou 1 xP (x)) indica que Existe um nico x tal que P (x) verdadeira.

4.3

Prioridade dos quanticadores

Os quanticadores e tm prioridade maior que todos os operadores lgicos do clculo proposicional. Por exemplo, xP (x) Q(x) a disjuno de xP (x) e Q(x). Em outras palavras, ela signica (xP (x)) Q(x) em vez de x(P (x) Q(x)). 10

4.4

Negando expresses quanticadas

Considere a seguinte expresso: Todo estudante na sua classe teve aulas de clculo. Esta expresso uma quanticao universal da forma xP (x) em que P (x) a declarao x teve aulas de clculo e o domnio consiste de todos os estudantes da sua classe. A negao desta proposio No o caso de todos os alunos de sua classe terem feito aulas de clculo, ou seja, xP (x). Isso equivalente a Existe um estudante em sua classe que no teve aulas de clculo, ou seja, xP (x). Este exemplo ilustra a seguinte equivalncia lgica: xP (x) xP (x) Usando um raciocnio anlogo, tambm temos a seguinte equivalncia: xP (x) xP (x)

4.5

Quanticadores agrupados

Dois quanticadores so agrupados se um est no escopo do outro, tal como xy (x + y = 0) . Note que tudo que est no escopo de um quanticador pode ser considerado uma funo proposicional. Por exemplo, xy (x + y = 0) o mesmo que xQ(x), em que Q(x) yP (x, y ) e P (x, y ) x + y = 0.

4.6

Ordem dos quanticadores agrupados

importante notar que a ordem dos quanticadores precisa ser considerada, a no ser que todos os quanticadores sejam universais ou todos existenciais. Seja P (x, y ) a sentena x + y = y + x. Quais os valores-verdade das quanticaes xyP (x, y ) e y xP (x, y ), em que o domnio para as variveis consiste em todos os nmeros reais? A quanticao xyP (x, y ) indica a proposio Para todo nmero real x, para todo nmero real y , x + y = y + x. Como P (x, y ) verdadeira para todos os nmeros reais x e y , a proposio xyP (x, y ) verdadeira. Note que a sentena y xP (x, y ) diz Para todo nmero real y , para todo nmero real x, x + y = y + x. Isto tem o mesmo signicado de Para todo nmero real x, para todo nmero real y , x + y = y + x. Ou seja,xyP (x, y ) e y xP (x, y ) tm o mesmo signicado, e so ambas verdadeiras. Neste exemplo, a ordem dos quanticadores no importa. Agora vejamos outro exemplo. Seja Q(x) a sentena x + y = 0. Quais os valores-verdade das quanticaes y xQ(x, y ) e xyQ(x, y ), em que o domnio para as variveis consiste em todos os nmeros reais?

11

A quanticao y xQ(x, y ) indica a proposio Existe um nmero real y para todo nmero real x, Q(x, y ). Como no existe nmero real y tal que x + y = 0 para todo nmero real x, a sentena y xQ(x, y ) falsa. J a quanticao xyQ(x, y ) indica a proposio Para todo nmero real x existe um nmero real y tal que Q(x, y ). Dado um nmero real x, existe um nmero real y tal que x + y = 0; isto , y = x. Portanto, xyQ(x, y ) verdadeira. Neste exemplo, a ordem dos quanticadores deve ser considerada.

Teoremas, axiomas e inferncia lgica

Um teorema uma sentena que pode ser mostrada ser verdadeira. Uma prova uma sequncia de armaes que formam um argumento para demonstrar a veracidade de um teorema. Axiomas ou postulados so armaes sobre estruturas matemticas, que so consideradas verdadeiras e usadas como hipteses na prova de outros teoremas. Regras de inferncia so mecanismos para se obter concluses sobre outras assertivas, que juntas formam os passos de uma prova.

5.1

Regras de inferncia

A tautologia (p (p q )) q a base da regra de inferncia chmada de modus ponens. Essa tautologia nos leva seguinte forma de argumento vlida: p pq q onde o smbolo para indicar portanto. Exemplo 13 Suponha que a sentena condicional Se nevar hoje, ento eu vou esquiar e sua hiptese Est nevando hoje so verdadeiras. Ento, por modus ponens, segue que a concluso do condicional Vou esquiar verdadeira. A Tabela 15 lista as mais importantes regras de inferncia para a lgica proposicional. 5.1.1 Usando regras de inferncia para construir argumentos

Quando existem muitas premissas, muitas regras de inferncia so frequentemente necessrias para mostrar que um argumento vlido. Exemplo 14 Mostre que as hipteses No est ensolarada esta tarde e est mais frio que ontem, Vamos nadar somente se estiver ensolarado, Se no formos nadar, ento vamos fazer um passeio de barco e Se zermos 12

Regra p pq q q pq p p pq pq p pq qr pr pq p q p q pq pq p r qr

Tautologia

Nome

[p (p q )] q

Modus ponens

[q (p q )] p p (p q ) (p q ) p

Modus tollens Adio Simplicao

[(p q ) (q r)] (p r)

Silogismo hipottico

[(p q ) p] q

Silogismo disjuntivo

[(p) (q )] (p q )

Conjuno

[(p q ) (p r)] (q r)

Resoluo

Tabela 15: Regras de inferncia. um passeio de barco, ento estaremos em casa ao anoitecer nos levam concluso Estaremos em casa ao anoitecer. Soluo: Seja p a proposio Est ensolarada esta tarde, q a proposio Est mais frio que ontem, r a proposio Vamos nadar, s a proposio Vamos fazer um passeio de barco e t a proposio Estaremos em casa ao anoitecer. Ento as hipteses se tornam p q , r p, r s, e s t e a concluso t. Construimos um argumento para mostrar que nossas hipteses nos levam concluso como se segue. (1) p q Hiptese (2) p Simplicao usando (1) (3) r p Hiptese (4) r Modus tollens usando (2) e (3) (5) r s Hiptese (6) s Modus ponens usando (4) e (5) (7) s t Hiptese (8) t Modus ponens usando (6) e (7) 13

5.2

Resoluo

((p q ) (p r)) (q r) A resoluo pode ser usada para mostrar que as hipteses Jasmim est esquiando ou no est nevando e Est nevando ou Jos est jogando futebol implica que Jasmim est esquiando ou Jos est jogando futebol. Seja p a proposio Est nevando, q a proposio Jasmim est esquiando, e r a proposio Jos est jogando futebol. Podemos representar as hipteses por p q e p r, respectivamente. Usando a resoluo, a proposio q r, Jasmim est esquiando ou Jos est jogando futebol, pode ser concluda.

5.3

Falcias

Falcia um tipo de raciocnio incorreto que leva a concluses erradas. A proposio [(p q ) q ] p no uma tautologia, pois falsa quando p falsa e q verdadeira. Exemplo 15 O seguinte argumento vlido? Se zer todos os exerccios do livro, ento voc ter aprendido matemtica discreta. Voc aprendeu matemtica discreta. Portanto, voc fez todos os exerccios do livro. Soluo: Seja p a proposio Voc fez todos os exerccios do livro. Seja q a proposio Voc aprendeu matemtica discreta. Ento este argumento da forma: se p q e q , ento p. Esse um exemplo de um argumento incorreto que usa a falcia da armao da concluso. Pois possvel voc aprender matemtica discreta de maneira diferente sem ter de fazer todos os exerccios do livro. A proposio [(p q ) p] q no uma tautologia, pois falsa quando p falsa e q verdadeira. Exemplo 16 Sejam p e q as proposies do Exemplo 15. Se a sentena condicional p q verdadeira, e p verdadeira, correto concluir que q verdadeira? Em outras palavras, correto assumir que voc no aprende matemtica discreta se voc no zer todos os exerccios do livro, assumindo que se voc resolver todos os problemas do livro, ento voc ter aprendido matemtica discreta? Soluo: possvel que voc aprenda matemtica discreta mesmo que voc no faa todos os exerccios do livro. Esse argumento incorreto da forma p q e p implica q , que um exemplo de falcia de negao das hipteses.

5.4

Regras de Inferncia para sentenas quanticadas

Algumas regras importantes de inferncia para sentenas que envolvem quanticadores so resumidas na Tabela 16. 14

Regra de Inferncia xP (x) P (c) P (c) para c arbitrrio xP (x) xP (x) P (c) para algum c P (c) para algum c xP (x)

Nome Instanciao universal Generalizao universal Instanciao existencial Generalizao existencial

Tabela 16: Regras de inferncia para sentenas quanticadas. Exemplo 17 Mostre que as premissas Todos os alunos da classe de matemtica discreta esto tendo um curso de cincia da computao e Maria estudante dessa classe implica a concluso Maria est frequentando um curso de cincia da computao. Soluo: Seja D(x) a sentena x est na classe de matemtica discreta e seja C (x) a sentena x est frequentando um curso de cincia da computao. Ento as premissas so x(D(x) C (x)) e D(Maria). E a concluso C (Maria). Os seguintes passos podem ser utilizados para estabelecer a concluso a partir das premissas: Passo Razo (1) x(D(x) C (x)) Pemissa (2) D(Maria) C (Maria) Instanciao universal de (1) (3) D(Maria) Premissa (4) C (Maria) Modus ponens a partir de (2) e (3) Exemplo 18 Mostre que as premissas Um estudante desta classe no tem lido o livro e Todos nesta classe passaram no primeiro exame implica a concluso Algum passou no primeiro exame sem ter lido o livro. Soluo: Sejam C (x) a sentena x est nesta classe, B (x) a sentena x no tem lido o livro e P (x) a sentena x passou no primeiro exame. As premissas so x(C (x) B (x)) e x(C (x) P (x)). A concluso x(P (x) B (x)). Estes passos podem ser utilizados para estabelecer a concluso a partir das premissas.

15

(1) (2) (3) (4) (5) (6) (7) (8) (9)

Passo x(C (x) B (x)) C (a) B (a) C (a) x(C (x) P (x)f ) C (a) P (a) P (a) B (a) P (a) B (a) x(P (x) B (x))

Razo Premissa Instanciao existencial a partir de (1) Simplicao a partir de (2) Premissa Instanciao universal a partir de (4) Modum ponens a partir de (3) e (5) Simplicao a partir de (2) Conjuno a partir de (6) e (7) Generalizao existencial a partir de (8)

5.5

Combinando regras de inferncia para proposies e sentenas quanticadas.

Modus ponens universal: x(P (x) Q(x)) P (a), para algum a Q(a) Modus tolens universal: x(P (x) Q(x)) Q(a), para algum a P (a)

Referncias
[1] Rosen, K. H., Discrete Mathematics and Its Applications, MacGrawHill, New York, 6th Edition, 2007.

16