Anda di halaman 1dari 47

INSTITUTO BAIANO DE EDUCAO SUPERIOR IBES CURSO: CINCIA DA COMPUTAO DISCIPLINA: LGICA MATEMTICA PROFESSOR: ATAUALPA MAGNO FERRAZ

Z DE NOVAES PRIMEIRO SEMESTRE DE 2006 Prezados Alunos, sejam bem-vindos ao nosso curso de Lgica Matemtica.
Desejo que vocs possam desfrutar destas notas de aula. O sabor coloquial com que procurei temperar estas anotaes certamente facilitar a aprendizagem da matria. Um agradecimento muito especial aos autores de livros, excelentes mestres Edgard de Alencar Filho e Lenidas Hegenberg. Desde que desejamos aprimorar este trabalho ao longo do tempo, sugestes e crticas sero bem vindas. Email: amferraznovaes@ig.com.br ou ataualpa@im.ufba.br. Pgina na Internet: http:// geocities.yahoo Telefones: 3353-4784 ou 9179-1925

Primeiramente apresentarei a vocs a EMENTA do nosso curso e o CONTEDO PROGRAMTICO

UNIVERSIDADE PAULISTA UNIP


EMENTA E CONTEDO PROGRAMTICO INSTITUTO: Instituto de Cincias Exatas e Tecnologia CURSO: Cincia de Computao DISCIPLINA: Lgica Matemtica I CARGA HORRIA SEMANAL: 2 horas/aula-semanais

I EMENTA
Cincia e razo. Razo e linguagem. Linguagens naturais. Linguagens artificiais. Linguagem e metalinguagem. Linguagem proposicional. Conectivos lgicos. Paradoxos semnticos e lgicos: Anlise da tabela verdade de uma proposio qualquer. Tautologia e contradio. Regras de eliminao de parnteses. rvore de refutao de frmulas. Forma disjuntiva normal. Forma conjuntiva normal. A noo de teoria axiomatizada. O conceito de frmula. O conceito de demonstrao. Metateoremas. A questo de consistncia do clculo proposicional. Linguagem quantificacional. lgebras Booleanas e clculo proposicional. Noes sobre lgicas no-clssicas: lgicas multivaloradas, modais, nebulosas ( Fuzzy ) e paraconsistentes.

II OBJETIVOS GERAIS
Capacitar o aluno a familiarizar com raciocnios abstratos, permitindo ver os conceitos de forma orgnica e ordenada.

III OBJETIVOS ESPECFICOS


Introduzir o aluno aos conceitos bsicos da moderna Lgica Matemtica, desenvolvendo o raciocnio proposicional, lgica de quantificadores ( predicados ), estruturas. Discutir-se- tambm como a Lgica Clssica embasa as teorias usuais em Matemtica, Cincia da Computao e outras cincias, fornecendo uma viso de sua importncia no sistema de conhecimento cientfico como um todo. A disciplina possui carter formativo e constitui uma das matrias bsicas na formao de profissionais da rea de Cincia da Computao

IV CONTEDO PROGRAMTICO
Lgica e linguagem: - Cincia e lgica - Lgica e razo; Lgica e linguagem:- Linguagens naturais; Lgica e linguagem:- Linguagens artificiais; Paradoxos semnticos e lgicos: - Introduo; - Linguagens artificiais; linguagem e meta-linguagem. O clculo proposicional - Introduo - Conectivos lgicos - Conectivos da negao, conjuno, disjuno, implicao e bi-implicao, tabelas verdade dos conectivos. O clculo proposicional: - rvore de formao de frmulas - rvore de decomposio de frmulas. O clculo proposicional: - Anlise de valores-verdade de frmulas. O clculo proposicional: - Forma normal disjuntiva e conjuntiva - Regra de eliminao de parntesis - Notao polonesa de frmulas O clculo proposicional: - Tautologias e contradies O clculo proposicional rvore de refutao de frmulas Hipteses (ou premissas) e dedues A regra de Modus Ponens Apresentao axiomtica O clculo de predicados A linguagem quantificacional: a noo de predicado A linguagem quantificacional: quantificadores universal e existencial. A noo de estrutura e modelo A linguagem quantificacional: comeando a programar em linguagem quantificacional

1 AVALIAO DO PRIMEIRO SEMESTRE DE 2006 TRABALHO EM DUPLA VALOR 5,0 PESQUISAR SOBRE
Cincia e razo. Razo e linguagem. Linguagens naturais. Linguagens. A noo de teoria axiomatizada. O conceito de frmula. O conceito de demonstrao. Meta-teoremas. A questo de consistncia do clculo proposicional. Linguagem quantificacional. lgebras Booleanas e clculo proposicional. Linguagem e metalinguagem. Linguagem proposicional. Regras de eliminao de parnteses. rvore de refutao de frmulas. A noo de teoria axiomatizada. O conceito de frmula. A questo de consistncia do clculo proposicional. Noes sobre lgicas no-clssicas: lgicas multivaloradas, modais, nebulosas ( Fuzzy ) e paraconsistentes.

DATA DE ENTREGA: A DETERMINAR EM SALA.


FONTES DE PESQUISA
ABE, JAIR MINORO, et al. Introduo Lgica Matemtica Para a Cincia da Computao. Ed. Arte Cincia, 2001. JUDITH GERSTING, Fundamentos Matemticos para a Cincia da Computao, Pesquisar na INTERNET

ATENO: OS DOIS PRIMEIROS LIVROS DA LISTA ACIMA PODEM SER


ENCONTRADOS NA BIBLIOTECA DA IBES.

CONJUNTOS NUMRICOS FUNDAMENTAIS


CONJUNTO DOS NMEROS NATURAIS O conjunto dos nmeros naturais representado por = { 0, 1, 2, 3, 4, ... }. Observao: * = { 1, 2, 3, 4, ... }. Isto , o asterisco exclui o zero do conjunto . e definido como:

Note que nem sempre a subtrao de dois nmeros naturais, tem como resultado um nmero de modo que, a operao de subtrao possa ser natural. Portanto, vamos ampliar definida para quaisquer nmeros do novo conjunto. Obteremos assim, o conjunto dos nmeros inteiros: CONJUNTO DOS NMEROS INTEIROS O conjunto dos nmeros inteiros representado por = {... , -4, -3, -2, -1, 0, 1, 2, 3, 4, ... } Observao: *= { 0 } = {... , 4, 3, 2, 1, 1, 2, 3, 4, ... } e definido como:

Note que nem sempre a diviso de dois nmeros inteiros, tem como resultado um nmero de modo que, a operao de diviso possa ser definida inteiro. Portanto, vamos ampliar para quaisquer nmeros do novo conjunto, exceto quando o divisor for zero. Obteremos assim, o conjunto dos nmeros racionais: CONJUNTO DOS NMEROS RACIONAIS = { x; x = p/q com p } ,q e q 0 }, ou seja: = { x; x = p/q com p ,q

Temos ento que nmero racional aquele que pode ser escrito na forma de uma frao p/q onde p e q so nmeros inteiros, com o denominador diferente de zero. Lembre-se que NO EXISTE DIVISO POR ZERO! Note que 0/3 = 0/7 = 0, mas no existem, por exemplo: 3/0, 7/0, nem tambm 0/0. So exemplos de nmeros racionais: 2/3; 3/7; 0,001 = 1/1000; 0,75 = 3/4; 0,333... = 1/3; 7 = 7/1, etc... Nota: fcil ver que

Observou-se que h nmeros, como, por exemplo, 2 = 1,414213562... que no pertencem a , isto , que no podem ser escritos como quociente de dois nmeros inteiros. Os matemticos ento definiram o conjunto dos nmeros irracionais:

CONJUNTO DOS NMEROS IRRACIONAIS ( Smbolos: I ou

= I = { x; x um nmero que pode ser expresso como decimal infinito e no peridico }. Exemplos de nmeros irracionais:
a) = 3,1415926535897932... ( pi = razo entre o comprimento de uma circunferncia e o seu dimetro ); b) e = 2,71828... (e chamado nmero de Euler ); c) 2 = 1,414213562... ; d) 3 = 1,732050807... ; e) 2,01001000100001... ( decimal infinito e no peridico ); f) ; g) 4e ; h) 3 2 ; i) 7e + 5 2 6 3 + .

CONJUNTO DOS NMEROS REAIS (

= { x; x racional ou x irracional }.
Notas: a) bvio que ; b) I R; =I ( isto significa que um nmero real ou racional ou irracional; no tem outra c) chance! ).

NOES DE LGICA MATEMTICA BIVALENTE


1. PROPOSIO Denominamos proposio ( ou proposio lgica ou ainda sentena ) a toda orao declarativa afirmativa que pode ser classificada como verdadeira ou falsa ( ou verdadeira ou falsa ). Da o nome lgica bivalente. Exemplos : a) 9 5 b) 7 < 3 c) 2 Z d) 3.5 + 1 e) 3x 1 = 11

Naturalmente, as expresses d) e e) no so proposies. Terminologia: Os valores lgicos de uma proposio so verdadeiro ( V ) ou falso ( F ). Por exemplo: O valor lgico da proposio a) acima verdadeiro, enquanto que o valor lgico da proposio b) acima falso. OBSERVAO: Alguns livros de Lgica usam a seguinte conveno: valor lgico V = 1 (isto , valor lgico verdadeiro igual a um) e valor lgico F = 0 (isto , valor lgico falso igual a zero). 2. PROPOSIO SIMPLES

toda sentena que contm uma nica afirmativa. So representadas por letras minsculas do alfabeto, preferencialmente p, q, r e t.
EXEMPLOS:

a) p: 2 1 = 2 b) q: 3 . 4 > 10 c) r: O Brasil uma monarquia.


2.1 - Negao de uma Proposio Simples

Dada uma proposio p, sempre possvel obtermos outra proposio cujo sentido seja contrrio ao de p. Esta proposio chamada negao de p e representada por ~ p ( costuma-se ler no p ou no verdade que p ). EXEMPLOS: a) p: 7 2 = 5 tem como negao: ~ p: 7 2 5 b) q: 3 1 2 1 tem como negao: ~ q: 3 1 < 2 1

OBSERVAES:

(1) Pode-se verificar, pelos exemplos acima, que uma proposio e a sua negao tm valores lgicos contrrios. Este fato pode ser resumido na tabela abaixo: p ~p V F F V (2) A negao de ~ p ( chamada lei da dupla negao ) equivale prpria proposio p, isto : ~ (~ p) o mesmo que p
EXERCCIOS: 1. Quais das expresses abaixo so proposies? No caso das proposies, quais so as verdadeiras? a) 5 . 4 = 20 e) 3 + 4 > 0 b) 5 4 = 3 f) 11 4 . 2 c) 1 + 3 1 + 6 d) ( 2)5 ( 2)3

2. Qual a negao de cada uma das seguintes proposies? Quais negaes so verdadeiras? a) 3 . 7 = 21 b) 3 . (11 7) 5 c) 3 . 2 + 1 > 4 d) 5 . 7 2 5 . 6

OBSERVAO IMPORTANTE: s vezes, trabalhamos no s com proposies ( no sentido que foi definido acima, isto , que podem ser classificadas de maneira inequvoca como verdadeiras ou falsas ), mas tambm com o que chamamos de funes proposicionais, veja alguns exemplos: Exemplo 1:

Sabemos, que a rigor, 3x 1 = 11 no uma proposio, ms fcil observar que, a depender do valor de x, a expresso 3x 1 = 11 pode ser verdadeira ou falsa ( mais especificamente, para x = 4 a expresso dada: 3x 1 = 11 se torna uma proposio verdadeira e para qualquer x 4 a expresso dada: 3x 1 = 11 se torna uma proposio falsa ). Independentemente do valor lgico de 3x 1 = 11 podemos neg-la. Assim se quisermos negar a funo proposicional 3x 1 = 11 ( que por um abuso de linguagem, alguns autores denominam tambm de proposio ), teremos: 3x 1 11.
Exemplo 2:

Usando a mesma linha de raciocnio do exemplo 1 acima, pode-se falar em negao da proposio: a > b. Sua negao a b. 7

Exemplo 3:

A frase o cachorro fugiu no , a rigor, uma proposio, pois no sabemos a qual cachorro especificamente a frase se refere, se identificarmos o tal cachorro podemos determinar a veracidade ou falsidade da afirmao o cachorro fugiu. Como havamos comentado antes, alguns ( na verdade muitos ) autores por um abuso de linguagem, denominam afirmaes como essa ( o cachorro fugiu ) de proposio ( ou seja, estendem a definio de proposio ). Deste modo, independentemente do valor lgico de o cachorro fugiu podemos neg-la. Sua negao ; o cachorro no fugiu ou no verdade que o cachorro fugiu.
Seguiremos nos nossos estudos essa conveno, isto , expresses como as dos exemplos 1, 2 e 3 sero chamadas de proposies. 3. PROPOSIES COMPOSTAS

A partir de proposies simples, podemos construir novas proposies, mediante o emprego de smbolos ( conectivos ) lgicos como conjuno, disjuno ( inclusiva e exclusiva ), condicional, bicondicional.
OBSERVAO IMPORTANTE: Na verdade ao utilizarmos os conectivos entre as proposies simples estaremos realizando operaes entre essas proposies, isto , entre os valores lgicos ( verdadeiro ou falso ) correspondentes a essas proposies. Portanto deveremos explicitar para vocs, prezados alunos, qual o resultado de cada operao lgica. 3.1 - CONJUNO

Colocando o conectivo e entre duas proposies p e q, obtemos uma proposio composta, p q, denominada conjuno das proposies p e q.
ATENO: p q l-se: p e q.

p V V F F

q V F V F

p q V F F F

Definio: A conjuno entre duas proposies s verdadeira, apenas se ambas as proposies que a compem so verdadeiras. Em qualquer outra situao a proposio composta falsa.

OBSERVE OS EXEMPLOS ABAIXO:

1) p : 2 > 0 ( cujo valor lgico verdadeiro = V ) q : 5 5 ( cujo valor lgico falso = F ) p q : 2 > 0 e 5 5 ( uma proposio composta falsa, pois V e F, pela tabela acima, tem falso como resultado ). 2) p : 2 > 0 ( V ) q:25(V) 8

p q : 2 > 0 e 2 5 ( uma proposio composta verdadeira, pois V e V, pela tabela acima, tem verdadeiro como resultado ).
3.2 DISJUNO

Colocando-se o conectivo ou entre duas proposies, p e q, obtemos uma proposio composta, p q, denominada disjuno ( disjuno inclusiva ) das proposies p e q.
ATENO: p q l-se: p ou q.

p V V F F

q V F V F

p q V V V F

Definio: A disjuno entre duas proposies falsa, apenas se ambas as proposies que a compem so falsas. Em qualquer outra situao a proposio composta verdadeira.

OBSERVE OS EXEMPLOS ABAIXO:

1) p : 34 < 26 ( F ) q : 22 > ( 3 )5 ( V ) p q : 34 < 26 ou 22 < ( 3 )5 ( V ). 2) p : 34 < 26 ( F ) q : 22 < ( 3 )5 ( F ) p q : 34 < 26 ou 22 < ( 3 )5 ( F ).


H OUTRO TIPO DE DISJUNO CHAMADA DE DISJUNO EXCLUSIVA.

Dadas duas proposies p e q, podemos obter uma proposio composta, denominada disjuno ( disjuno exclusiva ) das proposies p e q.
ATENO: p q l-se: ou p ou q.

p q,

Observe a tabela abaixo: p V V F F q V F V F p q F V V F A disjuno entre duas proposies verdadeira, apenas se as proposies que a compem tiverem valores lgicos diferentes.

Por exemplo, considere que:

p:2>0(V) q:55 (F) p q : ou 2 > 0 ou 5 5 ( V )

3.3 - CONDICIONAL

Colocando-se o conectivo se antes das afirmativas e a palavra ento entre elas, obtemos uma proposio composta, p q, denominada condicional das sentenas p e q.
ATENO: p q l-se: Se p ento q.

p V V F F

q V F V F

pq V F V V

Propriedade: A condicional somente falsa se a primeira das proposies verdadeira e a segunda falsa.

Por exemplo, considere que: p:5<2 (F) q:2Z (V) p q : Se 5 < 2 ento 2 Z ( V ) A condicional pode aparecer escrita por mais de uma forma, como indicado a seguir: 1) 2) 3) 4) 5)
Se p ento q. p somente se q. q, se p. p condio suficiente para q q condio necessria para p

EXEMPLO: Se o pssaro canta ento est vivo pode ser escrita tambm:

O pssaro canta somente se est vivo; O pssaro est vivo, se canta; O pssaro cantar condio suficiente para estar vivo; O pssaro estar vivo condio necessria para cantar.
3.4 - BICONDICIONAL

Colocando-se o conectivo se e somente se entre duas proposies, p e q, obtemos uma proposio composta, p q, denominada bicondional das sentenas p e q.
ATENO: p q l-se: p se e somente se q.

p V V F F

q V F V F

pq V F F V

Propriedade: A bicondicional verdadeira, se as proposies que a compem possuem valores lgicos iguais.

10

Por exemplo, considere que: p : um quadrado de lado a tem diagonal medindo 2a ( F ) q : um quadrado de lado a tem rea a2 ( V ) p q : um quadrado de lado a tem diagonal medindo 2a se e somente se sua rea for a2. (F)
OBSERVAO: A bicondicional p q pode ser lida das seguintes formas:

1) p condio necessria e suficiente para q; 2) q condio necessria e suficiente para p


PODEMOS USAR A TABELA ABAIXO, PARA SINTETIZAR OS RESULTADOS ACIMA: p V V F F q V F V F p q V F F F p q V V V F p q F V V F pq V F V V p q V F F V

RESUMO:
Conjuno ( e ) .................................. S verdadeira se forem ambas verdadeiras. Disjuno Inclusiva ( ou ) ................. S falsa se forem ambas falsas. Disjuno Exclusiva falsas. Condicional for falsa.

(ou ... ou ... ) .... S falsa se ambas forem verdadeiras ou ambas

( se ... ento... ) ............ S falsa se a primeira for verdadeira e a segunda


( se e somente se ) .... S verdadeira se ambas forem verdadeiras ou

Bicondicional ambas falsas. EXERCCIOS:

1. Classificar em verdadeira ou falsa, cada uma das seguintes proposies compostas: a) 3 > 1 e 4 > 2 d) 16 = 6 ou m.d.c (4,7) = 2 b) 1/2 < 3/4 ou 5 < 11 e) 2 1 = 1 5 + 7 = 3 . 4 c) ( 1)6 = 1 e 25 < ( 2)7 f) 22 = 4 ( 2)2 = 4

2. Admitindo que p e q so verdadeiras, r falsa e t uma proposio cujo valor lgico no conhecido, determine o valor (V ou F), de cada proposio abaixo: a) p r d) (p r) q g) ~ p ~ q b) p q e) p (q r) h) (~ p r ) t c) r q f) p (q r) i) r (q t )

11

4 - TAUTOLOGIAS E CONTRADIES Dizemos que uma proposio composta uma tautologia, quando seu valor lgico sempre verdadeiro, quaisquer que sejam os valores lgicos das proposies simples que a compem.

Exemplo: Verificar os valores lgicos da proposio p ~ p. p ~p p ~p V F V F V V Portanto, a proposio p ~ p um exemplo de tautologia. Dizemos que uma proposio composta uma contradio, quando seu valor lgico sempre falso, quaisquer que sejam os valores lgicos das proposies simples que a compem. Exemplo: Verificar os valores lgicos da proposio p ~ p. p V F ~p F V p ~p F F

Portanto, a proposio p ~ p um exemplo de contradio..


5 IMPLICAO E EQUIVALNCIA 5.1 - IMPLICAO

Sejam p e q duas proposies. Dizemos que p implica q (p q), se a condicional p q for uma tautologia, ou seja, nunca ocorrer o caso V F, nico em que a condicional falsa. Exemplo: Verificar os valores lgicos de: (p q) (p q )
p V V F F q p q p q (p q) (p q) V V V V F F V V V F V V F F F V

Como a proposio condicional (p q) (p q ) uma tautologia e uma, dizemos ento que uma implicao e passamos a represent-la assim: (p q) (p q).

12

5.2 - EQUIVALNCIA DEFINIO: Dizemos que duas proposies p e q so equivalentes ( ou segundo alguns autores, por abuso de linguagem, iguais ) se elas tm o mesmo valor lgico. Representa-se p q e l-se: p equivalente a q ( p igual a q ). EXEMPLO 1: p: O sol emite calor ( que uma proposio verdadeira ) q: 7 > 4 ( que tambm uma proposio verdadeira )

As proposies p e q acima so equivalentes ( ou iguais ) pois ambas tm o mesmo valor lgico ( no caso, ambas so verdadeiras ).
EXEMPLO 2: p: A lua maior que o sol ( que uma proposio falsa ) q: 7 < 4 ( que tambm uma proposio falsa )

As proposies p e q acima so equivalentes ( ou iguais ) pois ambas tm o mesmo valor lgico ( no caso, ambas so falsas ). Voc observou que para que duas proposies sejam equivalente, basta que elas tenham os mesmos valores lgicos, independentemente do contedo das afirmaes. Naturalmente, podemos tambm definir a equivalncia entre duas proposies, do seguinte modo:
DEFINIO: Sejam p e q duas proposies. Dizemos que p equivale a q ( p q ), se a bicondicional p q for uma tautologia, isto , se as proposies p e q tm sempre os mesmos valores lgicos. EXEMPLO: Provar voc mesmo, a seguinte equivalncia: ( p q ) ( ~ p q ) 6. VARIANTES DA CONDICIONAL

A condicional p q possui, entre outras, duas proposies que lhe so equivalentes: 1) ~ p q 2) ~ q ~ p Vamos verificar essas equivalncias:
p V V F F q V F V F ~p F F V V ~q p q ~p q ~q F V V V F F F V V V V V
~p V F V V

13

RESUMINDO O QUE ACABAMOS DE DEMONSTRAR: A proposio p q equivalente proposio ~ q ~ p ( a proposio ~ q ~ p chamada de contrapositiva da aplicao p q ) e tambm proposio ~ p q. Assim, podemos afirmar que: Se o pssaro canta ento est vivo ( p q ) SIGNIFICA O MESMO QUE: Se o pssaro no est vivo ento no canta ( ~ q ~ p ) E TAMBM SIGNIFICA O MESMO QUE: O pssaro no canta ou est vivo ( ~ p q )

Mesmo frases malucas ( risos! ), dentro da lgica, podem ser reescritas como foi indicado acima, por exemplo: Se o macaco voa ento Joo uma pedra ( p q ) SIGNIFICA O MESMO QUE: Se Joo no uma pedra ento o macaco no voa ( ~ q ~ p ) E TAMBM SIGNIFICA O MESMO QUE: O macaco no voa ou Joo uma pedra ( ~ p q ) De um modo mais geral, a condicional p q tem trs variantes ( CUIDADO! Eu no disse que todas so equivalentes! ) que so denominadas por: 1) Contrapositiva: ~ q ~ p 2) Recproca: q p 3) Contrria: ~ p ~ q
EXERCCIOS

1) Dada a proposio "Se 2 < 1 ento 7 = 7 ( observe que esta proposio verdadeira pois temos o caso F V ) determine: a) Recproca ( que falsa, pois agora trata-se do caso V F ): b) Contrria ( que falsa, pois trata-se do caso V F ): c) Contrapositiva ( que verdadeira pois temos o caso F V, isto era de se esperar pois j demonstramos que a contrapositiva ~ q ~ p equivalente condicional p q ): 2) Dada a proposio "Se o pssaro canta ento est vivo determine: a) Recproca: b) Contrria: c) Contrapositiva: 3) Considere a proposio "Se o tringulo eqiltero, ento issceles" determine: a) Recproca: b) Contrria: 14

c) Contrapositiva: 4) D a recproca da contrapositiva da condicional "se x = 2, ento x2 = 4".


7. TABELA VERDADE

Podemos construir muitos raciocnios que podem se deduzidos das convenes e definies estabelecidas anteriormente. Vamos demonstrar algumas equivalncias e propriedades usando as tabelas de verdade ( ou tabelas verdade ).
EXERCCIOS:

1) Verificar se as proposies abaixo so tautologias ou contradies ou contingncias ( nem tautologia nem contradio ): 1) 2) 3) 4) 5) 6) s: (p ~ p) (p q) r: [ p ( p q ) ] q t: ( p q ) ( p q ) c: ~ p ( p ~ q ) u: ~ (p q ) ( p q ) v: ( p q ) p

2) Demonstre as propriedades da conjuno usando a tabela verdade: a) Idempotncia: p p p p ( significa qualquer que seja ou ainda para todo ) b) Comutatividade: p q q p p, q c) Associatividade: ( p q ) r p ( q r ) p, q, r d) Elemento Neutro: p 1 1 p p p e) Elemento Absorvente: p 0 0 p 0 p 3) Demonstre as propriedades da disjuno usando a tabela verdade: a) b) c) d) e) Idempotncia: p p p p Comutatividade: p q q p p, q Associatividade: ( p q ) r p ( q r ) Elemento Neutro: p 0 0 p p p Elemento Absorvente: p 1 1 p 1 p

p, q, r

4) Demonstre as propriedades mistas usando a tabela verdade, p, q, r: a) Distributividade da conjuno em relao disjuno: ( p q ) r ( p r ) ( q r) b) Distributividade da disjuno em relao conjuno: ( p q ) r ( p r ) ( q r) 5) Demonstre as negaes abaixo usando a tabela verdade:

15

a) b) c) d)

~(p ~(p ~(p ~(p

q)=~p ~q q)=~p ~q q)=p ~q q ) = ~ p q ( ou p ~ q )

7. NEGAO DE PROPOSIES COMPOSTAS

Retomando exatamente o que fizemos no exerccio 5), acima:


7.1 - Conjuno

~(p q) ~p ~q
Exemplo: A negao de "o carro preto e a pedra dura" " o carro no preto ou a pedra no dura ". 7.2 - Disjuno

~(p q) ~p ~q
Exemplo: A negao de "estudo ou trabalho" "no estudo e no trabalho". OBSERVAO: As duas leis acima: ~ ( p q ) = ~ p ~ q e ~ ( p q ) = ~ p ~ q so chamadas primeiras leis de De Morgan em homenagem ao matemtico Augustus de Morgan.. 7.3 Condicional

~(p q) p ~q
Exemplo: A negao de "se sou baiano, ento sou brasileiro" "sou baiano e no sou brasileiro". 7.4 Bicondicional

A bicondicional pode ser negada de duas maneiras: ~ ( p q ) ~ p q ou ~ ( p q ) p ~ q


Exemplo: A negao de "3 > 2, se e somente se 2 N" pode ser feita de duas formas:

a) 3 2, se e somente se 2 N b) 3 > 2 , se e somente se 2 N


EXERCCIOS

1) Negar as proposies: a) 3 impar e dois primo; 16

b) Magno Bahia ou Nelson vitorinha ; c) Se x2 = 4, ento x = 2 ; d) x 2 = x , se e somente se x 0. 2) Na linguagem C, usada na programao de computadores, sabe-se que:
fabs ( x ) o valor absoluto de x, sqrt ( x ) a raiz quadrada de x, * o operador multiplicao e + o operador adio. Pede-se calcular o valor da expresso: fabs ( 3 ) * sqrt ( 25 ) + fabs ( 4 ) * sqrt ( 49 )

a) 33

b) 0

c) 34

d) 20

e) 43

3) A proposio composta (p q) proposio p: a) b) c) d) e)

~ q tem valor lgico V; ento o valor lgico da

s pode ser V pode ser V ou F s pode ser F depende do valor de q no pode ser determinado a partir dessa proposio.

4) Se p uma proposio verdadeira, ento: a) b) c) d) e) p q verdadeira, qualquer que seja q p q verdadeira, qualquer que seja q p q verdadeira, s se q for falsa p q falsa, qualquer que seja q p q falsa, qualquer que seja q

8. SENTENAS ABERTAS, QUANTIFICADORES

J vimos que expresses como x + 1 = 7, x > 2 e x3 = 2x2, no podem ser classificadas como verdadeiras ou falsas, pois para isso dependem do valor assumido pela varivel x. Sendo assim, estas expresses, no sentido formal no constituem proposies. No entanto, vamos mostrar a vocs que podemos transform-las em proposies, juntando-lhes os chamados quantificadores. OBSERVAES: 1) Salvo meno em contrrio os valores numricos de x podero ser quaisquer nmeros reais. Em outras palavras, costuma-se dizer que o nosso universo lgico, normalmente simbolizado por U, ser, salvo meno em contrrio, o conjunto R; 2) Nas sentenas matemticas abaixo, a expresso tal que ser abreviada por um ponto e vrgula.

17

QUANTIFICADORES: Universal : x ( L-se: Todo x ou Para todo x ou Qualquer que seja x ) Exemplo: ( x ) ( x + 1 = 7 ), que se l: Para qualquer valor de x, x + 1 = 7 ( proposio falsa ). Existencial : x ( L-se: Existe pelo menos um x ou Existe x ou Existe algum x ) Exemplo: ( x ); ( x + 1 = 7 ), que se l: Existe algum x tal que x + 1 = 7 ( proposio verdadeira ). Existencial Particular : ! x ( L-se: Existe um nico x ou Existe apenas um x ) Exemplo: ( ! x ); ( x + 1 = 7 ), que se l: Existe apenas um x tal que x + 1 = 7 ( que uma proposio verdadeira ). NEGAES DE PROPOSIES COM QUANTIFICADORES:

Nas explicaes que se seguem, considere U um universo lgico e p ( x ) uma proposio: 1) ~ ( x U, p ( x )) = x U; ~ p ( x )


EXEMPLOS:

a) ~ ( x R, x2 > 4 ) = x R; x2 4 b) ~ ( x R, x2 0 ) = x R; x2 < 0 c) ~ ( Todo homem mortal ) = Existe pelo menos um homem que no mortal ( ou, o que o mesmo: Existe pelo menos um homem imortal ).
RESUMINDO: Negao do quantificador Universal: Troca-se x por x e nega-se a proposio.

2) ~ ( x U, p ( x )) = x U; ~ p ( x )
EXEMPLOS:

a) ~ ( x R, x2 > 16 ) = x R; x2 16 b) ~ ( x R, x2 0 ) = x R; x2 < 0 c) ~ ( Existe homem que mortal ) = Todo homem no mortal ( ou, o que o mesmo: Todo homem imortal ).
RESUMINDO: Negao do quantificador Existencial: Troca-se x por x e nega-se a proposio. EXERCCIOS:

1) D o valor lgico de cada proposio abaixo: a) ! x N; x2 = 9 b) x N; x2 = 9

18

c) d) e) f) g) h) i) j)

x N, x2 = 9 x R, x x x R; x x ! x R; x x x R; x2 = 4 ! x R; x2 = 4 x R, x2 = 4 x R, y R; y = 1/x

2) Negar as proposies abaixo: a) b) c) d) e) f) g) h) i)


x R, x + 2 = 7 x R; x2 2x 4 x R, y R; y = 1/x x R; y R, y > x x R; y R, y > x 2x = 5y x R; y R, y + x = 7 x = 5y > 0, > 0; x X, | x a | < | f( x ) f( a ) | < > 0, > 0; x X, 0 < | x a | < | f( x ) L | < x R; y Z, > 0; | x y |

3) Dar a negao de "Todo homem bom justo e existe torcedor do vitorinha que bom da bola".
9. PRINCPIO DA DUALIDADE

Dualidade no conjunto das proposies lgicas: Dada uma expresso E, contendo apenas os smbolos: =, , , ~, 0 e 1, define-se a dual de E, como a expresso E, obtida de E, trocando-se por ; por ; 0 por 1; 1 por 0 e conservando-se os demais elementos. O mais importante resultado sobre a dualidade que, se a expresso E for uma tautologia, ento sua expresso dual E, tambm uma tautologia.
EXEMPLOS:

1) E: p q q p p, q E: p q q p p, q 2) E: ( p q ) r p ( q r ) E: ( p q ) r p ( q r ) 3) E: p 0 0 p E: p 1 1 p 4) E: p ~ p = 0 p E: p ~ p = 1 p

p, q, r p, q, r

19

EXERCCIO:

Usando a tabela verdade demonstre as proposies abaixo: 1) p q = ~ p q; 2) p q = ( p ~ q ) ( ~ p q ); 3) p q = ( ~ p q ) ( p ~ q ). Voc sabe o que acabou de fazer? Voc provou que a condicional, a disjuno exclusiva e a bicondicional podem ser escritas em funo apenas dos smbolos ~, e . Isso muito importante para o que segue.
10. DEMONSTRAES DE PROPOSIES SEM O USO DA TABELA VERDADE

Usaremos as propriedades abaixo, que voc j conhece, para simplificar proposies e demonstrar alguns resultados ( observe a jia da dualidade embelezando da propriedade 1) at a 16) ) : 1) p ~ p = 0 p 2) p ~ p = 1 p 3) p q q p p, q 4) p q q p p, q 5) p 1 = p p 6) p 0 = p p 7) p 0 = 0 p 8) p 1 = 1 p 9) p p = p p 10) p p = p p 11) ( p q ) r = p ( q r ) p, q, r 12) ( p q ) r = p ( q r ) p, q, r 13) ( p q ) r ( p r ) ( q r ) p, q, r 14) ( p q ) r ( p r ) ( q r ) p, q, r 15) ~ ( p q ) = ~ p ~ q p, q 16) ~ ( p q ) = ~ p ~ q p, q 17) ~ ( p q ) = p ~ q p, q 18) ~ ( p q ) = ~ p q p, q 19) p q = ~ p q p, q 20) p q = ( p ~ q ) ( ~ p q ) p, q p, q 21) p q = ( ~ p q ) ( p ~ q )
EXERCCIOS DE CLASSE:

1) Demonstre a propriedade 17) acima usando a 19) e a 16); 2) Usando propriedades das operaes lgicas, simplificar o mximo possvel as expresses e em seguida classificlas em tautologia, contradio ou contingncia: a) ~ ( ~ p ~ q ); 20

b) c) d) e) f) g) h) i) j) k)

~ ( p ~ q ); ~ ( ~ p q ); ~ ( p ~ q ); ~ ( ~ p ~ q ); [ ( p q ) ~ q ] ~ p; [ ( p q ) ~ ( p q ) ] p; ~ ( ~ p q ) ~ ( ~ p q ); ( p q ) ( p ~ q ) ( ~ p q ) ( ~ p ~ q ); [ ~ ( p q ) ~ ( p q ) ] ( r q ); [(q p) ~(q p)] {q [~p ~(~p)]}

1 LISTA DE EXERCCIOS DE LGICA MATEMTICA


I) Usando a tabela verdade, verificar se as proposies abaixo so tautologias, contradies ou contingncias: a) b) c) d) e) f) s: ( p ~ p ) ( p q ) r: [ p ( p q ) ] q t: ( p q ) ( p q ) c: ~ p ( p ~ q ) u: ~ ( p q ) ( p q ) v: ( p q ) p

II) Demonstre as propriedades da conjuno usando a tabela verdade: a) b) c) d) e) f) Idempotncia: p p = p p Comutatividade: p q = q p p, q Associatividade: ( p q ) r = p ( q r ) Elemento Neutro: p 1 = 1 p = p p Elemento Absorvente: p 0 = 0 p = 0 p p ~p=0 p

p, q, r

III) Demonstre as propriedades da disjuno usando a tabela verdade: a) b) c) d) e) f) Idempotncia: p p = p p Comutatividade: p q = q p p, q Associatividade: ( p q ) r = p ( q r ) Elemento Neutro: p 0 = 0 p = p p Elemento Absorvente: p 1 = 1 p = 1 p p ~p =1 p

p, q, r

IV) Demonstre as propriedades mistas usando a tabela verdade, p, q, r: a) Distributividade da conjuno em relao disjuno: ( p q ) r = ( p r ) ( q r) b) Distributividade da disjuno em relao conjuno: ( p q ) r = ( p r ) ( q r) 21

p, q c) p q = ~ p q d) p q = ( p ~ q ) ( ~ p q ) p, q e) p q = ( ~ p q ) ( p ~ q ) p, q

V) Demonstre as negaes abaixo usando a tabela verdade: a) b) c) d) e) ~(p ~(p ~(p ~(p ~(p

q)=~p ~q q)=~p ~q q)=p ~q q)=~p q q)=p ~q

VI) A proposio composta ( p q ) ~ q tem valor lgico V; ento o valor lgico da proposio p: a) b) c) d) e) s pode ser V pode ser V ou F s pode ser F depende do valor de q no pode ser determinado a partir dessa proposio.

VII) Se p uma proposio verdadeira, ento: a) b) c) d) e) p p p p p


q verdadeira, qualquer que seja q q verdadeira, qualquer que seja q q verdadeira, s se q for falsa q falsa, qualquer que seja q q falsa, qualquer que seja q

VIII) Considere ao proposies: p: 2,4333... Q q: 32 = 9 r:

( 5 )

= 5

Assinale V ou F nas proposies a seguir: a) p q b) p r c) q r d) p r e) ~ p ~ q IX) Sendo: p: 6,143143... Q q: todo racional possui inverso ( ( ( ( ( ) ) ) ) ) f) ~ q r g) ( p ~ q ) r h) ~ q ( p r ) i) ( ~ p ~ r ) ( p q ) j) ~ ( ~ q p ) ( r p ) ( ( ( ( ( ) ) ) ) )

22

A nica proposio falsa : a) p q b) p ~ q c) p q

d) ( p q ) p e) ~ ( ~ p )

X) Construir a tabela verdade da proposio s e dizer se a proposio s tautologia, contradio ou contingncia: s: ( ~ p q ) ( p ~ q ). XI) Quais das implicaes abaixo so verdadeiras, se x R ? (01) x2 = 9 x = 3 (02) x2 > 9 x > 3 (04) 0 < x < 1 x2 < x x2 (08) x 0 =1 x2 (16) x < y x < y (32) x > y x2 > y2 XII) D o valor lgico de cada proposio abaixo: a) b) c) d) e) f) g) h) i) j) ! x N; x2 = 9 x N; x2 = 9 x N, x2 = 9 x R, x x x R; x x ! x R; x x x R; x2 = 4 ! x R; x2 = 4 x R, x2 = 4 x R, y R; y = 1/x

XIII) Negar as proposies abaixo: a) b) c) d) e) f) g) h) i) x R, x + 2 = 7 x R; x2 2x 4 x R, y R; y = 1/x x R; y R, y > x x R; y R, y > x 2x = 5y x R; y R, y + x = 7 x = 5y > 0, > 0; x X, | x a | < | f( x ) f( a ) | < > 0, > 0; x X, 0 < | x a | < | f( x ) L | < x R; y Z, > 0; | x y |

23

XIV) Utilizando propriedades das operaes lgicas, isto , sem utilizar a tabela verdade, simplificar o mximo possvel as expresses abaixo e em seguida classificlas em tautologia, contradio ou contingncia: ( use as propriedades da pgina 18 ) a) b) c) d) e) f) g) h) i) j) k) ~ ( ~ p ~ q ); ~ ( p ~ q ); ~ ( ~ p q ); ~ ( p ~ q ); ~ ( ~ p ~ q ); [ ( p q ) ~ q ] ~ p; [ ( p q ) ~ ( p q ) ] p; ~ ( ~ p q ) ~ ( ~ p q ); ( p q ) ( p ~ q ) ( ~ p q ) ( ~ p ~ q ); [ ~ ( p q ) ~ ( p q ) ] ( r q ); [(q p) ~(q p)] {q [~p ~(~p)]}
2 Q 4 (RQ)

XV) Considere as seguintes proposies: p: q: 5 Z 3 um nmero primo r: ( 3 N ) ( 6 divisor de 12 ) Determinar o valor lgico da proposio: (a)(p ~r) ~q (b)(p r) (p q)

XVI) Apenas para o item ( a ) abaixo voc pode usar a tabela verdade ( a ) Sendo p e q proposies lgicas, demonstrar a propriedade: ( p q ) = ( ~ p q ) ( b ) Usando propriedades das operaes lgicas, simplificar o mximo possvel a expresso: [ ( q p ) ~ ( q p ) ] { q [ ~ p ~ ( ~ p ) ] } e em seguida classificla em tautologia, contradio ou nem tautologia nem contradio. XVII) Negar as proposies: a) x R; y Z, > 0; | x y | b) x R, y Q; > 0, | y x | < XVIII) Apenas para resolver o item ( a ) abaixo voc pode usar a tabela verdade ( a ) Sendo p e q proposies lgicas, demonstrar a propriedade: ~ ( p q ) = ( ~ p ~ q ) ( b ) Usando propriedades das operaes lgicas, simplificar o mximo possvel a expresso: { [ ( p p ) ( p q ) ] ~ r } { [ ~ ( ~ q ) r ] ~ ( q ~ r ) } e em seguida classificla em tautologia, contradio ou nem tautologia nem contradio.

24

( c ) Dada a proposio condicional 5 ( R Q ) 5 R determinar sua recproca, sua inversa, sua contrapositiva, e encontrar os valores lgicos destas 4 condicionais. XIX) A proposio [ ( p q ) ~ q ] tem valor lgico F; qual o valor lgico da proposio p? a) b) c) d) e) s pode ser V pode ser V ou F s pode ser F depende do valor de q no pode ser determinado a partir dessa proposio.

XX) Jair est machucado ou no quer jogar. Mas Jair quer jogar. Logo, a) b) c) d) e) Jair no est machucado nem quer jogar. Jair no quer jogar nem est machucado. Jair no est machucado e quer jogar. Jair est machucado e no quer jogar. Jair est machucado e quer jogar.

XXI) H trs suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido pr um ou mais de um deles, j que podem ter agido individualmente ou no. Sabe-se, ainda, que: A) se o cozinheiro inocente, ento a governanta culpada, B) ou o mordomo culpado ou a governanta culpada, mas no os dois, C) o mordomo no inocente. Logo: a) b) c) d) e) a governanta e o mordomo so os culpados somente o cozinheiro inocente somente a governanta culpada somente o mordomo culpado o cozinheiro e o mordomo so os culpados

XXII) Jos quer ir ao cinema assistir ao filme Fogo contra Fogo, mas no tem certeza se o mesmo est sendo exibido. Seus amigos, Maria, Lus e Jlio tm opinies discordantes sobre se o filme est ou no em cartaz. Se Maria estiver certa, ento Jlio est enganado. Se Jlio estiver enganado, ento Lus est enganado. Se Lus estiver enganado, ento o filme no est sendo exibido. Ora, ou o filme Fogo contra Fogo est sendo exibido ou Jos no ir ao cinema. Verificou-se que Maria est certa. Logo: a) O filme Fogo contra Fogo est sendo exibido b) Lus e Jlio no esto enganados c) Jlio est enganado, mas no Lus d) Lus est enganado, mas no Jlio e) Jos no ir ao cinema XXIII) Se Nestor disse a verdade, Jlia e Raul mentiram. Se Raul mentiu, Lauro falou a verdade. Se Lauro falou a verdade, h um leo feroz nesta sala. Ora, no h um leo feroz nesta sala. Logo:

25

a) Nestor e Jlia disseram a verdade b) Nestor e Lauro mentiram c) Raul e Lauro mentiram d) Raul mentiu ou Lauro disse a verdade e) Raul e Jlia mentiram XXIV) Se Vera viajou, nem Camile nem Carla foram ao casamento. Se Carla no foi ao casamento, Vanderlia viajou. Se Vanderlia viajou, o navio afundou. Ora, o navio no afundou. Logo, a) b) c) d) e) Vera no viajou e Carla no foi ao casamento Camile e Carla no foram ao casamento Carla no foi ao casamento e Vanderlia no viajou Carla no foi ao casamento ou Vanderlia viajou Vera e Vanderlia no viajaram

XXV) Se X Y, ento Z > P ou Q R. Se Z > P, ento S T. Se S T, ento Q R. Ora, Q > R, logo: a) b) c) d) e) S>TeZ P S TeZ>P X YeZ P X>YeZ P X<YeS<T

XXVI) Ou A = B, ou B = C, mas no ambos. Se B = D, ento A = D. Ora, B = D. Logo: a) B C b) B A c) C = A d) C = D e) D A

XXVII) Se Beraldo briga com Beatriz, ento Beatriz briga com Bia. Se Beatriz briga com Bia, ento Bia vai ao bar. Se Bia vai ao bar, ento Beto briga com Bia. Ora, Beto no briga com Bia. Logo, a) b) c) d) e) Bia no vai ao bar e Beatriz briga com Bia Bia vai ao bar e Beatriz briga com Bia Beatriz no briga com Bia e Beraldo no briga com Beatriz Beatriz briga com Bia e Beraldo briga com Beatriz Beatriz no briga com Bia e Beraldo briga com Beatriz

XXVIII) Se Flvia filha de Fernanda, ento Ana no filha de Alice. Ou Ana filha de Alice, ou nia filha de Elisa. Se Paula no filha de Paulete, ento Flvia filha de Fernanda. Ora, nem nia filha de Elisa nem Ins filha de Isa. a) b) c) d) e) Paula filha de Paulete e Flvia filha de Fernanda. Paula filha de Paulete e Ana filha de Alice. Paula no filha de Paulete e Ana filha de Alice. nia filha de Elisa ou Flvia filha de Fernanda. Se Ana filha de Alice, Flvia filha de Fernanda.

26

XXIX) Ou Anas ser professora, ou Anelise ser cantora, ou Anamlia ser pianista. Se Ana for atleta, ento Anamlia ser pianista. Se Anelise for cantora, ento Ana ser atleta. Ora, Anamlia no ser pianista. Ento: a) b) c) d) e) Anas ser professora e Anelise no ser cantora Anas no ser professora e Ana no ser atleta Anelise no ser cantora e Ana ser atleta Anelise ser cantora ou Ana ser atleta Anelise ser cantora e Anamlia no ser pianista

XXX) Se a = b + p, ento a = z + r. Se a = z + r, ento a = w r. Por outro lado, a = b + p, ou a = 0. Se a = 0, ento a + u = 5. Ora, a + u 5. Logo, a) b) c) d) e) wr=0 a b+p a=wr z+r wr b+p wr

XXXI) Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta. Ora, o passarinho canta. Logo: a) b) c) d) e) o jardim florido e o gato mia o jardim florido e o gato no mia o jardim no florido e o gato mia o jardim no florido e o gato no mia se o passarinho canta, ento o gato no mia

XXXII) Chama-se tautologia a toda proposio que sempre verdadeira, independentemente da verdade dos termos que a compem. Um exemplo de tautologia : a) b) c) d) e) se Joo alto, ento Joo alto ou Guilherme gordo se Joo alto, ento Joo alto e Guilherme gordo se Joo alto ou Guilherme gordo, ento Guilherme gordo se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo se Joo alto ou no alto, ento Guilherme gordo

XXXIII) Sabendo que duas ou mais proposies ( costuma-se denominar como um conjunto de proposies ) so chamadas inconsistentes se e somente se a conjuno de todas elas for uma contradio ( caso contrrio o conjunto chamado consistente ). Julgue cada conjunto de proposies abaixo em consistente ou inconsistentes. a) b) c) d) e) p; ~ p ~ ( p ~ q ); p ~ r ; q r ~ ( p q ); r ~ q ; r s ~ ( p r ); r q ; q p ~p ~q;~r;~p r

27

LGICA DE ARGUMENTAO
CONCEITO DE ARGUMENTO: Argumento um conjunto formado por certas proposies, chamadas premissas, consideradas como verdadeiras e uma outra proposio chamada de concluso. Normalmente o argumento tem a forma:
Premissa 1 Premissa 2 . . . Premissa n __________ Concluso

EXEMPLO:
Magno legal ( Premissa 1 ) Maria bonita ou Magno no legal ( Premissa 2 ) ______________________________ Maria bonita ( Concluso )

A lgica de argumentao uma cincia composta por regras usadas para a deciso sobre a validade de argumentos ( essas regras esto relacionadas com as tabelas que estudamos ).

IMPORTANTE:
a) Se as premissas ( assumidas sempre como verdadeiras ) nos levarem a uma concluso sempre verdadeira, o argumento dito vlido. b) Se as premissas ( assumidas sempre como verdadeiras ) nos levarem a uma concluso falsa ( no sentido de que no possamos afirmar com toda certeza seu valor lgico a partir das premissas ou que seu valor lgico com toda certeza falso ), o argumento dito no vlido. Ou simplesmente, o argumento chamado de no vlido se no for vlido, como definido no item a) acima. Ou ainda, um argumento falso se houver alguma possibilidade da concluso assumir o valor lgico falso. Vamos resolver alguns exerccios para que voc possa compreender melhor a lgica de argumentao.

28

TESTE A VALIDADE DOS SEGUINTES ARGUMENTOS: 1) Magno legal ( Premissa 1 ) Se Maria bonita ento Magno no legal ( Premissa 2 ) _______________________________________________
Maria no bonita ( Concluso )

2) Magno legal ( Premissa 1 ) Se Maria bonita ento Magno no legal ( Premissa 2 ) _______________________________________________
Maria bonita ( Concluso )

3) Magno legal ( Premissa 1 ) Maria bonita ou Magno no legal ( Premissa 2 ) _________________________________________


Maria bonita ( Concluso )

4) Magno legal ( Premissa 1 ) Maria bonita ou Magno no legal ( Premissa 2 ) _________________________________________


Maria no bonita ( Concluso )

5) Magno no legal ( Premissa 1 ) Maria bonita e Magno no legal ( Premissa 2 ) ________________________________________


Maria bonita ( Concluso )

6) Magno no legal ( Premissa 1 ) Maria bonita e Magno no legal ( Premissa 2 ) ________________________________________


Maria no bonita ( Concluso )

7) Maria bonita ( Premissa 1 ) Se Maria bonita ento Magno no legal ( Premissa 2 ) ______________________________
Magno no legal ( Concluso )

8) Maria bonita ( Premissa 1 ) Se Maria bonita ento Magno no legal ( Premissa 2 ) ______________________________
Magno legal ( Concluso )

29

9) 2 < 3 ( Premissa 1 ) Se 4 + 1 = 5 ento 2 < 3 ( Premissa 2 ) ______________________________


4 + 1 = 5 ( Concluso )

10) 2 < 3 ( Premissa 1 ) Se 4 + 1 = 5 ento 2 < 3 ( Premissa 2 ) ______________________________


4 + 1 5 ( Concluso )

11) Sobre os seguintes argumentos que seguem, podemos afirmar: 1 argumento: 2 argumento: Este argumento no incorreto Se este argumento for correto, ento ele no ser invlido _________________________ __________________________________________ Logo este argumento correto Assim, se ele for invlido, ento ele ser incorreto
a) so ambos no vlidos b) so ambos vlidos c) o 1 vlido e o 2 no vlido

d) o 1 no vlido e o 2 vlido

e) Nada possvel afirmar

12) Considere os seguintes argumentos:


I. Se 7 menor que 4, ento 7 no primo. Mas 7 no menor que 4, logo 7 primo II. Se Londres est na Dinamarca, ento Paris no est na Frana. Mas Paris est na Frana, portanto Londres est na Dinamarca. III. Se 5 um nmero primo, ento 5 no divide 15. Mas 5 divide 15, logo 5 no um nmero primo. A validade dos argumentos I, II e III forma, respectivamente, a seguinte seqncia: a) Vlido, Vlido, Vlido b) No-Vlido, No-Vlido, Vlido c) Vlido, No-Vlido, Vlido d) Vlido, Vlido, No-Vlido e) No-Vlido, No-Vlido, No-Vlido

30

13) Considere os argumentos abaixo:


I. Se 6 no par, ento 3 no primo. Mas 6 par. Logo 3 primo. II. Se faz frio, Margarete fica em casa. Margarete no ficou em casa. Logo no fez frio. a) so ambos no vlidos b) so ambos vlidos c) I vlido e o II no vlido

d) o I no vlido e o II vlido

e) Nada possvel afirmar

OBSERVAO IMPORTANTE: Existem alguns argumentos vlidos muito


utilizados, chamados argumentos bsicos, so eles ( verifique a validade de cada um deles ): a) Adio: i) p _________ p q ii) p _________ q p

b) Simplificao: i) p q _________ p ii) p q _________ q

c) Conjuno: i) p q _________ p q i) p q _________ q p

31

d) Absoro: pq _____________ p (p q)

e) Modus Ponens pq p ________ q

f) Modus Tollens pq ~q ________ ~p g) Silogismo disjuntivo: p q ~p ________ q

h) Silogismo hipottico: p q q r ________ pr

32

i) Dilema construtivo: p q r s p r ________ q s

j) Dilema destrutivo: p q r s ~q ~s __________ ~p ~r

2 LISTA DE EXERCCIOS DE LGICA MATEMTICA


1) Classificando os argumentos que seguem em vlido (V) e no-vlido (N), a seqncia correta obtida, para os argumentos 1, 2 e 3, nesta ordem, :
argumento 1: Nenhum F G Todo G H _____________ Nenhum F H a) N, V, N argumento 2: Todo F G Nenhum G H ______________ Nenhum F H b) N, V, V c) V, V, N argumento 3: Algum F G Algum G H ____________ Algum F H d) V, N, V

2) Julgue cada argumento abaixo em vlido ou no-vlido


a) p q ~p ___________ ~q b) p q q _________ p

33

c) p q ~q p r _________ r d) Se x = 0 e y = z, ento y > 1 ~(y>1) ________________________ y=z e) ~ p q p _________ ~q f) Se 8 par, ento 3 no divide 7 Ou 5 no primo ou 3 divide 7 5 primo __________________________ 8 no par g) Se trabalho, ento no posso estudar Trabalho ou passo em Fsica Trabalho __________________________ Passo em Fsica h) p q ~q p ( r s ) _________ s r i) ( r ~ t ) ~ s ps p q _________ t ~r j) t ( p s ) q ~p r ~s q r _________ t

34

l) p ~ q p ~r q ~s _________ ~s ~r m) ( r s ) t r ~p t (q u) ~q ~u _________ ~p n) ( r s ) p q ~p t ~p q t _________ ~s ~r o) x > y x < 6 x>y x>4 x>4 (x=5 x<7) x<6 (x=5 x<7) (x=5 x<7) (z>x y<z) x>y ~(y<z z>x) ________________________________ x<6

3) A partir das seguintes premissas:


Premissa 1: "X A e B, ou X C"; Premissa 2: "Se Y no C, ento X no C" ; Premissa 3: "Y no C" Conclui-se corretamente que X : a) b) c) d) e) B no A ou C no A ou no B A e no B no A e no B

4) Considere as seguintes premissas ( onde X, Y, Z e P so conjuntos no vazios ):


Premissa 1: "X est contido em Y e em Z, ou X est contido em P" Premissa 2: "X no est contido em P" 35

Pode-se, ento, concluir que, necessariamente: a) b) c) d) e) Y est contido em Z X est contido em Z Y est contido em Z ou em P X no est contido nem em P nem em Y X no est contido nem em Y e nem em Z

5) Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo B C. Segue-se, portanto, necessariamente que
a) b) c) d) e) todo C B todo C A algum A C nenhum C A algum A no C

6) Se verdade que Alguns A so R e que Nenhum G R, ento necessariamente verdadeiro que


a) b) c) d) e) algum A no G algum A G nenhum A G algum G A nenhum G A

36

LGEBRA DE BOOLE E CIRCUITOS DE CHAVEAMENTO


Por volta de 1850, um matemtico ingls chamado George Boole, escreveu um livro chamado Investigaes sobre as leis do pensamento humano buscando regras algbricas para os raciocnios lgicos, semelhantes s regras algbricas comuns usadas nos raciocnios numricos. Boole foi ridicularizado na poca pelo fato de que ningum via aplicao prtica para o seu trabalho. Mas, em 1938, o Matemtico americano ( e Engenheiro Eltrico ) Claude Shannon, em sua tese de mestrado no Instituto de Tecnologia de Massachusets ( M.I.T ) apresentou uma abordagem extremamente elegante que relacionava uma lgebra Booleana ( com apenas dois elementos, genericamente designados por 0 e 1 ) com os circuitos digitais ( desligados correspondendo ao 0 e ligados correspondendo ao 1 ). Prezados alunos, ao longo dos mais de 25 anos de ensino eu escuto a pergunta ( feita por alguns alunos ) professor, onde que eu vou aplicar esse conhecimento? Espero que a narrao que fiz acima possa ajudar vocs a compreender melhor que, nem sempre a prtica antecede teoria... Vamos estudar um pouco sobre esse casamento perfeito entre lgebra Booleana e os circuitos digitais.

DEFINIO: Seja B um conjunto com trs operaes: duas binrias = join ( ou juno ) e = meet ( ou encontro ) e uma operao singular = complementao Booleana, e no qual destacam-se, pelo menos, os elementos distintos 0 e 1. Diz-se que B, , , ', 0,1 uma lgebra Booleana se e somente se, os oito axiomas abaixo so satisfeitos:
( 1 ) x y = y x, x, y B ; ( 2 ) x y = y x, x, y B ; ( 3 ) x ( y z ) = ( x y ) ( x z ) , x, y, z B ; ( 4 ) x ( y z ) = ( x y ) ( x z ) , x, y, z B ;

(5) (6) (7) (8)

x 0 = x, x B ; x 1 = x, x B ; x B, x ' B; x x ' = 0 ; x B, x ' B; x x ' = 1 ;

EXEMPLOS:
I) B = {0,1} , B, , , ', 0,1 com as tbuas abaixo uma lgebra Booleana:

TABELA 1
p 1 1 0 0 q 1 0 1 0 p q 1 0 0 0 p 1 1 0 0 q 1 0 1 0

TABELA 2
p q 1 1 1 0

37

Onde naturalmente 0 = 1 e 1 = 0.

B, , , ', 0,1 uma lgebra de Boole. Esta lgebra conhecida como lgebra dos interruptores e a mais til das lgebras Booleanas. o fundamento matemtico da anlise e projeto dos circuitos de interruptores ( circuitos de chaveamento ) que compem os sistemas digitais.
Vamos visualizar em termos de circuitos eltricos com interruptores ( ou chaves ):

CIRCUITOS COM APENAS UMA CHAVE Chave aberta ( interruptor desligado ): Como a corrente no atravessa do ponto A ao ponto B, designaremos a chave aberta por x = 0 ( zero ).
A x B

Chave fechada ( interruptor ligado ): Como a corrente atravessa do ponto A ao ponto B, a chave fechada ser designada por x = 1 ( um ).

Conveno: ao representarmos circuitos com uma ou mais chaves e


no quisermos determinar se a chave est aberta ou fechada, desenharemos um crculo para representar tal chave, assim: A
x

representa um interruptor ( chave ) que pode estar ligado ou desligado.

38

CIRCUITOS COM DUAS CHAVES CIRCUITOS EM SRIE ( Funciona exatamente como a TABELA 1 acima. Verifique! )
x y

Sua funo Booleana ou polinmio Booleano f ( x, y ) = x y . ATENO: Observe que, de acordo com a Tabela 1, as chaves podem estar, ao todo, em 4 posies, isto : um-um; um-zero, zero-um e zero-zero. CIRCUITOS EM PARALELO: (Funciona exatamente como a TABELA 2 acima. Verifique!)

x A B

Sua funo Booleana ou polinmio Booleano f ( x, y ) = x y .

Determine a funo Booleana ou polinmio Booleano que representa os circuitos abaixo:


a) x z

A y

RESPOSTA: f ( x, y, z ) = ( x y ) z

39

b)

x A

y B

RESPOSTA: f ( x, y, z ) = ( x y ) z
c)

x A

w B

RESPOSTA: f ( x, y, z , w, k ) = ( x y ) z ( w k )

OBSERVAO IMPORTANTE: A lgebra dos circuitos digitais possui apenas dois


elementos: 0 ( zero = desligado ) e 1 ( um = ligado ), mas existem outras lgebras Booleanas que possuem mais de dois elementos. Veja um exemplo abaixo;
Prove que se B = {1, 2} , ento ( B ) = {, {1} , {2} , {1, 2}} , com as tabelas abaixo, uma lgebra de Boole, mais precisamente, ( B ) , , , ', , {1, 2} , uma lgebra Booleana ( note que ( B ) possui quatro elementos ):

{1, 2}
{1, 2} {1, 2}

{1}
{1} {1, 2}

{2}
{2} {1, 2}

{1, 2}

{1, 2}

{1}
{2}

{1}
{2}

{1, 2}
{1, 2}

{1}
{1, 2}

{1, 2}
{2}

40

{1, 2}

{1}

{2}

{1, 2}
{1} {2}

{1, 2}
{1} {2}

{1}
{1}

{2}

{2}

'

{1, 2}

{1, 2}
{1} {2}

{2} {1}

Assim, ( B ) , , , ', , {1, 2} uma lgebra de Boole com quatro elementos, onde o 0 indicado por e o 1 indicado por {1, 2} . Os outros dois elementos so {1} e {2} .
DUALIDADE NUMA LGEBRA DE BOOLE DEFINIO: Por dual de uma proposio com relao a uma lgebra Booleana B , entendemos a proposio obtida pela substituio de por , por , 1 por 0 e 0 por 1 . EXEMPLOS:

a) A proposio dual de y x ' = 0 y x ' = 1 ; b) Dualize: ( x y ') ( x ' y z ) ( y z ' ) . Resposta: ( x y ') ( x ' y z ) ( y z ' ) . As propriedades abaixo devem ser demonstradas com base nos oito axiomas dados no incio do estudo da lgebra Booleana ( pois, como voc viu acima, nem toda lgebra Booleana possui apenas dois elementos ).

41

RESULTADOS IMPORTANTES:

a) Se B, , , ', 0,1 uma lgebra de Boole e x ' B o complemento Booleano de x B , ento x ' nico; b)

( x ') ' = x ;

c) x x = x ; Demonstrao de c): x = x 0 = x ( x ' x ) = ( x x ' ) ( x x ) = 1 ( x x ) = x x , usando os axiomas citados na definio de lgebra de Boole. So eles: ( 5 ); ( 7 ), ( 3 ), ( 8 ) e ( 6 ). d) x x = x .
Faa as outras demonstraes como exerccio. OBSERVAO IMPORTANTE: Se valer uma frmula ( isto , se ela for verdadeira ) a dual dessa frmula tambm vale. Tome como exemplo as frmulas c) e d) dadas acima, na pgina 8 ( no tpico alguns resultados importantes ):

c) x x = x ; d) x x = x .
Outros resultados importantes:

Se B, , , ', 0,1 uma lgebra de Boole ento x, y, z B temos: (i) ( ii ) ( iii ) ( iv ) (v)
x 0 = 0 ; ( O 0 o elemento absorvente da operao ) x 1 = 1 ; ( O 1 o elemento absorvente da operao ) 0 ' = 1; 1' = 0 ; x ( x y ) = x ; (Primeira lei da absoro, muito importante em outras demonstraes)

( vi ) x ( x y ) = x ; (Segunda lei da absoro, muito importante em outras demonstraes) ( vii ) x ( y z ) = ( x y ) z ; ( Associatividade da operao ) ( viii ) x ( y z ) = ( x y ) z ; ( Associatividade da operao ) ( ix ) (x)

( x y ) ' = x ' y ' ; ( x y ) ' = x ' y ' .

EXERCCIO: Demonstre apenas ( i ), ( ii ), ( v ) e (vi ).

42

FORMA NORMAL CONJUNTIVA, DISJUNTIVA E COMPLEMENTAR


Voltaremos agora a estudar apenas a lgebra dos circuitos digitais, recorde as tabelas estudadas anteriormente. Lembre do exemplo da pgina 4: I) B = {0,1} , B, , , ', 0,1 com as tbuas abaixo uma lgebra Booleana:

TABELA 1
p 1 1 0 0 q 1 0 1 0 p q 1 0 0 0 p 1 1 0 0 q 1 0 1 0

TABELA 2
p q 1 1 1 0

Onde naturalmente 0 = 1 e 1 = 0.

B, , , ', 0,1 uma lgebra de Boole. Esta lgebra conhecida como lgebra dos interruptores e a mais til das lgebras Booleanas. o fundamento matemtico da anlise e projeto dos circuitos de interruptores ( circuitos de chaveamento ) que compem os sistemas digitais.
Observe as expresses Booleanas: f1 ( x, y, z ) = ( x y ) z e f 2 ( x, y, z ) = ( x z ) ( y z ) . Elas so representaes distintas da mesma funo ( basta voc utilizar a distributividade... ) Existem formas cannicas ( ou padres clssicos ) no estudo da lgebra Booleana; so elas as formas normais conjuntiva ( fnc ), disjuntiva ( fnd ) complementar ( g ).

A explicao da origem dessas frmulas belssima, e ser feita em sala de aula onde faremos tambm diversos exerccios.
EXEMPLO 1:

Ache a fnc, a fnd e g de f ( x, y ) = x ( x y ' ) .


Primeiro passo: Faa a tabela verdade: x 1 1 0 0 y 1 0 1 0 y 0 1 0 1 x y 1 1 0 1 x ( x y ) 1 1 0 0

A forma normal disjuntiva s utiliza os resultados iguais a 1, assim:


fnd ( x, y ) = ( x y ) ( x y ' ) .

43

A funo complementar s considera os resultados iguais a 0, deste modo:


g ( x, y ) = ( x ' y ) ( x ' y ' ) .

A forma normal conjuntiva s considera os resultados iguais a 0, mas usando a negao de cada parte; para voc entender melhor, observe:

fnc ( x, y ) = g ( x, y ) ' = ( x ' y ) ( x ' y ' ) ' = ( x ' y ) ' ( x ' y ' ) ' = ( x y ') ( x y )
EXEMPLO 2:

Determinar a fnc, a fnd e g de f ( x, y, z ) = ( x y ) ( x y ') ( x ' z ) .


x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 x' 0 0 0 0 1 1 1 1 y' 0 0 1 1 0 0 1 1 x y 1 1 1 1 1 1 0 0 x y 1 1 1 1 0 0 1 1 x' z 1 0 1 0 1 1 1 1
f ( x, y , z )

1 0 1 0 0 0 0 0

fnd ( x, y, z ) = ( x y z ) ( x y ' z )

g ( x, y, z ) = ( x y z ' ) ( x y ' z ' ) ( x ' y z ) ( x ' y z ') ( x ' y ' z ) ( x ' y ' z ' ) . fnc ( x, y, z ) = ( x ' y ' z ) ( x ' y z ) ( x y ' z ' ) ( x y ' z ) ( x y z ' ) ( x y z ) .

44

MAPA DE KARNAUGH
Processo figurativo que permite simplificar funes booleanas ( conseqentemente tambm permite simplificar circuitos de chaveamento ) dadas na forma normal disjuntiva ( fnd ). Detalharemos o processo em sala de aula.
EXERCCIOS

1) Construa um circuito de chaveamento que depende de dois interruptores satisfazendo a: ( 1 ) a corrente passa quando as duas chaves esto desligadas; ( 2 ) a corrente no passa quando pelo menos uma das chaves est ligada; ( 3 ) determine a fnd, simplifique esse circuito pelo mtodo de Karnaugh e esboce o circuito simplificado. 2) Um farol controlado por um circuito de chaveamento que depende de duas chaves satisfazendo a: ( 1 ) o farol acende quando apenas uma chave est desligada; ( 2 ) o farol no acende quando ambas as chaves esto desligadas ou ambas ligadas; ( 3 ) determine a fnd, simplifique esse circuito pelo mtodo de Karnaugh e esboce o circuito simplificado. 3) Uma lmpada controlada por um circuito que depende de 3 interruptores de modo que: ( 1 ) a lmpada acende se pelo menos 2 interruptores esto ligados; ( 2 ) a lmpada no acende se pelo menos 2 interruptores esto desligados; ( 3 ) determine a fnd, simplifique esse circuito pelo mtodo de Karnaugh e esboce o circuito simplificado. 4) O sistema de comunicao interna de uma fbrica controlado por um circuito de chaveamento que depende de trs interruptores x, y e z, satisfazendo s seguintes condies: ( 1 ) o sistema no ligado se x est desligado; ( 2 ) o sistema no ligado se pelo menos 2 interruptores esto desligados; ( 3 ) o sistema ligado nos demais casos. ( a ) Encontrar uma funo Booleana ( FND OU FNC, a que voc preferir ) que represente tal circuito; ( b ) Simplificar, pelo mtodo de Karnaugh, a funo encontrada. Desenhe o circuito simplificado.

45

5) Construir um circuito de chaveamento com o menor nmero de chaves possvel, definido pelo mapa de Karnaugh: (Desenhe o circuito simplificado ) x y x y x y x y z w z w z w z w

LISTA DE LGICA MATEMTICA


1) Dadas as funes Booleanas abaixo, na forma normal disjuntiva, simplifique-as, quando possvel, utilizando o processo de minimizao conhecido como mapa de Karnaugh a) f ( x, y ) = ( x y ) ( x ' y ) b) f ( x, y ) = ( x y ) ( x ' y ' ) ( x y ' ) c) f ( x, y ) = ( x y ') ( x ' y ) d) f ( x, y ) = ( x ' y ) ( x ' y ' ) ( x y ' ) e) f ( x, y, z ) = ( x y ' z ) ( x ' y ' z ) f) f ( x, y, z ) = ( x ' y z ) ( x ' y z ' ) g) f ( x, y, z ) = ( x y z ' ) ( x ' y ' z ' ) ( x y ' z ' ) h) f ( x, y, z ) = ( x ' y ' z ) ( x y ' z ) ( x ' y ' z ' ) ( x y ' z ' ) i) f ( x, y, z ) = ( x y z ) ( x y z ' ) ( x ' y z ) ( x ' y z ' ) j) f ( x, y, z ) = ( x y z ) ( x y ' z ) ( x ' y ' z ' ) ( x ' y z ' )

46

l) f ( x, y, z ) = ( x y z ) ( x y ' z ') ( x ' y ' z ) ( x ' y z ' ) m) f ( x, y, z ) = ( x y z ) ( x y ' z ) ( x y ' z ' ) ( x ' y ' z ' ) ( x ' y z ' ) n) f ( x, y, z , w ) = ( x y ' z w ' ) ( x ' y ' z w ' ) o) f ( x, y, z , w ) = ( x y z ' w ' ) ( x y ' z ' w ') ( x y z ' w ) ( x y ' z ' w ) p) f ( x, y, z , w ) = ( x y ' z w ) ( x ' y ' z w ) ( x y ' z w ' ) ( x ' y ' z w ' )

( x y ' z ' w ') ( x ' y ' z ' w ') ( x y ' z ' w ) ( x ' y ' z ' w )
q) f ( x, y, z , w ) = ( x y z w ) ( x y z w ' ) ( x y ' z w ) ( x y ' z w ' )

( x ' y ' z ' w ') ( x ' y z ' w ') ( x ' y ' z ' w ) ( x ' y z ' w )
r) f ( x, y, z , w ) = ( x y z w ) ( x y z w ' ) ( x y z ' w ') ( x y z ' w )

( x ' y z w ) ( x ' y z w ') ( x ' y z ' w ') ( x ' y z ' w )


s) f ( x, y, z , w ) = ( x y z w ) ( x ' y z w ) ( x y ' z w ' ) ( x ' y ' z w ' )

( x y ' z ' w ') ( x ' y ' z ' w ') ( x y z ' w ) ( x ' y z ' w )
2) Construa um circuito de chaveamento que depende de 3 interruptores sabendo que: ( 1 ) apenas 2 chaves ligadas, desliga o circuito; ( 2 ) apenas 1 interruptor ligado, liga o circuito; ( 3 ) 3 chaves ligadas, liga o circuito; ( 4 ) 3 chaves desligadas, desliga o circuito; ( 5 ) determine a fnd, simplifique esse circuito pelo mtodo de Karnaugh e esboce o circuito simplificado.

47