Raciocinio Logico Quantitativo

Ministrio da Educao Universidade Tecnolgica Federal do Paran Campus Curitiba Gerncia de Ensino e Pesquisa Departamento Acadmico de Matemtica
Raciocnio Lgico Quantitativo

Notas de Aula
Prof.a Paula Francis Benevides
Contedo
AULA 1 .................................................................................................................................. 7 1. PRINCPIOS FUNDAMENTAIS EM LGICA MATEMTICA .................................................. 7 1.1 1.2 CONSIDERAES PRELIMINARES .................................................................................... 7 CLCULO PROPOSICIONAL E CLCULO DOS PREDICADOS:............................................. 8 1.2.1 Proposio, declarao ......................................................................................... 8 1.3 PRINCPIOS FUNDAMENTAIS: ......................................................................................... 8
2. PROPOSIES OU ENUNCIADOS - FUNDAMENTAO DO CLCULO PROPOSICIONAL....... 9 2.1 2.2 2.3 2.4 2.5 2.6 CONSIDERAES SOBRE O SISTEMA DICOTMICO OU BIVALENTE: .............................. 9 DEFINIO E NOTAO DE PROPOSIES NO CLCULO PROPOSICIONAL: ................... 9 CARACTERIZAO, DEFINIO E NOTAO DAS PROPOSIES SIMPLES: ................... 10 CARACTERIZAO, DEFINIO E NOTAO DE PROPOSIES COMPOSTAS: .............. 10 VERDADE E VALIDADE: .................................................................................................. 11 CARACTERIZAO, DEFINIO, NOTAO DE CONECTIVOS LGICOS: ........................ 12
3. ENTIDADES LIGADAS OPERAO ................................................................................ 14 3.1 3.2 ESCOPO E PAREAO: ................................................................................................... 14 ORDEM DE PRECEDNCIA DOS OPERADORES LGICOS: .............................................. 14
4. OPERAES LGICAS FUNDAMENTAIS DO CLCULO SENTENCIAL.................................. 15 4.1 RELAES ENTRE CONECTIVOS LGICOS E OS OPERADORES LGICOS ....................... 15 4.1.1 Definio .............................................................................................................. 15 4.1.2 Conectivos: ........................................................................................................... 16 4.2 DEFINIO FORMAL DOS OPERADORES LGICOS: ....................................................... 16 4.2.1 Negao ............................................................................................................... 16 4.2.2 Conjuno ............................................................................................................ 17 4.2.3 Disjuno.............................................................................................................. 17 4.2.4 Disjuno Exclusiva .............................................................................................. 17 4.2.5 Condicional........................................................................................................... 18
4.2.6 Bicondicional ........................................................................................................ 18 AULA 2 ................................................................................................................................ 22 5. PROCEDIMENTOS DE DECISO ...................................................................................... 22 5.1 FRMULAS PROPOSICIONAIS ESPECIAIS: ..................................................................... 23 5.1.1 Tautologia ............................................................................................................ 23 5.1.2 Contradio .......................................................................................................... 23 5.1.3 Contingncia ........................................................................................................ 24 AULA 3 ................................................................................................................................ 25 6. RELAO DE IMPLICAO LGICA ................................................................................. 25 6.1 6.2 6.3 6.4 6.5 DISTINO ENTRE OS SMBOLOS:
E
.................................................................... 25
DEFINIO .................................................................................................................... 25 PROPRIEDADES FUNDAMENTAIS DAS RELAES DE IMPLICAO LGICA ................. 25 TEOREMA FUNDAMENTAL DA IMPLICAO LGICA.................................................... 26 ALGUMAS CONSIDERAES IMPORTANTES SOBRE AS IMPLICAES ENTRE
PROPOSIES ................................................................................................................................. 26 6.6 6.7 IMPLICAES NOTVEIS ............................................................................................... 28 PROPOSIES ASSOCIADAS A UMA CONDICIONAL: ..................................................... 28 6.7.1 Propriedades: ....................................................................................................... 28 AULA 4 ................................................................................................................................ 31 7. RELAO DE EQUIVALNCIA LGICA ............................................................................. 31 7.1 7.2 7.3 7.4 7.5 7.6 DISTINO ENTRE OS SMBOLOS: E .................................................................... 31 DEFINIO DE EQUIVALNCIA: ..................................................................................... 31 TEOREMA FUNDAMENTAL DAS EQUIVALNCIAS LGICAS: ......................................... 32 PROPRIEDADES FUNDAMENTAIS DAS RELAES DE EQUIVALNCIA LGICA:............. 33 EQUIVALNCIAS NOTVEIS: .......................................................................................... 33 OPERAES DERIVADAS: .............................................................................................. 33 7.6.1 Negao conjunta: ............................................................................................... 33 7.6.2 Negao disjunta ................................................................................................. 34 AULA 5 ................................................................................................................................ 36
8. EXERCCIOS GERAIS ....................................................................................................... 36 AULA 6 ................................................................................................................................ 40 9. LGEBRA DAS PROPOSIES ......................................................................................... 40 9.1 PROPRIEDADES DA CONJUNO: ................................................................................. 40 9.1.1 Idempotncia: ...................................................................................................... 40 9.1.2 Comutatividade:................................................................................................... 40 9.1.3 Associatividade: ................................................................................................... 40 9.1.4 Identidade: ........................................................................................................... 41 9.2 PROPRIEDADES DA DISJUNO: ................................................................................... 41 9.2.1 Idempotncia: ...................................................................................................... 41 9.2.2 Comutatividade:................................................................................................... 41 9.2.3 Associatividade: ................................................................................................... 42 9.2.4 Identidade: ........................................................................................................... 42 9.3 PROPRIEDADES DA CONJUNO E DA DISJUNO: ..................................................... 42 9.3.1 Distributiva:.......................................................................................................... 42 9.3.2 Absoro: ............................................................................................................. 43 9.3.3 Leis de Morgan: ................................................................................................... 43 9.4 9.5 NEGAO DA CONDICIONAL: ....................................................................................... 43 NEGAO DA BICONDICIONAL: .................................................................................... 44
10. MTODO DEDUTIVO...................................................................................................... 44 10.1 REDUO DO NMERO DE CONECTIVOS: .................................................................... 44 10.2 EXEMPLICIFICAO:...................................................................................................... 45 AULA 7 ................................................................................................................................ 51 11. FORMA NORMAL DAS PROPOSIES .......................................................................... 51 11.1 DEFINIO: ................................................................................................................... 51 11.1.1 Forma Normal Conjuntiva: ................................................................................ 51 11.1.2 Forma Normal Disjuntiva: .................................................................................. 52 11.2 PRINCPIO DA DUALIDADE: ........................................................................................... 52 AULA 8 ................................................................................................................................ 54
12. RACIOCNIO LGICO TEORIA DA ARGUMENTAO: ................................................... 54 12.1 PENSAMENTO LGICO FORMAL: .................................................................................. 54 12.2 ARGUMENTO: ............................................................................................................... 54 12.2.1 Validade de um Argumento: .............................................................................. 55 12.3 CONDICIONAL ASSOCIADA A UM ARGUMENTO: .......................................................... 55 12.4 VALIDADE DOS ARGUMENTOS ATRAVS DE TABELA VERDADE: .................................. 56 12.5 REGRAS DE INFERNCIA: ............................................................................................... 56 12.6 EXEMPLO DO USO DAS REGRAS DE INFERNCIA: ......................................................... 57 12.6.1 Regra da adio: ................................................................................................ 57 12.6.2 Regra da simplificao: ...................................................................................... 58 12.6.3 Regra da conjuno: .......................................................................................... 58 12.6.4 Regra da absoro: ............................................................................................ 58 12.6.5 Regra Modus Ponens: ........................................................................................ 58 12.6.6 Regra Modus Tolens: ......................................................................................... 58 12.6.7 Regra do Silogismo disjuntivo: ........................................................................... 59 12.6.8 Regra do Silogismo hipottico: .......................................................................... 59 12.6.9 Regra do dilema construtivo: ............................................................................. 59 12.6.10 Regra do dilema destrutivo: ............................................................................ 59 AULA 9 ................................................................................................................................ 68 13. VALIDADE MEDIANTE REGRAS DE INFERNCIA: .......................................................... 68 13.1 EXEMPLIFICAO .......................................................................................................... 68 AULA 10............................................................................................................................... 78 14. VALIDADE MEDIANTE REGRAS DE INFERNCIA E EQUIVALNCIAS: ................................. 78 14.1 EQUIVALNCIAS NOTVEIS: .......................................................................................... 78 14.2 EXEMPLIFICAO: ......................................................................................................... 79 AULA 11............................................................................................................................... 87 15. INCONSISTNCIA: .......................................................................................................... 87 16. DEMONSTRAO CONDICIONAL E DEMONSTRAO INDIRETA: .................................... 90 16.1 DEMONSTRAO CONDICIONAL: ................................................................................. 90
16.1.1 Exemplificao: .................................................................................................. 90 16.2 DEMONSTRAO INDIRETA: ......................................................................................... 91 16.2.1 Exemplificao: .................................................................................................. 92 AULA 12............................................................................................................................... 96 17. EXERCCIOS GERAIS ....................................................................................................... 96
Prof a Paula Francis Benevides
AULA 1
Lgica Matemtica
Imagine que voc foi convocado a participar de um jri em um processo criminal e o advogado de defesa apresenta os seguintes argumentos: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta ou Jos da Silva viu a faca. Se a faca no estava l no dia 10 de outubro, segue que Jos da Silva no viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o martelo estava no celeiro. Mas todos sabemos que o martelo no estava no celeiro. Portanto, senhoras e senhores do jri, meu cliente inocente.
Pergunta: O argumento do advogado esta correto? Como voc deveria votar o destino do ru? E mais fcil responder a essa pergunta reescrevendo o argumento com a notao de logica formal, que retira todo o palavrrio que causa confuso e permite que nos concentremos na argumentao subjacente. A logica formal fornece as bases para o mtodo de pensar organizado e cuidadoso que caracteriza qualquer atividade racional. "Lgica: Coerncia de raciocnio, de ideias. Modo de raciocinar peculiar a algum, ou a um grupo. Sequencia coerente, regular e necessria de acontecimentos, de coisas." (dicionrio Aurlio), portanto podemos dizer que a Logica e a cincia do raciocnio.
1. PRINCPIOS FUNDAMENTAIS EM LGICA MATEMTICA

1.1 CONSIDERAES PRELIMINARES Partindo-se do contexto histrico, a lgica enquanto cincia do raciocnio pode ser subdividida em duas grandes correntes, quais sejam: Lgica Clssica e Lgica Formal. Enquanto Lgica Clssica esta fundamentada em processos no matemticos, processos no analticos, sendo que suas verdades advm de entidades filosficas. Pode-se dizer que a Lgica Clssica tem um carter intuitivo. Enquanto Lgica Formal, a qual encerra dentre outras tendncias a Lgica Matemtica, esta baseada em mtodos e tcnicas matemticas. 7
A Lgica matemtica, ou a Lgica Simblica ou Lgica Algortmica caracterizada pela axiomatizao, pelo simbolismo e pelo formalismo. Tem seu desenvolvimento na instncia dos smbolos e passam a analisar o raciocnio segundo operaes e ralaes de clculo especfico. 1.2 CLCULO PROPOSICIONAL E CLCULO DOS PREDICADOS: A Lgica Matemtica fundamentada pelo clculo proposicional (ou clculo dos enunciados, ou clculo sentencial) e pelo clculo dos predicados. No clculo sentencial tm-se as entidades mnimas de anlise (proposies ou enunciados) como elementos geradores. No clculo dos predicados os elementos de anlise correspondem s chamadas funes proposicionais. No primeiro caso no se analisa a relao ntima entre o nome e o predicado da estrutura em anlise. Sendo oposto no segundo caso. Os smbolos tm significado e usos especficos no clculo proposicional.
1.2.1
PROPOSIO, DECLARAO todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido
completo para a qual se associa apenas um dos dois atributos verdadeiro ou falso. So exemplos de proposies: Quatro e maior que cinco. Ana e inteligente. So Paulo e uma cidade da regiao sudeste. Existe vida humana em Marte. A lua um satlite da Terra Recife capital de Pernambuco Exemplos de no proposies: Como vai voc? Como isso pode acontecer! 1.3 PRINCPIOS FUNDAMENTAIS: A Lgica Matemtica constitui um sistema cientfico regido por trs leis principais, consideradas princpios fundamentais: Princpio da no-contradio: uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo: toda preposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro. 8
Neste sistema de raciocnio tem-se estabelecido to somente dois estados de verdade, isto , a verdade e a no verdade. Portanto a Lgica Matemtica um sistema bivalente ou dicotmico, onde os dois estados de verdade servem para caracterizar todas as situaes possveis sendo mutuamente excludentes (isto , a ocorrncia da primeira exclui a existncia da segunda). Portanto de uma forma geral pode-se dizer que qualquer entidade (proposio ou enunciado) em Lgica Matemtica apresenta apenas dois estados de verdade ou ser correspondente a verdade ou correspondente a falsidade no admitindo quaisquer outras hipteses e nem to pouco a ocorrncia dos dois estados de verdade simultaneamente.
2. PROPOSIES OU ENUNCIADOS - FUNDAMENTAO DO CLCULO PROPOSICIONAL

2.1 CONSIDERAES SOBRE O SISTEMA DICOTMICO OU BIVALENTE: A Lgica Matemtica constitui em termos gerais um sistema cientfico de raciocnio, que se baseia em estados bivalentes, ou seja, um sistema dicotmico onde a quaisquer de suas entidades pode-se predicar a verdade ou a falsidade, sendo estados mutuamente excludentes. Desta forma a partir de seus axiomas fundamentais e do sistema bivalente estabelecido desenvolver-se- um mtodo analtico de raciocnio que objetiva analisar a validade do processo informal a partir das denominadas primeiras verdades, primcias. 2.2 DEFINIO E NOTAO DE PROPOSIES NO CLCULO PROPOSICIONAL: Na linguagem falada ou escrita quatro so os tipos fundamentais de sentenas; quais sejam as imperativas, as exclamativas, interrogativas e as declarativas (afirmativas ou negativas); tendo em vista que em lgica matemtica tem-se apenas dois estados de verdade, esta tem por objeto de anlise as denominadas sentenas declarativas, afirmativas, de sentido completo e no elpticas (no ambguas). Desta forma toda sentena declarativa, afirmativa de sentido completo que expresso um determinado pensamento so denominado predicados ou enunciados, as quais de acordo com o universo relacional onde se encontram sempre possvel predicar-se verdade ou a falsidade. So exemplos de proposies em lgica: A filosofia a lgica dos contrrios Bananas solitrias so aves volares se e somente se, um logaritmo vermelho um abacate feliz. Se todo homem inteligente uma flor, ento flores racionais so homens solitrios. 9
No clculo proposicional o que dever ser considerado a forma do enunciado e no o significado que esta alcana no mundo real. Portanto os exemplos acima permitem afirmar que o nmero de nomes e/ou predicados que constituem as sentenas declarativas, afirmativas de sentido completo do origem s denominadas proposies simples ou proposies compostas. 2.3 CARACTERIZAO, DEFINIO E NOTAO DAS PROPOSIES SIMPLES: Uma proposio simples ou um tomo ou ainda uma proposio atmica, constituem a unidade mnima de anlise do clculo sentencial e corresponde a uma estrutura tal em que no existe nenhuma outra proposio como parte integrante de si prprio. Tais estruturas sero designadas pelas letras latinas minsculas tais como: p, q, r, s, u, v, w, p1, p2. . . pn...
As quais so denominadas letras proposicionais ou variveis enunciativas. Desta forma, pra se indicar que a letra proposicional p designa a sentena: A Matemtica atributo da lgica, adota-se a seguinte notao: p: A matemtica atributo da lgica.
Observe que a estrutura: A matemtica no atributo da lgica no corresponde a uma proposio simples, pois possui como parte integrante de si outra proposio. 2.4 CARACTERIZAO, DEFINIO E NOTAO DE PROPOSIES COMPOSTAS: Uma proposio composta, ou uma frmula proposicional ou uma molcula ou ainda uma proposio molecular uma sentena declarativa, afirmativa, de sentido completo constituda de pelo menos um nome ou pelo menos um predicado ou ainda negativa, isto , so todas as sentenas que possuem como parte integrante de si prpria pelo menos uma outra proposio. As proposies compostas sero designadas pelas letras latinas maisculas tais como: P, Q, R, S, U, V, W, P1, P2. . . Pn... Considere as proposies simples: p: A filosofia arte q: A dialtica cincia.
Seja, portanto, a proposio composta A filosofia arte embora a dialtica a cincia. 10
Para se indicar que a dada sentena designada pela letra proposicional P, sendo constituda de p e q componentes adota-se a notao P (p, q): A filosofia arte embora a dialtica a cincia. Observe que uma frmula proposicional pode ser constituda de outras frmulas proposicionais. Alm do mais uma letra proposicional pode designar uma nica proposio, quer seja simples ou composta, contudo uma dada proposio pode ser qualificada por quaisquer das letras proposicionais num dado universo. Sejam as proposies: p: A lgica condiciona a Matemtica q: A dialtica fundamenta o pensamento ambguo.
P (p, q): A lgica condiciona a Matemtica, mas a dialtica fundamenta o pensamento ambguo. Q (p, q): A lgica condiciona a Matemtica e/ou a dialtica fundamenta o pensamento ambguo. Sejam ainda proposies compostas: S (P, Q): Se a lgica condiciona a Matemtica mas a dialtica fundamente o pensamento ambguo, ento a Lgica condiciona a matemtica e/ou a dialtica fundamente o pensamento ambguo. De forma simblica tem-se que; P (p, q): p mas q Q (p, q): p e/ou q S (P, Q):Se p mas q, ento p e/ou q Observe que: S (P, Q) anloga a S (p, q). 2.5 VERDADE E VALIDADE: (Valor lgico ou valor verdade das proposies)
Partindo-se do fato de que a lgica matemtica um sistema cientfico de raciocnios, bivalentes e dicotmicos, em que existem apenas dois estados de verdade capazes de gerar todos os resultados possveis, a verdade corresponde a afirmaes do fato enquanto tal, sendo a falsidade a contradio ou a negao do fato enquanto tal. Assim a verdade ou a falsidade, corresponde respectivamente ao verdadeiro ou falso, segundo o referencial terico que institui as determinadas entidades proposies ou enunciados, de um dado universo relacional. Em resumo, a verdade a afirmao do fato e a falsidade a negao do fato estabelecido. 11
Dada uma proposio simples qualquer, designar, por exemplo, pela letra proposicional p, tem-se pelos princpios fundamentais que tal proposio ser a verdade (V) ou a falsidade (F) no se admitindo outra hiptese, e, nem to pouco a ocorrncia dos dois estados simultaneamente, portanto, para denotar tais situaes, adotar-se- a simbolizao:
V ( p ) = V (valor lgico de p igual verdade) ou V ( p ) = F
Considere uma proposio composta P, constituda das proposies simples p, q, r,...., p1,...., pn componentes. Para indicar o valor lgico ou valor verdadeiro desta frmula proposicional adotarse- as notaes:
V [ P ( p, q, r,..., p1,..., pn)] = V
ou
V [ P ( p, q, r,..., p1,..., pn)] = F
oportuno salientar-se que a lgica matemtica no cabe a obrigao de decidir se uma dada proposio verdade ou falsidade, isto , compete aos respectivos especialistas das correspondentes reas de conhecimento. Contudo a lgica tem por obrigao estruturar mtodos ou procedimentos de deciso que permita, num tempo finito, a deciso sobre os valores lgicos de frmulas proposicionais constitudas de n proposies e m raciocnios (sobre o ponto de vista da analiticidade de tais processos). A de se observar tambm, que validade em lgica matemtica corresponde, to somente a avaliao de argumentos dedutivos ou de inferncia de argumentos, no tendo sentido associar validade ou legitimidade a proposies ou enunciados. De forma resumida, a validade esta associada coerncia ou a consistncia do raciocnio analtico. 2.6 CARACTERIZAO, DEFINIO, NOTAO DE CONECTIVOS LGICOS: (ou conectivos proposicionais)
Vejam os exemplos:
A matemtica a juventude da lgica e a lgica a maturidade da matemtica A matemtica a juventude da lgica ou a lgica a maturidade da matemtica A matemtica a juventude da lgica ou a lgica a maturidade da matemtica e no ambos Se a matemtica a juventude da lgica, ento a lgica a maturidade da matemtica. 12
A matemtica a juventude da lgica se, e somente se, a lgica a maturidade da matemtica. No fato que a matemtica a juventude da lgica
Designamos as proposies simples: p: A matemtica a juventude da lgica q: A lgica a maturidade da matemtica Tem-se que: P (p, q): p e q. Q (p, q): p ou q. R (p, q): p ou q, e no ambos. S (p, q): Se p, ento q. W (p, q): p se, e somente se q. P1 (p): no p Observe que as frmulas proposicionais ou proposies compostas anteriormente apresentadas foram obtidas a partir de duas proposies simples quaisquer, unidas pelo conjunto de palavras, quando utilizadas para estabelecer a conexo entre duas ou mais proposies (simples ou compostas), so denominadas conectivos lgicos ou conectivos proposicionais, os quais definem classes de frmulas proposicionais especficas. Tais conectivos lgicos correspondem, portanto as seguintes estruturas: ... e... : ... ... ...ou... : ...... ....ou...., e no ambos : .... .... se....,ento.... : .... .... ... se, e somente se....: .... .... no .... : ~ ....
Logo, tem-se que: a. P (p, q) : p q b. Q (p, q) : p q c. R (p, q) : p q d. S (p, q) : p q 13
e. W (p, q) : p q f. P1 (p ) : ~ p Observe portanto, que uma frmula proposicional ou uma proposio simples toda a sentena declarativa constituda de pelo menos um conectivo lgico. Salienta-se, ainda que os conectivos lgicos estabelecem seis classes de frmulas proposicionais, podendo dar origem a frmulas proposicionais constitudas de diversos conectivos, repetidos ou no.
3. ENTIDADES LIGADAS OPERAO

3.1 ESCOPO E PAREAO: Seja a frmula proposicional P(p, q): p q ~ p q ~ p q. Obviamente no se pode qualificar a frmula acima segundo as seis classes de frmulas proposicionais anteriormente definidas, uma vez que o nvel de abrangncia dos respectivos operadores no est definido. Assim, atravs da colocao de parnteses poder-se- obter as seguintes frmulas: P (p, q): (p q) (~ p ((q ~p) q) P (p, q): p (q ((~ p q) (~p q)) P (p, q): ((p q) ~ p) (q (~p q)) E outras hipteses. Desta forma, utiliza-se o procedimento denominado pareao ou pareamento para caracterizar o escopo de uma determinada operao de uma dada frmula proposicional. Isto , parear significa colocar parntese com o objetivo de delimitar o nvel de abrangncia dos respectivos operadores lgicos, sendo que os nveis anteriormente considerados qualificam o que se denomina escopo de uma dada operao. 3.2 ORDEM DE PRECEDNCIA DOS OPERADORES LGICOS: Em certas situaes o procedimento de pareao torna a anlise de determinadas estruturas um tanto quanto complexas, tendo em vista a demasiada concentrao de parnteses. Assim, para resolver, em parte tais dificuldades convencionais se estabelecem uma ordem de precedncia dos conectivos lgicos em que se torna desnecessria a pareao. Adotar-se-, portanto, a seguinte ordem de precedncia usual.
~
14
Logo: Dada a frmula P (p, q): p q ~ p q ~ p v q, pareando-se vem que: P (p, q): (p q) ((~ p q) (~ p v q))
Retirar todos os parnteses desnecessrios segundo a ordem de precedncia usual. P (p, q): (((~ p q) ~ p) q) (~ p (~ q p))
4. OPERAES LGICAS FUNDAMENTAIS DO CLCULO SENTENCIAL

4.1 RELAES ENTRE CONECTIVOS LGICOS E OS OPERADORES LGICOS Conforme caracterizados anteriormente, os conectivos lgicos estabelecem classes de frmulas proposicionais especficas, as quais do origem s operaes lgicas fundamentais do clculo proposicional. Assim tem-se que: O conectivo,... e ... da origem ao operador de conjuno sendo tal operao denotada pelo smbolo . O conectivono ... da origem ao operador negador ou a operao de negao sendo denotada por ~ O conectivo ... ou ... da origem ao operador disjuntor inclusivo ou a operao de disjuno inclusiva sendo denotado por O conectivo ... ou ...., e no ambos, da origem ao operador disjuntor exclusivo ou a operao de disjuno exclusiva, cuja notao dada por O conectivose..., ento... da origem ao operador implicador ou a operao de condicional sendo denotado por O conectivo.... se, e somente se ... da origem ao operador bi-implicador ou a operao bicondicional, sendo denotado por:
Observe que as seis classes de frmulas proposicionais so caracterizadas pela forma estrutural, isto , pelas estruturas ~p, p q, p q, p q, p q, p q. Portanto uma frmula proposicional pode ser definida da seguinte maneira:
4.1.1
DEFINIO Uma frmula proposicional um conjunto ou srie finita de termos constituda de pelo
menos um operador lgico que incida sobre ao menos uma proposio simples componente. 15
oportuno salientar-se ainda que muito embora as observaes feitas at aqui se baseiam em proposies compostas, compostas de outras proposies compostas.
4.1.2
CONECTIVOS: So palavras que se usam para formar novas preposies a partir de outros conectivos usuais
em lgica matemtica. No caso de uma proposio composta cujas preposies simples so p e q, as possveis atribuies de valores lgicos a p e a q so: p 1 2 3 4 V V F F q V F V F
Notao: O valor lgico de uma proposio simples p indica-se por V(p). Exprime-se que p verdadeiro escrevendo se V (p) = V e analogamente exprime-se que p falsa escrevendo-se V(p)=F. 4.2
4.2.1
DEFINIO FORMAL DOS OPERADORES LGICOS: NEGAO Chama-se de negao de uma proposio p a proposio representada por ~p (no p) cujo
valor lgico verdadeiro (V) quando p falsa e falso (F) quando p verdadeiro.
Simbolicamente: ~ p = no p
Tabela verdade: p V V F F ~p F F V V
16
4.2.2
CONJUNO Chama-se conjuno de duas proposies p e q proposio representada por p e q cujo
valor lgico verdadeiro quando ambas as proposies p e q so verdadeiras e falso nos demais casos. Simbolicamente: p q = p e q Tabela verdade: p V V F F q V F V F pq V F F F
4.2.3
DISJUNO Chama-se disjuno de duas proposies p e q a proposio representada por p ou q cujo
valor lgico verdadeiro quando ao menos uma das proposies p e q verdadeira e falso quando ambas as preposies so falsa. Simbolicamente: p q = p ou q Tabela verdade : p V V F F q V F V F pq V V V F
4.2.4
DISJUNO EXCLUSIVA Chama-se disjuno exclusiva de duas proposies p e q a proposio representada por p ou
q mas no ambas cujo valor lgico verdadeiro (V) quando as proposies p e q tem valores lgicos diferentes. Simbolicamente: p q = p ou q mas no ambos 17
Tabela verdade: p V V F F
4.2.5
q V F V F
pvq F V V F
CONDICIONAL Chama-se condicional de duas proposies p e q a proposio cujo valor lgico falso (F)
se a proposio p verdadeira e q falsa, e verdadeira nos demais casos. Simbolicamente: p q = se p ento q Tabela verdade: p V V F F q V F V F pq V F V V
4.2.6
BICONDICIONAL Chama-se proposio bicondicional uma proposio cujo valor lgico verdadeiro (V)
quando p e q so ambas verdadeiras ou ambas falsas e falsa (F) nos demais casos. Simbolicamente: p q = p se e somente se q Tabela verdade: p V V F F q V F V F pq V F F V
18
AULA 1 - Exerccios
1) Quais das sentenas abaixo so proposies? a) A lua e feita de Queijo verde. b) Ele e certamente um homem alto. c) Dois e um numero primo. d) O jogo vai acabar logo? e) x 4 = 0
2
f) 3 e raiz de x 4x + 3 = 0
2
2) Sejam as proposies p: est frio e q: est chovendo. Traduzir para a linguagem corrente as seguintes proposies: a) ~ p b) p q c) p v q d) q p e) ~ p ~ q f) p ~ q g) p ~q h) p v ~ q i) p ~ q p
3) Sejam as proposies p:Jorge rico e q: Carlos feliz. Traduzir para linguagem corrente as seguintes proposies: a) p v q b) p q c) p ~ q d) ~ p ~q e) ~ ~p f) ~ (~p ~q)
19
4) Simbolizar, utilizando a lgica, as seguintes frases: a) X maior que 5 e menor que 7 ou X no igual a 6. b) Se X menor que 5 e maior que 3, ento X igual a 4. c) X maior que 1 ou X menor que 1 e maior que 0.
5) Sejam as proposies p: Marcos alto e q: Marcos elegante. Traduzir para a linguagem simblica as seguintes proposies: a) Marcos alto e elegante. b) Marcos alto, mas no elegante. c) No verdade que Marcos baixo e elegante. d) Marcos alto ou baixo e elegante. e) Marcos no nem alto e nem elegante. f) falso que Marcos baixo ou que no elegante.
6) Sejam as proposies: p : Sueli rica q : Sueli feliz Traduzir para linguagem simblica (lgica) as seguintes frases: a) Sueli pobre, mas feliz. b) Sueli rica o infeliz. c) Sueli pobre e infeliz. d) Sueli pobre ou rica, mas feliz.
7) Dadas as seguintes proposies: p : o nmero 596 divisvel por 2. q : o nmero 596 divisvel por 4. r : o nmero 596 divisvel por 3. Traduzir para a linguagem simblica: a) falso que nmero 596 divisvel por 2 e por 3, ou o nmero 596 no divisvel por 4. b) O nmero 596 no divisvel por 2 ou por 4, mas divisvel por 3. c) Se no verdade que o nmero 596 divisvel por 3, ento ele divisvel por 2 e no por 4. d) falso que o nmero 596 no divisvel por 2 e por 4, mas divisvel por 3 e por 2.
20
8) Sejam as proposies p: Carlos fala francs, q: Carlos fala ingls e r: Carlos fala alemo. Traduzir para a linguagem simblica as seguintes proposies: a) Carlos fala francs ou ingls, mas no fala alemo. b) Carlos fala francs e ingls, ou no fala francs e alemo. c) falso que Carlos fala francs mas que no fala alemo. d) falso que Carlos fala ingls ou alemo mas que no fala francs.
9) Determine o valor logico (V ou F) de cada uma das seguintes proposies: a) O numero 11 e um nmero primo. b) Todo numero divisvel por 5 termina em 0. c) - 2 < 0.
10)
Sabendo-se que V(p) = V(q) = T (true) e V(r) = V(s) = F (false), determine os valores lgicos das seguintes proposies: a) (p (q r)) (p (r q)) b) (q r) (~q r) c) (~p ~(r s)) d) ~(q ( ~p s)) e) (p q) (q ~p) f) ~(~q (p ~s)) g) ~q ((~r s) (p ~q)) h) ~(~p (q s)) (r ~s) i) ~(p (q r)) s
11)
Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) Se 3 + 2 = 6 ento 4 + 4 = 9. b) 3 + 4 = 7 se e somente se 5 3 = 125. c) No verdade que 12 um nmero primo. d) falso que 2 + 3 = 5 e 1 + 1 = 3. e) Braslia a capital do Brasil, e 2 0 = 0 ou 3 0 = 1.
21
AULA 2
5. PROCEDIMENTOS DE DECISO
Denomina-se matriz de verdade ou Tabela funo de verdade ou Tabela Verdade, todo procedimento de deciso que permite, num dado tempo determinao dos valores lgicos de uma dada frmula proposicional a partir dos valoresverdade das proposies simples componentes e das operaes lgicas entre tais valores, segundo o escopo de cada uma das respectivas operaes lgicas. oportuno observar dada uma frmula proposicional se faz necessrio delimitar o escopo de cada uma das operaes envolvidas bem como estabelecer os respectivos arranjos de valores lgicos das proposies simples que compes a frmula em anlise. Para a determinao do nmero de arranjos possveis, que correspondem s linhas da tabela verdade, adota-se a expresso 2n, onde n o nmero de proposies simples componentes e dois os valores verdade e falsidade, isto : 2nlinhas. possvel construir a tabela verdade correspondente a qualquer proposio composta dada. Tal tabela mostrar exatamente os casos em que a proposio composta ser verdadeira (V) ou falsa (F). Exemplos:Construir a tabela verdade das seguintes preposies: a) ~ (p ~ q) p V V F F q V F V F ~ V F F F (p V V F F F V V V ~ F V F V q) V F V F
b) p q ~ p ~ p v q ~ p q F F V V F F V F F F F V F F V F V V F V
p V V F F
q V F V F
p V V F F
q V F V F
~ F F V V
p V V F F
~ F F V V
p V V F F
v F F V V
q V F V F
~ F F V V
p V V F F
q V F V F 22
5.1
FRMULAS PROPOSICIONAIS ESPECIAIS: As frmulas proposicionais so classificadas quanto aos valores lgicos, em proposies
Tautolgicas, proposies Contravlidas e proposies Contingentes, as quais so assim definidas

5.1.1
TAUTOLOGIA Diz-se que uma frmula proposicional uma tautologia ou uma proposio tautolgica ou
ainda, uma proposio logicamente verdadeira, se, e somente se, na coluna resultado da respectiva tabela verdade, independentemente dos valores lgicos das componentes da frmula em anlise, tem-se to somente valores lgicos correspondentes verdade. Uma tautologia ser denotada pelos smbolos t ou T ( p, q, r, ...., p1,....,pn) Por exemplo, a frmula proposicional P (p, q): (p q) v (p q) uma tautologia, pois: p V V F F q V F V F (p V V F F F V V F q) V F V F v V V V V (p V V F F V F F V q) V F V F
5.1.2
CONTRADIO Diz-se que uma frmula proposicional uma contradio ou uma proposio contravlida
ou ainda proposio logicamente falsa, se, e somente se, na coluna resultado da respectiva tabelaverdade figuram, independentemente dos valores particulares de suas componentes, to somente valores lgicos correspondentes falsidade. Em termos de notao adotam-se os smbolos c ou C ( p, q, r, ..., p1, ..., pn) Por exemplo, a formula proposicional P (p, q): (p q) p ~ q uma contradio, pois: p V V F F q V F V F (p V V F F V F V V q) V F V F V F F F p V V F F F F F F ~ F V F V q V F V F 23
5.1.3
CONTINGNCIA Diz-se que uma frmula proposicional uma contingncia, ou uma proposio contingente
se, e somente se, na coluna resultado da respectiva tabela verdade tem-se pelo menos uma verdade e pelo menos uma falsidade, isto , tal frmula no uma tautologia e no contravlida. Por exemplo, a formula proposicional P (p, q) : (p q) v (p q) uma contingncia, pois: p V V F F q V F V F (p V V F F V F F F q) V F V F v V F V V (p V V F F V F V V q) V F V F
AULA 2 - Exerccios 1) Construa a tabela verdade para cada uma das seguintes proposies: a) ~p q b) (p q) (p v q) c) ~ (p q) v ~ (q p) d) (p q) v ~ (p ~ q) e) [p ( ~ q v r)] ~ [ q v (p ~ r)] f) p ~r q ~r g) ~(p q) ~(q p) h) (p q r) (~p q ~r)
2) Determinar quais das seguintes proposies so tautolgicas, contravlidas (contradio), ou contingentes: a) p ( ~ p q) b) ~ p v q (p q) c) p ( q ( q p)) d) ((p q) q ) p e) p v ~q ( p ~q) f) p v q p q g) p ( p q ~q) h) (q p) (p q) i) ~ p ~ (p q) j) p q ( p q v r)
24
AULA 3
6. RELAO DE IMPLICAO LGICA
6.1 DISTINO ENTRE OS SMBOLOS: E O smbolo representa uma operao entre proposies, resultando uma nova proposio. Exemplo: Operando a proposio p com a proposio q atravs do conectivo , resultar a proposio pq O smbolo indica apenas uma relao entre duas proposies dadas. Exemplo Dadas as proposies p q e p q, a relao de implicao lgica entre elas denotada por p q p q. 6.2 DEFINIO Diz-se que uma preposio P ( p, q, r,....) implica logicamente numa proposio Q ( p, q, r,....) se Q ( p, q, r,...) verdadeira (V) todas as vezes que P ( p, q, r, ....) verdadeira. Nestas condies, escreve-se que P (p, q, r....) Q (p, q, r,...), que se l: P implica em Q. Desta forma tem-se a implicao lgica entre duas dadas frmulas proposicionais quando nas respectivas tabelas verdades, linha a linha, nas colunas resultado no ocorre simultaneamente verdade-falsidade, nesta ordem.
Teorema: Diz-se que duas frmulas proposicionais quaisquer P ( p, q, r,...) e Q ( p, q, r,...) so de implicao, nesta ordem, se, e somente se, a condicional entre as mesmas gerar, por equivalncia lgica uma tautologia. 6.3 PROPRIEDADES FUNDAMENTAIS DAS RELAES DE IMPLICAO As relaes de implicao lgica tem as seguintes propriedades: Reflexiva: P(p, q, ...) P(p, q,....) Transitiva: Se P(p, q,....) Q(p, q,...) e Q (p, q,....) R(p, q,...) ento P(p, q,...) R(p, q,....) 25 LGICA
6.4
TEOREMA FUNDAMENTAL DA IMPLICAO LGICA Diz-se que duas frmulas proposicionais quaisquer P(p, q,....) e Q (p, q,...) so de
implicao, nesta ordem, se, e somente se, a condicional entre as mesmas gerar, por equivalncia lgica uma tautologia, ou seja: i. P(p, q,...) Q (p, q,...) se, e somente se, V[P(p, q,...) Q (p, q,....)] = V para quaisquer dos 2n arranjos de valores lgicos das n-proposies p, q,.... componentes. ii. P(p, q,...) Q(p, q,...) se, e somente se, P (p, q,...) Q (p, q,...) T (p, q,...) 6.5 ALGUMAS CONSIDERAES IMPORTANTES SOBRE AS IMPLICAES ENTRE
PROPOSIES Dadas as proposies simples p e q, as tabelas verdade das proposies compostas p q e pq, so: p V V F F q V F V F pq V F F F pq V V V F
A proposio p q verdadeira (V) somente na linha 1 e, nesta linha, a proposio p q tambm verdadeira (V). Logo, a primeira proposio implica a Segunda proposio, isto , p q p q. Nota: A implicao existe no s porque p q verdadeira e a proposio pq , tambm, verdadeira na mesma linha 1. sobretudo, porque, nas tabelas verdade de pq e pq, no figuram alternativa VF, nessa ordem. interessante notar que a proposio pq no implica a proposio pq porque nas tabelas verdade de pq e pq, nessa ordem, figura a alternativa VF (no caso, duas vezes). Dadas as proposies simples p e q, as tabelas verdade de p q e p q, so:
26
p V V F F
q V F V F
pq V F F F
pq V F F V
A proposio p q verdadeira (V) somente na linha 1 e, nesta mesma linha, a proposio p q tambm verdadeira (V). Logo, a primeira proposio implica a segunda proposio, ou seja: p q p q. Dadas as proposies simples p e q , as tabelas verdade das proposies compostas p q e pq, so: p V V F F q V F V F pq V F F F pq V F V V
A proposio p q verdadeira (V) somente na linha 1, e nesta linha, a proposio p q verdadeira (V) , portanto, no h alternativa VF. Logo, p q p q. Dadas as proposies simples p e q, as tabelas verdade das proposies compostas p q, p q e q p, so: p V V F F q V F V F pq V F F V pq V F V V qp V V F V 27
A proposio p q verdadeira (V) nas linhas 1 e 4 e, nestas linhas, as proposies q p e p q tambm so verdadeira. Logo, p q q p. pqpq 6.6 IMPLICAES NOTVEIS
REGRAS DE INFERNCIA Adio: ppvq
Simplificao: p q p pqq (p v q) ~ p q (p v q) ~ q p Regra Modus Ponens: (p q) p q (p q) ~ q ~ p (p q) (q r) p r
Regra do silogismo disjuntivo:
Regra Modus Tolens:
Regra do silogismo hipottico:
6.7
PROPOSIES ASSOCIADAS A UMA CONDICIONAL: Dada a condicional p q, chama-se proposio associada a essa proposio as trs
seguintes proposies condicionais. proposiorecprocade p q : q p proposio inversa de p q : ~ p ~ q proposio contrapositiva de p q : ~ q ~ p
6.7.1
PROPRIEDADES: A condicional p q e a contrapositiva ~ q ~ p so equivalentes A recproca q p e a inversa ~ p ~ q so equivalentes. 28
p V V F F
q V F V F
~p F F V V
~q F V F V
pq V F V V
qp V V F V
~p~q V V F V
~q~p V F V V
Exemplos: Determinar a contrapositiva da recproca de x = 0 x < 1
Determinar a contrapositiva da inversa de x < 1 x < 3
AULA 3 - Exerccios 1) Mostrar: a) q p q b) q p q p 2) Mostrar que p no implica p q e que p v q no implica p. 3) Considere a proposio: Se o Marcelo chato, ento, ele no tem namorada. Agora determine: a) a proposio recproca. b) a proposio inversa. c) a proposio contrapositiva. 29
4) Sabendo que as proposies p e q so verdadeiras e que a proposio r e s so falsas, determinar o valor lgico (V ou F) das seguintes proposies: a) p ~ q b) p v ~ q c) ~p q d) ~ p ~q e) ~ p v ~ q f) p ( ~ p v q) g) (s r) (p q) h) ~((r p) v (s q)) j) ~r p q j) r q (~p r) 5) Determinar V(p) e V (q) em cada um dos seguintes casos, sabendo: a) V ( p q ) = V e V(p q) = F b) V ( p q ) = V e V(p v q) = F c) V ( p q ) = V e V(p q) = V d) V ( p q ) = V e V(p v q) = V e) V ( p q ) = F e V(~p v q) = V 6) Utilizando tabelas-verdade, verifique se existem as relaes de implicao lgica seguintes: a) p q q p b) ~ (p q ) ~ p ~q c) p q r ~q r ~ p d) ~p (~q p ) ~ (p ~ q)
30
AULA 4
7. RELAO DE EQUIVALNCIA LGICA
7.1 DISTINO ENTRE OS SMBOLOS: E O smbolo representa uma operao entre proposies, resultando uma nova proposio. Exemplo: Operando a proposio p com a proposio q atravs do conectivo resultar na proposio p q. O smbolo indica apenas uma relao entre duas proposies dadas. Exemplo: Dadas as proposies p e ~~ p, a relao de equivalncia lgica entre elas denotada por p ~ ~ p 7.2 DEFINIO DE EQUIVALNCIA: Dadas as frmulas proposicionais P (p, q, r, ..., p1,... , pn) diz-se que todas as frmulas so logicamente equivalentes se, e somente se, V [P (p, q, r,....)] = V [Q (p, q, r,...)] para quaisquer dos valores verdade das m-proposies simples componentes. Ou seja: P (p, q, r,....) Q (p, q, r,...) se, e somente se, V [P(p, q, r, ...)] = V [Q (p, q, r,....)] para os 2n arranjos possveis de valores verdade das p, q, r,.... proposies componentes. Por exemplo: p q ~ p v q, pois: p V V F F V F V V q V F V F ~ F F V V p V V F F v V F V V q V F V F
Ou seja: p q ~ p v q
31
7.3
TEOREMA FUNDAMENTAL DAS EQUIVALNCIAS LGICAS: Sejam as frmulas proposicionais P (p, q, r,....) e Q (p, q, r,...). Teorema: P (p, q, r,...) Q (p, q, r,...), se e somente se, P (p, q, r....) Q (p, q, r,...)
T(p, q, r,...).
Exemplo: Verificar pela definio e pelo teorema se as frmulas proposicionais a seguir so equivalentes entre si. P (p, q): p q. Q (p, q): (p q) (q p).
Pela definio: p q (p q) (q p) se, e somente se V [p q] = V [(p q) (q p)].
p V V F F
V F F V
q V F V F
(p V V F F
V F V V
q) V F V F
V F F V
(q V F V F
V V F V
p) V V F F
Pelo teorema:
(p V V F F
V F F V
q) V F V F
V V V V
[( p V V F F
V F V V
q) V F V F
V F F V
(q V F V F
V V F V
p)] V V F F
32
7.4 PROPRIEDADES FUNDAMENTAIS DAS RELAES DE EQUIVALNCIA LGICA: Tendo em vista as caractersticas das relaes de equivalncia lgica, tem-se que as mesmas se verificam as seguintes propriedades: Reflexiva:P (p, q, r,...) P (p, q, r,...) p, q. Simtrica: Se P (p, q, r,...) Q (p, q, r,...) ento Q (p, q, r,...) P (p, q, r,...). Transitiva: Se P (p, q, r,...) Q (p, q, r,...) e Q (p, q, r,...) R (p, q, r,...) ento P (p, q, r,...) R (p, q, r,...). 7.5 EQUIVALNCIAS NOTVEIS: pv~pt p~pc p q (p q) (q p) pq~pvq p q ~ (p q) pq~q~p p v p p ou p p p tvpt tpp cvpp cpc 7.6 OPERAES DERIVADAS: Tendo em vista a ocorrncia com certa freqncia, de determinadas frmulas proposicionais no clculo proposicional tem-se estruturado dois ovos operadores, denominados de conectivos de Scheffer. Assim definem-se as operaes derivadas negao conjunta e negao disjunta.
7.6.1
NEGAO CONJUNTA: Chama-se negao conjunta de duas proposies p e q a proposio no p e no q: ~p~q 33
Notao: p q Tabela verdade: p V V F F q V F V F pq F F F V
7.6.2
NEGAO DISJUNTA Chama-se negao disjunta de duas proposies p e q a proposio no p ou no q: ~pv~q Notao: p q Tabela verdade: p V V F F q V F V F pq F V V V
AULA 04 - Exerccios 1) Verificar por tabela verdade se as seguintes equivalncias so vlidas: a) p ( p q) p b) p p q p q c) (p q) (p r) p q r d) ( p q) r p ~ r ~ q e) q p v q p q f) (p q) v (p r) p q v r
34
2) Verificar se o conectivo v ( ou exclusivo) exprime-se em funo dos trs conectivos ~, e do seguinte modo: p v q ( p v q) ~ (p q) 3) Verificar seos trs conectivos ~ , v e exprimem-se em funo do conectivos de SCHEFFER do seguinte modo: a) ~ p pp b) p v q (p q) (p q) c) p q (p q) (p q) 4) Verificar se os trs conectivos ~, v e exprimem-se em funo do conectivo de SCHEFFER do seguinte modo: a) ~ p pp b) p v q (p p) (q q) c) p q (p q) (p q) 5) Sabendo que as proposies p e q so verdadeiras e que a proposio r e s so falsas, determinar o valor lgico (V ou F) das seguintes proposies: a) ( ~ p q) ( q ~ r) b) ((p q) v (q r)) (r p) c) ( ~ p ~ q) ((q r) p) 6) Dar a negao da proposio: Rosas so vermelhas e violetas so azuis. 7) Julgue se so logicamente equivalentes as proposies: Quem tem dinheiro, no compra fiado e Quem no tem, compra, provando sua resposta.
35
AULA 5
8. EXERCCIOS GERAIS
1)
Chama-se tautologia a toda proposio que sempre verdadeira, independentemente da verdade dos termos que a compem. Um exemplo de tautologia : a) se Joo alto, ento Joo alto ou Guilherme gordo. b) se Joo alto, ento Joo alto e Guilherme gordo. c) se Joo alto ou Guilherme gordo, ento Guilherme gordo. d) se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo. e) se Joo alto ou no alto, ento Guilherme gordo.
2)
Maria tem trs carros; um Gol, um Corsa e um Fiesta. Um dos carros branco, o outro preto e o outro azul. Sabe-se que: ou o Gol branco, ou o Fiesta branco, ou o Gol preto, ou o Corsa azul ou o Fiesta azul, ou o Corsa azul, ou o Corsa preto, ou o Fiesta preto
Portanto, as cores do Gol, do Corsa e do Fiesta so, respectivamente:
a) branco, preto, azul. b) preto, azul, branco. c) azul, branco, preto. d) preto, branco, azul. e) branco, azul, preto.
3)
Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de vista lgico, o mesmo que dizer que: a) se Pedro pedreiro, ento Paulo paulista. b) se Paulo paulista, ento Pedro pedreiro. c) se Pedro no pedreiro, ento Paulo paulista. d) se Pedro pedreiro, ento Paulo no paulista. e) se Pedro no pedreiro, ento Paulo no paulista. 36
4)
Dizer que no verdade que Celina bonita ou Cristina no loira, logicamente equivalente a dizer que verdade que:
a) Celina no bonita ou Cristina no loira. b) Celina no bonita ou Cristina loira. c) Celina bonita ou Cristina loira. d) Celina no bonita e Cristina no loira. e) Celina no bonita e Cristina loira.
5)
Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer que verdade que:
a) Pedro no pobre ou Alberto no alto. b) Pedro no pobre e Alberto no alto. c) Pedro pobre ou Alberto no alto. d) se Pedro no pobre, ento Alberto alto. e) se Pedro no pobre, ento Alberto no alto.
6)
Se Andr culpado, ento Bruno inocente. Se Andr inocente, ento Bruno culpado. Se Andr culpado, Leo inocente. Se Andr inocente, ento Leo culpado. Se Bruno inocente, ento Leo culpado. Logo, Andr, Bruno e Leo so, respectivamente:
a) Culpado, culpado, culpado. b) Inocente, culpado, culpado. c) Inocente, culpado, inocente. d) Inocente, inocente, culpado. e) Culpado, culpado, inocente.
37
7)
Mauro, Jos e Lauro so trs irmos. Cada um deles nasceu em um estado diferente: um mineiro, outro carioca, e outro paulista (no necessariamente nessa ordem). Os trs tm, tambm, profisses diferentes: um engenheiro, outro veterinrio, e outro psiclogo (no necessariamente nessa ordem). Sabendo que Jos mineiro, que o engenheiro paulista, e que Lauro veterinrio, conclui-se corretamente que: a) Lauro paulista e Jos psiclogo. b) Mauro carioca e Jos psiclogo. c) Lauro carioca e Mauro psiclogo. d) Mauro paulista e Jos psiclogo. e) Lauro paulista e Mauro engenheiro
8)
A afirmao Alda alta, ou Bino no baixo, ou Ciro calvo falsa. Segue-se, pois, que verdade que: a) se Bino baixo, Alda alta, e se Bino no baixo, Ciro no calvo. b) se Alda alta, Bino baixo, e se Bino baixo, Ciro calvo. c) se Alda alta, Bino baixo, e se Bino no baixo, Ciro no calvo. d) se Bino no baixo, Alda alta, e se Bino baixo, Ciro calvo. e) se Alda no alta, Bino no baixo, e se Ciro calvo, Bino no baixo.
9)
Algum, e, ningum entraram na casa. Algum saiu pela porta, ningum saiu pela janela. Quem ficou na casa?
10)
A me de Irajara tem cinco filhas: Iran, Iran, Irani, Iran. Qual a quinta filha?
11)
O medir-se uma vara verificou-se que ela tem 5 metros mais a metade de seu prprio comprimento. Qual o real comprimento da vara?
12)
Se dois tijolos tem a massa de 1 kg e mais meio tijolo; qual a massa de um tijolo e meio?
13)
Se 100 gatos comem 100 ratos em 100 minutos, 1 gato come 1 rato em quantos minutos?
38
14)
O pai do meu neto o neto de meu pai. Quantas pessoas esto envolvidas nesse relacionamento de parentesco?
15)
O nmero de ovos numa cesta duplica de minuto em minuto. Em duas horas a cesta est cheia. A que horas estava pela metade?
16)
Conversao telefonica: - Al, do 1.000.000 ; - Sim, quem fala? - Como? Ento no reconheces minha voz?!? No entanto, a minha me e sogra da tua me. Pergunta-se: a) Para qual nmero foi feito o telefonema? b) Qual o parentesco dos interlocutores? com 6 casas decimais?
17)
Porque prefere um barbeiro carioca cortar o cabelo de dois capixabas a cortar o de um paulista?
18)
H mais de duas dcadas, numa sufocante noite de janeiro em Braslia, chovia torrencialmente meia noite. possvel que 96 horas depois estivesse sol em Braslia?
19)
A sala tem quatro cantos. Cada canto tem um gato. Cada gato v trs gatos. Quantos gatos esto na sala????
20)
Um pai tinha dois filhos e queria igualmente bem a cada um deles. Determinou ento, no seu testamento, que depois de sua morte, os dois filhos teriam que fazer uma viagem e que a fazenda com todos os seus pertences seria herdada pelo filho cujo cavalo chegasse por ltimo na esttua do Padre Ccero, em Juazeiro, no Cear. Depois da morte do pai, os dois filhos partiram de Braslia e se puseram a caminho muitssimo devagar, to devagar que nunca teriam chegado na esttua do vulnervel Padre Ccero. Resolveram, ento, consultar, no caminho, o espiritualista Chico Xavier. Este, sabiamente, disse um segredo ao ouvido de cada um. De posse do segredo, os dois irmos tomaram, o mais depressa possvel, os cavalos e disputaram a mais veloz das corridas. Qual foi o segredo que Chico Xavier falou aos dois herdeiros??
39
AULA 6
9. LGEBRA DAS PROPOSIES
9.1
9.1.1
PROPRIEDADES DA CONJUNO: IDEMPOTNCIA: ppp
p V F
pp V F
9.1.2
COMUTATIVIDADE:
p V
q V F V F
pq V F F F
qp V F F F
pqqp
V F F
9.1.3
ASSOCIATIVIDADE: (p q) r p (q r) p V V V V F F F F q V V F F V V F F r V F V F V F V F (p q) V V F F F F F F r V F F F F F F F p V F F F F F F F (q r) V F F F V F F F 40
9.1.4
IDENTIDADE: pcc ptp
p V F
c F F
t V F
p c F F
p t V V
9.2
PROPRIEDADES DA DISJUNO: Sejamp, q, r proposies simples quaisquer e sejam t e c proposies simples cujos valores
lgicos respectivos so V e F.
9.2.1
IDEMPOTNCIA: pvpp
p V F
pvp V F
9.2.2
COMUTATIVIDADE: pvqqvp
p V V F F
q V F V F
pvq V V V F
qvp V V F F
41
9.2.3
ASSOCIATIVIDADE: (p v q) v r p v (q v r)
p V V V V F F F F
9.2.4
q V V F F V V F F
r V F V F V F V F
(p v q) V V V V V V F F
vr V V V V V V V F
pv V V V V V V V F
(q v r) V V V F V V V F
IDENTIDADE: pvtt pvcp
p V F
t V V
c F F
pvt V V
pvc V F
V = elemento absorvente F = elemento neutro
9.3
9.3.1
PROPRIEDADES DA CONJUNO E DA DISJUNO: DISTRIBUTIVA: i. p (q v r ) (p q) v (p r) ii. p v (q r) (p v q) (p v r) 42
So idnticas as tabelas verdade das proposies p (q v r) e (p q) v (p r), Analogamente, so idnticas as tabelas verdade das proposies p v (q r) e (p v q) (p v r). As bicondicionais p (q v r) (p q) v (p r)e p v (q r) (p v q) (p v r) so tautolgicas A equivalncia (i) exprime que a conjuno distributiva em relao a disjuno e a equivalncia (ii) exprime que a disjuno distributiva em relao a conjuno. De (i) a proposio em linguagem corrente: As violetas so azuis e as rosas so vermelhas ou amarelas. As violetas so azuis e as rosas so vermelhas ou as violetas so azuis eas rosas amarelas. De (ii); Faz calor ou chove e venta Faz calor ou chove efaz calor ou venta.
9.3.2
ABSORO: i. p ( p v q) p ii. p v (p q) p
9.3.3
LEIS DE DE MORGAN: i. ~ ( p q ) ~ p v ~ q ii. ~ ( p v q ) ~ p ~ q
As leis deDe Morgan permitem definir a disjuno a partir da conjuno e da negao ou a conjuno a partir da disjuno e da negao. i.negar que duas dadas proposies so ao mesmo tempo verdadeiras equivale a afirmar que pelo menos uma falsa ii. negar que ao menos uma entre duas proposies verdadeira, equivale a afirmar que ambas so falsas. 9.4 NEGAO DA CONDICIONAL: pq~pvq ~ (p q) ~ (~ p v q) p ~ q
Demonstrao por tabela verdade: 43
p V V F F
q V F V F
pq V F V V
~ ( p q) F V F F
~q F V F V
p ~ q F V F F
9.5
NEGAO DA BICONDICIONAL: ~ (p q ) p v q p V V F F q V F V F pvq F V V F (p q) V F F V ~ (p q) F V V F
10.MTODO DEDUTIVO
Todas as implicaes e equivalncias foram demonstradas at aqui pelo Mtodo das tabelas verdade. Vamos agora exemplificar a demonstrao de implicaes e equivalncias por um mtodo mais eficiente, denominado Mtodo dedutivo. No emprego do Mtodo Dedutivo desempenham papel importante as equivalncias relativas a lgebra das Proposies. 10.1 REDUO DO NMERO DE CONECTIVOS: Entre os cinco conectivos fundamentais ( ~, , v, , ). Trs exprimem-se em termos de apenas dois dos seguintes pares: a) ~ e v b) ~ e c) ~ e 44
10.2 EXEMPLICIFICAO: Demonstrar as seguintesimplicaes e equivalncias: 1) i) c p ii) p t
onde p uma proposio qualquer e c e t so proposies cujos valores lgicos respectivos so F (falsidade) e V (verdade), observe-se tambm, que as tabelas verdade de c p e p t mostram que estas condicionais so tautolgicas. p c t cp pt
2) p q p (simplificao)
3) p p v q (adio)
4) (p q) p q (Modus Ponens)
45
5) (p q) ~ q ~ q (Modus Tollens)
6) (p v q) ~ p q (Silogismo Disjuntivo)
7) p q p v q
8) p q p
46
9) p ~ p q
10) p q p r q
11) p q p ~ q c (Reduo ao Absurdo)
12) p q p v q q
47
13) (p q) ( p ~q) ~ p
14) p q r p (q r) (Exportao- Importao)
15) (p r) (q r) p v q r
48
16) (p q) v (p r) p q v r
17) (p r) v (q s) p q r v s
AULA 5 - Exerccios 1) Simplificar as proposies abaixo utilizando as leis de equivalncia a) ~ ( ~ p ~ q) b) ~ (p v q) v ( ~ p q) c) ~ (p v ~ q) d) ~ (~ p q) e) ~ ( ~ p v ~ q) f) ( p v q) ~ p g) (p q) (~ p q) 49
h) p (p q) (p ~ q) i) (p q) r j) (p q) (~r ~q) k) p (p q) l) p q
2) Usar o mtodo dedutivo para demonstrar: a) p ~ p p b) ~ p pp c) p p q p q d) (p q) q p v q e) (p r) v (q r) p q r f) (p q) ( p r) p q r g) p (p v q) p h) p v ( p q) p i) p q ((p p) (p p)) (q q) j) p q ((p p) (q q)) ((p p) (q q)
50
AULA 7
11.FORMA NORMAL DAS PROPOSIES
11.1 DEFINIO: Uma proposio esta na forma normal (FN) se formada apenas pelos conectivos: ~, v e
11.1.1
FORMA NORMAL COJUNTIVA: Diz-se que uma proposio est na forma normal conjuntiva (FNC) se e somente se so
verificadas as seguintes condies: 1. Contm, quando muito, os conectivos ~ , e ; 2. ~ no aparece repetido (como ~~) e no tem alcance sobre e (isto , s incide sobre letras proposicionais); 3. v no tem alcance sobre (isto , no h componentes do tipo p v (p r)) Exemplos: Determinar a FNC das proposies: a) ~ (((p v q) ~ q) v (q v r))
b) (p q) ( ~ q ~ p)
51
11.1.2
FORMA NORMAL DISJUNTIVA: Diz-se que uma proposio est na forma normal disjuntiva (FND) se e somente se so
verificadas as seguintes condies: 1. Contm, quando muito, os conectivos ~ , e ; 2. ~ no aparece repetido (como ~~) e no tem alcance sobre e (isto , s incide sobre letras proposicionais); 3. no tem alcance sobre v (isto , no h componentes do tipo p (p v r)) Exemplos.: Determinar a FND das proposies (p q) (q p)
11.2 PRINCPIO DA DUALIDADE: Considerando uma proposio P em usa forma normal (FN) a dual de P aproposio obtida trocando-se cada smbolo e por v e respectivamente. Por exemplo, a dual de (p q) v r (p v q) r Se P e Q so proposies equivalentes em FN, ento suas respectivas duais PD e QDtambm so. Exemplo: p (q v q ) p deduz-se pelo princpio de dualidade que p v ( p q ) p
52
AULA 07 - Exerccios
1) Determinar uma forma normal conjuntiva (FNC) equivalente para cada uma das seguintes proposies: a) p q b) p ~ p c) p ~ p d) p v ~ p e) p q f) p p g) p ~ p h) p q i) (p ~ p) (q ~q) j) (p q) p k) ~ p (q v p) l) p ~ (q v r)
2) Determinara uma forma normal disjuntiva (FND) equivalente para cada uma das seguintes proposies: a) ~ ( ~ p v ~ q) b) ~ (p q) c) ( p p) ~p d) ~ (p v q) e) ( p q ) v ~ p f) ~ (p q) g) p v ~ p h) p ~ p i) p q j) p q k) p q l) p ~ p 53
AULA 8
12. RACIOCNIO LGICO TEORIA DA ARGUMENTAO:
12.1 PENSAMENTO LGICO FORMAL: Seja o raciocnio: Se a lgica a base da Matemtica e/ou no fato que a filosofia no a cincia dos contrrios, a matemtica o ideal da cincia bem como a dialtica a base da cincia natural. A cincia natural a dialtica da filosofia assim como a lgica no base da matemtica. Se no fato que a filosofia a cincia dos contrrios no verdade que a matemtica o ideal da cincia embora a matemtica fundamenta as cincias exatas. No fato que a matemtica no fundamenta as cincias exatas ou a matemtica o ideal da cincia. Portanto, natural concluir-se que a matemtica no o ideal da cincia. A partir deste ponto cabe a lgica matemtica instituir os mtodos e tcnicas que possibilitem avaliar a legitimidade de quaisquer que sejam os raciocnios que possam ser formalizados segundo os pressupostos do clculo proposicional. Tais mtodos e tcnicas constituem a base da teoria da argumentao qual condio necessria e suficiente para se estabelecer as regras de validade na chamada Anlise Inferencial 12.2 ARGUMENTO: Chama-se argumento toda afirmao de que uma dada seqncia finita de proposies P1, P2,....,Pn tem como conseqncia uma proposio final Q. As proposies P1, P2,...,Pn so chamadas de premissas do argumento e a proposio final Q chama-se concluso do argumento. Um argumento de premissasP1, P2,...,Pn e de concluso Q indicado de forma simblica por P1, P2,..., Pn | Q e pode ser lida de uma das seguintes maneiras: P1, P2, ..., Pn acarretam Q Q decorre de P1, P2,...,Pn Q se deduz de P1, P2,...,Pn Q se infere de P1, P2,...,Pn O smbolo | chamado trao de assero , afirma que se a proposio Q, sua direita, pode ser deduzido utilizando como premissas somente as proposies que esto sua esquerda. Um argumento de premissas P1, P2, ....,Pn e concluso Q pode tambm ser indicado atravs da forma padronizada, por: 54
P1 P2
M Pn
12.2.1
VALIDADE DE UM ARGUMENTO: Diz-se que valido um argumento se, e somente se, a concluso for verdadeira, toadas as
vezes que as premissas forem verdadeiras. Assim o argumento P1, P2,..., Pn | Q vlido se, e somente se, a concluso Q for verdadeira, todas as vezes que as premissas P1, P2,...Pn forem verdadeiras. Portanto, todo argumento vlido goza das seguintes propriedades: A verdade das premissas incompatvel com a falsidade da concluso. Um argumento no vlido chamado de sofisma (ou falcia). As premissas dos argumentos so verdadeiras ou,pelo menos, admitidas como verdadeiras. Alis, a lgica s se preocupa com a validade dos argumentos e no cma verdade ou falsidade das premissas e das concluses. A validade de um argumento depende to somente da relao existe entre as premissas e a concluso. Logo, afirmar que um dado argumento vlido significa afirmar que as premissas esto de tal modo relacionadas com a concluso que no possvel Ter a concluso falsa se as premissas forem verdadeira. Quando um argumento valido a condicional da conjuno das premissas com a concluso tautolgica. Exemplificando: Um argumento P1, P2,..., Pn | Q vlido se, e somente se a condicional (P1 P2 ... Pn ) Q for tautolgica. A condicional (P1 P2 ... Pn ) Q denominada condicional associada ao argumento P1, P2,..., Pn | Q. A validade de um argumento pode ser verificada, demonstrada ou testada atravs das tabelas-verdade ou com o uso das regras de inferncia. 12.3 CONDICIONAL ASSOCIADA A UM ARGUMENTO: Dado um argumento qualquer P1, P2,..., Pn Q a este argumento corresponde a condicional (P1 P2...Pn)Q , cujo antecedente a conjuno das premissas e cujo consequente a concluso denominada condicional associada ao argumento dado.
55
Reciprocamente, a toda condicional corresponde um argumento cujas premissas so as diferentes proposies cuja conjuno formam o antecedente e cuja concluso o consequente. Exemplificando, A condicional associada ao argumento p ~q, p ~r, q ~s ~ (r v s) : (p ~q) (p ~r) (q ~s) ~ (r v s) 12.4 VALIDADE DOS ARGUMENTOS ATRAVS DE TABELA VERDADE: O procedimento consiste em construir uma tabela verdade com uma coluna para cada premissa e uma coluna para a concluso. As linha nas quais todas as premissas so verdadeiras devem ter concluso verdadeira para que o argumento seja vlido. Se ao invs, em ao menos uma dessas linhas o valor lgico da concluso Q for F, ento o argumento dado no vlido, ou seja, um sofisma. Uma outra alternativa para demonstrar, verificar ou testar a validade do argumento dado consiste em construir a condicional associada.
Exemplos: Verificar a validade dos seguintes argumentos: p q, q | p
p V V F F
q V F V F
p q V F V V
12.5 REGRAS DE INFERNCIA: Inferncia: passos de uma deduo ou demonstrao. p q q 56
Adio: p pvq
p qv p
Simplificao: pq p
Conjuno:
p q pq
q p q p
Absoro: p q p (p q)
Modus Ponens:
pq p q
Modus Tollens:
pq ~q ~p
Silogismo Disjuntivo:
pvq ~p q
pv q ~q p
Silogismo Hipottico: p q q r p r
Dilema construtivo: p q r s pv r qvs
Dilema Destrutivo: p q r s ~q v ~s ~p v ~r
12.6 EXEMPLO DO USO DAS REGRAS DE INFERNCIA:

12.6.1
REGRA DA ADIO: Dada uma proposio p, dela pode-se deduzir a sua disjuno com qualquer outra
proposio. p . p~q 57
12.6.2
REGRA DA SIMPLIFICAO: Da conjuno p q de duas proposies pode-se deduzir cada uma das seguintes
proposio, p ou q. (p q) r pq
12.6.3
REGRA DA CONJUNO: Permite deduzir de duas proposies dados p e q (premissas) a sua conjuno p q ou q p
(concluses) (p q) ~r . (p q) ~ r
12.6.4
REGRA DA ABSORO: A partir de uma condicional (premissa) permite deduzir como concluso uma outra
condicional com o mesmo antecedente p e cujo consequente a conjuno p q das duas proposies que integram a premissa, isto e: xA x AB . xA x A x AB
12.6.5
REGRA MODUS PONENS: Permite deduzir q (concluso) a partir de p q e p (premissas) ~p~q ~p ~q .
12.6.6
REGRA MODUS TOLENS: Permite a partir das premissas p q (condicional) a ~ q (negao do consequente) deduzir
como concluso ~ p (negao do antecedente). qrs ~s ~(q r) 58 .
12.6.7
REGRA DO SILOGISMO DISJUNTIVO: Permite deduzir da disjuno p v q de duas proposies e da negao ~ p ( ou ~ q) de uma
delas a outra proposio q (ou p). (p v q) v r ~r pvq

12.6.8
REGRA DO SILOGISMO HIPOTTICO: Dadas duas condicionais p q e q r (premissa) tais que o consequente da primeira
coincide como antecedente da Segunda, esta regra permite deduzir uma terceira condicional p r (concluso) cujo antecedente e consequente so respectivamente o antecedente da premissa p q e o consequente da outra premissa. q r. ~p~q ~q~r ~p~r
12.6.9
REGRA DO DILEMA CONSTRUTIVO: Nesta regra as premissas so duas condicionais e a disjuno dos seus antecedentes, a
concluso a disjuno dos consequentes dos condicionais.
burro cavalo jumento elefante burro v jumento cavalo v elefante

12.6.10
REGRA DO DILEMA DESTRUTIVO: As premissas so duas condicionais e a disjuno da negao dos seus consequentes, a
concluso a disjuno da negao dos antecedentes desta condicional. ~qr ps ~r v ~s ~~ q v ~ p 59
AULA 7 Exerccios 1) Construir a condicional associada a cada um dos seguintes argumentos: a) ~p, ~q p |q
b) p q |~( p ~q)
c) p q, ~q v ( r s) | r s
d) x = y x = 5, x = 5 x < z | x = y x < z
2) Construir o argumento (premissas e concluso) correspondente a cada uma das seguintes condicionais: a) p ( q v ~p) q b) (p q) (p ~q) s c) ~ ( x<0 y x) x 0 v y = x
3) Indicar a Regra de Inferncia que justifica a validade dos seguintes argumentos: a) p q |(p q) v ~ r b) ~p (q r) |~p c) p q, q ~r |p ~r d) p (q r), p |q r e) (q v r) ~p, p |~(q v r) f) p q, r ~s | (p q) (r ~s) g) (p q) v ( ~p r), ~(~p r) | p q h) p q v r | p p (q v r) i) x + y = z y + x = z, x + y = z |y + x = z j) x > y x = z, x z |x y k) x 0, x 1 | x 0 x 1 60
l) m) n) o)
3 < 5 | 3 <5 v 3 < 2 x < 0 v x = 1, x 1 | x< 0 x = 1 x < 3, x < 3 x + y< 5 | x = 1 x + y < 5 n > 3 n < 4 |n < 4
4) Usar a regra Modus Ponens para deduzir a concluso de cada um dos seguintes pares de premissas: a) x = y y = z b) x + y = 0 x = 0 (x = y y = z ) x = z x+y=0 .
c) ( x > y y> z ) x > z x > y y> z
d) 2 > 1 3 > 1 2 >1 .
e) x + 1 = 2 x+1=2y+1=2
f) x + 0 = y x = y x+0=y .
5) Usar a regra Modus tollens para deduzir a concluso de cada um dos seguintes pares de premissas: a) x 0 x + y y x+y=y b) x = z x = 6 x6
c) (p q) ~ (r s) (r s)
d) x > 3 x > y x y
6) Usar a regra do Silogismo Disjuntivo para deduzir a concluso de cada um dos seguintes pares de premissas: a) x + 8 = 12 v x 4 b) y < b v x + y < 10 x + 8 12 . x + y 10
c) s v ( r t) ~s .
d) ~p v ~q q
61
7) Usar a regra do Silogismo Hipottico para deduzir a concluso de cada um dos seguintes pares de premissas: a) p r v ~s b) x = 3 x < y r v ~s t x<yxz
c) s v t r q r q ~s t
d) xy=6 xy + 5= 11 xy + 5=11 y = 2
8) Usar a regra do Dilema Construtivo para deduzir a concluso de cada um dos seguintes ternos de premissas: a) p r ~ q ~s pv~q b) x=5vx<y x=5x>3 x<yx<2 .
c) y = o xy = 0 y> 1 xy> 3 y=0vy>1
d)
x = 2 x2 = 4 x=2vy=3 y = 3 y2 = 9
9) Usar a regra do Dilema Destrutivo para deduzir a concluso de cada um dos seguintes ternos de premissas: a) p q r b) p ~r q q rs ~(~r q) v ~s ~ r v ~(r s) ~q s .
c)
x<3xy x> 4 x < y x= y v x y .
d)
y 9 v y 18 x=2y=9 x = 8 y = 18
62
10) Usar a tabela verdade para verificar que so vlidos os seguintes argumentos: a) p q, r ~ q | r ~p
b) p ~q, r p, q | ~ r
63
c) p q r, s p q, s |q v r
64
d) p v q, q r, p s, ~s |r ( p v q)
65
11) Demonstrar a no validade dos seguintes argumentos pelo Mtodo de atribuio de valores lgicos: a) p q, r s, p v s |q v r
b) (p q), ~p ~q r s, s r | r
c) p q v r, q p v r, r p v q, ~p | q v r
66
d) p q v r, s r, ~p v q | ~p q
e) (pq) r, r ~s v t, (s t) u, u | p q
f) p(q r), s (tv), q s t, ~(q v) | p r
67
AULA 9
13. VALIDADE MEDIANTE REGRAS DE INFERNCIA:
O mtodo das tabelas-verdade permite demonstrar, verificar ou testar a validade de qualquer argumento, mas o seu emprego torna-se cada vez mais trabalhoso a medida que aumenta o nmero de proposies simples componentes dos argumentos. Assim, para testar a validade de um argumento com cinco proposies simples componentes necessrio construir uma tabela-verdade com 25 = 32 linhas, perspectiva nada animadora. Um mtodo mais eficiente para demonstrar, verificar ou testar a validade de um dado argumento P1, P2, ..., Pn | Q consiste em deduzir a concluso Q a partir das premissas P1, P2,...,Pn mediante o uso de certas regras de inferncia. 13.1 EXEMPLIFICAO Verificar que so vlidos os seguintes argumentos: 1. p q, p r | q
2. p q, p v r s | p s
68
3. p (q r), p q, p |r
4. p q, p q r, ~( p r) | ~p
69
5. p v q r, r v q (p (s t)), p s | s t
6. p ~q, ~p (r ~q), ( ~ s v ~r) ~~ q, ~ s| ~ r
70
7. p q r, r s, t ~u, t, ~s v u| ~(p q)
8. p q, q r, s t, p v s|r v t
71
9. p q, ~ r (s t), r v (p v s), ~ r | q v t
10. p q, (p r) s v q, p q r, ~s | q
72
11. p q, p v ( ~~ r ~~q), s ~r, ~(p q) | ~s v ~q
12. p r, q s, ~r, (p v q) (r v s) | s
73
13. p q, q r, r s, ~s, p v t | t
14. (p q) (r s), t u, u v, ~q v ~v | ~ p v ~t
74
15. x = y x = z, x = z x = 1, x = 0 x 1, x = y | x 0
16. x = y x = z, x y x < z, x z v y > z, y z x z | y > z
75
AULA 8 - Exerccios
Verificar que so vlidos os seguintes argumentos: 1) r p v q, r, ~p| q 2) p ~ q, ~~ q, ~p r | r 3) p q , p r, q s | r s 4) p q, q ~r, p | ~r 5) p q, ~ q, ~p r| r 6) p q, p r, p | q r 7) p q, ~q, p v r | r 8) p v~q, r ~p, r | ~q 9) ~p v ~q, ~~ q, r p | ~r 10) p ~q, ~~ q, ~p r v s |r v s 11) ~ p v ~~ q, ~~ p, ~r ~q | ~~ r 12) p ~q r, p, s q, s v t | t 13) p q, p r, r s ~t, q s| ~t 14) p ~q, q v ~r, s r | p ~s 15) p v ~q, ~q r, p s, ~r | s 16) p q, q ~r, ~~ r, p v ( s t) | s 17) p v q, q r, p s, ~s | r ( p v q) 18) ~p v ~q, ~q ~r, ~p t, ~ t | ~r ~t 19) p ~q, p v r, r ~q, s q, t | ~s t 20) ~p q,q r s, p t, ~t | s 21) p v q, q r, ~r | p 22) p q, ~q ~r, ~r s | ~p s 23) p q, p v r, ~r |q v s 24) p q, q r, ( p r) ~s, s v t | t 25) p v ~q, ~r, p r, ~q s | s 26) r t, s q, t v q ~p, r v s | ~p 27) p ~q, ~q ~s, ( p ~s) ~t, r t | ~ r 28) p v q ~r, s p, t q, s v t | u v ~r 76
29) p v q ~r, p, s r | ~s 30) p (q v r), q v r ~s, s v t | t 31) p v q ~r, q, s t r |~( s t) 32) p q, ~q, ~p v ~r s | s 33) p v (qr), q s, r t, s t p v r, ~p | r 34) q v ( r t), q s, ~s (t p), ~s | r p 35) p v q (p s t), p r |t v u
77
AULA 10
14.VALIDADE MEDIANTE REGRAS DE INFERNCIA E EQUIVALNCIAS:
H muitos argumentos cuja validade no se pode demonstrar, verificar ou testar com o uso exclusivo das dez regras de inferncia dadas anteriormente, sendo necessrio recorrer a um princpio de inferncia adicional, a Regra de substituiode proposies equivalentes. Uma proposio qualquer P ou apenas uma parte de P pode ser substituda por uma por uma proposio equivalente, e a proposio Q que assim obtm equivalente a P. 14.1 EQUIVALNCIAS NOTVEIS: A fim de facilitar o emprego da Regra de Substituio damos a seguir uma lista de proposies equivalentes, que podem substituir-se mutuamente onde quer que ocorram: Idempotncia: ppp ppvp p ~~ p pqqp pvqqvp ~ (p q) ~ p v ~q ~ (p v q) ~ p ~q p (q r) (p q) r p v (q v r) (p v q) v r
Dupla negao: Comutativa:
De Morgan:
Associativa:
Condicional: p q ~p v q Distributiva: p (q v r) (p r) v (p q) p v (q r) (p v r) (p v r) Contrapositiva: pq ~q~p p q (p q) (q p) p q (p q) v (~p v ~q) p q p (p q) p q r p (q r) 78
Bicondicional:
Absoro:
Exportao-importao:
14.2 EXEMPLIFICAO: Demonstrar a validade dos seguintes argumentos: 1) p q, r ~ q | p ~r
2) p v (q r), p v q s | p v s
79
3) p v q r s, ~s | ~q
4) (p v ~q) v r, ~p v (q ~p) | q r
80
5) p q, q s, t v (r ~s) | p t
6) p v (q r), p s, s r | r
81
7) p q ~r, r v (s t), p q | p s
8) p q, r s, q v s ~t, t | ~p ~r
82
9) p q, q (p (r v s)), r s, ~(r s) | ~p
10) p q, q r, r p, p ~r | ~p ~r
83
11) ~ p v q r, r v s ~t, t | ~q
12) y 1 y 1, y 1 y < 1 v y = 1, x = 3 v x > 3, x > 3 x y, x = 3 x y | ~(x = y v y 1)
84
13) x = y x y, y = 0 x y, x = 0 v xy = 0 y = 0, (x = y y = 0) x = 0 | ~(x < y x = 1)
85
AULA 9 Exerccios DEMONSTRAR A VALIDADE DOS SEGUINTES ARGUMENTOS 1) p ~q, q, ~p r s | r s 2) p q, ~p ~~ r, ~q | r 3) p ~r, q r, q | ~p 4) ~p ~q, ~q ~r, r | p 5) ~p v q, ~p r, ~r | q 6) r p v q, ~~r, ~q | p 7) ~p v q, ~q, ~(q r) p | r 8) p, ~q ~p | q v ~s 9) ~p q, q r, ~r | p 10) p q, ~q, ~ p r | ~~r 11) ~p ~q, q | p 12) p v q, ~q, p r s | s r 13) (r ~t) ~s, p s, p q | ~(~t r) 14) (r s) v p, q ~p, t ~p, q v t | s r 15) ~p v ~q, ~ r p, r ~ s, s | ~ q 16) p q v r, ~~ p, ~ r | q 17) r p ~q, r v ~s, s | ~ q p 18) ~(p q), ~q r, ~ p r, s ~ r | ~s 19) p ~ q, p ~ r, q v ~s | ~(r v s) 20) ~ s ~ (p v ~t), t q r, ~s | r q 21) ~ p q, r q, r v ~p, ~ q v s | s 22) t p s, q ~p, r ~ s, r v q | ~ t 23) r ~ p, (r s) v t, t q v u, ~ q ~ u | ~ p 24) p v q, s q r, p s, q s | r q 25) ~ (p v ~r), p v q, r s, q s t s | s t 26) p q, q r | ~ p v r 27) r p q, ~p v ~q, r v s | s 28) p v q r, ~ r, ~ p s | s 29) (p q) r, ~r, (~ p v q) v s | s 30) ~(p q) (r s), r ~s, q t | t 31) p v ~(q v ~r), ~p, r s v t | s v t 32) p v q r, ~r, q v (~ s v t) | s t 33) p v (~ q r), ~(p v s) ~r | q 34) (p q) r, ~ r v s, ~( p ~q), s v t u | u 35) ~ p v q, ~ s ~ r, p v (r t) | q v s 36) p ~q, p v (r s) | q s 37) p q v r, ~r | p q 38) ~p v ~q r, r s | ~s p 39) p v q, q r, s t, ~r | s p 40) p q, q v r s, ~s | ~p 41) p v (q r), p v r s t | s 42) (p q) v ( r s), ~q | ~p v s 43) p q, p q r v s, r v s ~t, (p ~t) u | u 44) p v q r s, ~r | ~p 86
AULA 11
15.INCONSISTNCIA:
Duas ou mais proposies que no podem ser simultaneamente verdadeiras dizem-se inconsistentes. Tambm se diz que formam um conjunto inconsistente de proposies. Um argumento se diz inconsistente se as suas premissas no podem ser simultaneamente verdadeiras (inconsistentes). As proposies ~ (p v ~ q), p v ~r, q r, so inconsistentes, pois, impossvel encontrar uma atribuio de valores s proposies simples componentes p, q e r que torne essas trs proposies compostas simultaneamente verdadeiras. Com efeito construindo as tabelas verdade dessas trs proposies verifica-se que, em cada linha, pelo menos uma delas uma delas falsa (F), isto , no h uma s linha em que admitam, todas, o valor lgico V.
~ F F F F V V F F
(p V V V V F F F F
v V V V V F F V V
~ F F V V F F V V
q) V V F F V V F F
p V V V V F F F F
~ F
r V F V F V F V F
q V V F F V V F F
V F V V V F V V
r V F V F V F V F
V V V F V F V
V F V F V F V
Tambm se pode demonstrar que as trs proposies dadas so inconsistentes deduzindo do seu conjunto uma contradio qualquer, do tipo, A ~A, medianteas regras de deduo usadas para os argumentos, pois, como estas regras preservam a verdade, a contradio que se obtm prova que estar trs proposies no podem ser conjuntamente verdadeiras.
87
(1) ~ (p v ~q) (2) p v ~ r (3) q r (5) ~ p q (6) q (7) r (8) ~ p (9) ~ r (10) r ~r . 1. DM 4. DN 5. Simp. 3,6. MP 5. Simp. 2,8. SD 7,9. Conj. (4) ~ p ~~ q
Outros exemplos: 1) Demonstrar que so inconsistentes as trs seguintes proposies: x = 1 y < x, y < x y = 0, ~(y = o v x 1)
88
2) Demonstrar que inconsistente o conjunto das seguintes proposies: ~p v ~q, p s, ~s v r, r r q
3) Demonstrar que consistente o conjunto das seguintes proposies: ~ ( p v q), r s, ~ q r
89
16. DEMONSTRAO CONDICIONAL E DEMONSTRAO INDIRETA:

16.1 DEMONSTRAO CONDICIONAL: Outro mtodo til para demonstrar a validade de um argumento a Demonstrao condicional. Esta demonstrao, todavia, s pode ser usada se a concluso do argumento tem a forma condicional. Seja o argumento: P1, P2,..., Pn | A B (1), cuja concluso a condicional A B. Sabemos que este argumento vlido se e somente se a condicional associada (P1 P2 . . . Pn) (A B) tautolgica. Ora, pela Regra de Importao , esta condicional associada equivalente a seguinte: [(P1 P2. . . Pn) A] B
Assim sendo, o argumento (1) vlido se e somente se tambm vlido o argumento: P1, P2,..., Pn, A | B, cujas premissas so todas aquelas do primitivo argumento (1), mais uma, A, e cuja concluso B (observa-se que A e B so respectivamente o antecedente e o consequente da concluso do primitivo argumente (1)). Em resumo, temos a seguintes regra DC: Para demonstrar a validade do argumento (1), cuja concluso tem a forma condicional A B, introduz-se A como premissa adicional (indicada por PA) e deduz-se B.
16.1.1
EXEMPLIFICAO: Demonstrar a validade dos seguintes argumentos usando a regra DC:
1) p v (q r), ~ r | q p
90
2) ~p ~q v r, s v (r t), ~ p v s, ~ s | q t
16.2 DEMONSTRAO INDIRETA: Um outro mtodo frequentemente empregado para demonstrar a validade de um dado argumento: P1, P2,...,Pn | Q (1), chamado de Demonstrao Indireta ou Demonstrao por absurdo consiste em admitir a negao ~Q da concluso Q, sito , supor ~Q verdadeira, e da deduzir logicamente uma contradio qualquer C (do tipo A ~A) a partir das premissas P1, P2, ..., Pn, ~Q, isto , demonstrar que vlido o argumento: P1, P2,..., Pn, ~ Q | C Em resumo, temos a seguinte Regra DI: Para demonstrar a validade do argumento (1) introduz-se ~Q como premissa adicional(indicada por PA) e deduz-se uma contradio c ( do tipo A ~A) 91
16.2.1
EXEMPLIFICAO: Demonstrar a validade dos seguintes argumentos usando a regra DI
1) p ~q, r q | ~ (p r)
2) ~ p q, ~ q v r, ~ r | p v s
92
3) ~p v q, ~q, ~ r s, ~ p (s ~t) | t r
AULA 10 Exerccios 1) Demonstrar que os seguintes conjuntos de proposies so inconsistentes deduzindo uma contradio para cada um deles: a) b) c) d) e) f) g) h) q p, ~(p v r), q v r p v ~q, ~(q r), p r ~(p v q), ~q r, ~r v s, ~p ~s p v s q, q ~r, t p, t r x = y x < 4, x 4 v x < z, ~( x< z v x y) x = 0 x + y = y, x > 1 x = 0, x + y = y x 1 x = y x < z, x z (x = y v y < z), y < z x < z x < y x y, y > z z y, x = y y > z, x < y v z < y 93
2) Demonstrar que os seguintes conjuntos de proposies so consistentes: a) p q, q r, ~r v s b) p q, ~q r,p v r c) ~p v ~q, ~p r, ~r d) p q, r q, q ~s e) x = y x y, x , y v x = y, x y x < y f) x = 2 v x = 3, x2 v x3
3) Usar a Regra DC (Demonstrao condicional) para mostrar que so vlidos os seguintes argumentos: a) ~r v ~s, q s | r ~q b) p ~q, ~(r ~p) | q ~r c) r t, t ~s, ( r ~s) q | p p q d) p q, r p, s r | s q e) ~p, ~r q, ~s p | ~( r s) q f) p ~q, ~r q, ~s ~q | p v ~s r g) ~p v ~s, q ~r, t s r | t ~( p v q) h) r s, s q, r v ( s p) | ~q p s i) r v s, ~t ~p, r ~q | p q s t j) r p, s t, t r | s p v q k) q p, r v s, q v ~s | ~( p v r) t l) p v q r, s ~r ~t, s v u | p u m) p q, r t, s r, p v s | ~q t n) p v q, ~r v ~q | ~p ~r o) ~p v ~q, p v (r s) | q s p) p q ~r v ~s, r s | p ~q q) p q, p v ~r, ~s v t r | ~s q r) (p q) v r, s v t ~r, s v (t u) | p q s) (p q) ~(r ~s), s t v u, ~u | r t t) p v ~q, q, r ~s, p (~s t) | ~t ~r
94
4) Usar a Regra DI (Demonstrao Indireta) para mostrar que so vlidos os seguintes argumentos: a) ~(p q), p r, q v ~r | ~p b) p ~q, r ~p, q v r | ~p c) ~(p q), ~r q, ~p r | r d) p q v r, q ~p, s ~r | ~( p s) e) p v q, p ~r, q s | ~r v s f) p v q, s ~p, ~(q v r) | ~s g) p ~q, q v ~r, ~(s v ~r) | ~p h) ~p ~q, ~p v r, r ~s | ~q v ~s i) p q ~r, ~r ~p, ~q ~r | q j) ~p v ~q, r v s p, q v ~s, ~r | ~(r v s) k) p v q r, ~r, s p | ~s l) (p q) v r, s v t ~r, s v (t u) | p q m) p q, q v r s, ~s | ~p n) (p q) r, r v s ~t, t | ~q o) (p q) v (r s), ~q | p s p) p q, q s, t v ( r ~s) | p t q) ~p ~q v r, s v (r t), p s, ~s| q t r) ~(p q) v (s ~r), q v s, p ~s | ~r v ~s s) (~p q) (r s), p t v ~s, r, ~t | q t) (p q) (r s t), p q r, r, ~t | ~s u) ~(p ~q) ((r s) v t), p. q, ~t | r s
95
AULA 12
17. EXERCCIOS GERAIS
1)
Construa os argumentos utilizando lgica proposicional. Classifique como vlido ouinvlido justificando sua resposta.
a) Joo precisa de dinheiro mas no quer baixar os preos de suas mercadorias. Joo baixa os
preos ou no vai poder comprar os presentes de natal. Se Joo emprestar o dinheiro, ento poder comprar os presentes de natal. Logo, Joo precisa de dinheiro e no vai emprestar o dinheiro.
b) Se est chovendo ou est frio ento no irei viajar. Se est sol ento irei viajar. Est
chovendo. Logo, no est sol.

c) Se papai-noel existe ento Maria est feliz. Maria no est feliz. Se no existe papai-noel ou
Maria no tem dinheiro ento ela est triste. Logo, Maria est triste.
d) Se trabalho no posso estudar. Trabalho ou passo em Lgica. Trabalhei. Logo,passei em
Lgica.
e) Se tenho dinheiro vou ao futebol. Se tenho dinheiro, vou praia. No tenho dinheiro. Logo,
ou no vou ao futebol ou no vou praia.

f) Se o cmbio cair, temos inflao. Se as exportaes crecerem, diminuimos o deficit. Ou o
cmbio cai ou diminuimos o deficit. Logo, temos inflao ou as exportaes crescem.

g) Se vejo televiso aborreo-me. Se leio jornal desiludo-me. Se me aborreo ou me desiludo,
fico nervoso. Eu nunca fico nervoso. Logo, ser leio jornal no vejo televiso.
h) Se estudo no sou reprovado em lgica. Se no jogo sinuca, ento estudo. Fui reprovado em
Lgica. Logo, joguei sinuca.
2)
Se Frederico francs, ento Alberto no alemo. Ou Alberto alemo, ou Egdio espanhol. Se Pedro no portugus, ento Frederico francs. Ora, nem Egdio espanhol nem Isaura italiana. Logo: a) Pedro portugus e Frederico francs. b) Pedro portugus e Alberto alemo. c) Pedro no portugus e Alberto alemo. d) Egdio espanhol ou Frederico francs. e) Se Alberto alemo, Frederico francs. 96
3)
Se Luiz estuda Histria, ento Pedro estuda Matemtica. Se Helena estuda Filosofia, ento Jorge estuda Medicina. Ora, Luis estuda Histria ou Helena estuda Filosofia. Logo, segue-se necessariamente que: a) Pedro estuda Matemtica ou Jorge estuda Medicina. b) Pedro estuda Matemtica e Jorge estuda Medicina. c) Se Luis no estuda Histria, ento Jorge no estuda Medicina. d) Helena estuda Filosofia e Pedro estuda Matematica. e) Pedro estuda Matemtica ou Helena no estuda Filosofia.
4)
Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta. Ora, o passarinho canta. Logo: a) O jardim florido e o gato mia. b) O jardim florido e o gato no mia. c) O jardim no florido e o gato mia. d) O jardim no florido e o gato no mia. e) Se o passarinho canta, ento o gato no mia.
5)
Se Maria no anda sozinha, ento Pedro sabe costurar. Se Maria anda sozinha, ento ou Joana estuda ou Manoel trabalha. Se Manoel trabalha, Teresa faz ginstica. Mas Teresa faz ginstica se e somente se no for verdade que Ferdiando no tem uma camera. Ora, Ferdinando no tem uma camera e Joana no estuda, Logo: a) Maria no anda sozinha e Manoel trabalha. b) Joana no estuda e Manoel trabalha. c) Ferdinando no tem uma camera e Teresa faz ginstica d) Pedro no sabe costurar e Maria anda sozinha. e) Pedro sabe costurar e Manoel no trabalha.
6)
H trs suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou por mais de um deles, j que podem ter agido individualmente ou no. Sabe-se, ainda, que: i. ii. iii. se o cozinheiro inocente, ento a governanta culpada; ou o mordomo culpado ou a governanta culpada, mas no os dois; o mordomo no inocente. 97
Logo: a) a governanta e o mordomo so os culpados; b) somente o cozinheiro inocente; c) somente a governanta culpada; d) somente o mordomo culpado; e) o cozinheiro e o mordomo so os culpados.
7)
Uma pombinha que voava, ao ver passar um bando de pombas em revoada, assim exclamou: "Ol minhas 100 pombas!". Uma delas respondeu: "100 pombas no somos ns, mas ns, outras tantas de ns e mais o dobro de voc, 100 pombas seremos ns". Quantas pombas passavam em revoada?
8)
Quando uma senhora saiu com um carrinho levando uma criana a fim de tomar o sol das primeiras horas da manh, encontrou-se com uma velha conhecida que h muito tempo no via, que, ao cumpriment-la, indagou: Qual seu parentesco com esta linda criana? A resposta veio logo em seguida: Sua me a filha nica de minha me. Qual , ento, seu verdadeiro parentesco?
9)
Na gaveta de meu guarda-roupas h seis pares de meias pretas e seis pares de azuis. A escurido no quarto onde est o guarda roupas total. Qual o nmero mnimo de meias que devem ser apanhadas para se ter certeza de que um par seja de meias de mesma cor?
10) O
vaqueiro esta tocando as vacas numa estrada. Uma delas anda na frente de duas outras, uma
anda entre duas e uma anda atrs de duas. Quantas vacas eram?
11) Sabendo-se
que seis raposas, em seis minutos, comem seis galinhas, pergunta-se: Quantas
raposas, em sessenta minutos, comem sessenta galinhas?
98

Raciocinio Logico Quantitativo

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

Raciocinio Logico Quantitativo

Enviado por

Direitos autorais:

Formatos disponíveis

Ministrio da Educao Universidade Tecnolgica Federal do Paran Campus Curitiba Gerncia de Ensino e Pesquisa Departamento Acadmico de Matemtica

Raciocnio Lgico Quantitativo

Prof.a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

1. PRINCPIOS FUNDAMENTAIS EM LGICA MATEMTICA

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

2. PROPOSIES OU ENUNCIADOS - FUNDAMENTAO DO CLCULO PROPOSICIONAL

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Seja, portanto, a proposio composta A filosofia arte embora a dialtica a cincia. 10

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

V ( p ) = V (valor lgico de p igual verdade) ou V ( p ) = F

V [ P ( p, q, r,..., p1,..., pn)] = V

V [ P ( p, q, r,..., p1,..., pn)] = F

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Logo, tem-se que: a. P (p, q) : p q b. Q (p, q) : p q c. R (p, q) : p q d. S (p, q) : p q 13

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

3. ENTIDADES LIGADAS OPERAO

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

4. OPERAES LGICAS FUNDAMENTAIS DO CLCULO SENTENCIAL

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

CONJUNO Chama-se conjuno de duas proposies p e q proposio representada por p e q cujo

DISJUNO Chama-se disjuno de duas proposies p e q a proposio representada por p ou q cujo

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Tautolgicas, proposies Contravlidas e proposies Contingentes, as quais so assim definidas

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

Raciocnio Lgico Quantitativo

Prof a Paula Francis Benevides

REGRAS DE INFERNCIA Adio: ppvq

Simplificao: p q p pqq (p v q) ~ p q (p v q) ~ q p Regra Modus Ponens: (p q) p q (p q) ~ q ~ p (p q) (q r) p r

Regra do silogismo disjuntivo:

Regra Modus Tolens: