Logica 4p

T opicos
Introdu c ao ` a L ogica
Edna A. Hoshino
2
L ogica Proposicional Proposi c oes e conectivos Tabela-Verdade Equival encias Proposicionais Formas Normais Exerc cios L ogica de Predicados Vari aveis e Predicados Quanticadores Exerc cios Infer encia l ogica Regras de Infer encia Constru c ao de Argumentos V alidos Regras de Infer encia para predicados e quanticadores Exerc cios
E. Hoshino (DCT-UFMS) L ogica fevereiro de 2011 2 / 59
DCT - UFMS
fevereiro de 2011
3
E. Hoshino (DCT-UFMS)
L ogica
fevereiro de 2011
1 / 59
L ogica Proposicional
Proposi co es e conectivos
Deni c oes
Proposi c ao E uma senten ca que pode ser verdadeira ou falsa (nunca ambos) Exemplo de proposi c ao verdadeira 1+1=2. Exemplo de proposi c ao falsa S ao Paulo e a capital do Brasil. Exemplos que n ao s ao proposi c oes Que horas s ao? Leia isso cuidadosamente. Proposi c oes s ao usualmente denotadas por letras min usculas como p e q .
Conectivos
Conectivo de nega c ao (p ) usado para inverter o valor de uma proposi ao p . E c ao. L e-se n Exemplos de uso p : Hoje e sexta-feira. q : Todo homem e mortal. r : Existem pessoas inseguras. p : Hoje n ao e sexta-feira. q : N ao e verdade que todo homem e mortal. q : Nem todo homem e mortal. q : Existem homens imortais. r ?
L ogica
fevereiro de 2011
4 / 59
Conectivos (cont.)
Conjun c ao (p q ) Ambas as proposi c oes devem ser verdadeiras para que a proposi c ao composta seja verdadeira. L e-se p e q . Exemplo p : Hoje e sexta-feira. q : Est a chovendo. p q : Hoje e sexta-feira e est a chovendo. Vamos analisar o valor da proposi c ao p q . Se hoje n ao for sexta-feira ent ao p q e falsa. Caso contr ario, suponha que, embora hoje seja sexta-feira, n ao esteja chovendo. Logo, p q tamb em ser a falsa.
Conectivos (cont.)
Disjun c ao (p q ) Pelo menos, uma das proposi c oes deve ser verdadeira para que a proposi c ao composta seja verdadeira. L e-se p ou q . Exemplo p : Hoje e sexta-feira. q : Est a chovendo. p q : Hoje e sexta-feira ou est a chovendo. Vamos analisar o valor da proposi c ao p q . Se hoje n ao for sexta-feira ent ao n ao podemos armar que p q e falsa. Agora suponha que, embora hoje n ao seja sexta-feira, esteja chovendo. Logo, p q ser a verdadeira.
L ogica
fevereiro de 2011
5 / 59
L ogica
fevereiro de 2011
6 / 59
Conectivos (cont.)
Implica c ao (p q ) a proposi E c ao que e falsa sempre que p for verdadeira mas q for falsa e, nos demais casos e verdadeira. p e dito hip otese (premissa) e q e conclus ao (conseq u encia). L e-se p implica q . Exemplo p : Hoje e sexta-feira. q : Est a chovendo. p q : Hoje e sexta-feira implica que est a chovendo. Vamos analisar o valor da proposi c ao p q . Suponha que hoje seja sexta-feira mas n ao esteja chovendo. Neste caso, p n ao implica em que q , portanto, p q e falsa. Os demais casos, n ao s ao t ao intuitivos. Veja: se hoje n ao for sexta-feira, n ao importa se esteja ou n ao chovendo, a proposi c ao p q e verdadeira.
Conectivos (cont.)
Outro exemplo de implica c ao p : O ch ao est a molhado. q : Est a chovendo. p q : O ch ao est a molhado implica que est a chovendo. Vamos analisar o valor da proposi c ao p q . Se o ch ao n ao estiver molhado ent ao n ao importa se esteja ou n ao chovendo, p q ser a verdadeira. Agora, e poss vel da proposi c ao p q ser falsa? Sim! E poss vel que o ch ao esteja molhado mas n ao esteja chovendo! Por outro lado, a proposi c ao q p e sempre verdadeira! Outras formas de se expressar a implica c ao: Se p ent ao q . Ou ainda, Se p e q . p somente se q p e suciente para q (ou ainda, q e necess ario para p ).
Conectivos (cont.)
Biimplica c ao ou equival encia (p q ) a proposi E c ao que e verdadeira se p e q tiverem os mesmos valores e e falsa, em caso contr ario. L e-se p se e somente se q . Exemplo p : O ch ao est a molhado. q : Est a chovendo. p q : O ch ao est a molhado se e somente se est a chovendo. Outras formas de se expressar a biimplica c ao: p e necess ario e suciente para q . Se p ent ao q e vice-versa.
Ordem de Preced encia dos Conectivos

Ordem de Preced encia () par enteses internos nega c ao conjun c ao disjun c ao implica c ao
L ogica
fevereiro de 2011
9 / 59
L ogica
fevereiro de 2011
10 / 59
Tabela-Verdade
Tabela-Verdade
Deni c ao
Tabela-verdade uma forma organizada de mostrar o relacionamento entre os valores das E proposi c oes. Cada linha mostra uma combina c ao poss vel de valores das proposi c oes e cada coluna refere-se a uma proposi c ao. 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 Conjun c ao
Tabela 1: Tabela-Verdade da Nega c ao
L ogica
fevereiro de 2011
11 / 59
L ogica
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 Disjun c ao
Tabela 4: Tabela-Verdade da Implica c ao
L ogica
fevereiro de 2011
13 / 59
L ogica
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 implica c ao e Contrapositiva

Oposto da Implica c ao qp e o oposto da implica c ao p q . Inversa da Implica c ao p q e a inversa da implica c ao p q . Contrapositiva q p e a contrapositiva de p q . D e a tabela-verdade do oposto, da inversa e da contrapositiva. Compare com a tabela-verdade da implica c ao.
Tabela 5: Tabela-Verdade da Biimplica c ao
L ogica
fevereiro de 2011
15 / 59
L ogica
fevereiro de 2011
16 / 59
Equival encias Proposicionais
Equival encias Proposicionais
Tautologia, contradi c ao e equival encia l ogica

Tautologia e contradi c ao Tautologia e uma proposi c ao composta que e sempre verdade, n ao c ao importando os valores das proposi c oes contidas nela. J a uma contradi e aquela que e sempre falsa. Equival encias L ogicas (p q ) L e-se p e q s ao logicamente equivalentes. p q se p e q t em os mesmos valores, ou seja, se p q e uma tautologia. Exemplos (p q ) (p q ). p p e uma tautologia. p p e uma contradi c ao.
Exemplos de equival encias l ogicas

equival encia 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 domin ancia leis da idempot encia leis da dupla nega c ao leis comutativa leis da associatividade leis da distributiva leis de De Morgan
L ogica fevereiro de 2011 18 / 59
L ogica
fevereiro de 2011
17 / 59
Formas Normais
Formas Normais
Forma Normal Conjuntiva

Literal Um literal e uma vari avel proposicional ou a nega c ao de uma delas. Cl ausula Disjuntiva uma f E ormula proposicional envolvendo apenas literais e o conectivo de disjun c ao, sem repeti c ao de vari aveis proposicionais. Forma Normal Conjuntiva Uma f ormula proposicional est a na forma normal conjuntiva (FNC) se ea conjun c ao de cl ausulas disjuntivas, sendo que nenhuma delas est a contida na outra. Exemplo de FNC r (p q r ) (p q )
Forma Normal Disjuntiva

Cl ausula Conjuntiva E uma f ormula proposicional envolvendo apenas literais e o conectivo de conjun c ao, sem repeti c ao de vari aveis proposicionais. Forma Normal Disjuntiva Uma f ormula proposicional est a na forma normal disjuntiva (FND) se ea disjun c ao de cl ausulas conjuntivas, sendo que nenhuma delas est a contida na outra. Exemplo de FND (p q r ) (p q ) Dada uma f ormula proposicional, como obter uma f ormula equivalente na FND?
Formas Normais
Formas Normais
Tranformando em Forma Normal Disjuntiva

1 2
Tranformando em Forma Normal Conjuntiva

1 2
escreva a tabela-verdade da f ormula f ; escreva uma cl ausula conjuntiva para cada linha da tabela, cuja valora c ao das vari aveis d a valor-verdade 1 para f , da seguinte forma:
inclua as vari aveis que t em valor-verdade 1 na cl ausula; inclua a nega c ao das vari aveis que t em valor-verdade 0;
escreva a tabela-verdade da f ormula f ; escreva uma cl ausula disjuntiva para cada linha da tabela, cuja valora c ao das vari aveis d a valor-verdade 0 para f , da seguinte forma:
inclua as vari aveis que t em valor-verdade 0 na cl ausula; inclua a nega c ao das vari aveis que t em valor-verdade 1;
a f ormula equivalente a f na FND consiste na disjun c ao das cl ausulas conjuntivas obtidas no passo (2).
a f ormula equivalente a f na FND consiste na conjun c ao das cl ausulas disjuntivas obtidas no passo (2).
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 equival encia.

Alternativamente, pode-se obter a FNC aplicando as leis de equival encia.

Formas Normais
Exerc cios
Cole c ao funcionalmente completa

Funcionalmente completa uma cole E c ao de operadores l ogicos (conectivos) na qual qualquer proposi c ao possui uma proposi c ao equivalente envolvendo apenas estes operadores. , e formam uma cole c ao funcionalmente completa. Mostre que e tamb em formam uma cole c ao funcionalmente completa. Mostre que e tamb em formam uma cole c ao funcionalmente completa.
Exerc cios
1
Escreva as senten cas a seguir em linguagem simb olica, usando senten cas at omicas e conectivos:
1
2 3 4 5 6 2
Se Ant onio est a feliz ent ao a esposa de Ant onio n ao est a feliz e se Ant onio n ao est a feliz ent ao a esposa do Ant onio n ao est a feliz. Tereza vai ao cinema somente se o lme for uma com edia. Ou Capitu e ou n ao e a cria c ao mais not avel de Machado de Assis. N ao e verdade que Machado de Assis escreveu ou n ao escreveu poesias. Uma condi c ao suciente para x ser mpar e x ser primo. Ou x e positivo ou x e negativo, nunca ambos.
Determine se a senten ca e uma tautologia, contradi c ao ou contig encia:

1 2
(p q ) (p q ); (a b ) (a b ) b ; Se nevar hoje, irei esquiar amanh a. Irei ` a aula se brincadeiras estiverem programadas. Um inteiro positivo e primo somente se ele n ao tiver divisores diferentes que 1 e ele mesmo.
D e a contrapositiva de cada uma das seguintes implica c oes:

1 2 3
Mostre que o operador NOR e funcionalmente completo. p NOR q 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 implica c oes e uma tautologia 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 proposi c oes use identidades para encontrar proposi c oes equivalentes com somente e e que sejam as mais simples poss veis:
1 2 3
p q r ; p [(q r ) p ]; p (q p ).
Mostre usando tabela-verdade as leis de equival encia l ogica.
Para cada uma das proposi c oes use identidades para encontrar proposi c oes equivalentes com somente e e que sejam as mais simples poss veis:
1 2 3
(p q ) p ; [p (q r )] p q ; p q (r p ).
L ogica
fevereiro de 2011
25 / 59
L ogica
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 proposi c oes e consistente se existir uma associa c ao de valores para suas vari aveis que torna cada uma das proposi c oes do conjunto verdadeira. Verique se as seguintes proposi c oes formam um sistema consistente:
1
O operador nand (|) e denido pela seguinte tabela-verdade: 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 a no estado multiusu ario se e somente se ele est a operando normalmente. Se o sistema est a operando normalmente, o kernel est a funcionando. O kernel n ao est a funcionando ou o sistema est a no modo de interrup c ao. Se o sistema n ao est a no estado multius ario ent ao ele est a no modo de interrup c ao. O sistema n ao est a no modo de interrup c ao. Se o sistema de arquivos n ao est a bloqueado ent ao novas mensagens ser ao enleiradas. Se o sistema de arquivos n ao est a bloqueado, ent ao o sistema est a funcionando normalmente e vice-versa. Se novas mensagens n ao est ao sendo enleiradas ent ao eles ser ao enviados para o buer de mensagens. Se o sistema n ao est a bloqueado ent ao novas mensagens ser ao enviadas para o buer de mensagens. Novas mensagens n ao ser ao enviadas para o buer de mensagens.
L ogica de Predicados
Vari aveis e Predicados
Quanticadores
Vari aveis e Predicados

Predicado (P (x )) uma propriedade sobre uma vari avel x e, portanto, tem um valor E verdadeiro ou falso quando um valor e associado ` a vari avel. P (x ) tamb em e conhecido como o valor da fun c ao proposicional P em x . Exemplo Considere P (x ) denotando a senten ca x > 3. Portanto, P (2) e falso e P (4) e verdadeiro. Um predicado pode envolver mais de uma vari avel. Por exemplo, um predicado Q (x , y , z ) pode denotar a senten ca x = y + z .
Universo do Dom nio e Quanticadores

Universo do Dom nio (do discurso) o dom E nio das vari aveis. Quanticadores S ao express oes usadas nas senten cas para especicar a que elementos do universo do dom nio o predicado se aplica. . Quanticador Universal (xP (x )) usado para especicar que o predicado se aplica a todos os elementos do E dom nio. L e-se para todo x vale P (x ). Quanticador Existencial (xP (x )) usado para especicar que o predicado se aplica a algum elemento do E dom nio. L e-se existe algum x tal que P (x ).
L ogica
fevereiro de 2011
29 / 59
L ogica
fevereiro de 2011
30 / 59
Quanticadores
Quanticadores
Universo do Dom nio e Quanticadores (cont.)

Exemplos Considere que: P (x ) denota x estudou C alculo; o universo do discurso consista de todos os estudantes de FTC. xP (x ) equivale a todo estudante de FTC estudou C alculo. xP (x ) equivale a algum estudante de FTC estudou C alculo. 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 C alculo.
Universo do Dom nio e Quanticadores (cont.)

Exemplos Considere que: P (x ) denota x > 2; o universo do discurso consista de todos os n umeros inteiros. xP (x ) e falso, uma vez que existem inteiros para os quais P (x ) e falso. Portanto, xP (x ) e verdadeiro.
L ogica
fevereiro de 2011
31 / 59
L ogica
fevereiro de 2011
32 / 59
Quanticadores
Exerc cios
Outros Quanticadores
Quanticador de Unicidade (!xP (x )) usado para especicar que o predicado se aplica a exatamente um u E nico nico x tal que P (x ). elemento do dom nio. L e-se existe um u Exemplo Considere que: P (x , y ) denota x .y = x ; o universo do discurso consista de todos os n umeros inteiros. !y xP (x , y ) e verdadeiro, uma vez que 1 eou nico elemento neutro da multiplica c ao. O quanticador de unicidade pode ser substitu do por outros quanticadores e pelo uso de l ogica proposicional (veja exerc cios!).
Exerc cios
1
Expresse cada uma das senten cas como uma express ao l ogica, 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 e o melhor amigo de x .
Se uma pessoa e do sexo feminino e tem lhos ent ao esta pessoa e m ae de algu em.
F (x ): x e do sexo feminino; P (x ) : x tem lhos; M (x , y ) : y e m ae de x .
(ordem dos quanticadores) Qual o valor de cada uma das senten cas se o universo do discurso e o conjunto dos inteiros e Q (x , y ) denota x + y = 0?
1 2
x yQ (x , y ); y xQ (x , y ). xP (x ); xP (x ).
(negando quanticadores) Escreva senten cas equivalentes a:

1 2
Exerc cios
Exerc cios
Exerc cios
4
Exerc cios
6
Determine quais das seguintes proposi c oes s ao verdadeiras se o universo do dom nio s ao os inteiros e . denota a opera c ao de multiplica c ao:
1 2 3 4
Coloque os seguintes em nota c ao l ogica. Escolha predicados de modo que cada assertiva tenha pelo menos um quanticador:
1 2 3 4
x y [x .y x y [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 proposi c oes em nota c ao de l ogica:
1 2 3 4 5 6 7 8
Existe um e apenas um n umero primo par. Nenhum n umero mpar e par. Todo trem e mais r apido que alguns carros. Alguns carros s ao mais lentos que todos os trens mas pelo menos um trem e mais r apido que todo carro.
Qual o valor l ogico de cada uma das proposi c oes se Z e o universo do discurso?
1 2 3 4 5 6
Se y = 1 ent ao xy = x para qualquer x . Se xy = 0 ent ao x = 0 e y = 0. Se xy = 0 ent ao x = 0 ou y = 0. 3x = 6 se e somente se x = 2. N ao existe solu c ao para x 2 = y a menos que y 0. N ao pode acontecer x = y e x < y . Se x < y ent ao para algum z tal que z < 0, xz > yz . Existe um x tal que para todo y e z , xy = xz .
x y (x + y = x ); x y (x + y = 0); y x (x + y = x ); y x (x + y = 0); x [x < 0 y (y > 0 x + y = 0)]; x y (x 2 = y ).
L ogica
fevereiro de 2011
36 / 59
Exerc cios
Infer encia l ogica
Regras de Infer encia
Exerc cios
8
Teoremas, axiomas e Infer encia l ogica

Teorema uma senten E ca que pode ser mostrada ser verdadeira. Prova uma seq E u encia de arma c oes que formam um argumento para demonstrar a veracidade de um teorema. Axiomas ou postulados S ao arma c oes sobre estruturas matem aticas, que s ao consideradas verdadeiras e usadas como hip oteses na prova de outros teoremas. Regras de infer encia Mecanismos para se obter conclus oes sobre outras assertivas, que juntas formam os passos de uma prova.
Qual o valor-verdade das seguintes senten cas?

1 2 3
!xP (x ) xP (x ); xP (x ) !xP (x ); !x P (x ) xP (x );
Escreva !xP (x ), cujo universo do dom nio consiste dos inteiros 1,2 e 3, usando apenas os quanticadores existenciais, universais e conectivos de nega c ao, conjun c ao e disjun c ao. Fa ca o mesmo que no exerc cio anterior, mas desta vez considerando o universo do dom nio sendo o conjunto dos inteiros.
10
L ogica
fevereiro de 2011
37 / 59
L ogica
fevereiro de 2011
38 / 59
Infer encia l ogica
Infer encia l ogica

Modus Pones a base das regras de infer E encia e dada pela tautologia (p (p q )) q . Dada uma implica c ao, se ela e sua hip otese s ao verdadeiras ent ao sua conseq u encia tamb em o e. escrita na forma E p pq q
Outras Regras de Infer encia

regra p pq pq p q pq p pq qr pr pq p q tautologia p (p q ) (p q ) p nome adi c ao simplica c ao
[q (p q )] p
modus tollens
[(p q ) (q r )] (q r )
silogismo hipot etico
[(p q ) p ] q
silogismo disjuntivo
Demonstre a validade das regras!

E. Hoshino (DCT-UFMS) L ogica fevereiro de 2011 39 / 59 E. Hoshino (DCT-UFMS) L ogica fevereiro de 2011 40 / 59
Infer encia l ogica
Infer encia l ogica
Mais regras de infer encia

regra p q pq pq p r qr tautologia [(p ) (q )] (p q ) nome conjun c ao
Exemplos
Qual das regras de infer encia e usada no seguinte argumento? Se chover hoje ent ao n ao teremos churrasco hoje. Se n ao tiver churrasco hoje ent ao teremos churrasco amanh a. Portanto, se chover hoje ent ao teremos churrasco amanh a. Um argumento constru do usando regras de infer encia e dito ser v alido. Quando todas as proposi c oes usadas em um argumento s ao verdadeiras, obt em-se uma conclus ao correta. Note que um argumento v alido pode levar a conclus oes incorretas se uma ou mais proposi c oes falsas s ao usadas no argumento ! Exemplo de argumento v alido e conclus ao incorreta Se 101 e div sel por 3 ent ao 1012 e divis vel por 9. 101 e divis vel por 3. Consequentemente, 1012 e divis vel por 9.
[(p q ) (p r )] (q r )
resolu c ao
Exemplique as regras!
L ogica
fevereiro de 2011
41 / 59
L ogica
fevereiro de 2011
42 / 59
Infer encia l ogica
Infer encia l ogica
Constru ca o de Argumentos V alidos
Fal acias
Fal acia E um tipo de racioc nio incorreto que leva a conclus oes erradas. Exemplo Se voc e resolver todos os exerc cios do livro-texto ent ao voc e aprender a matem atica discreta. Voc e aprendeu matem atica discreta. Portanto, voc e resolveu todos os exerc cios do livro-texto. O exemplo acima trata-se de um erro comum ao usar a proposi c ao [(p q ) q ] p como uma tautologia!
Usando regras de infer encias

Dedu c ao (P1 , P2 , . . . , Pn P ) Regras de infer encias podem ser aplicadas para construir um argumento v alido para a conclus ao P a partir das hip oteses P1 , P2 , . . . , Pn . Equivale a provar que P1 P2 . . . Pn P . Isso e feito construindo-se uma seq u encia de argumentos, A1 , A2 , . . . , Ak , onde: cada Ai
ou e um argumento da hip otese; ou e o resultado da aplica c ao de alguma regra de infer encia ou identidade em A1 , . . . , Ai 1 ;
e Ak = P .
E. Hoshino (DCT-UFMS) L ogica fevereiro de 2011 43 / 59 Hoshino (DCT-UFMS) P eE.chamado conseq u encia l ogica. L ogica fevereiro de 2011 44 / 59
Infer encia l ogica
Infer encia l ogica

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 hip otese hip otese silogismo em (1) e (2) hip otese modus tollens em (3) e (4) lei de Morgan em (5) simplica c ao em (6)

Exemplo 2 Mostre que as hip oteses N ao est a ensolarado hoje ` a tarde e est a mais frio que ontem, Iremos nadar somente se estiver ensolarado, Se n ao formos nadar, ent ao pegaremos uma canoa e se pegarmos uma canoa ent ao caremos em casa at e o p or-do-sol levam ` a conclus ao Ficaremos em casa at e o p or-do-sol. Solu c ao Considere p : est a ensolarado hoje ` a tarde; q : est a mais frio que ontem; r : iremos nadar; s : pegaremos uma canoa; t : caremos em casa at e o p or-do-sol.
L ogica
fevereiro de 2011
45 / 59
L ogica
fevereiro de 2011
46 / 59
Infer encia l ogica
Infer encia l ogica

Queremos argumento v alido para 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 hip otese simplica c ao de (1) hip otese modus tollens usando (2) e (3) hip otese modus ponens usando (4) e (5) hip otese modus ponens usando (6) e (7)
Exerc cios
1
Para cada conjunto de hip oteses dados, decida se e poss vel chegar a alguma conclus ao e, nesse caso, descreva-a. Justique sua resposta.
1 2 3
Ou estou gorda ou magra. Com certeza eu n ao estou magra. Se eu correr co sem f olego. Eu n ao estou sem f olego. C eu azul me deixa feliz e c eu nublado me deixa triste. O c eu est a azul ou nublado. Se meu programa funciona, eu estou feliz. Se eu estou feliz, o sol brilha. S ao 11 horas da noite e est a muito escuro.
Justique cada passo na seq u encia de demonstra c ao da proposi c ao: [A (B C )] B C A

1 2 3 4 5
Um meio alternativo de mostrar que uma implica c ao e v alida e usando tabela-verdade. No exemplo, a tabela-verdade teria 32 linhas !
A (B C ) B C B C (B C ) A.
Infer encia l ogica
Infer encia l ogica
Exerc cios
3
Exerc cios
5
Prove que cada uma das proposi c oes e v alida:

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 l ogica proposicional para provar que o argumento do advogado de defesa enunciado no in cio do curso e v alido.
Formule os seguintes argumentos na nota c ao de l ogica de predicados e forne ca uma demonstra c ao da validade de sua conclus ao:
Se o programa e eciente ent ao ele executa rapidamente. Ou o programa e eciente ou ele tem algum bug. No entanto, o programa n ao executa rapidamente. Logo, ele tem um bug. Se Jos e levou as j oias ou a Sra Krasov mentiu ent ao foi cometido um crime. O Sr. Krasov n ao estava na cidade. Se um crime foi cometido, ent ao o Sr. Krasov estava na cidade. Portanto, Jos e n ao levou as j oias. N ao e verdade que, se as tarifas de energia el etrica subirem, ent ao o uso diminuir a, nem e verdade que ou novas usinas ser ao constru das ou as contas n ao ser ao pagas com atraso. Portanto, o uso n ao vai diminuir e as contas ser ao pagas com atraso.
Problema de L ogica Voc e foi convocado a participar do j uri em um processo criminal. O advogado de defesa apresentou o seguinte argumento: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca n ao estava na gaveta ou Jason Pritchard viu a faca. Se a faca n ao estava l a no dia 10 de outubro, segue que Jason Pritchard n ao viu a faca. Al em disso, se a faca estava l a no dia 10 de outubro, ent ao a faca estava na gaveta e o martelo estava no celeiro. Mas todos sabemos que o martelo n ao estava no celeiro. Portanto, senhoras e senhores do j uri, meu cliente e inocente.
L ogica
fevereiro de 2011
50 / 59
Infer encia l ogica
Regras de Infer encia para predicados e quanticadores
Infer encia l ogica

instancia c ao universal: xP (x ) P (c ) generaliza c ao universal: P (c ) para c arbitr ario xP (x ) instancia c ao existencial: xP (x ) P (c ) para algum c generaliza c ao existencial: P (c ) para algum c xP (x )
Exemplo 1
Exemplo de instancia c ao universal Todos os alunos de FTC s ao alunos do curso de computa c ao, Maria e aluna de FTC, portanto, Maria e aluna do curso de computa c ao. Solu c ao Considere: D (x ) : x e aluno de FTC; C (x ) : x e aluno do curso de computa c ao. Queremos provar que x (D (x ) C (x )), D (Maria) C (Maria). (1) x (D (x ) C (x )) hip otese (2) D (Maria) C (Maria) instancia c ao universal de (1) (3) D (Maria) hip otese (4) C (Maria) modus ponens usando (2) e (3)
Infer encia l ogica
Infer encia l ogica
Exemplo 2
Um estudante desta sala n ao leu o livro-texto e Todos estudantes desta sala passaram no primeiro exame implica que algum estudante que passou no primeiro exame n ao leu o livro-texto. Solu c ao Considere: B (x ) : x leu o livro-texto; C (x ) : x e estudante desta sala; 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 )) hip otese instancia c ao existencial de (1) simplica c ao de (2) hip otese instancia c ao universal de (4) modus ponens de (3) e (5) simplica c ao de (2) conjun c ao de (6) e (7) generaliza c ao existencial de (8)
L ogica
fevereiro de 2011
53 / 59
L ogica
fevereiro de 2011
54 / 59
Infer encia l ogica
Infer encia l ogica
Outras regras de infer encia

Regras de infer encia da l ogica proposicional podem ser combinadas com 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 . Solu c ao 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) hip otese hip otese modus ponens universal de (1) e (2)
L ogica
fevereiro de 2011
56 / 59
Infer encia l ogica
Exerc cios
Infer encia l ogica
Exerc cios
Exerc cios
1
Exerc cios
3
Para cada conjunto de hip oteses dados, decida se e poss vel chegar a alguma conclus ao e, nesse caso, descreva-a. Justique sua resposta.
1 2
Prove que cada uma das proposi c oes e v alida:

1 2 3 4 5
3 4
Todas as ores s ao plantas. Amores-perfeitos s ao ores. Todas as ores s ao vermelhoras ou roxas. Amores-perfeitos s ao ores. Amores-perfeitos n ao s ao roxos. Algumas ores s ao roxas. Todas as ores roxas s ao pequenas. Algumas ores s ao vermelhas. Algumas ores s ao roxas. Amores-perfeitos s ao ores. Algumas ores s ao vermelhas e t em espinhos. Todas as ores com espinhos cheiram mal. Toda or que cheira mal e erva daninha.
xP (x ) x [P (x ) Q (x )]; xP (x ) xQ (x ) x [P (x ) Q (x )]; x yP (x , y ) y xP (x , y ); x yQ (x , y ) y xQ (x , y ); xP (x ) x P (x ) xQ (x ).
Formule os silogismos perfeitos de Arist oteles na nota c ao de l ogica de predicados e forne ca uma demonstra c ao de sua validade:
Todos os M s ao Nenhum M e P. Todos os M s ao Nenhum M e P. P. Todos os S s ao M. Portanto, todos os S s ao P. Todos os S s ao M. Portanto, nenhum S e P. P. Algum S e M. Portanto, algum S e P. Algum S e M. Portanto, algum S n ao e P.
Justique cada passo na seq u encia de demonstra c ao da proposi c ao: x [P (x ) Q (x )] [xP (x ) xQ (x )]

1 2 3 4 5 6
B arbara Celarent Darii Ferio

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

Prove que a proposi c ao e v alida ou encontre uma interpreta c ao na qual ela e falsa:
1 2 3 4
x [R (x ) S (x )] xR (x ) xS (x ); x [R (x ) S (x )] xR (x ) xS (x ); x yQ (x , y ) y xQ (x , y ); xP (x ) xQ (x ) x [P (x ) Q (x )].
Infer encia l ogica
Exerc cios
Exerc cios
6
Verique se os seguintes s ao logicamente equivalentes:

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 )]; x y [P (x ) Q (y )]; x [P (x ) Q (x )]; x y [P (x ) Q (y )]; x y [P (x ) Q (y )].
Uma proposi c ao est a na Forma Normal Prenex (PNF) se e somente se e da forma: Q1 x1 Q2 x2 . . . Qk xk P (x1 , x2 , . . . , xk ) onde cada Qi , i = 1, 2, . . . , k , e um quanticador existencial ou universal e P (x1 , x2 , . . . , xk ) e um predicado que n ao envolve nenhum quanticador. Coloque cada uma das seguintes proposi c oes em PNF:
1
2 3
xP (x ) xQ (x ) A, onde A e uma proposi c ao n ao envolvendo quanticadores; (xP (x ) xQ (x )); xP (x ) xQ (x ).
L ogica
fevereiro de 2011
59 / 59

Logica 4p

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logica 4p

Enviado por

Direitos autorais:

Formatos disponíveis

T opicos

Ordem de Preced encia dos Conectivos

Tabela 2: Tabela-Verdade da Conjun c ao

Tabela 1: Tabela-Verdade da Nega c ao

Tabela 3: Tabela-Verdade da Disjun c ao

Tabela 4: Tabela-Verdade da Implica c ao

Inversa da implica c ao e Contrapositiva

Tabela 5: Tabela-Verdade da Biimplica c ao

Equival encias Proposicionais

Equival encias Proposicionais

Tautologia, contradi c ao e equival encia l ogica

Exemplos de equival encias l ogicas

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 equival encia.

Alternativamente, pode-se obter a FNC aplicando as leis de equival encia.

Cole c ao funcionalmente completa

Determine se a senten ca e uma tautologia, contradi c ao ou contig encia:

D e a contrapositiva de cada uma das seguintes implica c oes:

Mostre usando tabela-verdade as leis de equival encia l ogica.

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

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

Vari aveis e Predicados

Vari aveis e Predicados

Universo do Dom nio e Quanticadores

Universo do Dom nio e Quanticadores (cont.)

Universo do Dom nio e Quanticadores (cont.)

Toda pessoa tem exatamente um melhor amigo.

(negando quanticadores) Escreva senten cas equivalentes a:

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

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

Infer encia l ogica

Regras de Infer encia

Teoremas, axiomas e Infer encia l ogica

Qual o valor-verdade das seguintes senten cas?

Infer encia l ogica

Regras de Infer encia

Infer encia l ogica

Regras de Infer encia

Regras de Infer encia

Outras Regras de Infer encia

silogismo hipot etico

Demonstre a validade das regras!

Infer encia l ogica

Regras de Infer encia

Infer encia l ogica

Regras de Infer encia

Mais regras de infer encia

Infer encia l ogica

Regras de Infer encia

Infer encia l ogica

Constru ca o de Argumentos V alidos

Usando regras de infer encias

Infer encia l ogica

Constru ca o de Argumentos V alidos

Infer encia l ogica

Constru ca o de Argumentos V alidos

Usando regras de infer encias

Usando regras de infer encias

Infer encia l ogica

Constru ca o de Argumentos V alidos