Notas de aula de Lgica para Cincia da Computao o e ca

Aula 2, 2009/1
Renata de Freitas e Petrucio Viana Departamento de Anlise, IMUFF a 14 de abril de 2009

Sumrio a
1 Recurso em frmulas a o 2 Semntica de LS Parte I a 3 Exerc cios 1 2 4

Recurso em frmulas a o

Uma propriedade importante que est expl a cita da denio de frmulas e que ca o resulta em um mtodo para a prova de proposies sobre frmulas, a de que e co o e nenhum objeto dado uma frmula a no ser que seja obtido por um nmero e o a u nito de aplicaes das regras al estipuladas. Ou seja, que toda frmula gerada a co o e partir das variveis sentenciais por aplicao dos conectivos. Uma outra propriedade, a ca desta vez impl cita, que resulta em um mtodo para a denio de conceitos sobre e ca frmulas, a de que a gerao de cada frmula feita de um unico modo a partir o e ca o e das variveis sentenciais por aplicao iterada dos conectivos. Isto quer dizer que: a ca Os seis conjuntos contendo, respectivamente, as frmulas atmicas, as negao o co es, as conjunes, as disjunes, as implicas e as biimplicaes so dois a co co co co a dois disjuntos; Dadas duas frmulas genricas e , se sabemos que e so iguais, podemos o e a concluir que elas foram formadas a partir das mesmas variveis sentenciais, da a mesma maneira, por aplicao dos mesmos conectivos. ca Esta propriedade tambm parece ser desinteressante a primeira vista mas essencial e e e tem como consequncia um mtodo de denio para denir um conceito que se e e ca aplique a todas as frmulas. o Metodo de definicao por recursao em formulas. Para denir um conceito C para todas as frmulas, basta fazer o seguinte: o

1. Denir o conceito C para todas as variveis sentenciais; a 2. Supor que o conceito C est denido para frmulas arbitrrias e ; a o a 3. Mostrar como o conceito C pode ser denido para as frmulas (), ( ), o ( ), ( ) e ( ), usando a hiptese de que C est denido para o a e . Exemplo 1.1 (a) Considere o seguinte conceito sobre frmulas : o VS[] : conjunto das variveis sentencias de . a Vamos den usando o Mtodo de Denio por Recurso em Frmulas. -lo e ca a o (b) Considere o seguinte conceito sobre frmulas : o SF[] : conjunto das subfrmulas de . o Vamos den usando o Mtodo de Denio por Recurso em Frmulas. -lo e ca a o

Semntica de LS Parte I a

Frmulas correspondem a sentenas. o c Uma sentena uma expresso de uma dada linguagem que pode ser classicada c e a como verdadeira ou falsa, de maneira exclusiva, em um dado contexto. Alm de serem classicadas como verdadeiras ou falsas, sentenas podem ser e c combinadas para formar novas sentenas por aplicao de certas expresses. c ca o Um conectivo uma expresso de uma dada linguagem utilizada para formar e a sentenas a partir de sentenas dadas. c c Sentenas so classicadas de acordo com o fato de serem ou no formadas a c a a partir de outras sentenas. c Uma sentenas atmica no formada a partir de outras sentenas. caso c e o a e c contrrio, isto , se formada a partir de outras sentenas, molecular. a e e c e Em LS, como vimos na Aula 1, estuda-se apenas as frmulas obtidas por ino termdio dos conectivos , , , e . Assim, as frmulas de LS correspondem e o apenas a sentenas formadas a partir dos conectivos no, e, ou, se...ento e c a a se, e somente se. Veremos agora como esta associao reete de maneira direta na ca modo como atribu mos signicados as frmulas de LS. o Em primeiro lugar, como, devido a problemas de ambiguidade sinttica e/ou a semntica, inerentes a linguagem natural, a anlise semntica formal de uma sena a a tena pode ser uma questo extremamente complicada, para a denio de signic a ca cado das frmulas de LS, dada abaixo, adotamos os seguintes princ o pios simplicadores: Cada sentena possui um valor de verdade (Verdadeiro ou Falso) bem denido. c Em contraste com outros aspectos semnticos intuitivos que uma sentena a c possa ter, inclusive aqueles relacionados ao seu siginicado, formalmente esta a unica caracter e stica semntica relevante de uma sentena. a c O valor de verdade de uma sentena atmica depende do contexto no qual ela c o est inserida. a 2

 O valor de verdade de uma sentena molecular depende exclusivamente do c valor de verdade das sentenas utilizadas na sua formao. Assim, em ultima c ca anlise, o valor de verdade de uma sentena molecular depende exclusivamente a c do valor de verdade das sentenas atmicas a partir das quais ela formada. c o e Sentenas moleculares so formadas exclusivamente pelo uso dos conectivos c a no, e, ou, se . . . ento e se, e somente se. a a O comportamento de cada conectivo em relao ` determinao do valor de ca a ca verdade da sentena composta a partir do valor de verdade das suas compoc nentes anlogo ao modo como estes conectivos so utilizados em contextos e a a matemticos. a Assim, na descrio formal de como as frmulas recebem signicado nos baseamos ca o nos seguintes princ pios, anlogos aos princ a pios acima: Existe um contexto onde as frmulas recebem valores de verdade (Verdadeiro o ou Falso). Cada frmula, em um dado contexto, possui um valor de verdade (Verdadeiro o ou Falso) bem denido e esta a unica caracter e stica semntica relevante de a uma frmula. o O valor de verdade de uma frmula atmica depende apenas do contexto. o o O valor de verdade de uma frmula molecular depende exclusivamente do valor o de verdade das frmulas utilizadas na sua formao. Assim, em ultima anlise, o ca a o valor de verdade de uma frmula molecular depende exclusivamente do valor o de verdade das frmulas atmicas a partir das quais ela formada. o o e O comportamento de cada conectivo em relao a determinao do valor de ca ca verdade da frmula molecular composta a partir do valor de verdade das suas o componentes anlogo ao modo como estes conectivos so utilizados em cone a a textos matemticos. a Dadas duas sentenas S1 e S2 , a maneira como os conecivos no, e, ou, se . . . c a ento e se, e somente se so usados em contextos matemticos na determinao a a a ca da verdade de sentenas moleculares formadas diretamente a partir de S1 e S2 c e suamrizada nas seguintes tabelas de verdade dos conectivos: a e S1 no o caso que S1 V F F V S1 V V F F S2 S1 e S2 S1 ou S2 Se S1 , V V V F F V V F V F F F ento S2 S1 se, e somente se, S2 a V V F F V F V V

Exerc cios
1. Considerando que p e q so frmulas com valor de verdade V , determine a o o valor de verdade das seguintes frmulas: o a) ((p q) r) (p (q r)) b) p q r c) (q p) ((p r) (r q)) d) (q r) (q r) e) (p q q) (r p) 2. Considerando que p q F , determine o valor de verdade das seguintes e frmulas: o a) (p q) (q r) b) (p r) (p q) c) p (q r) d) p q (r r) e) (p q) p q 3. Considerando que q p r F , determine o valor de verdade das seguintes e frmulas: o a) (p q) r b) (p q) r c) p (q r) d) q r p e) (((p q) r) (p q)) ((q r) p) r) 4. Verique se a informao dada suciente para determinar o valor de cada ca e frmula: o a) (p q) r, quando r V e b) p (q r), quando q r V e c) (p q) (p s), quando s F e d) (p q) r r, quando q F e e) ((p q) (q q)) (r p) q, quando q F e 5. Considerando que p r tem valor V , que valor deve ser atribu a q para do que a frmula r (p r) p q tenha valor V ? o 6. Sabendo que p q tem valor F , que valor deve ser atribu a r para do que a frmula (p q r) p q tenha valor F ? o

7. Dadas as sentenas: c : Niteri uma cidade ou 2 = 7, o e : No o caso que 6 > 6 + 1, a e : Se 2 > 0, ento 6 > 5, a determine o valor de verdade de cada uma das sentenas seguintes: c a) b) c) d) e) f) ( ) g) ( ) ( ) h) ( ) (( ) ) 8. A informao o valor de p V e o valor de r F suciente para que ca e e e possamos determinar o valor da frmula p q q r? o 9. Seja uma frmula, tal que, para qualquer frmula , possui valor o o V . O que se pode dizer acerca do comportamento de verdade de ? 10. Se p q tem valor V , o que se pode dizer acerca do valor de verdade de p q? 11. Considerando que as seguintes sentenas foram proferidas na aula de quartac feira, determine quais so V e quais so F : a a a) Se hoje segunda, amanh ser tera. e a a c b) Amanh ser sexta, pois hoje quarta. a a e c) Como hoje tera, hoje quarta. e c e d) Um dado nmero natural que divis por 2 e por 6, tambm divis por u e vel e e vel 12. e) 18 ser divis por 6 caso seja divis por 3 e por 4. a vel vel