Logica 4p

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
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
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 ?
Lgica o
fevereiro de 2011
4 / 59
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
Lgica o
fevereiro de 2011
5 / 59
Lgica o
fevereiro de 2011
6 / 59
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
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
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
Lgica o
fevereiro de 2011
9 / 59
Lgica o
fevereiro de 2011
10 / 59
Tabela-Verdade
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
Lgica o
fevereiro de 2011
11 / 59
Lgica o
fevereiro de 2011
12 / 59
Tabela-Verdade
Tabela-Verdade
p V V F F q V F V F pq V V V F
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
Lgica o
fevereiro de 2011
13 / 59
Lgica o
fevereiro de 2011
14 / 59
Tabela-Verdade
Tabela-Verdade
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
Lgica o
fevereiro de 2011
15 / 59
Lgica o
fevereiro de 2011
16 / 59
Equivalncias Proposicionais e
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
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
Lgica o
fevereiro de 2011
17 / 59
Formas Normais
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)
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?
Formas Normais
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

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

Formas Normais
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.
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.
Exerc cios
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).
Lgica o
fevereiro de 2011
25 / 59
Lgica o
fevereiro de 2011
26 / 59
Exerc cios
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.

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 de Predicados o
Variveis e Predicados a
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
Lgica o
fevereiro de 2011
29 / 59
Lgica o
fevereiro de 2011
30 / 59
Quanticadores
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
Lgica o
fevereiro de 2011
31 / 59
Lgica o
fevereiro de 2011
32 / 59
Quanticadores
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!).
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).

(negando quanticadores) Escreva sentenas equivalentes a: c

1 2
Exerc cios
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.
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 ).
Lgica o
fevereiro de 2011
36 / 59
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
Lgica o
fevereiro de 2011
37 / 59
Lgica o
fevereiro de 2011
38 / 59
Inferncia lgica e o
Inferncia lgica e o
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
Inferncia lgica e o
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!
Lgica o
fevereiro de 2011
41 / 59
Lgica o
fevereiro de 2011
42 / 59
Inferncia lgica e o
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.
P chamado conseqncia lgica. eE. Hoshino (DCT-UFMS) ue o
Lgica o
fevereiro de 2011
44 / 59
Inferncia lgica e o
Inferncia lgica e o

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

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
Lgica o
fevereiro de 2011
45 / 59
Lgica o
fevereiro de 2011
46 / 59
Inferncia lgica e o
Inferncia lgica e o

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 !
A (B C ) B C B C (B C ) A.
Inferncia lgica e o
Inferncia lgica e o
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
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
Lgica o
fevereiro de 2011
50 / 59
Inferncia lgica e o
Regras de Inferncia para predicados e quanticadores e
Inferncia lgica e o

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)
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)
Inferncia lgica e o
Inferncia lgica e o
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
Lgica o
fevereiro de 2011
53 / 59
Lgica o
fevereiro de 2011
54 / 59
Inferncia lgica e o
Inferncia lgica e o
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)
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)
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).

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)].
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).
Lgica o
fevereiro de 2011
59 / 59

Logica 4p

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Logica 4p

Hochgeladen von

Copyright:

Verfügbare Formate

Tpicos o

Ordem de Precedncia dos Conectivos e

Tabela 2: Tabela-Verdade da Conjuno ca

Tabela 1: Tabela-Verdade da Negao ca

Tabela 3: Tabela-Verdade da Disjuno ca

Tabela 4: Tabela-Verdade da Implicao ca

Inversa da implicao e Contrapositiva ca

Tabela 5: Tabela-Verdade da Biimplicao ca

Tautologia, contradio e equivalncia lgica ca e o

Exemplos de equivalncias lgicas e o

Forma Normal Conjuntiva

Forma Normal Disjuntiva

Tranformando em Forma Normal Disjuntiva

Tranformando em Forma Normal Conjuntiva

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

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

Coleo funcionalmente completa ca

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

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

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

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

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

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

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

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

Universo do Dom e Quanticadores nio

Universo do Dom e Quanticadores (cont.) nio

Universo do Dom e Quanticadores (cont.) nio

Toda pessoa tem exatamente um melhor amigo.

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

(negando quanticadores) Escreva sentenas equivalentes a: c

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

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

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

Teoremas, axiomas e Inferncia lgica e o

Qual o valor-verdade das seguintes sentenas? c

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

Outras Regras de Inferncia e

Demonstre a validade das regras!

Mais regras de inferncia e

Construao de Argumentos Vlidos c a

Usando regras de inferncias e

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

Construao de Argumentos Vlidos c a

Construao de Argumentos Vlidos c a

Usando regras de inferncias e

Usando regras de inferncias e

Construao de Argumentos Vlidos c a

Construao de Argumentos Vlidos c a

Usando regras de inferncias e

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

Construao de Argumentos Vlidos c a

Construao de Argumentos Vlidos c a

Prove que cada uma das proposies vlida: co e a

Regras de Inferncia para predicados e quanticadores e

Regras de Inferncia para predicados e quanticadores e

Regras de Inferncia para predicados e quanticadores e

Regras de Inferncia para predicados e quanticadores e

Regras de Inferncia para predicados e quanticadores e

Regras de Inferncia para predicados e quanticadores e

Regras de Inferncia para predicados e quanticadores e

Outras regras de inferncia e

Exemplo de uso do modus ponens universal