RACIOCNIO LGICO AULA N 02 CONTEDO: LGICA DAS PROPOSIES 6 TABELA VERDADE Toda proposio composta tem seu valor

r lgico dependente dos valores lgicos das proposies simples que constituem a proposio composta. Para obter os valores lgicos de uma proposio composta recorre-se a um algoritmo denominado tabela verdade, no qual figuram todas as possveis combinaes dos valores lgicos das proposies primitivas. Tal algoritmo construdo conforme abaixo: Para uma proposio Para duas proposies Para trs proposies p q r p p q V V V V V V V V F F V F V F V F V V F F F V V F F F V F F F V F F F O nmero de linhas determinado pelo nmero de arranjos com repetio de dois elementos tomados n a n onde n o nmero de proposies combinadas, cuja frmula matemtica (AR)2n = 2n. Para 4 proposies, a tabela verdade ter, ento, 24 = 16 linhas. 7 - TABELAS INICIAIS - NEGAO (no) Seja p a proposio "Lavnia aluna do curso de Direito". Conforme j foi visto ~p equivale a "Lavnia no aluna do curso de Direito". evidente que sendo "Lavnia aluna do curso de Direito" uma proposio verdadeira, a sua negao "Lavnia no aluna do curso de Direito" ser falsa e se a proposio "Lavnia aluna do curso de Direito" for falsa, sua negao "Lavnia no aluna do curso de Direito" ser verdadeira. Pode-se ento construir a seguinte tabela: p V F ~p F V

Observao: a negao de uma negao uma afirmao. Isto ~(~p) equivale a p. Em conseqncia, duas negaes em uma mesma frase significam uma afirmao. comum pessoas se expressarem na forma "eu no vou ao cinema, no", querendo afirmar que ela no vai ao cinema. Entretanto, conforme dito acima, o segundo no nega a afirmao "eu no vou ao cinema". Portanto, dizer que "eu no vou ao cinema, no", uma declarao afirmativa de que a pessoa vai ao cinema. - DISJUNO (ou) Se um pai promete a um filho, como prmio pela aprovao na escola, uma passagem para Cabo Frio ou para Guarapari podem ocorrer os fatos: - dar apenas a passagem para Cabo Frio - dar apenas a passagem para Guarapari - dar uma passagem para Cabo Frio e outra para Guarapari - no dar nenhuma passagem. Nos dois primeiros casos, o pai cumpriu sua promessa. No terceiro caso o pai foi mais 5

generoso, ao cumprir a promessa. J no terceiro caso o pai mentiu ao prometer a ou as passagens. Esta a caracterstica da proposio composta obtida a partir do conectivo ou: "A proposio composta pela disjuno s falsa quando as duas proposies forem falsas". Sendo p e q duas proposies, a tabela da disjuno "ou" se apresenta como abaixo:

p V V F F

q V F V F

p q

V V V F

- DISJUNO EXCLUSIVA (ou, ou) Ao afirmar que uma pessoa militar ou civil, ela s poder satisfazer a uma, e apenas uma, das condies. No possvel algum ser militar e civil ao mesmo tempo, como tambm no possvel uma pessoa no apresentar um destes status, pois no h uma terceira opo. Portanto, "A proposio composta pela conjuno "e" s verdadeira quando as duas proposies forem verdadeiras".

p V V F F

q V F V F

pq

V F F F

- CONDICIONAL (se...ento...) A condicional usada em frases como: (1) Se nasci em Barbacena ento sou mineiro. (2) Se ela dana ento eu dano. s vezes o termo ento no citado explicitamente, como em "se ela dana, eu dano. Falei com o DJ". Observe que a vrgula permite substituir o termo ento. Na condicional, a primeira proposio chamada de antecedente (ou hiptese) e a segunda de conseqente (ou tese). Isto : a segunda proposio uma conseqncia da primeira. Analisando a frase (1), (i) tendo nascido em Barbacena, obrigatoriamente sou mineiro; (ii) posso ser mineiro e no ter nascido em Barbacena; (iii) posso no ter nascido em Barbacena e no ser mineiro. Nestes trs casos a afirmativa "se nasci em Barbacena ento eu sou mineiro" confirmada. A nica situao impossvel de acontecer : (iv) ter nascido em Barbacena e no ser mineiro. Disto se pode concluir que: "A proposio composta pela condicional (se ... ento) s falsa quando a proposio antecedente for verdadeira e a conseqente for falsa". Alm disso, na composta p q, "p" condio SUFICIENTE para que ocorra "q" e "q" condio NECESSRIA" para que ocorra "p". Tem-se ento a tabela:

p V V F F

q V F V F

pq

V F V V

- BICONDICIONAL - (... se e somente se ...) Usada em proposies como "um nmero primo se e somente se tiver apenas dois divisores". Desta forma, ter apenas dois divisores condio necessria e suficiente para que o nmero seja primo. Isto quer dizer que: um nmero primo quando tem apenas dois divisores e um nmero que tem apenas dois divisores primo. Do mesmo modo: um nmero no primo quando tem mais de dois divisores e um nmero com mais de dois divisores no primo. Assim: "A proposio composta pela bicondicional (...se e somente se ...) somente verdadeira quando as duas proposies apresentarem o mesmo valor lgico".

p V V F F

q V F V F

pq

V F F V

A bicondicional p q tambm pode ser escrita como uma conjuno de duas condicionais. Ou seja: p q equivalente a (p q) (q p). Construindo a tabela para (p q) (q p) tem-se: p q p q q p (p q) (q p)= p q V V V V V V F F V F F V V F F F F V V V

EXERCCIOS 02 1. D o valor lgico das seguintes proposies: a. A Lua um satlite da Terra e o planeta Vnus gira em torno da Terra. b. Uma estrela tem luz prpria ou o sol um planeta. c. Se 3 par ento 3 + 1 impar. d. Se 3 par ento 5 par. e. 4 + 3 = 5 se e somente se 4 = 2 + 2. f. Santos Dumont inventou o avio ou Romrio descobriu o caminho para as ndias. g. Se Santos Dumont no inventou o avio ento Romrio descobriu o caminho para as ndias. h. Se galinha comea com h ento pato comea com j. 2. D a. c. e. g. I. k. m. o valor lgico das seguintes proposies: p q, se V(p) = F e V(q) = F. p q, se V(p) = F e V(q) = F. p q, se V(p) = V e V(q) = F. p q, se V(p) = V e V(q) = F. p q, se V(p) = F e V(q) = V. p q, se V(p) = F e V(q) = V. p q, se V(p) = V e V(q) = V. b. d. f. h. j. l. n. p q, se V(p) = F e V(q) = F. p q, se V(p) = F e V(q) = F. p q, se V(p) = V e V(q) = F. p q, se V(p) = V e V(q) = F p q, se V(p) = F e V(q) = V. p q, se V(p) = F e V(q) = V. p q, se V(p) = V e V(q) = V. ~p se V(p) = F.

p. p q, se V(p) = V e V(q) = V.
03 -

q.

(AFC-STN/2005) Se Marcos no estuda, Joo no passeia. Logo: a) Marcos estudar condio necessria para Joo no passear. b) Marcos estudar condio suficiente para Joo passear. c) Marcos no estudar condio necessria para Joo no passear.
7

d) Marcos no estudar condio suficiente para Joo passear. e) Marcos estudar condio necessria para Joo passear. 04 - (conhece a msica?) Se todos fossem iguais a voc, que maravilha () viver. a) "todos serem iguais a voc" condio necessria e suficiente para "ser uma maravilha viver". b) "todos serem iguais a voc" condio suficiente para "ser uma maravilha viver". c) "todos serem iguais a voc" condio necessria "ser uma maravilha viver". d) "ser uma maravilha viver" condio suficiente para "todos serem iguais a voc". 05 - Marque o opo incorreta: a) Se 2 + 1 = 7 ento 3 + 3 = 12. b) Se 3 + 1 = 4 ento 2 + 2 = 5. c) Se 4 + 5 = 9 ento 3 + 3 = 6. d) Se 1 + 1 = 9 ento 2 + 2 = 4. 06 - Marque a opo incorreta a) Quem nasce em Barbacena mineiro ou quem nasce no Rio de Janeiro paulista. b) Quem nasce em So Paulo mineiro ou quem nasce no Rio de Janeiro carioca. c) Quem nasce em So Paulo paulista ou quem nasce no Rio de Janeiro carioca. d) Quem nasce em Barbacena paulista ou quem nasce no Rio de Janeiro mineiro.