Você está na página 1de 15

Tpicos o

Introduo ` Lgica ca a o
Edna A. Hoshino
2

Lgica Proposicional o Proposies e conectivos co Tabela-Verdade Equivalncias Proposicionais e Formas Normais Exerc cios Lgica de Predicados o Variveis e Predicados a Quanticadores Exerc cios Inferncia lgica e o Regras de Inferncia e Construo de Argumentos Vlidos ca a Regras de Inferncia para predicados e quanticadores e Exerc cios
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 2 / 59

DCT - UFMS
fevereiro de 2011
3

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

1 / 59

Lgica Proposicional o

Proposioes e conectivos c

Lgica Proposicional o

Proposioes e conectivos c

Denies co
Proposio ca uma sentena que pode ser verdadeira ou falsa (nunca ambos) E c Exemplo de proposio verdadeira ca 1+1=2. Exemplo de proposio falsa ca So Paulo a capital do Brasil. a e Exemplos que no so proposies a a co Que horas so? a Leia isso cuidadosamente. Proposies so usualmente denotadas por letras minsculas como p e q. co a u
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 3 / 59

Conectivos
Conectivo de negao (p) ca a E usado para inverter o valor de uma proposio. L-se no p. ca e Exemplos de uso p : Hoje sexta-feira. e q : Todo homem mortal. e r : Existem pessoas inseguras. p : Hoje no sexta-feira. a e q : No verdade que todo homem mortal. a e e q : Nem todo homem mortal. e q : Existem homens imortais. r ?

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

4 / 59

Lgica Proposicional o

Proposioes e conectivos c

Lgica Proposicional o

Proposioes e conectivos c

Conectivos (cont.)
Conjuno (p q) ca Ambas as proposies devem ser verdadeiras para que a proposio co ca composta seja verdadeira. L-se p e q. e Exemplo p : Hoje sexta-feira. e q : Est chovendo. a p q : Hoje sexta-feira e est chovendo. e a Vamos analisar o valor da proposio p q. Se hoje no for sexta-feira ca a ento p q falsa. Caso contrrio, suponha que, embora hoje seja a e a sexta-feira, no esteja chovendo. Logo, p q tambm ser falsa. a e a

Conectivos (cont.)
Disjuno (p q) ca Pelo menos, uma das proposies deve ser verdadeira para que a co proposio composta seja verdadeira. L-se p ou q. ca e Exemplo p : Hoje sexta-feira. e q : Est chovendo. a p q : Hoje sexta-feira ou est chovendo. e a Vamos analisar o valor da proposio p q. Se hoje no for sexta-feira ca a ento no podemos armar que p q falsa. Agora suponha que, embora a a e hoje no seja sexta-feira, esteja chovendo. Logo, p q ser verdadeira. a a

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

5 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

6 / 59

Lgica Proposicional o

Proposioes e conectivos c

Lgica Proposicional o

Proposioes e conectivos c

Conectivos (cont.)
Implicao (p q) ca E a proposio que falsa sempre que p for verdadeira mas q for falsa e, ca e nos demais casos verdadeira. p dito hiptese (premissa) e q e e o e concluso (conseqncia). L-se p implica q. a ue e Exemplo p : Hoje sexta-feira. e q : Est chovendo. a p q : Hoje sexta-feira implica que est chovendo. e a Vamos analisar o valor da proposio p q. Suponha que hoje seja ca sexta-feira mas no esteja chovendo. Neste caso, p no implica em que q, a a portanto, p q falsa. Os demais casos, no so to intuitivos. Veja: se e a a a hoje no for sexta-feira, no importa se esteja ou no chovendo, a a a a proposio p q verdadeira. ca e
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 7 / 59

Conectivos (cont.)
Outro exemplo de implicao ca p : O cho est molhado. a a q : Est chovendo. a p q : O cho est molhado implica que est chovendo. a a a Vamos analisar o valor da proposio p q. Se o cho no estiver ca a a molhado ento no importa se esteja ou no chovendo, p q ser a a a a verdadeira. Agora, poss da proposio p q ser falsa? Sim! E e vel ca poss que o cho esteja molhado mas no esteja chovendo! Por outro vel a a lado, a proposio q p sempre verdadeira! ca e Outras formas de se expressar a implicao: ca Se p ento q. Ou ainda, Se p e q. a p somente se q p suciente para q (ou ainda, q necessrio para p). e e a
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 8 / 59

Lgica Proposicional o

Proposioes e conectivos c

Lgica Proposicional o

Proposioes e conectivos c

Conectivos (cont.)
Biimplicao ou equivalncia (p q) ca e E a proposio que verdadeira se p e q tiverem os mesmos valores e ca e e falsa, em caso contrrio. L-se p se e somente se q. a e Exemplo p : O cho est molhado. a a q : Est chovendo. a p q : O cho est molhado se e somente se est chovendo. a a a Outras formas de se expressar a biimplicao: ca p necessrio e suciente para q. e a Se p ento q e vice-versa. a

Ordem de Precedncia dos Conectivos e


Ordem de Precedncia e () parnteses internos e negao ca conjuno ca disjuno ca implicao ca

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

9 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

10 / 59

Lgica Proposicional o

Tabela-Verdade

Lgica Proposicional o

Tabela-Verdade

Denio ca
Tabela-verdade E uma forma organizada de mostrar o relacionamento entre os valores das proposies. Cada linha mostra uma combinao poss de valores das co ca vel proposies e cada coluna refere-se a uma proposio. co ca p V F p F V

Tabela-Verdade (cont.)
p V V F F q V F V F pq V F F F

Tabela 2: Tabela-Verdade da Conjuno ca

Tabela 1: Tabela-Verdade da Negao ca

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

11 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

12 / 59

Lgica Proposicional o

Tabela-Verdade

Lgica Proposicional o

Tabela-Verdade

Tabela-Verdade (cont.)
p V V F F q V F V F pq V V V F

Tabela-Verdade (cont.)
p V V F F q V F V F pq V F V V

Tabela 3: Tabela-Verdade da Disjuno ca

Tabela 4: Tabela-Verdade da Implicao ca

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

13 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

14 / 59

Lgica Proposicional o

Tabela-Verdade

Lgica Proposicional o

Tabela-Verdade

Tabela-Verdade (cont.)
p V V F F q V F V F pq V F F V

Inversa da implicao e Contrapositiva ca


Oposto da Implicao ca q p o oposto da implicao p q. e ca Inversa da Implicao ca p q a inversa da implicao p q. e ca Contrapositiva q p a contrapositiva de p q. e D a tabela-verdade do oposto, da inversa e da contrapositiva. Compare e com a tabela-verdade da implicao. ca

Tabela 5: Tabela-Verdade da Biimplicao ca

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

15 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

16 / 59

Lgica Proposicional o

Equivalncias Proposicionais e

Lgica Proposicional o

Equivalncias Proposicionais e

Tautologia, contradio e equivalncia lgica ca e o


Tautologia e contradio ca Tautologia uma proposio composta que sempre verdade, no e ca e a ca importando os valores das proposies contidas nela. J uma contradio co a aquela que sempre falsa. e e Equivalncias Lgicas (p q) e o L-se p e q so logicamente equivalentes. p q se p e q tm os mesmos e a e valores, ou seja, se p q uma tautologia. e Exemplos (p q) (p q). p p uma tautologia. e p p uma contradio. e ca

Exemplos de equivalncias lgicas e o


equivalncia e pT p pF p pT T pF F pp p pp p (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 p) p q
E. Hoshino (DCT-UFMS)

nome leis da identidade leis da dominncia a leis da idempotncia e leis da dupla negao ca leis comutativa leis da associatividade leis da distributiva leis de De Morgan
Lgica o fevereiro de 2011 18 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

17 / 59

Lgica Proposicional o

Formas Normais

Lgica Proposicional o

Formas Normais

Forma Normal Conjuntiva


Literal Um literal uma varivel proposicional ou a negao de uma delas. e a ca Clusula Disjuntiva a E uma frmula proposicional envolvendo apenas literais e o conectivo de o disjuno, sem repetio de variveis proposicionais. ca ca a Forma Normal Conjuntiva Uma frmula proposicional est na forma normal conjuntiva (FNC) se a o a e conjuno de clusulas disjuntivas, sendo que nenhuma delas est contida ca a a na outra. Exemplo de FNC r (p q r ) (p q)
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 19 / 59

Forma Normal Disjuntiva


Clusula Conjuntiva a uma frmula proposicional envolvendo apenas literais e o conectivo de E o conjuno, sem repetio de variveis proposicionais. ca ca a Forma Normal Disjuntiva Uma frmula proposicional est na forma normal disjuntiva (FND) se a o a e disjuno de clusulas conjuntivas, sendo que nenhuma delas est contida ca a a na outra. Exemplo de FND (p q r ) (p q) Dada uma frmula proposicional, como obter uma frmula equivalente na o o FND?
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 20 / 59

Lgica Proposicional o

Formas Normais

Lgica Proposicional o

Formas Normais

Tranformando em Forma Normal Disjuntiva


1 2

Tranformando em Forma Normal Conjuntiva


1 2

escreva a tabela-verdade da frmula f ; o escreva uma clusula conjuntiva para cada linha da tabela, cuja a valorao das variveis d valor-verdade 1 para f , da seguinte forma: ca a a
inclua as variveis que tm valor-verdade 1 na clusula; a e a inclua a negao das variveis que tm valor-verdade 0; ca a e

escreva a tabela-verdade da frmula f ; o escreva uma clusula disjuntiva para cada linha da tabela, cuja a valorao das variveis d valor-verdade 0 para f , da seguinte forma: ca a a
inclua as variveis que tm valor-verdade 0 na clusula; a e a inclua a negao das variveis que tm valor-verdade 1; ca a e

a frmula equivalente a f na FND consiste na disjuno das clusulas o ca a conjuntivas obtidas no passo (2).

a frmula equivalente a f na FND consiste na conjuno das o ca clusulas disjuntivas obtidas no passo (2). a

Exemplo p 0 0 1 1 q 0 1 0 1 f 1 1 1 0

Exemplo p 0 0 1 1 q 0 1 0 1 f 1 1 1 0

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

FNC: p q.

Alternativamente, pode-se obter a FND aplicando as leis de equivalncia. e


E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 21 / 59

Alternativamente, pode-se obter a FNC aplicando as leis de equivalncia. e


E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 22 / 59

Lgica Proposicional o

Formas Normais

Lgica Proposicional o

Exerc cios

Coleo funcionalmente completa ca


Funcionalmente completa E uma coleo de operadores lgicos (conectivos) na qual qualquer ca o proposio possui uma proposio equivalente envolvendo apenas estes ca ca operadores. , e formam uma coleo funcionalmente completa. ca Mostre que e tambm formam uma coleo funcionalmente completa. e ca Mostre que e tambm formam uma coleo funcionalmente completa. e ca

Exerc cios
1

Escreva as sentenas a seguir em linguagem simblica, usando c o sentenas atmicas e conectivos: c o


1

2 3 4 5 6 2

Se Antnio est feliz ento a esposa de Antnio no est feliz e se o a a o a a Antnio no est feliz ento a esposa do Antnio no est feliz. o a a a o a a Tereza vai ao cinema somente se o lme for uma comdia. e Ou Capitu ou no a criao mais notvel de Machado de Assis. e a e ca a No verdade que Machado de Assis escreveu ou no escreveu poesias. a e a Uma condio suciente para x ser ca mpar x ser primo. e Ou x positivo ou x negativo, nunca ambos. e e

Determine se a sentena uma tautologia, contradio ou c e ca contigncia: e


1 2

(p q) (p q); (a b) (a b) b; Se nevar hoje, irei esquiar amanh. a Irei ` aula se brincadeiras estiverem programadas. a Um inteiro positivo primo somente se ele no tiver divisores diferentes e a que 1 e ele mesmo.
Lgica o fevereiro de 2011 24 / 59

D a contrapositiva de cada uma das seguintes implicaes: e co


1 2 3

Mostre que o operador NOR funcionalmente completo. p NOR q e e verdadeiro se e somente se ambos p e q forem falsos.
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 23 / 59

E. Hoshino (DCT-UFMS)

Lgica Proposicional o

Exerc cios

Lgica Proposicional o

Exerc cios

Exerc cios
4

Exerc cios
6

Mostre que cada uma das seguintes implicaes uma tautologia co e usando tabela-verdade:
1 2 3 4

[p (p q)] q; [(p q) (q r )] (p r ); [p (p q)] q; [(p q) (p r ) (q r )] r .


7

Para cada uma das proposies use identidades para encontrar co proposies equivalentes com somente e e que sejam as mais co simples poss veis:
1 2 3

p q r ; p [(q r ) p]; p (q p).

Mostre usando tabela-verdade as leis de equivalncia lgica. e o

Para cada uma das proposies use identidades para encontrar co proposies equivalentes com somente e e que sejam as mais co simples poss veis:
1 2 3

(p q) p; [p (q r )] p q; p q (r p).

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

25 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

26 / 59

Lgica Proposicional o

Exerc cios

Lgica Proposicional o

Exerc cios

Exerc cios
8

Exerc cios
10

Mostre as seguintes tautologias, simplicando o lado esquerdo para a forma do lado direito usando identidades:
1 2 3

[(p q) p) T ; ((p q) p) F ; [(p p) (p p)] F .

Um conjunto de proposies consistente se existir uma associao co e ca de valores para suas variveis que torna cada uma das proposies do a co conjunto verdadeira. Verique se as seguintes proposies formam um co sistema consistente:
1

O operador nand (|) denido pela seguinte tabela-verdade: e p q p|q 0 0 1 0 1 1 1 0 1 1 1 0 Mostre que:
1 2 3 4

p|p p; p|q (p q); (p|p)|(q|q) p q; (p|q)|(p|q) p q.


Lgica o fevereiro de 2011 27 / 59

O sistema est no estado multiusurio se e somente se ele est a a a operando normalmente. Se o sistema est operando normalmente, o a kernel est funcionando. O kernel no est funcionando ou o sistema a a a est no modo de interrupo. Se o sistema no est no estado a ca a a multiusrio ento ele est no modo de interrupo. O sistema no est a a a ca a a no modo de interrupo. ca Se o sistema de arquivos no est bloqueado ento novas mensagens a a a sero enleiradas. Se o sistema de arquivos no est bloqueado, ento a a a a o sistema est funcionando normalmente e vice-versa. Se novas a mensagens no esto sendo enleiradas ento eles sero enviados para a a a a o buer de mensagens. Se o sistema no est bloqueado ento novas a a a mensagens sero enviadas para o buer de mensagens. Novas a mensagens no sero enviadas para o buer de mensagens. a a
Lgica o fevereiro de 2011 28 / 59

E. Hoshino (DCT-UFMS)

E. Hoshino (DCT-UFMS)

Lgica de Predicados o

Variveis e Predicados a

Lgica de Predicados o

Quanticadores

Variveis e Predicados a
Predicado (P(x)) a E uma propriedade sobre uma varivel x e, portanto, tem um valor verdadeiro ou falso quando um valor associado ` varivel. P(x) tambm e a a e conhecido como o valor da funo proposicional P em x. e ca Exemplo Considere P(x) denotando a sentena x > 3. Portanto, P(2) falso e c e P(4) verdadeiro. e Um predicado pode envolver mais de uma varivel. Por exemplo, um a predicado Q(x, y , z) pode denotar a sentena x = y + z. c

Universo do Dom e Quanticadores nio


Universo do Dom (do discurso) nio E o dom das variveis. nio a Quanticadores So expresses usadas nas sentenas para especicar a que elementos do a o c universo do dom o predicado se aplica. . nio Quanticador Universal (xP(x)) E usado para especicar que o predicado se aplica a todos os elementos do dom nio. L-se para todo x vale P(x). e Quanticador Existencial (xP(x)) E usado para especicar que o predicado se aplica a algum elemento do dom nio. L-se existe algum x tal que P(x). e

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

29 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

30 / 59

Lgica de Predicados o

Quanticadores

Lgica de Predicados o

Quanticadores

Universo do Dom e Quanticadores (cont.) nio


Exemplos Considere que: P(x) denota x estudou Clculo; a o universo do discurso consista de todos os estudantes de FTC. xP(x) equivale a todo estudante de FTC estudou Clculo. a xP(x) equivale a algum estudante de FTC estudou Clculo. a Se S(x) denota x estuda FTC; o universo do discurso consista de todos os estudantes. x(S(x) P(x)) equivale a todo estudante de FTC estudou Clculo. a

Universo do Dom e Quanticadores (cont.) nio


Exemplos Considere que: P(x) denota x > 2; o universo do discurso consista de todos os nmeros inteiros. u xP(x) falso, uma vez que existem inteiros para os quais P(x) falso. e e Portanto, xP(x) verdadeiro. e

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

31 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

32 / 59

Lgica de Predicados o

Quanticadores

Lgica de Predicados o

Exerc cios

Outros Quanticadores
Quanticador de Unicidade (!xP(x)) E usado para especicar que o predicado se aplica a exatamente um unico elemento do dom nio. L-se existe um unico x tal que P(x). e Exemplo Considere que: P(x, y ) denota x.y = x; o universo do discurso consista de todos os nmeros inteiros. u !y xP(x, y ) verdadeiro, uma vez que 1 o unico elemento neutro da e e multiplicao. ca O quanticador de unicidade pode ser substitu por outros do quanticadores e pelo uso de lgica proposicional (veja exerc o cios!).
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 33 / 59

Exerc cios
1

Expresse cada uma das sentenas como uma expresso lgica, c a o considerando o universo do discurso, o conjunto de todas as pessoas, e usando os predicados indicados:
1

Toda pessoa tem exatamente um melhor amigo.


B(x, y ) : y o melhor amigo de x. e

Se uma pessoa do sexo feminino e tem lhos ento esta pessoa e a e me de algum. a e
F (x): x do sexo feminino; e P(x) : x tem lhos; M(x, y ) : y me de x. e a

(ordem dos quanticadores) Qual o valor de cada uma das sentenas c se o universo do discurso o conjunto dos inteiros e Q(x, y ) denota e x + y = 0?
1 2

xyQ(x, y ); y xQ(x, y ). xP(x); xP(x).


Lgica o fevereiro de 2011 34 / 59

(negando quanticadores) Escreva sentenas equivalentes a: c


1 2

E. Hoshino (DCT-UFMS)

Lgica de Predicados o

Exerc cios

Lgica de Predicados o

Exerc cios

Exerc cios
4

Exerc cios
6

Determine quais das seguintes proposies so verdadeiras se o co a universo do dom so os inteiros e . denota a operao de nio a ca multiplicao: ca
1 2 3 4

Coloque os seguintes em notao lgica. Escolha predicados de modo ca o que cada assertiva tenha pelo menos um quanticador:
1 2 3 4

xy [x.y xy [x.y y x[x.y y x[x.y

= 0]; = 1]; = 1]; = x].


7

Considere Z o universo do discurso e P(x, y , z), E (x, y ) e G (x, y ) denotando xy = z, x = y e x > y , respectivamente. Transcreva cada uma das proposies em notao de lgica: co ca o
1 2 3 4 5 6 7 8

Existe um e apenas um nmero primo par. u Nenhum nmero u mpar par. e Todo trem mais rpido que alguns carros. e a Alguns carros so mais lentos que todos os trens mas pelo menos um a trem mais rpido que todo carro. e a

Qual o valor lgico de cada uma das proposies se Z o universo do o co e discurso?


1 2 3 4 5 6

Se y = 1 ento xy = x para qualquer x. a Se xy = 0 ento x = 0 e y = 0. a Se xy = 0 ento x = 0 ou y = 0. a 3x = 6 se e somente se x = 2. No existe soluo para x 2 = y a menos que y 0. a ca No pode acontecer x = y e x < y . a Se x < y ento para algum z tal que z < 0, xz > yz. a Existe um x tal que para todo y e z, xy = xz.
Lgica o fevereiro de 2011 35 / 59

xy (x + y = x); xy (x + y = 0); y x(x + y = x); y x(x + y = 0); x[x < 0 y (y > 0 x + y = 0)]; xy (x 2 = y ).

E. Hoshino (DCT-UFMS)

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

36 / 59

Lgica de Predicados o

Exerc cios

Inferncia lgica e o

Regras de Inferncia e

Exerc cios
8

Teoremas, axiomas e Inferncia lgica e o


Teorema E uma sentena que pode ser mostrada ser verdadeira. c Prova E uma seqncia de armaes que formam um argumento para ue co demonstrar a veracidade de um teorema. Axiomas ou postulados So armaes sobre estruturas matemticas, que so consideradas a co a a verdadeiras e usadas como hipteses na prova de outros teoremas. o Regras de inferncia e Mecanismos para se obter concluses sobre outras assertivas, que juntas o formam os passos de uma prova.

Qual o valor-verdade das seguintes sentenas? c


1 2 3

!xP(x) xP(x); xP(x) !xP(x); !xP(x) xP(x);

Escreva !xP(x), cujo universo do dom consiste dos inteiros 1,2 e nio 3, usando apenas os quanticadores existenciais, universais e conectivos de negao, conjuno e disjuno. ca ca ca Faa o mesmo que no exerc anterior, mas desta vez considerando c cio o universo do dom sendo o conjunto dos inteiros. nio

10

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

37 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

38 / 59

Inferncia lgica e o

Regras de Inferncia e

Inferncia lgica e o

Regras de Inferncia e

Regras de Inferncia e
Modus Pones E a base das regras de inferncia e dada pela tautologia e (p (p q)) q. Dada uma implicao, se ela e sua hiptese so verdadeiras ento sua ca o a a conseqncia tambm o . ue e e E escrita na forma p pq q

Outras Regras de Inferncia e


regra p pq pq p q pq p pq qr pr pq p q tautologia p (p q) (p q) p nome adio ca simplicao ca

[q (p q)] p

modus tollens

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

silogismo hipottico e

[(p q) p] q

silogismo disjuntivo

Demonstre a validade das regras!


E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 39 / 59 E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 40 / 59

Inferncia lgica e o

Regras de Inferncia e

Inferncia lgica e o

Regras de Inferncia e

Mais regras de inferncia e


regra p q pq pq p r qr tautologia [(p) (q)] (p q) nome conjuno ca

Exemplos
Qual das regras de inferncia usada no seguinte argumento? e e Se chover hoje ento no teremos churrasco hoje. Se no tiver churrasco a a a hoje ento teremos churrasco amanh. Portanto, se chover hoje ento a a a teremos churrasco amanh. a Um argumento constru usando regras de inferncia dito ser do e e vlido. a Quando todas as proposies usadas em um argumento so co a verdadeiras, obtm-se uma concluso correta. e a Note que um argumento vlido pode levar a concluses incorretas se a o uma ou mais proposies falsas so usadas no argumento ! co a Exemplo de argumento vlido e concluso incorreta a a Se 101 div por 3 ento 1012 divis por 9. 101 divis por 3. e sel a e vel e vel Consequentemente, 1012 divis por 9. e vel

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

resoluo ca

Exemplique as regras!

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

41 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

42 / 59

Inferncia lgica e o

Regras de Inferncia e

Inferncia lgica e o

Construao de Argumentos Vlidos c a

Falcias a
Falcia a um tipo de racioc incorreto que leva a concluses erradas. E nio o Exemplo Se voc resolver todos os exerc e cios do livro-texto ento voc aprender a e a matemtica discreta. Voc aprendeu matemtica discreta. Portanto, voc a e a e resolveu todos os exerc cios do livro-texto. O exemplo acima trata-se de um erro comum ao usar a proposio ca [(p q) q] p como uma tautologia!

Usando regras de inferncias e


Deduo (P1 , P2 , . . . , Pn P) ca Regras de inferncias podem ser aplicadas para construir um argumento e vlido para a concluso P a partir das hipteses P1 , P2 , . . . , Pn . a a o Equivale a provar que P1 P2 . . . Pn P. Isso feito construindo-se uma seqncia de argumentos, A1 , A2 , . . . , Ak , e ue onde: cada Ai
ou um argumento da hiptese; e o ou o resultado da aplicao de alguma regra de inferncia ou e ca e identidade em A1 , . . . , Ai 1 ;

e Ak = P.
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 43 / 59

P chamado conseqncia lgica. eE. Hoshino (DCT-UFMS) ue o

Lgica o

fevereiro de 2011

44 / 59

Inferncia lgica e o

Construao de Argumentos Vlidos c a

Inferncia lgica e o

Construao de Argumentos Vlidos c a

Usando regras de inferncias e


Exemplo 1 (F A) M, M P, P A. (1) (2) (3) (4) (5) (6) (7) (F A) M MP (F A) P P (F A) F A A hiptese o hiptese o silogismo em (1) e (2) hiptese o modus tollens em (3) e (4) lei de Morgan em (5) simplicao em (6) ca

Usando regras de inferncias e


Exemplo 2 Mostre que as hipteses No est ensolarado hoje ` tarde e est mais frio o a a a a que ontem, Iremos nadar somente se estiver ensolarado, Se no a formos nadar, ento pegaremos uma canoa e se pegarmos uma canoa a ento caremos em casa at o pr-do-sol levam ` concluso Ficaremos a e o a a em casa at o pr-do-sol. e o Soluo ca Considere p: est ensolarado hoje ` tarde; a a q: est mais frio que ontem; a r : iremos nadar; s: pegaremos uma canoa; t: caremos em casa at o pr-do-sol. e o

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

45 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

46 / 59

Inferncia lgica e o

Construao de Argumentos Vlidos c a

Inferncia lgica e o

Construao de Argumentos Vlidos c a

Usando regras de inferncias e


Queremos argumento vlido para a p q, r p, r s, s t t. (1) (2) (3) (4) (5) (6) (7) (8) p q p r p r r s s st t hiptese o simplicao de (1) ca hiptese o modus tollens usando (2) e (3) hiptese o modus ponens usando (4) e (5) hiptese o modus ponens usando (6) e (7)

Exerc cios
1

Para cada conjunto de hipteses dados, decida se poss chegar a o e vel alguma concluso e, nesse caso, descreva-a. Justique sua resposta. a
1 2 3

Ou estou gorda ou magra. Com certeza eu no estou magra. a Se eu correr co sem flego. Eu no estou sem flego. o a o Cu azul me deixa feliz e cu nublado me deixa triste. O cu est azul e e e a ou nublado. Se meu programa funciona, eu estou feliz. Se eu estou feliz, o sol brilha. So 11 horas da noite e est muito escuro. a a

Justique cada passo na seqncia de demonstrao da proposio: ue ca ca [A (B C )] B C A


1 2 3 4 5

Um meio alternativo de mostrar que uma implicao vlida usando ca e a e tabela-verdade. No exemplo, a tabela-verdade teria 32 linhas !
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 47 / 59

A (B C ) B C B C (B C ) A.
Lgica o fevereiro de 2011 48 / 59

E. Hoshino (DCT-UFMS)

Inferncia lgica e o

Construao de Argumentos Vlidos c a

Inferncia lgica e o

Construao de Argumentos Vlidos c a

Exerc cios
3

Exerc cios
5

Prove que cada uma das proposies vlida: co e a


1 2 3 4

A (B A) B; (A B) [A (B C )] (A C ); A (A B) B; [A (B C )] (A D) B (D C );

Use lgica proposicional para provar que o argumento do advogado de o defesa enunciado no in do curso vlido. cio e a

Formule os seguintes argumentos na notao de lgica de predicados ca o e fornea uma demonstrao da validade de sua concluso: c ca a
Se o programa eciente ento ele executa rapidamente. Ou o e a programa eciente ou ele tem algum bug. No entanto, o programa e no executa rapidamente. Logo, ele tem um bug. a Se Jos levou as jias ou a Sra Krasov mentiu ento foi cometido um e o a crime. O Sr. Krasov no estava na cidade. Se um crime foi cometido, a ento o Sr. Krasov estava na cidade. Portanto, Jos no levou as jias. a e a o No verdade que, se as tarifas de energia eltrica subirem, ento o a e e a uso diminuir, nem verdade que ou novas usinas sero constru a e a das ou as contas no sero pagas com atraso. Portanto, o uso no vai a a a diminuir e as contas sero pagas com atraso. a
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 49 / 59

Problema de Lgica o Voc foi convocado a participar do jri em um processo criminal. O e u advogado de defesa apresentou o seguinte argumento: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no a estava na gaveta ou Jason Pritchard viu a faca. Se a faca no estava l no a a dia 10 de outubro, segue que Jason Pritchard no viu a faca. Alm disso, a e se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o a a martelo estava no celeiro. Mas todos sabemos que o martelo no estava a no celeiro. Portanto, senhoras e senhores do jri, meu cliente inocente. u e

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

50 / 59

Inferncia lgica e o

Regras de Inferncia para predicados e quanticadores e

Inferncia lgica e o

Regras de Inferncia para predicados e quanticadores e

Regras de Inferncia para predicados e quanticadores e


instanciao universal: ca xP(x) P(c) generalizao universal: ca P(c) para c arbitrrio a xP(x) instanciao existencial: ca xP(x) P(c) para algum c generalizao existencial: ca P(c) para algum c xP(x)
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 51 / 59

Exemplo 1
Exemplo de instanciao universal ca Todos os alunos de FTC so alunos do curso de computao, Maria a ca e aluna de FTC, portanto, Maria aluna do curso de computao. e ca Soluo ca Considere: D(x) : x aluno de FTC; e C (x) : x aluno do curso de computao. e ca Queremos provar que x(D(x) C (x)), D(Maria) C (Maria). (1) x(D(x) C (x)) hiptese o (2) D(Maria) C (Maria) instanciao universal de (1) ca (3) D(Maria) hiptese o (4) C (Maria) modus ponens usando (2) e (3)
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 52 / 59

Inferncia lgica e o

Regras de Inferncia para predicados e quanticadores e

Inferncia lgica e o

Regras de Inferncia para predicados e quanticadores e

Exemplo 2
Um estudante desta sala no leu o livro-texto e Todos estudantes desta a sala passaram no primeiro exame implica que algum estudante que passou no primeiro exame no leu o livro-texto. a Soluo ca Considere: B(x) : x leu o livro-texto; C (x) : x estudante desta sala; e D(x) : x passou no primeiro exame.

Exemplo 2 (cont.)
Queremos provar que x(C (x) B(x)), x(C (x) D(x)) x(D(x) B(x)). (1) (2) (3) (4) (5) (6) (7) (8) (9) x(C (x) B(x))) C (a) B(a) C (a) x(C (x) D(x)) C (a) D(a) P(a) B(a) p(a) B(a) x(D(x) B(x)) hiptese o instanciao existencial de (1) ca simplicao de (2) ca hiptese o instanciao universal de (4) ca modus ponens de (3) e (5) simplicao de (2) ca conjuno de (6) e (7) ca generalizao existencial de (8) ca

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

53 / 59

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

54 / 59

Inferncia lgica e o

Regras de Inferncia para predicados e quanticadores e

Inferncia lgica e o

Regras de Inferncia para predicados e quanticadores e

Outras regras de inferncia e


Regras de inferncia da lgica proposicional podem ser combinadas com e o aquelas dos quanticadores. modus ponens universal: x(P(x) Q(x)) P(a), para algum a Q(a) modus tollens universal: x(P(x) Q(x)) Q(a), para algum a P(a)
E. Hoshino (DCT-UFMS) Lgica o fevereiro de 2011 55 / 59

Exemplo de uso do modus ponens universal


Considerando que Para todo inteiro positivo maior que 4 tem-se que n2 e menor que 2n , mostre que 1002 < 2100 . Soluo ca Considere P(n) : n > 4; Q(n) : n2 < 2n . Queremos provar que n(P(n) Q(n)), P(100) Q(100). (1) (2) (3) n(P(n) Q(n)) P(100) Q(100) hiptese o hiptese o modus ponens universal de (1) e (2)

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

56 / 59

Inferncia lgica e o

Exerc cios

Inferncia lgica e o

Exerc cios

Exerc cios
1

Exerc cios
3

Para cada conjunto de hipteses dados, decida se poss chegar a o e vel alguma concluso e, nesse caso, descreva-a. Justique sua resposta. a
1 2

Prove que cada uma das proposies vlida: co e a


1 2 3 4 5

3 4

Todas as ores so plantas. Amores-perfeitos so ores. a a Todas as ores so vermelhoras ou roxas. Amores-perfeitos so ores. a a Amores-perfeitos no so roxos. a a Algumas ores so roxas. Todas as ores roxas so pequenas. a a Algumas ores so vermelhas. Algumas ores so roxas. a a Amores-perfeitos so ores. a Algumas ores so vermelhas e tm espinhos. Todas as ores com a e espinhos cheiram mal. Toda or que cheira mal erva daninha. e

xP(x) x[P(x) Q(x)]; xP(x) xQ(x) x[P(x) Q(x)]; xyP(x, y ) y xP(x, y ); xyQ(x, y ) y xQ(x, y ); xP(x) xP(x) xQ(x).

Formule os silogismos perfeitos de Aristteles na notao de lgica de o ca o predicados e fornea uma demonstrao de sua validade: c ca
Todos os M so a Nenhum M P. e Todos os M so a Nenhum M P. e P. Todos os S so M. Portanto, todos os S so P. a a Todos os S so M. Portanto, nenhum S P. a e P. Algum S M. Portanto, algum S P. e e Algum S M. Portanto, algum S no P. e a e

Justique cada passo na seqncia de demonstrao da proposio: ue ca ca x[P(x) Q(x)] [xP(x) xQ(x)]
1 2 3 4 5 6

Brbara a Celarent Darii Ferio


5

x[P(x) Q(x)] P(a) Q(a) xP(x) P(a) Q(a) xQ(x).


Lgica o fevereiro de 2011 57 / 59

Prove que a proposio vlida ou encontre uma interpretao na ca e a ca qual ela falsa: e
1 2 3 4

x[R(x) S(x)] xR(x) xS(x); x[R(x) S(x)] xR(x) xS(x); xyQ(x, y ) y xQ(x, y ); xP(x) xQ(x) x[P(x) Q(x)].
Lgica o fevereiro de 2011 58 / 59

E. Hoshino (DCT-UFMS)

E. Hoshino (DCT-UFMS)

Inferncia lgica e o

Exerc cios

Exerc cios
6

Verique se os seguintes so logicamente equivalentes: a


1 2 3 4 5

xP(x) xQ(x) xP(x) xQ(x) xP(x) xQ(x) xP(x) xQ(x) xP(x) xQ(x)

e e e e e

x[P(x) Q(x)]; xy [P(x) Q(y )]; x[P(x) Q(x)]; xy [P(x) Q(y )]; xy [P(x) Q(y )].

Uma proposio est na Forma Normal Prenex (PNF) se e somente ca a se da forma: Q1 x1 Q2 x2 . . . Qk xk P(x1 , x2 , . . . , xk ) onde cada Qi , e i = 1, 2, . . . , k, um quanticador existencial ou universal e e P(x1 , x2 , . . . , xk ) um predicado que no envolve nenhum e a quanticador. Coloque cada uma das seguintes proposies em PNF: co
1

2 3

xP(x) xQ(x) A, onde A uma proposio no envolvendo e ca a quanticadores; (xP(x) xQ(x)); xP(x) xQ(x).

E. Hoshino (DCT-UFMS)

Lgica o

fevereiro de 2011

59 / 59