6 OPERAES LGICAS E TABELAS-VERDADE

6.1 Contextualizando

Estudando sobre as proposies, no captulo anterior, voc pde ver que elas constituem a representao de nossos argumentos. Estes podem ser simples ou podem se apresentar de forma complexa, a partir do momento em que realizamos algumas operaes sobre as proposies que os formam. Essas operaes so chamadas operaes lgicas ou operaes do clculo proposicional. Toda proposio, como voc viu no captulo 5, tem um valor lgico. Neste captulo, trabalharemos com as principais operaes lgicas e suas respectivas tabelas-verdade. Quando o aluno tem o primeiro contato com as tabelas-verdade, tem a impresso de que necessrio decor-las para poder utiliz-las. Essa uma impresso equivocada. Como voc j pde ver no captulo anterior, existem elementos lgicos que possibilitam a construo e compreenso de uma tabela-verdade. Esperamos que ao final do captulo voc possa: analisar a estrutura de um argumento identificando sua validade ou falsidade; exercitar questes com operaes lgicas que cada vez mais esto presentes nos concursos pblicos. Bom estudo!

6.2 Conhecendo a teoria

6.2.1 As operaes lgicas e as tabelas-verdade

A ao de combinar proposies chamada de operao. Os conectivos que fazem a ligao entre as proposies so chamados de operadores e so representados por smbolos, como voc estudou no captulo 5. Uma vez construda uma proposio, como determinar seu valor lgico? A resposta a essa pergunta implica a definio de algumas operaes lgicas que voc conhecer a seguir.

1. Negao (smbolo ~) significa: ao contrrio a negao inverte o valor de verdade de uma expresso. Veja o que estamos dizendo no exemplo a seguir:
MARIA FOI AO CINEMA

Considerando a proposio

MARIA NO FOI AO CINEMA

Sua negao ser

ou
FALSO QUE MARIA TENHA IDO AO CINEMA

[INCIO DO CONE DEFINIO] Chama-se negao de uma proposio p, a proposio representada por no p, cujo valor lgico a verdade (V) quando p falsa e a falsidade (F) quando p verdadeira. Dito de outra forma: a negao de uma frase tem de alterar o valor de verdade da frase de partida. Assim se a frase que se quer negar for verdadeira, a sua negao ter de ser falsa e vice versa. [FINAL DO CONE DEFINIO]

Na linguagem comum, para realizar uma negao, antepomos o advrbio no ao verbo da proposio dada. Se consi derarmos o exemplo acima, Maria vai ao cinema, de imediato a expresso Maria no vai ao cinema representa a forma mais utilizada para a sua negao. Outra maneira de efetuar a negao consiste em antepor proposio dada expresses tais como no verdade que ou falso que. Ainda

considerando o exemplo, teremos como sua negao: No verdade que Maria foi ao cinema e falso que Maria foi ao cinema. Na linguagem lgica teremos: p (representando a expresso dada) e ~p (representando sua negao). Veja a seguir a tabela de verdade da negao.

p 1 2 V F

~p F V

At aqui falamos da negao de uma proposio simples. Veja agora a negao de proposies compostas e condicionais. Para isso, chamaremos "p e q" as proposies simples. a) Negao da conjuno se a conjuno p ^ q, a sua negao a disjuno entre ~p e ~q. Assim teremos: ~(p ^ q) = ~p v ~q Agora compreenda atravs da tabela-verdade:

p V V F F

q V F V F

p^q V F F F

~(p v q) V V V F

b) Negao da disjuno se a disjuno p v q a sua negao ser; ~(p v q) = ~p ^ ~q Atravs da tabela-verdade possvel entender esse processo em que p v q e ~p ^ ~q apresentam resultados similares e, portanto, so equivalentes.

p V

q V

~p F

~q F

~p ^ ~q) F

p V V F F

q V F V F

pvq V V V F

~(p ^ q) F F F V

V F F

F V F

F V V

V F V

F F V

Atravs de um exemplo fica mais fcil compreender o que estamos dizendo. Veja:

Se eu for ao cinema ento vou comer pipoca for uma proposio VERDADEIRA, negando-a como se eu no for ao cinema, ento no como pipoca continua sendo verdadeira. Como neg-la? Considere que Se eu for ao cinema ento vou comer pipoca for VERDADEIRA, em que condies teremos a FALSIDADE? Resposta: Se for ao cinema mas no comer pipoca. Assim a NEGAO correta ser: Eu fui ao cinema e no comi pipoca Ou seja, esta forma nega a frase de origem.

c) Negao da condicional A negao de uma condicional no outra

proposio condicional, mas sim uma conjuno.. Assim: ~(p

q) = p ^ ~q q)

Veja a equivalncia atravs da tabela-verdade. Observe que ~(p equivalente a p ^ ~q.

p V V F F

q V F V F

~p F V F V

p V F V V

~(p F V F F

q)

p ^ ~q F V F F

d) Negao da bicondicional a negao da bicondicional apresenta duas frmulas. Considerando a primeira frmula, temos que a negao da bicondicional a disjuno exclusiva. Ou seja: ~(p q) = p v q

Agora veja as tabelas-verdade: p V q V p V q

p V F F F V F F F V V V F F

q ~(p V F V F F V V F q)

Considerando que a bicondicional na realidade um conjunto entre duas condicionais p e q, teremos: (p ~(p q) = [(p q) = ~[(p q) e (p q) e (p q)], ento: q)] substituindo nesse conjunto a negao da condicional, teremos a segunda frmula: ~(p q) = ~= (p ^ ~ q) v (p ^ ~ q)

A seguir as tabelas-verdade:

p V V F F

q V F V F

p V F F V

p V V F F

q ~(p V F V F F V V F q)

e) Negao da disjuno exclusiva como voc viu que a disjuno exclusiva e a bicondicional so o inverso uma da outra vai entender que a negao da disjuno exclusiva a bicondicional assim representada: Se ~ ( p q) = p v q q

Ento ~ (p v q) = p

Parece confuso? Veja o exemplo abaixo. Atravs dele voc pode perceber melhor todas essas informaes. Considere a afirmao P onde P = A v B e A e B so as seguintes afirmaes: A = Carlos professor.

B = Se Enio engenheiro, ento Joo pintor. Ora, sabe-se que a afirmao P falsa. LOGO: a) Carlos no professor, Enio no engenheiro, Joo no pintor. b) Carlos no professor, Enio engenheiro, Joo no pintor. c) Carlos no professor, Enio engenheiro, Joo pintor. d) Carlos professor, Enio no engenheiro, Joo no pintor. e) Carlos professor, Enio engenheiro, Joo no pintor.

Os caminhos da resoluo

Passo 1 - a primeira coisa do enunciado a ser considerada que P falsa. Dizer que P falsa negar A v B. Estamos falando da negao de uma disjuno. Para negar uma disjuno, voc viu que devemos negar A, negar B e substituir o ou (v) por e (^). Traduzindo: ~(A v B) = ~A ^ ~B Passo 2 agora voc deve negar A. Para negar A fcil. Se A = Carlos professor. ~A = Carlos no professor.

Passo 3 - Negar B entender primeiro que B uma setena condicional, portanto, composta. expressa por B = Se Enio engenheiro, ento Joo pintor. Vamos representar a proposio B por p e q, onde: p = Enio engenheiro. q = Joo pintor. Pelo que voc aprendeu acima, para negar a condicional preciso conservar o antecedente (no caso o p) e negar o consequente (no caso o q) e colocar a conjuno e. Assim teremos: ~B = p ^ ~r. Traduzindo: p = Enio engenheiro. ~q = Joo no pintor. Agora s reunir todos os clculos e teremos:

Carlos no professor, Enio engenheiro, Joo no pintor. Essa concluso significa a letra b. 2. Conjuno (smbolo ^ )

a proposio composta formada por duas

proposies quaisquer que estejam ligadas pelo conectivo "e". Dadas as proposies p e q, a expresso p ^ q chamada conjuno de p ^ q. Cada uma das proposies chamada de fator de expresso. Uma vez conhecido o valor de verdade de cada uma das proposies, o valor de verdade da conjuno p ^ q verdadeiro quando os dois fatores de expresso forem verdadeiros, e falsa se pelo menos um dos fatores, ou os dois fatores, forem falsos. A seguir um exemplo para que voc consiga compreender melhor.

Considere a expresso

MARIA ESTUDOU

JOO FOI AO CINEMA

se o fator de expresso Maria estudou for verdadeiro e se o fator de expresso Joo foi ao cinema for verdadeiro, ento a conjuno ser VERDADEIRA; se o fator de expresso Maria estudou for falso e se o fator de expresso Joo foi ao cinema for falso, ento a conjuno ser FALSA; se o fator de expresso Maria estudou for verdadeiro e se o fator de expresso Joo foi ao cinema for falso, ento a conjuno ser FALSA; se o fator de expresso Maria estudou for falso e se o fator de expresso Joo foi ao cinema for verdadeiro, ento a conjuno ser FALSA. Veja agora a tabela-verdade da conjuno:

p V V

q V F

p^q V F

F F

V F

F F

[INCIO DO CONE PRATICANDO

Considere a conjuno A vida maravilhosa e a felicidade real. a) Admitindo que a vida no maravilhosa, a conjuno verdadeira ou falsa? Por qu? [FINAL DO CONE PRATICANDO] 3. Disjuno (smbolo v) a proposio composta formada por duas proposies quaisquer que estejam ligadas pelo conectivo "ou". A disjuno de duas proposies p e q uma proposio representada por p v q, cujo valor lgico verdadeiro (V) quando ao menos uma das proposies p ou q for verdadeira e falso (F) quando as proposies p e q forem ambas falsas. Veja a tabela-verdade da disjuno:

p V V F F

q V F V F

pvq V V V F

Existe um tipo especial de disjuno chamada disjuno exclusiva. A disjuno exclusiva de duas proposies p e q uma nova proposio que resulta da ligao de p e q atravs do smbolo v. O valor lgico da nova proposio verdadeiro se p e q tm valores lgicos distintos e falso quando p e q forem verdadeiras ou falsas. Veja a tabela-verdade correspondente:

p V

q V

pvq F

V F F

F V F

V V F

Considere o exemplo:
p Compro livros

q Compro apostilas

Utilizando a disjuno exclusiva teremos:

p v q Ou compro livros ou compro apostilas (MAS NO AMBAS AS COISAS)

4. Condicional (smbolo ) denomina-se condicional a proposio composta formada por duas proposies equivalentes. O conectivo da condicional significa se p, ento q. Este conectivo d a ideia de condio para que a outra proposio exista:

p ser condio suficiente para q

q ser condio necessria para p

Essa uma proposio composta que s admite valor lgico falso no caso em que a proposio p verdadeira e a proposio q falsa, sendo verdade nos demais casos. Veja a tabela-verdade da condicional:

p V

q V

pq V

V F F

F V F

F V V

5. Bicondicional (smbolo <->) a proposio composta formada por duas proposies quaisquer que estejam ligadas pelo conectivo "se e somente se". Esse conectivo funciona como um n, amarrando os fatores de expresso. Assim, se o que estiver antes do se e somente se for verdadeiro, o que vem depois ser verdadeiro; se o que vier antes do se e somente se for falso, o que vem depois ser falso. Vamos tabela-verdade da bicondicional:

p V V F F

q V F V F

p <-> q V F F V

A compreenso das operaes lgicas at aqui apresentadas so fundamentais para que voc esteja apto(a) a resolver muitas das questes de raciocnio lgico que compem os concursos. Voc pde ver como se desenvolvem as operaes lgicas. Agora, propomos que acompanhe o raciocnio que segue utilizando questes com as estruturas lgicas acima apresentadas. Vamos trabalhar com a construo mais simples.

[INCIO DO CONE SAIBA QUE]

Para que possamos resolver questes de lgica proposicional preciso ter em mente que a lgica argumentativa, nesse sentido est sempre ligada formao de argumentos. Um argumento constitudo de premissas e concluso. Uma premissa uma proposio pressupostamente VERDADEIRA. uma frase que se acredita ser VERDADEIRA, mesmo que no seja. S depois da utilizao das operaes lgicas (clculo de proposies) chegaremos VERDADE ou FALSIDADE do argumento. [ FIM DO CONE SAIBA QUE]

[INCIO DO PRATICANDO] Surfo ou estudo; durmo ou no surfo; viajo ou no estudo. Ora, no velejo. Caminhos para resoluo O que se espera do candidato nesta questo que chegue a algumas concluses. Esse tipo de questo apresenta uma proposio simples.

NO VELEJO

Cada vez que voc estiver diante de uma questo com essa caracterstica, ou seja, uma questo que apresenta em seu enunciado uma proposio simples, voc j sabe onde se localiza o ponto de partida da resoluo da questo: a proposio simples. Essa proposio simples sempre ser verdadeira. A partir dela ser desenvolvido todo o raciocnio. Assim, seguindo a numerao em ordem crescente veja a resoluo da questo. [FIM DO ICONE PRATICANDO]

[INCIO DO CONE SAIBA QUE] Para a resoluo de questes com proposies, saiba que os resultados das proposies sempre tm que ser verdadeiros. [FINAL DO CONE SAIBA QUE]

NO VIAJO o ponto de partida, a proposio simples, sempre ser VERDADEIRA. V

SURFO OU ESTUDO - como j sabemos que no estudo VERDADEIRA, estudo ser FALSO. Mais uma vez, para que seja verdadeira a disjuno, um dos fatores tem que ser VERDADEIRO. Nesse caso, surfo ser VERDADEIRO. V
4

DURMO OU NO SURFO j sabemos que pela proposio 3, surfo FALSO, logo no surfo ser FALSO. Como em 2 e 3 a disjuno exige que pelo menos um dos fatores de expresso seja verdadeiro, logo, durmo ser VERDADEIRO. V F

VIAJO OU NO ESTUDO j sabemos que no viajo verdadeiro, logo viajo ser FALSO. Voc j sabe que para que uma disjuno seja VERDADEIRA, um dos fatores de expresso tem que ser verdadeiro. Se j temos um falso o outro fator ser VERDADEIRO. F V Assim, a resposta da questo deve apontar para uma estrutura que afirme viajo, durmo e surfo. Viu como fica fcil se tivermos o conhecimento das operaes lgicas? [FINAL DO PRATICANDO]

6.3 Aplicando a teoria na prtica

Como dissemos no incio do captulo, um dos nossos objetivos prepar-lo para questes com operaes lgicas presentes em vrios concursos pblicos. Assim, aproveitamos esse espao para que voc possa saber como so construdas as questes com operaes lgicas. Vamos

trabalhar com uma questo elaborada pela Fundao Carlos Chagas para o concurso do TRT 22 Regio 2010. Veja a seguir a questo:

Considere o argumento composto pelas seguintes premissas: - Se a inflao no controlada, ento no h projetos de desenvolvimento. - Se a inflao controlada, ento o povo vive melhor. - O povo no vive melhor. Considerando que todas as trs premissas so verdadeiras, ento uma concluso que tornaria o argumento vlido : (a) A inflao controlada. (b) No h projetos de desenvolvimento. (c) A inflao controlada ou h projetos de desenvolvimento. (d) O povo vive melhor e a inflao no controlada. (e) Se a inflao no controlada e no h projetos de desenvolvimento, ento o povo vive melhor.

Vamos agora aos caminhos da resposta.

O argumento apresentado formado pelas seguintes premissas:

[INICIO DE CAIXA DE TEXTO]

P = Se a inflao no controlada, ento no h projetos de desenvolvimento. (V) P = Se a inflao controlada, ento o povo vive melhor. (V) P = O povo no vive melhor. (V)
CONCLUSO - VLIDA

[FIM DE CAIXA DE TEXTO]

Dessas premissas voc deve tirar uma concluso. No enunciado da questo fica afirmado que as premissas so verdadeiras e a concluso tambm verdadeira.

Com a concluso verdadeira, teremos uma situao em que a argumentao proposta ser uma argumentao vlida. Essa justamente a questo do exerccio, ele quer que o argumento seja vlido. Como vamos encaminhar a soluo? Temos no argumento uma proposio simples. Vimos acima que ela o ponto de partida para a resoluo do problema. Vamos resoluo enumerando os passos em ordem crescente.
P = Se a inflao no controlada, ento no h projetos de desenvolvimento. 4

F (para que o argumento seja verdadeiro o consequente ter que ser V, nunca F)

(antecedente V, uma vez que em P vimos que se a inflao controlada F)

P = Se a inflao controlada, ento o povo vive melhor. 3 2

F (uma vez que P V)

(para que a condicional seja verdadeira, sendo o consequente F, o antecedente tem que ser F)

P = O povo no vive melhor.

V Assim, chegamos anlise final descobrindo que no h projetos de desenvolvimento. Voltando ao incio da questo, voc fica sabendo que a alternativa que responde a questo a b, ou seja, No h projetos de desenvolvimento.

6.4 Para saber mais

LIVRO

Ttulo: Raciocnio Lgico - Voc consegue aprender. Srie Provas e Concursos Autor: Enrique Rocha Editora: Campus Ano: 2008 Com um contedo apresentado de forma clara, com uma linguagem descomplicada sem, no entanto, pecar pelo exagero, este livro traz questes tericas e exerccios propostos e resolvidos contemplando os principais tipos de problemas em Raciocnio Lgico (tabelas-verdade, argumentao, culpadoinocente, sequenciais, entre outros).

Ttulo: Raciocnio Lgico para Concursos. Srie Provas e Concursos Autor: Fabrcio Mariano Editora: Campus Ano: 2009 O livro aborda os mais variados tipos de problemas envolvendo a Lgica. Apresenta contedos j indicados no Ensino Fundamental e Mdio que atualmente so cobrados nos novos editais de concursos pblicos. Ao final do livro voc encontrar uma srie de exerccios e provas atuais dos mais variados examinadores.

6.5 Relembrando

Dentre os vrios pontos trabalhados neste captulo, veja de forma sinttica os pontos importantes.

Sntese das tabelas-verdade das operaes lgicas p V V F q V F V ~p F F V p^q V F F pvq V V V pvq F V V p V F V q p V F F q

Tabela resumo para que uma proposio seja verdadeira PROPOSIO CONDIO PARA QUE SEJA VERDADEIRA p^q A nica possibilidade de uma frase com o conectivo e (^) ser VERDADEIRA se as duas proposies forem VERDADEIRAS. A condio para que uma frase com o conectivo ou (v) seja VERDADEIRA que as duas proposies no sejam FALSAS simultaneamente. q Em uma frase com o conectivo se... ento (condicional), a nica forma de a frase ser FALSA quando a primeira proposio VERDADEIRA e a segunda falsa. Em qualquer outra condio a frase VERDADEIRA. Para que a frase seja VERDADEIRA em uma bicondicional, o conectivo se e somente se( ) exige que as duas proposies ou sejam VERDADEIRAS ou FALSAS. Da mesma forma que na bicondicional, a disjuno exclusiva s ser verdadeira se as duas proposies forem ou VERDADEIRAS ou FALSAS.

pvq

pvq

Quadro final das negaes CONJUNO DISJUNO CONDICIONAL BICONDICIONAL DISJUNO EXCLUSIVA ~(p ^ q) = ~p v ~q ~(p v q) = ~p ^ ~q ~( p q) = p ^ ~q

~( p q) = p v q = (p ^ ~q) v (q ^ ~q) ~(p v q) = p q

6.6 Testando os seus conhecimentos

Agora que voc se apropriou do contedo deste captulo, teste seus conhecimentos sobre a temtica. Vamos s questes.

1 O enunciado a seguir rene trs estruturas lgicas: a disjuno, a condicional e a bicondicional. Vamos analisar sua validade?

Andr inocente ou Beto inocente. Se Beto inocente, ento Caio culpado. Caio inocente se e somente se Denis culpado. Ora, Denis culpado.

2 Considere a proposio: Paula estuda, mas no passa no concurso. Nessa proposio o conectivo lgico : a) Disjuno b) Conjuno c) Disjuno Exclusiva d) Condicional e) Bicondicional 3 Construa a tabela-verdade: (p s) v (q s)

Onde encontrar CARNAVAL, N. Lgica sentencial. Disponvel em: <http://www.jusdecisum.com.br/sistema/turma/arquivos/BB%20LOGICA%20E% 20MATEMATICA.pdf>. Acesso em: 10 jun. 2011. FURTADO, E. M. Raciocnio Lgico para concursos. Curitiba: IESDE Brasil Ltda, 2010. GASPAR, M. Introduo lgica matemtica. Disponvel em: <http://mjgaspar.sites.uol.com.br/logica/logica#listapref>. Acesso em: 15 jun. 2011. MURCHO, D. Lgica. Disponvel em: <http://dmurcho.com/docs/introlog.pdf>. Acesso em: 15 jun. 2011. NAVEGA, S. Pensamento Crtico e Argumentao Slida. So Paulo: Publicaes Intelliwise, 2005.

VELASCO, P. D. N. Educando para a argumentao: contribuies do ensino da lgica. Coleo Ensino de Filosofia 3. Belo Horizonte: Autntica Editora, 2010.