Faculdade

SISTEMAS DE INFORMAO
SI11 LGICA

MDULO I
INTRODUO

Professor Newton Marquez Alcantara

1

1. O que a Lgica? Rapidamente, podemos dizer que a Lgica versa sobre os

princpios da inferncia correta. Inferncia, por sua vez, o processo que nos permite partir de coisas, fatos ou afirmaes j conhecidas (premissas) e concluir algo novo, ainda no conhecido. Exemplo: Premissas: - Pedro, sempre que pode, joga futebol aos domingos - Hoje domingo - O tempo est bom - Pedro j terminou os trabalhos da Faculdade Concluso: - Pedro vai jogar futebol (portanto no adianta convid-lo para pescar) O processo mental que nos levou das premissas concluso que denominado de inferncia. Historicamente, o estudo formal dos princpios da inferncia correta comeou com os gregos, culminando em uma obra denominada de Organom que significa instrumentos da cincia. Esta obra, que considerada o marco inicial desta rea do conhecimento, uma coletnea de trabalhos do filsofo Aristteles feita pelos seus alunos aps a sua morte. O nosso objeto de estudo a lgica de primeira ordem. Este assunto de fundamental importncia para a Cincia da Computao por estar presente na definio e manipulao de banco de dados relacionais, linguagens de programao e ser o principal alicerce para o projeto de processadores.

2. Proposies e Conectivos
2.1. Sentena toda estrutura lingstica que exprime um pensamento completo. Exemplos: a) A terra redonda b) 2 + 2 = 4 c) A lua feita de queijo verde. d) Que horas so? e) Feche a porta! f) Oba! As sentenas a, b e c so ditas sentenas declarativas, visto que afirmam ou declaram algo. A sentena d uma sentena interrogativa, a sentena e uma sentena imperativa (uma ordem ou comando) e a sentena f uma exclamao. As sentenas que nos interessam so as sentenas declarativas, tambm designadas de proposies. A estas sentenas ns podemos atribuir os valores lgicos de verdade (V) ou falsidade (F).

Exemplos: Vv (a terra redonda) = Verdade Vv (2 + 2 = 4) = Verdade Vv (a lua feita de queijo) = Falsidade Vv (o quadrado uma figura de trs lados) = Falsidade Observao: Leremos o smbolo Vv como valor verdade. Portanto, Vv (2 + 2 = 4) = Verdade significa o valor verdade da proposio 2 + 2 = 4 a verdade. J Vv (O Sol um planeta) = Falsidade, significa o valor verdade da proposio O Sol um planeta a falsidade. Os valores de verdade e falsidade so representados por V e F ou 1 e 0, significando: Valor lgico de verdade V ou 1 Valor lgico de falsidade F ou 0 2.2. Axiomas Axiomas so afirmaes que consideramos verdadeiras sem necessidade de demonstrar tal fato. Axiomas da Lgica: Axioma da no Contradio Uma proposio no pode, simultaneamente, ser verdadeira e falsa. Ou seja, uma proposio no pode assumir os dois valores (verdade ou falsidade) ao mesmo tempo. Axioma do Terceiro Excludo Uma proposio somente pode ser verdadeira ou falsa, no havendo uma terceira alternativa. 2.3. Proposies Simples Uma proposio simples aquela formada por uma nica sentena declarativa. As proposies simples sero designadas por letras minsculas como p, q, r, s etc. Exemplo: p = Pedro joga futebol q = Maria engenheira r = 2 + 3 > 1 + 3 2.4. Proposies Compostas Uma proposio dita composta quando formada por mais de uma proposio simples unidas por conectivos. Uma proposio composta designada por letras Maisculas como P, Q, R, S etc. Exemplos: a) P (p, q) = Pedro goiano ou Pedro mineiro. Temos duas proposies simples, a proposio p = Pedro goiano e a proposio q = Pedro mineiro. A proposio composta P(p, q) construda com o auxlio do conectivo ou, que designado pelos smbolos + ou . Simbolicamente poderamos representar: P (p, q) = p q ou P (p, q) = p + q
3

b) Q (p, q) = Maria carioca e Maria casada. Novamente duas proposies simples, a proposio p = Maria carioca e a proposio q = Maria casada. A proposio composta Q (p, q) construda com o auxlio do conectivo e, que designado pelos smbolos . e . Simbolicamente poderamos representar: Q (p, q) = p q ou Q (p, q) = p . q c) R (p, q) = Se hoje quarta-feira, ento temos aula de laboratrio. As duas proposies simples, as proposies p = hoje quarta-feira e q = temos aula de laboratrio formam a proposio composta R (p, q) , construda com o auxlio do conectivo se .. ento, que designado pelo smbolo . Simbolicamente poderamos representar: R (p, q) = p q.

2.5. Conectivos e Tabelas-Verdade Como visto no Item anterior, conectivos so smbolos que utilizamos para unir proposies simples de modo a formar proposies compostas. Os conectivos so definidos com preciso atravs de tabelas-verdade. Uma tabela-verdade uma tabela que, organizadamente, fornece todas as possibilidades de valores verdade para uma proposio. 2.5.1. Conectivo no Smbolo. Notao V/F: ~ Notao 1/0: Exemplo: Se p uma proposio, leremos ~p como no p. Da mesma forma, leremos p como no p. Definio - O conectivo no quando aplicado a uma proposio inverte o seu valor verdade. Portanto se Vv(p) = V, Vv(~p) = F e se Vv(p) = F, Vv(~p) = V. Exemplo: p = Pedro joga futebol. Ento, a sua negao ser: ~p = Pedro no joga futebol q = a terra quadrada. Ento, a sua negao ser: q = a terra no quadrada Notao V/F p ~p V F F V Notao 1/0 p p 1 0 0 1

Tabela-Verdade que define o conectivo no

2.5.2. Conectivo e Smbolo. Notao V/F: Notao 1/0: . Exemplo: Se p e q so proposies, leremos p q como p e q ou p conjuno q. Igualmente, utilizando a notao 1/0, leremos p . q como p e q ou p conjuno q. Definio - p q somente verdadeiro quando ambas proposies so verdadeiras. Caso contrrio o valor verdade de p q falso. Exemplo: p = A terra redonda ; q = O Brasil se situa na Amrica do Sul. Ento, a proposio composta P (p, q) = p q = a terra redonda e o Brasil se situa na Amrica do Sul verdadeira, ou seja, Vv (P(p,q)) = V. Notao V/F Notao 1/0 Tabela-Verdade que define o p q p q p.q pq conectivo e V V V 1 1 1 V F F F V F F F F 1 0 0 0 1 0 0 0 0

2.5.3. Conectivo ou Smbolo. Notao V/F: Notao 1/0: + Exemplo: Se p e q so proposies, leremos p q como p ou q ou p disjuno q. Igualmente, utilizando a notao 1/0, leremos p + q como p ou q ou p disjuno q. Definio - p q somente falso quando ambas proposies so falsas. Caso contrrio o valor verdade de p q verdadeiro. Exemplo: p = A terra plana ; q = O Brasil se situa na Europa. Ento, a proposio composta P (p, q) = p q = a terra plana ou o Brasil se situa na Europa falsa, ou seja, Vv (P(p,q)) = F. Notao V/F Notao 1/0 Tabela-Verdade que define o p q p q p+q pq conectivo ou V V V 1 1 1 V F V 1 0 1 F V V 0 1 1 F F F 0 0 0

2.5.4. Conectivo ou exclusivo Smbolo. Notao V/F: Notao 1/0: Exemplo: Se p e q so proposies, leremos p q como p ou exclusivo q. Igualmente, utilizando a notao 1/0, leremos p q como p ou exclusivo q. Definio - p q verdadeiro quando as proposies tm valores verdade diferentes. Quando as proposies tm valores verdade iguais, p q falso. Exemplo: p = 2 < 3 ; q = 2 > 3. Ento, a proposio composta P (p, q) = p q = 2 < 3 ou exclusivo 2 > 3 verdadeira, ou seja, Vv (P(p,q)) = V. Notao V/F p q pq V V F F V F V F F V V F Notao 1/0 p q pq 1 1 0 0 1 0 1 0 0 1 1 0

Tabela-Verdade que define o conectivo ou exclusivo

2.5.5. Conectivo se .. ento Smbolo. Notao V/F: Notao 1/0: Exemplo: Se p e q so proposies, leremos p q como se p ento q ou p condicional q. Definio - p q falsa somente quando p verdadeiro e q falso. Nos outros casos, p q verdadeiro. Exemplo: p = chove ; q = o cho est molhado. Ento, a proposio composta P (p, q) = p chove ento o cho est molhado verdadeira, ou seja, Vv (P(p,q)) = V. Notao V/F p q p q V V V V F F F V V F F V Notao 1/0 P q p q 1 1 1 1 0 0 0 1 1 0 0 1 q = se

Tabela-Verdade que define o conectivo se .. ento

2.5.6. Conectivo se e somente se Smbolo. Notao V/F: Notao 1/0: Exemplo: Se p e q so proposies, leremos p q como p se e somente se q ou p bicondicional q. Definio - p q verdadeira quando as proposies tm valores verdade iguais. Quando as proposies tm valores verdade diferentes, p q falsa. Exemplo: p = 2 + 3 = 5 ; q = 3 + 2 = 5. Ento, a proposio composta P (p, q) = p q = 2 + 3 = 5 se

e somente 3 + 2 = 5 verdadeira, ou seja, Vv (P(p,q)) = V.

Notao V/F p q p q V V V V F F F V F F F V Notao 1/0 P q p 1 1 1 0 0 1 0 0

Tabela-Verdade que define o conectivo se e somente se

q 1 0 0 1

EXERCCIOS DE FIXAO 1 Responda: a) O que a lgica? b) O que uma proposio simples? c) O que uma proposio composta? d) O que so os conectivos? e) Quais so os dois axiomas da Lgica de Primeira Ordem? Enuncie os mesmos. 2) Seja p = 2 + 2 = 6 ; q = 4 x 3 = 12 ; r = 3 - 2 = 1. Observe o exemplo abaixo: Ex: Calcular o valor verdade de P (p, q) = p q. Soluo: Sabemos que Vv (p) = F pois 2 + 2 = 4. Tambm sambemos que Vv (q) = V. Logo, Vv (P(p,q)) = Vv (p q) = Vv (F V) = F, pela 3 linha da tabela verdade que define o conectivo Agora, calcule voc mesmo os seguintes valores verdade: a) Vv (Q), onde Q (p,q) = q p b) Vv (R), onde R (p,q) = p q c) Vv (S), onde S (q, r) = r q d) Vv (T), onde T (r) = ~r e) Vv (U), onde U (p) = ~p
7

f) Vv (X), onde X (p,r) = p + r g) Vv (Y), onde Y (p,q) = p q h) Vv (Z), onde Z (q,r) = r . q i) Vv (A), onde A (p,r) = r . p j) Vv (B), onde B (q,r) = r q

Respostas para conferncia Exerccio 1. Vide a parte inicial deste mdulo ou as notas de aula. Exerccio 2. a) Vv (Q) = F b) Vv (R) = V c) Vv (S) = F d) Vv (T) = F e) Vv (U) = V f) Vv (X) = V g) Vv (Y) = V h) Vv (Z) = V i) Vv (A) = F j) Vv (B) = V