Documente Academic
Documente Profesional
Documente Cultură
Jonofon
Captulo 1: Proposies
1. Proposio e Valor Lgico Proposio: todo conjunto de palavras ou smbolos ao qual podemos atribuir um valor lgico. Valor Lgico: Diz-se que o valor lgico de uma proposio verdade (V) se a proposio verdadeira e falsidade (F) se a proposio falsa. Exemplos: a) A Lua um satlite. b) Recife a capital de Pernambuco. c) Vasco da Gama descobriu o Brasil. d) Dante escreveu Os Lusadas. e) um nmero inteiro.
2.
i) Princpio da no contradio Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. ii) Princpio do 3o excludo Toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro. Assim, esse princpios afirmam que Toda proposio tem um, e um s, dos valores V, F 3. Proposio simples e Proposio composta. Proposio simples: Chama-se proposio simples ou atmica aquela que no contm nenhuma outra proposio como parte integrante de si mesma. As proposies simples so igualmente designadas pelas letras latinas minsculas p, q, r, s,... Exemplos: p: Carlos Careca q: Pedro estudante r: o nmero 25 quadrado perfeito
1
Proposio composta: Chama-se proposio composta aquela formada pela combinao de duas ou mais proposies. As proposies compostas so habitualmente designadas pelas letras maisculas P, Q, R, S,... Exemplos: P: Carlos careca e Pedro estudante Q: Carlos careca ou Pedro estudante R: Se Carlos careca ento infeliz 4. Tabela-Verdade O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. Utilizaremos a tabela-verdade para verificar todos os possveis valores lgicos de uma proposio composta. Atribuio de valores: Sabemos que uma proposio simples verdadeira ou falsa: P V F Se uma proposio composta por n proposies simples ento teremos 2n atribuies possveis.
1 2 3 4
2.1 Negao: ~
Dado um enunciado qualquer p, podemos formar o enunciado ~p, dito negao de p. Se p for um enunciado verdadeiro, ~p falso. Se p for um enunciado falso, ento ~p verdadeiro. p V F ~p F V
Assim, considerando o enunciado p: O sol uma estrela sua negao ser ~p: O sol no uma estrela
3
ou tambm ~p: no o caso que o sol seja uma estrela Uma vez que p verdadeiro, teremos ento que ~p um enunciado falso. Exerccio: Escreva ~p em linguagem corrente e indique seu valor lgico: 1) p: A neve branca 2) p: Roma a capital da Frana 3) p: Realengo pertence Zona Sul do Rio.
2.2 Conjuno
Dados dois enunciados, podemos obter um terceiro, dito conjuno dos dois primeiros, pela ao do conectivo Assim, dados dois enunciados: . Braslia uma cidade e Braslia a capital do Brasil podemos formar a conjuno Braslia uma cidade Braslia a capital do Brasil importante ter presente que o uso dos conectivos em Lgica permite ligar enunciados sem qualquer tipo de vnculo significativo entre eles, como por exemplo: O caf est amargo Cludia estuda msica A interpretao do conectivo anloga linguagem corrente, veja pela tabela: p V V F F q V F V F p q V F F F
Assim, considerando os enunciados p: A neve branca q: 2<5 a conjuno ser p A neve branca e 2<5 q: Uma vez que p verdadeiro e q tambm verdadeiro, teremos ento p verdadeiro. q Exerccio: Indique o valor lgico de p considerando os seguintes enunciados: q 1) p: O enxofre verde - q: 7 um nmero primo 2) p: A Lua uma estrela - q: Saturno um planeta 3) p: Cabral descobriu o Brasil - q: Portugal um continente
2.3 Disjuno
4
Na linguagem corrente existem, pelo menos, dois usos distintos do conectivo ou o uso exclusivo e o uso no-exclusivo. Vejamos os exemplos: (1) Mariana alagoana ou cearense (2) Carla mdica ou professora No primeiro exemplo o uso do ou exclusivo pois as duas situaes no podem ocorrer simultaneamente. No segundo exemplo temos a utilizao do ou no-exclusivo pois ambas as proposies podem ser verdadeiras. A disjuno representada pelo conectivo lgico tem o sentido no-exclusivo, conforme apresentado pela tabela abaixo: p q p q V V V V F V F V v F F F Assim, considerando os enunciados p: A neve azul q: 2>5 a disjuno ser p A neve azul 2>5 q: Uma vez que p falso e q tambm falso, teremos ento p falso. q Exerccio: Indique o valor lgico de p considerando os seguintes enunciados q 1) p: O enxofre verde - q: 7 um nmero primo 2) p: A Lua uma estrela - q: Saturno um planeta 3) p: Cabral descobriu o Brasil - q: Portugal um continente
4o casos: No fez sol e Joana foi praia ainda podemos concluir que o enunciado (1) verdadeiro. Assim, a tabela de valores lgicos da condicional : p V V F F q V F V F p q V F V V
Na condicional p q
i) ii)
p dito antecedente da condicional ou condio suficiente para q q dito conseqente da condicional ou condio necessria para p
Exerccio: Indique o valor lgico de p q considerando os seguintes enunciados 1) p: O enxofre verde - q: 7 um nmero primo 2) p: A Lua uma estrela - q: Saturno um planeta 3) p: Cabral descobriu o Brasil - q: Portugal um continente
Na bicondicional pq
i) ii)
p dito condio necessria e suficiente para q q dito condio necessria e suficiente para p
Note-se que o conectivo pode ser definido mediante e Assim a frmula pq . equivale frmula (pq) (qp) .
3.1 Tautologia
Denomina-se tautologia ou proposio tautolgica a proposio composta que sempre verdadeira. Na tabela de verdade de uma proposio tautolgica, a ltima coluna contm somente valores V (verdadeiro).
3.2 Contradio
Denomina-se contradio ou proposio contraditria a proposio composta que sempre falsa. Na tabela de verdade de uma proposio contraditria, a ltima coluna contm somente valores F (falso).
3.3 Contingncia
Denomina-se contingncia ou proposio proposio contingencial a proposio composta que pode ser verdadeira e pode ser falsa. Na tabela de verdade de uma proposio tautolgica, a ltima coluna contm valores V (verdadeiro) e F(falso).
Exerccios: 1) Considere as sentenas: p: Tales filho de Wilson q: Tales neto de Jonofon. Escreva, na forma simblica, cada uma das sentenas seguintes: a) Tales no filho de Wilson. b) Tales filho de Wilson e neto de Jonofon c) Tales filho de Wilson e no neto de Jonofon 2) Sejam as proposies: p: O rato entrou no buraco. Q: O gato seguiu o rato. Forme sentenas, na linguagem natural, que correspondam s proposies seguintes: ) p a) ~p ~q b) p q c) ~p 3) Construir a tabela de verdade de cada uma das seguintes proposies: a) ~(p q) ~ (q p) b) [p (~q r)] [ q (p ~r)] c) [(p q) r] [~p (q ~r)] 4) Sabendo que os valores lgicos das proposies p e q so respectivamente, F e V, determinar o valor lgico (V ou F) da proposio: [p (~q q)] ~[(p ~q) (q ~p)] 5) Determinar o valor lgico de p, isto , v (p), sabendo que: a) v(q) = V e v( p q ) = F b) v(q) = V e v( p q) = V