ANHANGUERA EDUCACIONAL S.

A CENTRO UNIVERSITRIO DE CAMPO GRANDE UNAES I CINCIAS DA COMPUTAO 3 SEMESTRE

LGICA MATEMTICA

Campo Grande/MS Maio/2013

ANHANGUERA EDUCACIONAL S.A CENTRO UNIVERSITRIO DE CAMPO GRANDE UNAES I

Lgica Matemtica Resolver o desafio proposto e em seguida elaborar um relatrio, sobre orientao da professor Jos Roberto Katsui Jnior da disciplina de Lgica Matemtica.

Campo Grande/MS
Maio/2013

TABELA VERDADE Definio: Chama-se proposio todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. As proposies exprimem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes.

Tambm se pode utilizar a seguinte definio: PROPOSIO: sentenas declarativas afirmativas (expresso de uma linguagem) da qual tenha sentido afirmar que seja verdadeira ou que seja falsa.

Ex.:

a) A Lua um satlite da Terra.

b) Recife capital de Pernambuco. c) A lua quadrada. d) A neve branca. e) Matemtica uma cincia.

A Lgica Matemtica adota como regras fundamentais do pensamento os dois seguintes princpios (ou axiomas): (I) Princpio da no contradio: uma proposio no pode ser verdadeira e falsa ao mesmo tempo. (II) Princpio do terceiro excludo: toda proposio ou verdadeira ou falsa, isto , verifica-se um destes casos e nunca um terceiro. Sendo assim, pode-se dizer que a Lgica Matemtica uma Lgica Bivalente.

Levando-se em considerao os exemplos anteriores, pode-se verificar que as proposies a, b, d, e so verdadeiras e c falsa.

Valores lgicos das proposies Chama-se valor lgico de uma proposio a verdade se a proposio verdadeira e a falsidade se a proposio falsa. Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas letras V e F. Assim, pode-se afirmar, levando-se em considerao os princpios apresentados, que: Toda proposio tem um, e um s, dos valores V, F.

Proposies simples e proposies compostas Proposio simples ou proposio atmica : no contm nenhuma outra proposio como parte integrante de si mesma. So geralmente designadas pelas letras latinas minsculas (p, q, r, s,...), chamadas letras proposicionais. Ex.: Carlos careca.

Pedro estudante.

Proposio composta ou proposio molecular : formada pela combinao de duas ou mais proposies. So geralmente designadas pelas letras latinas maisculas (P, Q, R, S, ...), tambm chamadas letras proposicionais. Tambm podem ser chamadas de frmulas proposicionais ou apenas frmulas. Ex.: Carlos careca e Pedro estudante.

Carlos careca ou Pedro estudante. Se Carlos careca, ento infeliz. Obs.: as proposies componentes de uma proposio composta podem ser proposies compostas.

Conectivos So palavras que se usam para formar novas proposies a partir de outras. So conectivos usuais em Lgica Matemtica: e, ou, no, se ... ento..., ... se e somente se.... /\: e , \/: ou , : se...ento , : se e somente se , ~: no Exemplos: A lua quadrada e a neve branca. : p /\ q A lua quadrada ou a neve branca. : p \/ q Se a lua quadrada ento a neve branca. : p q A lua quadrada se e somente se a neve branca. : p q A lua no quadrada. : p

Obs.: Os parnteses servem para denotar o "alcance" dos conectivos.

Tabela-verdade Nela figuram todos os possveis valores lgicos da proposio composta correspondentes a todas as possveis atribuies de valores lgicos s proposies simples componentes. Ex.: p q p / \ q F F V V F V F V F F F V

Notao O valor lgico de uma proposio simples p indica-se por V(p). Ex.: V(p) = V

V(p) = F Do mesmo modo, o valor lgico de uma proposio composta P indica-se por V(P).

Operaes lgicas sobre Proposies

1. Negao (~) Chama-se negao de uma proposio p a proposio representada por no p, cujo valor lgico a verdade (V) quando p falsa e a falsidade (F) quando P verdadeira. Ou seja, no p tem o valor lgico oposto daquele de p. Simbolicamente representa-se: ~p (no p). Tabela-verdade: p ~

p F V V F

Na linguagem comum, a negao pode ser efetuada utilizando-se: no, no verdade que, falso que, entre outros. Ex.: p: O Sol uma estrela. ~p: O Sol no uma estrela q: Carlos mecnico. ~q: No verdade que Carlos mecnico. ~q: falso que Carlos mecnico.

2. Conjuno () Chama-se conjuno de duas proposies p e q a proposio representada por p e q, cujo valor lgico a verdade (V) quando as proposies p e q so ambas verdadeiras e a falsidade (F) nos demais casos. Simbolicamente representa-se: p q (p e q). Tabela-verdade: p q p / \ q F F V V F V F V F F F V

Obs.: V(p q) = V(p) V(q)

Ex.:

p: A neve branca. (V)

q: 2 < 5. (V) p q: A neve branca e 2 < 5. V(p q) = V(p) V(q) = V V = V p: O sangue verde. (F) q: 7 um nmero primo. (V) p q: O sangue verde e 7 um nmero primo. V(p q) = V(p) V(q) = F V = F p: > 4. (F)

=0 q: sen 2 . (F)
=0 p q: > 4 e sen 2
V(p q) = V(p) V(q) = F F = F

3. Disjuno () Chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo valor lgico a verdade (V) quando ao menos uma das proposies p e q verdadeira e a falsidade (F) quando as proposies p e q so ambas falsas. Simbolicamente representa-se: p q (p ou q). Tabela-verdade: p q p q F F V V F V F V F V V V

Obs.: V(p q) = V(p) V(q)

Ex.:

p: Paris a capital da Frana. (V)

q: 9 4 = 5. (V) p q: Paris a capital da Frana ou 9 4 = 5. V(p q) = V(p) V(q) = V V = V p: Cames escreveu os Lusadas. (V) q: = 4. (F) p q: Cames escreveu os Lusadas ou = 4. V(p q) = V(p) V(q) = V F = V p: Roma a capital da Rssia. (F) q:

1 = 1 . (F)
p q: Roma a capital da Rssia ou V(p q) = V(p) V(q) = F F = F

1 = 1 .

4. Condicional ()

Chama-se proposio condicional uma proposio representada por se p ento q, cujo valor lgico a falsidade (F) no caso em que p verdadeira e q falsa e a verdade (V) nos demais casos. Simbolicamente representa-se: p q (se p ento q, p condio suficiente para q, q condio necessria para p). Tabela-verdade: p F F V V q F V F V p q V V F V

Obs.: V(p q) = V(p) V(q)

Ex.:

p: O ms de maio tem 31 dias. (V)

q: A Terra plana. (F) p q: Se o ms de maio tem 31 dias, ento a Terra plana. V(p q) = V(p) V(q) = V F = F p: Machado de Assis escreveu os Lusadas. (F) q: = 4. (F) p q: Se Machado de Assis escreveu os Lusadas ento = 4. V(p q) = V(p) V(q) = F F = V p: Roma a capital da Rssia. (F) q:

1 = i . (V)
p q: Se Roma a capital da Rssia, ento V(p q) = V(p) V(q) = F V = V

1 = i .

Obs.: uma condicional do tipo p q no afirma que o fato q se deduz do fato p ou que uma conseqncia da outra. Ela apenas estabelece uma relao entre os valores lgicos de acordo com a tabela-verdade.

5. Bicondicional () Chama-se proposio bicondicional uma proposio representada por p se e somente se q, cujo valor lgico a verdade (V) no caso em que p e q so ambas verdadeiras ou ambas falsas e a falsidade (F) nos demais casos. Simbolicamente representa-se: p q (p se e somente se q, p condio necessria e suficiente para q, q condio necessria e suficiente para p). Tabela-verdade: p F F V V q F V F V p q V F F V

Obs.: V(p q) = V(p) V(q)

Portanto, uma bicondicional verdadeira verdadeiras as condicionais: p q e q p. Ex.: p: O ms de maio tem 31 dias. (V)

somente

quando

so

tambm

q: A Terra plana. (F) p q: O ms de maio tem 31 dias se e somente se a Terra plana. V(p q) = V(p) V(q) = V F = F p: Machado de Assis escreveu os Lusadas. (F) q: = 4. (F) p q: Machado de Assis escreveu os Lusadas se e somente se = 4. V(p q) = V(p) V(q) = F F = V p: Roma a capital da Itlia. (V) q:

1 = i . (V)
p q: Roma a capital da Itlia se e somente se V(p q) = V(p) V(q) = V V = V

1 = i .

Reduo ao Absurdo
Consiste em admitir a negao da concluso verdadeira como premissa adicional e deduzir logicamente uma contradio qualquer.

Exemplo. 1) Verificar a validade do argumento 1. p ~ q 2. r q ~(p r)

Prova Direta

Prova Condicional

1. p ~ q 2. r q 3. ~ q ~ r 4. p ~ r 5. ~ p ~ r 6. ~ ( p r ) CP (2) SH (1,3) Cond. (4)

~(p r) p ~r 1. p ~ q 2. r q 3. p 4. ~ q 5. ~ r P.A. MP (1,3) MT (2,4)

Reduo ao Absurdo 1. p ~ q 2. r q 3. p r 4. p 5. r 6. ~ q 7. q 8. ~ q q P.A. S (3) S (3) MP (1,4) MP (2,5) Conj. (6,7) ABSURDO !!!

Chegamos a um absurdo logo o argumento vlido.

2) Verificar a validade dos argumentos. 1. ( p r ) ( q s ) 2. ~ r p s 1. ( p r ) ( q s ) 2. ~ r 3. p 4. ~ s 5. ~ q ~ s 6. ~ ( q s ) 7. p r 8. r 9. ~ r r P.A. 1 P.A. 2 A (4) DM (5) SD (1,6) MP (7,3) Conj. (2,8) ABSURDO !!!

1. ( p r ) ( q s ) 2. ~ r 3. ~ ( p s ) 4. ~ ( ~ p s ) 5. p ~ s 6. p 7. ~ s 8. ~ q ~ s 9. ~ ( q s ) 10. p r 11. r 12. ~ r r P.A. Cond. (3) DM (4) S (5) S (5) A (4) DM (5) SD (1,6) MP (7,3) Conj. (2,8) ABSURDO !!!

Chegamos a um absurdo logo o argumento vlido.

3) Verificar a validade dos argumentos. 1. p r

2. r s 3. t ( q ~ s ) p t

1. p r 2. r s 3. t ( q ~ s ) 4. p 5. ~ t 6. q ~ s 7. ( r s ) ( r s ) 8. ~ s 9. r s 10. ~ r 11. r 12. ~ r r P.A. 1 P.A. 2 SD (3,5) Bic (2) S (6) S (7) MT (9,8) MP (1,4) Conj. (10,11) ABSURDO !!!

Chegamos a um absurdo, ento o argumento vlido

4) Verificar a validade dos argumentos. 1. ~ p ~ r q 2. s ( q t ) 3. p s ~s (r t) 1. ~ p ~ r q 2. s ( q t ) 3. p s 4. ~ s 5. r 6. ~ t 7. ~ p P.A. 1 P.A .2 P.A. 3 MT (3,4)

8. ~ r q 9. q 10. q t 11. t 12. ~ t t

MP (1,7) SD (8,5) SD (4,2) MP (10,9) Conj. (6,11) ABSURDO !!!

Chegamos a um absurdo, ento o argumento vlido. 5) Verificar a validade dos argumentos. 1. ~ ( p ~ r ) (( q s ) t ) 2. p r ~t (q s) 1. ~ ( p ~ r ) (( q s ) t ) 2. p 3. r P.A. 1

4. ~ t 5. q 6. ~ r 7. p r 8. ~ (~ p ~ r ) 9. ~ ( p ~ r ) 10. ( q s ) t 11. q s

P.A. 2 P.A. 3 P.A 4 Conj. (2,3) DM (7) Cond. (8) MP (1,9) SD (10,4) Bic. (11) S (12) MP (13,5) Conj. (6,14) ABSURDO !!!

12.( q s ) ( s q ) 13. q s 14. s 15. ~ s s

Chegamos a um absurdo, ento o argumento vlido.

Mtodo rvore Semntica Basicamente a decomposio de uma frmula em vrias frmulas, colocando-as numa rvore binria afim de testar sua consistncia. Um conhecido substituto superior do mtodo tabela-verdade. Muito usado caso queira confirmar que a afirmao uma tautologia. Uma frmula uma tautologia se s tm valores T ou 1 em seus ns folhas. Uma frmula uma contradio se s tm valores F ou 0 (zero) em seus ns folhas A essncia do mtodo basicamente achar contraexemplos que geralmente se manifestam como absurdos lgicos. - Um exemplo de fcil entendimento do seu uso seria a prova de uma tautologia da expresso A montando a rvore com a expresso A e chegando a apenas galhos fechados (Contradies) provamos que no existe interpretao em que A falsa. N 1 tambm chamado de Raiz, est no 1 nvel. Ns 2 e ns 3 esto no 2 nvel e assim sucessivamente. Um n que no est ligado a nenhum n no nvel abaixo chamado de n folha assim como 4, 5 ,7, 9, 10 e 11 desta rvore.

Construo - Representam graficamente as disjunes(v) ou e as conjunes (^) e. E por isso que do origem a coisas parecidas com rvores. Por exemplo, a simplificao da forma lgica P Q P v Q, mas representaremos isso graficamente fazendo dois ramos:

Faamos agora uma rvore que demonstra a validade: PQ P ento Q Comeamos por juntar a negao da concluso s premissas, e depois simplificamos a nica forma complexa que temos:

- Como todos os ramos fecharam(contradio), temos que a afirmativa original uma tautologia.

Regras: - Numa rvore semantica, um absurdo lgico se manifesta como um Ramo terminal. - Um Ramo terminal ocorre quando a expresso A tem a sua prpria negao A - Para qualquer outro caso, damos o nome de Ramo aberto Mtodo da Negao, ou Reduo ao Absurdo - Objetivo: negada a afirmao que desejamos demonstrar. - Aps um conjunto de dedues, caso obtenhamos um absurdo, ento a afirmao inicial verdadeira. - Frmulas com conectivo (): o antecedente deve ser verdadeiro e o conseqente falso. - Frmulas com conectivo (^): a nica interpretao das subfrmulas que compem a conjuno que devem ser verdadeiras. - Frmulas com conectivo (v): a nica possibilidade de interpretao da disjuno, que devem ser falsas. Regras de Reduo As regras de reduo so de dois tipos: regras de equivalncia e regras de inferncia.

Absurdo Lgico

Prof. Esp. Jos Roberto Katsui Jnior Cincia da Computao (2 e 3 srie) Lgica Matemtica

Exerccios de rvores semnticas resolvidos:

Referncias
Jaime Ferreira de Campos, Elementos de Lgica Matemtica e Teoria dos Conjuntos, in Lies de Anlise Real, Instituto Superior Tcnico, Lisboa, 2001. http://www.math.ist.utl.pt/ jmatos/ltc/ltc.pdf Edgar de Alencar Filho, Iniciao Lgica Matemtica, Nobel, So Paulo, 1986