Captulo 2 OPERAES LGICAS SOBRE PROPOSIES

Para efeito de classificar as proposies em verdadeiras ou falsas a Lgica Matemtica adota como regras fundamentais os dois seguintes princpios: I) Princpio da No Contradio - Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. II) Princpio do Terceiro Excludo - Toda proposio ou verdadeira ou falsa (isto , verifica-se sempre um desses casos e nunca um terceiro). 2.1 Negao Chama-se negao de uma proposio p a proposio representada por ~p, cujo valor lgico e a verdade (V) quando p e falsa e a falsidade (F) quando p e verdadeira. Assim, no p tem o valor lgico oposto daquele de p. Simbolicamente, a negao de uma proposio e, portanto, definida pela seguinte tabela-verdade: p V F F V Exemplos 1. p: O Sol uma estrela 2. q: 2 + 3 = 5 3. r: Carlos e mecnico 2.2 Conjuno Chama-se de conjuno de duas proposies p e q a proposio representada por p e q, cujo valor lgico e a verdade (V) quando as proposies p e q so ambas verdadeiras e a falsidade (F) nos demais casos. Simbolicamente, a conjuno de duas proposies p e q indica-se com a notao: , que se l: p e q. O valor lgico da conjuno de duas proposies e, portanto, definido pela seguinte tabela-verdade: p q V V V V F F F V F F F F Exemplos 1. p: A neve branca q: 2 + 3 = 5 2. p: > 3 q: 2 mpar 3. sen = 0 q: 4 < 3
Lgica Matemtica Prof. Andreza

Lgica Matemtica

2.3 Disjuno Chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo valor lgico e a verdade (V) quando ao menos uma das proposies p e q e verdadeira e a falsidade (F) quando as proposies p e q so ambas falsas. Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao: , que se l p ou q. O valor lgico da disjuno de duas proposies e, portanto, definido pela seguinte tabela-verdade: p V V F F Exemplos 1. p: A neve branca q: 2 + 3 = 5 2. p: > 3 q: 2 mpar 3. sen = 0 q: 4 < 3 2.4 Disjuno Exclusiva Na linguagem comum a palavra ou tem dois sentidos. Assim, por exemplo, consideremos as duas seguintes proposies compostas: P: Carlos medico ou professor Q: Mario alagoano ou gaucho Na proposio P se esta a indicar que pelo menos uma das proposies Carlos medico, Carlos professor e verdadeira, podendo ser ambas verdadeiras: Carlos medico e professor. Mas, na proposio Q, se esta a precisar que uma e somente uma das proposies Mario alagoano, Mario gaucho seja verdadeira, pois, no possvel ocorrer Mario alagoano e gaucho. Na proposio P diz-se que ou e inclusivo, enquanto que, na proposio Q, dizse que ou e exclusivo. Em Lgica Matemtica usa-se habitualmente o smbolo para ou inclusivo e o smbolo para ou exclusivo. Assim sendo, a proposio P a disjuno inclusiva ou apenas disjuno das proposies simples Carlos medico, Carlos professor, isto : P: Carlos medico Carlos professor ao passo que a proposio Q a disjuno exclusiva das proposies simples Mario alagoano, Mario gaucho, isto : Q: Mario alagoano gaucho De um modo geral, chama-se disjuno exclusiva de suas proposies p e q a proposio representada simbolicamente por p q, que se l: ou p ou q, cujo valor lgico e a verdade (V) somente quando p e verdadeira ou q e verdadeira, mas no quando p e q so ambas verdadeiras, e a falsidade (F) quando p e q so ambas verdadeiras ou ambas falsas. Logo, o valor lgico da disjuno exclusiva de duas proposies definido pela seguinte tabelaverdade:
Lgica Matemtica Prof. Andreza

q V F V F

V V V F

Lgica Matemtica

p V V F F

q V F V F

F V V F

2.5 Condicional Chama-se proposio condicional ou apenas condicional uma proposio representada por se p ento q cujo valor lgico e a falsidade (F) no caso em que p e verdadeira e q e falsa e a verdade nos demais casos. Simbolicamente, a condicional de duas proposies p e q indica-se com a notao: p q, que tambm se l de uma das seguintes maneiras: (I) p condio suficiente para q (II) q condio necessria para p Na condicional p q, diz-se que p e o antecedente e q o consequente. O smbolo e chamado smbolo de implicao. O valor lgico da condicional de duas proposies e, portanto, definido pela seguinte tabela-verdade: p V V F F q V F V F

V F V V

Exemplos 1. p: o ms de maio tem 31 dias q: a Terra plana 2. p: o ano tem 9 meses q: > 3 NOTA: Uma condicional pq no afirma que o consequente q se deduz ou e consequncia do antecedente p. Assim, por exemplo, as condicionais: P: 7 e um numero impar Braslia e uma cidade Q: 3 + 5 = 9 Santos Dumont nasceu no Ceara no esto a afirmar, se modo nenhum, que o fato de Braslia ser uma cidade se deduz do fato de 7 ser um numero impar ou que a proposio Santos Dumont nasceu no Ceara e a consequncia da proposio 3 + 5 = 9. O que uma condicional afirma e unicamente uma relao entre os valores lgicos do antecedente e do consequente de acordo com a tabela-verdade anterior. 2.6 Bicondicional Chama-se proposio bicondicional ou apenas bicondicional uma proposio representada por p se e somente se q, cujo valor lgico e a verdade (V) quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade (F) nos demais casos. Simbolicamente, a bicondicional de duas proposies p e q indica-se
Lgica Matemtica Prof. Andreza

Lgica Matemtica

com a notao: p q, que tambm se l de uma das seguintes maneiras: (I) p condio necessria e suficiente para q (II) q condio necessria e suficiente para p O valor lgico da bicondicional de duas proposies e, portanto, definido pela seguinte tabela-verdade: p q V V V V F F F V F F F V Exemplos 1. p: Roma fica na Europa q: A neve e branca 2. p: o ms de maio tem 31 dias q: a Terra plana

Lgica Matemtica

Prof. Andreza

Lgica Matemtica

EXERCCIOS
1. Sabendo que as proposies x = 0 e x = y so verdadeiras e que as proposies y = z e y = t so falsas, determinar o valor lgico de cada uma das seguintes proposies: a) x = 0 x = y y z b) x 0 y = t y = z c) x y y z y = t d) x 0 x y y z e) x = 0 (x y y t) 2. Determine os valores lgicos de p e de q em cada um dos seguintes casos, sabendo que: a) (p ~q) = V e (p q) = F b) (p q) = V e (q p) = F c) (~p ~q) = V e (p q) = V d) (p q) = V e (p q) = V e) (p q) = F e (~p q) = V 3. Dadas as proposies p: Faz calor e q: Est chovendo. Escreva na linguagem simblica as seguintes proposies: a) Faz calor e no est chovendo. b) Se faz calor ento est chovendo. c) Est chovendo se e somente se no faz calor. d) Se no est chovendo ento faz calor. e) No faz calor ou no est chovendo. f) No est chovendo nem faz calor. g) Est chovendo, mas faz calor. 4. Determine o valor de cada um dos itens abaixo supondo: (p)=V, (q)=V, (r)=F e (s)=V. a) (p ^ (p q)) q b) (~q ^ (p q)) ~p c) (p ^ (q ^ ~q)) r d) (p ^ q) (r ~r) e) ((p ^ q)^(r ^ s))p s) f) (( pq)^(p r))(p(q ^ r)) g) ~(p q)(p q) h) (p q)(p ^ r q ^ r) i) (p q)(p r q r) j) (p ^ q)(pq r)
Lgica Matemtica Prof. Andreza