16/09/12

Introduo lgica

Introduo Lgica
(Em construo. No se esquea de fazer RELOAD agora)

Resumo
Aqui so revisados alguns dos conceitos bsicos de lgica, e sugeridos alguns links que tratam de mtodos e princpios usados para distinguir entre o raciocnio correto e o incorreto, uso de linguagens, falcias formais e informais, diagramas de Venn, tabelas verdade, notao simblica, deduo de provas e induo. Esses links introduzem noes fundamentais e tcnicas da lgica formal que podem ser utilizadas em diferentes reas. Em particular, fornecem o background necessrio para outras disciplinas da Cincia da Computao, alm, claro, de Circuitos Lgicos.

Proposio
Segundo Quine, toda proposio uma frase mas nem toda frase uma proposio; uma frase uma proposio apenas quando admite um dos dois valores lgicos: Falso (F)ou Verdadeiro (V). Exemplos: 1. Frases que no so proposies Pare! Quer uma xcara de caf? Eu no estou bem certo se esta cor me agrada 2. Frases que so proposies A lua o nico satlite do planeta terra (V) A cidade de Salvador a capital do estado do Amazonas (F) O numero 712 mpar (F) Raiz quadrada de dois um nmero irracional (V)

Composio de Proposies
possvel construir proposies a partir de proposies j existentes. Este processo conhecido por Composio de Proposies . Suponha que tenhamos duas proposies, 1. A = "Maria tem 23 anos" 2. B = "Maria menor" Pela legislao corrente de um pas fictcio, uma pessoa considerada de menor idade caso tenha menos que
www.inf.ufsc.br/ine5365/introlog.html 1/4

16/09/12

Introduo lgica

18 anos, o que faz com que a proposio B seja F, na interpretao da proposio A ser V. Vamos a alguns exemplos: 1. "Maria no tem 23 anos" (noA) 2. "Maria no menor"(no(B)) 3. "Maria tem 23 anos" e "Maria menor" (A e B) 4. "Maria tem 23 anos" ou "Maria menor" (A ou B) 5. "Maria no tem 23 anos" e "Maria menor" (no(A) e B) 6. "Maria no tem 23 anos" ou "Maria menor" (no(A) ou B) 7. "Maria tem 23 anos" ou "Maria no menor" (A ou no(B)) 8. "Maria tem 23 anos" e "Maria no menor" (A e no(B)) 9. Se "Maria tem 23 anos" ento "Maria menor" (A => B) 10. Se "Maria no tem 23 anos" ento "Maria menor" (no(A) => B) 11. "Maria no tem 23 anos" e "Maria menor" (no(A) e B) 12. "Maria tem 18 anos" equivalente a "Maria no menor" (C <=> no(B)) Note que, para compor proposies usou-se os smbolos no (negao), e (conjuno), ou (disjuno), => (implicao) e, finalmente, <=> (equivalncia). So os chamados conectivos lgicos . Note, tambm, que usou-se um smbolo para representar uma proposio: C representa a proposio Maria tem 18 anos . Assim, no(B) representa Maria no menor, uma vez que B representa Maria menor.

Algumas Leis Fundamentais

Lei do Meio Excluido Lei da Contradio Um proposio falsa (F) ou verdadeira (V): no h meio termo. Uma proposio no pode ser, simultaneamente, V e F.

Lei da O valor lgico (V ou F) de uma proposio composta unicamente determinada Funcionalidade pelos valores lgicos de suas proposies constituintes. Recomenda-se, fortemente, uma leitura da Homepage do Pensamento Crtico da San Jose State Universitys para que voc compreenda melhor a lgica e seu uso. Davide Gries, tambm, tem uma homepage interessante. Em sua homepage, h um link para outra homepage em que ele e Fred B. Schneider, possuem um texto que vale a pena conferir, pois trata, especificamente, de uma Introduo ao Ensino da Lgica como Ferramenta. H uma frase, no inicio deste texto dizendo que lgica a cola que gruda os mtodos de raciocnio (Logic is the glue that binds together methods of reasoning, in all domains ).

Tabela-Verdade
A tabela-verdade, como se sabe, um instrumento eficiente para a especificao de uma composio de
www.inf.ufsc.br/ine5365/introlog.html 2/4

16/09/12

Introduo lgica

proposies. Abaixo segue a tabela-verdade dos conectivos aqui tratados, Negao A ~(A), ou -A, ou /A, ou ainda, A' F V A B A . B, ou AB F F F V V F V V F F F V A+B F V V V A => B V V F V A <=> B V F F V V F Conjuno Disjuno Implicao Equivalncia

Alguns destaques das tabelas-verdade tratadas: A negao, como o prprio nome diz, nega a proposio que tem como argumento. Tem como smbolo o acento "~" , ~A,ou, algumas vezes, uma barra sobre a variavel lgica, , ou o sinal "-", -A, ou o smbolo "/", /A, ou ainda, o sinal "'", A'. Lembre-se que o smbolo nada mais que uma simples representao da negao. O que relevante que o significado do smbolo seja explicitamente declarado. Aqui, os smbolos mais usados para a negao so o sinal "'", e barra por sobre a varivel lgica, .

O smbolo mais utilizado para a conjuno, em Eletrnica Digital, o ponto ".". O smbolo mais utilizado para a disjuno, em Eletrnica Digital, o sinal "+". A nica funo da implicao lgica (A => B, onde A o antecedente e B o conseqente) afirmar o conseqente no caso do antecedente ser verdadeiro. Segundo Quine, a nica maneira de se negar a implicao lgica como um todo quando isto no ocorre, isto , tem-se o antecedente (A) V e o consequente (B) F. Apenas neste caso, a implicao (A => B) F. Em todos os outros casos V. A equivalncia sempre V quando os dois argumentos possuem o mesmo valor lgico (seja, este valor, V ou F).

Use Predicado ao Invs de Proposio

No livro The Science of Programming, Gries extende o conceito de proposio para contemplar expresses do tipo, 1. x > 2; 2. 6 < y < 10 Note que, neste caso, o predicado (ou composio extendida) somente tem valor lgico V para alguns valores da varivel x (h casos onde nenhum valor de x, no universo considerado, satisfaz um predicado. Por exemplo: x2 < -29. Considerando, aqui, o universo como o conjunto dos nmeros reais). No primeiro exemplo, caso estejamos trabalhando com o conjunto dos nmeros inteiros, qualquer valor de x superior a 2,
www.inf.ufsc.br/ine5365/introlog.html 3/4

16/09/12

Introduo lgica

satisfaz o predicado. Para treinar um pouco sobre o uso da lgica, as referncias aqui oferecidas, so suficientes. S mais alguns exemplos ilustrativos: Calcule os valores das variveis que satisfazem os respectivos predicados, 1. (x-20)2 < -29 2. 6 < (y-4) < 10 3. 6 - x =>10 4. x - 8 =>10 - x Desnecessrio dizer da importncia dos exerccios prticos sugeridos. Aps, vamos rever alguns pontos fundamentais da lgebra Booleana. Anterior: Sistemas de numerao Prxima: lgebra de Boole

Retornar ao ndice de assuntos Voc pode falar comigo pelo e-mail: jbosco@inf.ufsc.br

www.inf.ufsc.br/ine5365/introlog.html

4/4