Introduo Lgica

termos nomes ou designaes frases ou proposies

Expresses com significado

Termos designam entes ( coisas, pessoas, nmeros, ... ) Exemplo de termos: Lisboa; copo; alegria; 3; 3+2; ; 107 Proposies so expresses a respeito das quais faz sentido dizer que so verdadeiras ou falsas. As proposies afirmam factos ou exprimem juzos que formamos a respeito de entes. Exemplo de proposies: Lisboa uma cidade. Vasco da Gama descobriu a Austrlia. 2+3=7

8<3
Valores lgicos das proposies: As proposies podem ser verdadeiras ou falsas Exemplo de proposies verdadeiras: A Terra um planeta. Pedro lvares Cabral descobriu o Brasil. 3+2=5 Exemplo de proposies falsas: A Lua uma estrela. Dante escreveu a Odisseia. 9 um nmero par.

H, no entanto, proposies a respeito das quais, por ignorncia sobre o assunto ou por causa da impreciso da linguagem, resultante do uso de termos no definidos ou ambguos, no fcil dizer se so verdadeiras ou falsas. Exemplos: Amanh chove. A msica de Strawinski bela. No h vida fora da Terra. Assim, em lgica matemtica, adopta-se como regras fundamentais os dois seguintes princpios ou axiomas:

Princpio da no contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo: Uma proposio ou verdadeira ou falsa.

OPERAES LGICAS SOBRE PROPOSIES: Quando pensamos efectuamos operaes lgicas sobre proposies. Vamos resumir as operaes fundamentais: Negao: Consiste em converter uma proposio numa outra que ser verdadeira se a primeira for falsa e falsa se a primeira for verdadeira. Exemplos: i) i)Negar que "O Sol um planeta" afirmar que "O Sol no um planeta"; ii) ii)Negar que "Todos os homens so inteligentes" afirmar que "Nem todos os homens so inteligentes", isto , afirmar que "H pelo menos um homem que no inteligente"; iii) iii)Negar que "Nenhum peixe voa" afirmar que "H peixes que voam". Conjuno: Operao que consiste em ligar duas proposies pela conjuno "e".

Exemplos: i) lua um satlite da Terra e o Sol uma estrela. i)A ii) ii)Vnus uma estrela e a Lua um planeta. iii) baleia um peixe e os lobos voam. iii)A

Repare-se que a proposio i) verdadeira, pois ambas as proposies que esto ligadas pela palavra "e" so verdadeiras. As proposies ii) e iii) so ambas falsas, embora na proposio ii) uma das proposies componentes seja verdadeira.
Conclui-se assim intuitivamente que a conjuno de duas proposies s verdadeira quando ambas o forem. Disjuno: Operao que consiste em ligar duas proposies pela conjuno "ou". Exemplos: i) i)Carlos mdico ou professor ou ambas as coisas. ii) ii)Vamos ao teatro ou ao futebol, mas no ambas as coisas.

Repare-se na diferena das duas situaes: enquanto que no caso i) se admite que Carlos possa ser mdico ou professor ou ambas as coisas simultaneamente, na situao ii) s se admite que uma das proposies seja verdadeira. primeira chama-se disjuno e segunda disjuno exclusiva.
Para simplificar, costume designar-se por V o valor verdade e por F o valor falso. porm mais simples representar a verdade por 1 e a falsidade por 0. Quando fazemos operaes com proposies estamos pois a trabalhar no universo {0, 1}. Vamos ento definir operaes lgicas como sendo operaes binrias nesse universo.

OPERAES LGICAS. Universo : {0, 1} possvel definir 16 operaes binrias neste universo de acordo com a seguinte tabela:

p 1 1 0 0

q 1 0 1 0

Tabuada das 16 operaes binrias que possvel estabelecer em { 0, 1 } 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0

0 1 0 0

1 0 0 0

0 0 0 0

Destas tm especial importncia: p p 0 1 p 1 1 0 0 p 1 1 q 1 0 1 0 q 1 0 p q 1 0 0 0 p q 1 1 (Note-se que esta operao no binria)

1 0

b) Conjuno

c) Disjuno

0 0 p d) Disjuno exclusiva 1 1 0 0 p 1 1 0 0 p 1 1 0 0 p 1 1 0 0 p 1 1 0 0

1 0 q 1 0 1 0 q 1 0 1 0 q 1 0 1 0 q 1 0 1 0 q 1 0 1 0

1 0 p 0 1 1 0

e) Implicao

pq 1 0 1 1 pq 1 0 0 1 p|q 0 1 1 1 p q 0 0 0 1

f) Equivalncia

g) Incompatibilidade

g) Negao Conexa

Definio: Duas proposies lgicas so iguais se e s se tm a mesma tabela. Propriedades das operaes lgicas: Conjuno a b = b a ( a b ) c = a ( b c ) a 1 = a a 0 = 0 a a = a Negao a=a Disjuno a b = b a ( a b ) c = a ( b c ) a 0 = a a 1 = 1 a =a a comutativa associativa elemento neutro elemento absorvente idempotncia

Mistas
a ( b c ) = ( a b ) ( a c ) a ( b c ) = ( a b ) ( a c ) ( a b ) = a b ( a b ) = a b a a = 0 a a = 1 distributiva distributiva lei de De Morgan lei de De Morgan no contradio terceiro excludo

Todas as operaes lgicas podem ser expressas na negao e na conjuno, ou na negao e na disjuno, ou na incompatibilidade ou na negao conexa. Material de aula da Prof. Silvia Fernanda M. Brando 3

Exemplos:

1. ( a b ) = ( a b ) = ( a b ) 2. ( a b ) = ( a b ) ( b a ) = ( a b ) ( b a ) = ( a b ) ( b a ) 3. a b = ( a b ) 4. a b = ( a b ) 5. a b = ( a b ) ( a b ) = [ ( a b ) ( a b ) ] 6. a = a a 7. a b = ( a | b ) | ( a | b ) 8. a b = ( a a ) ( b b ) 9. a b = ( a | a ) | ( b | b ) 10. a b = ( a b ) ( a b )

Algumas igualdades importantes

1. ( a b ) = ( b a ) 2. ( a b ) = a b 3. ( a b ) = ( a b ) ( a b ) 4. ( a b ) = ( a b ) Todas estas igualdades podem ser verificadas por recurso s tabelas ou por aplicao das propriedades das operaes lgicas.

Quando se demonstram teoremas utilizam-se raciocnios logicamente correctos. Normalmente, um teorema traduzido por meio de uma implicao ou de uma equivalncia (se e s se). Uma das formas de demonstrar teoremas utilizar um raciocnio dedutivo. Exemplo:
Se este livro tem o meu ex-libris, pertence-me. Este livro tem o meu ex-libris. Logo este livro pertence-me. No entanto h outras formas correctas de demonstrar teoremas. So os chamados argumentos vlidos:

ARGUMENTOS VLIDOS

1 - [( a b ) a ] b 2 - [( a b ) b ] a 3 - [( a b ) a ] b 4 - ( ( a b ) ( b c )) ( a c ) 5 - [ ( a b ) ( c d ) ( a c ) ] ( b d ) 6 - [ ( a b ) ( c d ) ( b d ) ] ( a c )

( Modus ponens ) ( Modus tollens ) ( Silogismo disjuntivo ) ( Silogismo Hipottico ) ( Dilema construtivo) ( Dilema destrutivo)

ainda possvel encadear todas estas formas numa cadeia de argumentos vlidos. Exemplo: Se o ladro saiu pela porta da rua, foi apanhado. Se o ladro saiu pela varanda do quintal, foi apanhado.

Se o o ladro foi apanhado est preso. Se o ladro no saiu pela porta da rua nem pela varanda do quintal, est escondido. Ora o ladro no est preso. Logo no saiu pela porta da rua nem pela varanda do quintal. Logo o ladro est escondido. QUANTIFICADORES Alm das operaes lgicas atrs consideradas, apresentam-se ainda duas operaes que se aplicam unicamente a expresses proposicionais com variveis. Estas duas operaes desempenham um papel correspondente ao dos pronomes "todo" e "algum" da linguagem corrente. Quantificador universal Exemplo: x, x mortal. Esta proposio verdadeira no universo dos seres vivos. , por isso, necessrio especificar qual o universo em que a varivel x pode tomar valores. Se, por exemplo, se escrever x, 2x > x , esta proposio verdadeiora em IN mas falsa em IR. Quantificador de existncia Exemplo: x: x > x2 . ( Algum nmero superior ao seu quadrado ). Esta proposio obviamente verdadeira em IR e falsa em IN. Mais uma vez necessrio indicar o universo em que a varivel x pode tomar valores. Segundas leis de De Morgan: [ x U, p (x) ] = x U: p (x) [ x U: p (x) ] = x U, p (x) Generalizando, teremos por exemplo: [ x, y: z, t : p (x, y, z, t) ] = x: y, z: t, p (x, y, z, t)

Material de aula da Prof. Silvia Fernanda M. Brando