O QUE A LGICA ?

Se perguntarmos ao matemtico o que lgica muitos podero apresentar respostas que digam:
q

O QUE A LGICA ?
q

Resposta 1 - "Lgica uma rea de conhecimentos da matemtica usada em lgebra, aritmtica e geometria " Resposta 2 - "Lgica a Teoria dos Conjuntos, e ela que viabiliza o trabalho matemtico, pois a Teoria dos Conjuntos uma linguagem universal." Resposta 3 - "Lgica o conhecimento que prescreve todos os outros conhecimentos, inclusive a matemtica. "

Ao perguntarmos para um filsofo este poder dizer que:

Resposta 5 - "A Lgica um ramo da filosofia que pretende compreender o que a verdade. "
Resposta 6 - "A Lgica permite a compreenso dos processos que se desenvolvem na natureza das coisas. "

Resposta 4 - "A Lgica uma ferramenta que pode ser utilizada no trabalho matemtico."

O QUE A LGICA ?

Os primeiros estudos sobre lgica que conhecemos foram desenvolvidos por: Aristteles (sec. IV a.C.) que estudou os silogismos para tentar compreender o mundo real, bem como, a verdade. Tratava-se pois de uma lgica concreta. Leibniz (sculos XVI) que vislumbra a lgica simblica formal, ou seja, uma lgica abstrata. Boole (sculo XIX) que desenvolveu a lgebra lgica. Peano, Whitehead, Russell e Frege e Gdel - foram autores de extrema importncia nos questionamentos filosficos e matemticos sobre os limites da lgica formal.

Em suma, as respostas podem ser muitas, uns com uma viso mais utilitarista dela, outros com uma viso menos utilitria, no entanto, no se pode negar que a lgica no um privilgio de intelectuais e cientistas afortunados, mas faz parte do pensamento humano, e ns usamos continuamente suas operaes para solucionar certos problemas.

A mquina desenvolvida por cientistas como Von

Newman (um dos nomes mais lembrados), revolucionou a forma de conceber e desenvolver a lgica, gerando uma categoria de profissionais como os programadores de computador que ora so matemticos, ora lgicos as vezes verdadeiros artistas. Por fim nas ltimas dcadas apareceu uma nova concepo conhecida como Lgica Nebulosa (Lgica Fuzzy) introduzido por Lotfi A. Zadeh nos anos 1960.

LGICA PROPOSICIONAL

01 - Proposio
q
q

Proposio
A linguagem natural nem sempre clara e precisa, sendo muito comum a ocorrncia de ambigidades que geram dvidas sobre o significado do que se est falando. Por isso, um dos objetivos da lgica estabelecer uma linguagem formal, onde se pode expressar com clareza, preciso e emitir juzo de verdadeiro ou falso para determinadas frases.

Frase o elemento de comunicao que relaciona palavras entre si de modo a estabelecer uma mensagem com sentido completo.
As frases podem ser de vrios tipos: Declarativa: Imperativa: Interrogativa: Exclamativa: O Sol uma estrela. No faa isto! Onde voc mora? Parabns!

q q q q

Proposio
q

Proposio
Exemplos:
q

Proposio um conceito primitivo (aceito sem definio). Mas nada impede que se estabeleam as suas caractersticas para melhor entendimento. Proposio uma frase declarativa (com sujeito e predicado), qual pode ser atribudo, sem ambigidade, um dos valores lgicos: verdadeiro (V) ou falso (F).
Chama-se proposio todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes.

1)So proposies: a) O Japo fica na frica. b) O Brasil banhado pelo Oceano Atlntico. c) 3 + 4 = 7 d) 5 x 7 = 12 e) 5 > 8

q q q q q

Proposio
Exemplos:
q

Proposio
Ento, de acordo com as consideraes anteriores, expresses do tipo, Com vai voc?" , "3 + 5" , "x um nmero real" , "x + 2 = 7", etc.,

2)No so proposies:

q q q

a) 3 + 4 No tem predicado b) Onde voc vai? Sentena interrogativa. c) Os estudantes jogam vlei. O sujeito no est claramente especificado e a sentena no pode ser classificada em V ou F.

no so proposies lgicas, uma vez que no poderemos

associar a ela um valor lgico definido (verdadeiro ou falso).

Proposies simples e compostas

q

Proposies simples e compostas

As proposies podem ser simples ou compostas.

q

Proposio simples nica, ou seja, no contem nenhuma outra proposio como parte integrante. Indicaremos tais proposies por letras minsculas de nosso alfabeto. Exemplos: p: q: r: s: O Mxico fica na Amrica do Norte. O nmero 16 quadrado perfeito. 3 + 4 = 7. 8 / 2 = 5.

Proposio composta ou frmula formada por duas ou mais proposies relacionadas pelo(s) conectivo(s) lgico. Sero indicadas por letras maisculas de nosso alfabeto. Notao: P (p,q,r,...) indica que a proposio composta P formada pelas proposies simples p, q, r, ....

q q q q

Proposies simples e compostas

CONECTIVOS LGICOS
Conectivos Lgicos

As proposies que fazem parte de uma proposio composta podem ser, elas mesmas, proposies compostas.

Conectivos lgicos (ou operadores lgicos) so palavras ou expresses usadas para formar novas proposies a partir de proposies. Os conectivos lgicos so: no e ou se ..., ento ... ... se, e somente se ...

Exemplos:
q
q q

P: 1 + 2 = 3 e 2 <> 1 Q: 1 + 2 = 3 ou 2 <> 1
R: Se 1 + 2 = 3, ento 2 <> 1 (onde <> significa diferente.)

q
q q q

VALOR LGICO
q
q

Princpios Fundamentais da Lgica

Valor Lgico
O valor de uma proposio chamado valor lgico. Os valores lgicos possveis so: verdade (V) e falsidade (F). Notao: V (p) indica o valor lgico da proposio p. Assim, se a proposio p for verdadeira, V(p) = V; se a proposio p for falsa, V(p) = F. O valor lgico de uma proposio composta depende exclusivamente dos valores lgicos das suas proposies componentes e dos conectivos lgicos que as ligam. Exemplos: a) p: O Sol verde. b) q: Um hexgono tem seis lados. c) r: 2 raiz da equao x**2 + 3x - 4 = 0

q q

Princpio da No-Contradio Uma proposio no pode ser simultaneamente verdadeira e falsa. Princpio do Terceiro Excludo Toda proposio ou s verdadeira ou s falsa, nunca ocorrendo um terceiro caso. Logo, toda proposio admite um e um s dos valores V ou F.

q q q q

V(p) = F V(q) = V V(r) = F

Teorema
q q

Exemplos:
1) Dada a proposio: p: O Sol um planeta. A sua negao : ~ p: O Sol no um planeta. 2) Dada a proposio: q: 2 + 3 = 5 a sua negao : ~ q: 2 + 3 <> 5

q
q

Teorema:
O nmero de linhas distintas de uma tabela-verdade dado por 2**n (dois elevado a n), onde n nmero de proposies simples componentes e 2 representa o nmero de valores lgicos possveis (V ou F)..

q q

q
q q

q
q q q

3) Dada a proposio: r: Rio de Janeiro um pas. A sua negao : ~ r: Rio de Janeiro no um pas.

Operaes Lgicas Sobre Proposies

q

Operaes Lgicas Sobre Proposies

q

q q

A negao pode, ainda, ser expressa de outras maneiras, como: ~ r: No verdade que Rio de Janeiro um pas. ~ r: falso que Rio de Janeiro um pas. Negar uma proposio p no apenas afirmar algo diferente do que p afirma, ou algo com valor lgico diferente. Exemplo:

Operao Conjuno (

Duas proposies p e q podem ser combinadas pelo conectivo e para formar uma proposio composta denominada conjuno das proposies originais. Notao: p q (l-se: p e q)

A proposio O Sol uma estrela, que verdadeira, no negao da proposio O Sol um planeta, que falsa.

Exemplos: q 1) Dada as proposies: q p: Carlos estuda Matemtica. q Q: Carlos joga xadrez. q A conjuno :
q

q: Carlos estuda Matemtica e joga xadrez.

Operaes Lgicas Sobre Proposies

Operaes Lgicas Sobre Proposies

Operao Disjuno ( V )

q q q

2) Dadas as proposies: p: 2 > 0 q: 2 <> 1 a conjuno : p q: 2 > 0 e 2 <> 1 O smbolo pode ser usado, tambm, para definir a interseco de dois conjuntos. A B = {x / x e A x e B} (pertence a)

Duas proposies p e q podem ser combinadas pelo conectivo ou (com sentido de e/ou) para formar uma proposio composta denominada disjuno das proposies originais. Notao: p V q (l-se: p ou q) Na linguagem natural, o conectivo ou pode traduzir tanto a idia de hipteses mutuamente exclusivas (ou ocorre isto ou ocorre aquilo) quanto a de que pelo menos uma das hipteses ocorre.

q q

Operaes Lgicas Sobre Proposies Exemplos:

Operao Disjuno ( V )

Operaes Lgicas Sobre Proposies Exemplos:

Operao Disjuno ( V ) 2) O mesmo no acontece com a sentena Pedro passar nos exames ou repetir de ano, que s verdadeira nos seguintes casos: q Pedro passar nos exames; q Pedro repetir de ano. q Mas falsa a hiptese: q Pedro passar nos exames e repetir de ano.
q

A sentena chove ou faz frio verdadeira nos seguintes casos:

q q q

s chove; s faz frio; chove e faz frio.

No primeiro exemplo, a disjuno inclusiva e, no segundo, a disjuno exclusiva. Em nosso estudo, vamos nos preocupar apenas com a disjuno inclusiva.

Operaes Lgicas Sobre Proposies

Operao Disjuno ( V ) Exerccios: q 1) Dadas as proposies: q p: Joo estudante. q q: Joo mecnico. q Qual ser a disjuno? q p V q: Joo estudante ou mecnico. q 2) Dadas as proposies: q p: 10 nmero primo q q: 10 nmero composto q a disjuno : q p V q: 10 nmero primo ou nmero composto.
q

Operaes Lgicas Sobre Proposies

Operao Disjuno ( V )

EXEMPLOS:

1) Determinar o valor lgico da proposio composta P dada a seguir: P: 3 < pi ou 2 no nmero primo. Resoluo: 3 < pi uma proposio verdadeira. 2 no nmero primo uma proposio falsa. Como as proposies simples dadas esto ligadas pelo conectivo ou, ento: V(P) = V

q q

O smbolo V pode ser usado, tambm, para definir a unio de dois conjuntos: A B = {x / x e A V x e B}

(pertence a)

Operaes Lgicas Sobre Proposies

Operao Disjuno ( V )
q

Operaes Lgicas Sobre Proposies

Operao Condicional ( )
q

EXEMPLOS:

2) Sejam as proposies:

Duas proposies p e q podem ser combinadas pelo conectivo lgico se ..., ento ... para formar uma nova proposio denominada condicional. Notao: p q (l-se: se p, ento q).

p: Virna jogadora de vlei. q: Virna bonita.

q q

Escrever em linguagem natural as seguintes proposies: a) p q b) p V ~q Resoluo: a) Virna jogadora de vlei e Virna bonita. b) Virna jogadora de vlei ou Virna no bonita.

Outras maneiras de se ler o condicional p q:

n n n

q q

q, se p. p condio suficiente para q. q condio necessria para p.

Operaes Lgicas Sobre Proposies

Operao Condicional ( )
q

Operaes Lgicas Sobre Proposies

Operao Condicional ( )
q

Exemplo: A proposio condicional Se chove, ento a rua fica molhada, tambm pode ser lida das seguintes formas: Chover uma condio suficiente para a rua ficar molhada.

Exemplos:

1) Dadas as proposies:

p: 1 litro = 1 dm**3 q: 1 ml = 1 cm**3

A rua ficar molhada uma condio necessria quando chove.

No condicional p q, a proposio p chamada antecedente e a proposio q o conseqente.

a condicional :
p q: Se 1 l = 1 dm**3, ento 1 ml = 1 cm**3

Operaes Lgicas Sobre Proposies

Operao Condicional ( )
q

Operaes Lgicas Sobre Proposies

Operao Bi-condicional ( )
q

Exemplos: 2) Dadas as proposies: q p: Chove q q: Faz frio a condicional : q p q: Se chove, ento faz frio. 3) Dadas as proposies: q p: 5 < 2 q q: 2 e Z a condicional : q p q: Se 5 < 2, ento 2 e Z.
Pertence
n n

Duas proposies p e q podem ser combinadas pelo conectivo lgico ... se, e somente se ... para formar uma nova proposio denominada bi-condicional. Notao: p q (l-se: p se, e somente se q) Outras maneiras de se ler o bi-condicional p q : p condio necessria e suficiente para q. q condio necessria e suficiente para p.

q
q

Obs.: O smbolo Z representa o conjunto dos nmero inteiros.

Operaes Lgicas Sobre Proposies

Operao Bi-condicional ( )
q

Operaes Lgicas Sobre Proposies

Operao Bi-condicional ( )
q

Exemplos: 1) Dadas as proposies: p: Perereca se transforma em sapo. q: Sapo se transforma em prncipe.

Exemplos: 2) Dadas as proposies:

q
q

q
q

p: Joo homem. q: Joo tem a voz grave.

A bi-condicional :
p q : Perereca se transforma em sapo se, e

A bi-condicional :
p q : Joo homem se, e somente se, Joo tem a

somente se, sapo se transforma em prncipe.

voz grave.

Operaes Lgicas Sobre Proposies

Tabela verdade resumo dos conectivos

Operaes Lgicas Sobre Proposies

Prioridade dos conectivos Prioridade dos conectivos a) Parnteses

Da tabela anterior, infere-se (deduz-se) que:

n

a conjuno verdadeira somente quando ambas as proposies so verdadeiras. a disjuno falsa somente quando ambas as proposies so falsas. a condicional falsa somente quando a primeira proposio verdadeira e a segunda falsa.
a bi-condicional verdadeira somente quando as proposies possuem valores lgicos iguais.

Usar parnteses em todas as frmulas indicando assim a prioridade das sub-frmulas. ((( ~p ) v q) ((r ^ ~q) <-> p))
Quando o significado for claro podemos simplificar o uso de parnteses. b) Tabela abaixo: (~) > (^) > ( v) > ( ) > (<->).