Apostila escrita pelo professor Jos Gonalo dos Santos Contato: jose.goncalo.santos@gmail.

com

Raciocnio Lgico - Parte II

Sumrio
1. Operaes Lgicas sobre Proposies.......................................................................... 1 2. Tautologia, contradio e contigncia .......................................................................... 7 3. Referncias Bibliogrficas............................................................................................ 8

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

1. Operaes Lgicas sobre Proposies

As principais operaes lgicas sobre as proposies so: negao, conjuno, disjuno, condicional e bi-condicional. Cada uma delas ser apresentada em detalhes nesta aula. A partir deste momento usaremos mais a linguagem simblica. Negao (~) Esta operao considerada unria, pois se aplica a apenas uma proposio simples ou composta, e tem a funo de inverter o valor da proposio, ou seja, se uma proposio for falsa, passa a ser verdadeira e se for verdadeira passa a ser falsa. Simbolicamente temos: p (proposio) e ~p (a sua negao l-se no p). Se V(p) = 1, ento V(~p) = 0 e se V(p) = 0, ento V(~p) = 1. Podemos representar essa operao em forma de tabela-verdade, como mostrado a seguir. p 0 1 Conjuno (^) A operao conjuno binria (aplica-se duas proposies simples ou compostas) e equivalente operao interseo da teoria de conjuntos, o que equivale dizer que o valor lgico de uma conjuno s ser verdadeiro se ambas as proposies forem verdadeiras. Em smbolos, a conjuno das proposies p e q p^q (l-se p e q) e sua tabela-verdade a seguinte: p 0 0 1 1 Disjuno (v) Tambm binria, equivalente operao unio da teoria de conjuntos, isto quer dizer que o valor de uma disjuno s ser falso se ambos o forem. Em smbolos, a disjuno das proposies p e q pvq (l-se p ou q) e sua tabela-verdade a seguinte: p 0 0 1 1 Condicional (->) As operaes apresentadas at agora so simples de entender porque algo intuitivo. Porm, o condicional no to simples, por isso requer uma explicao adicional. Como as duas anteriores, uma operao binria e o seu valor lgico s ser falso se a primeira (antecedente) for verdadeira e a segunda (conseqente) for falsa. Em smbolos, condicional das proposies p e q p->q (l-se se p, ento q) e sua tabela-verdade a seguinte: q 0 1 0 1 pvq 0 1 1 1 q 0 1 0 1 p^q 0 0 0 1 ~p 1 0

p 0 0 1 1

q 0 1 0 1

p->q 1 1 0 1

A tabela-verdade do condicional , no mnimo, intrigante, a princpio, porque parece estranho que falso com falso d verdadeiro e falso com verdadeiro d verdadeiro. Mas, se prestarmos ateno nas explicaes a seguir, tudo ficar claro. Seja a seguinte situao: o pai de Maria, Joo, Paulo e Jlia diz para cada um deles que se for aprovado no vestibular ganha um carro. Analisando a situao podemos deduzir que a condio suficiente para Maria ganhar um carro ser aprovada no vestibular, o mesmo ocorre com os demais. Faamos as seguintes suposies: 1 Maria no passou no vestibular e no ganhou o carro; 2 Paulo no passou no vestibular, mas ganhou o carro; 3 Julia passou no vestibular, mas no ganhou o carro; 4 Paulo passou no vestibular e ganhou o carro. A pergunta : em qual das situaes o pai pode ser chamado de mentiroso? Na primeira situao no, porque para fazer jus ao presente seria necessrio passar no vestibular, o que no aconteceu. Na segunda tambm no, pois ele nada disse a respeito de quem no passasse. J na terceira, sim, porque a condio suficiente se verificou e no houve a premiao. Na ltima, tambm a condio suficiente se verificou e a premiao aconteceu. Logo, s h uma situao em que o valor lgico de um condicional falso, s quando o antecedente (lado esquerdo do condicional) verdadeiro e o conseqente (lado direito) falso. Bi-condicional (<->) Esta operao semelhante condicional, como se unssemos um condicional de p para q (p->q) com um de q para p (q->p). Neste caso, dizemos que p condio necessria e suficiente para que q ocorra, ou seja, vai ocorrer q se e somente se p ocorrer. E se p no ocorrer? Bom, q no deve ocorrer. Em smbolos, bi-condicional das proposies p e q p<->q (l-se p se e somente se q) e sua tabela-verdade a seguinte: p 0 0 1 1 q 0 1 0 1 P<->q 1 0 0 1

Em resumo: o valor lgico de um bi-condicional s ser verdadeiro se ambos forem iguais.

Valor lgico de proposies compostas Para se calcular o valor lgico de uma proposio composta, necessrio sabermos o valor lgico de cada de seus componentes (proposio simples) e fazer as

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

operaes conforme visto na pgina anterior. O exemplo a seguir mostra como efetuar esse clculo. Seja V(p) = V(q) = 1 e V(r) = 0, calcule o valor lgico da proposio ~(p^q)v~r. Resoluo: ~(1^1)v~0 ~(1)v1 0v1 = 1 Logo, o valor lgico da proposio apresentada VEREDADEIRO (0). Um pouco de prtica Sabendo-se que V(p) = V(q) = 1 e V(r) = v(s) = 0, determinar o valor lgico das seguintes proposies: a) b) c) d) e) f) g) h) i) j) k) l) (p ^ (q v r)) -> (p -> (r v q)) (q -> r) <-> (~q v r) ~p v ~(r ^ s) ~(q <-> (~p ^ s)) (p <-> q) v (q -> ~p) (p <-> q) ^ (~r -> s) ~(~q ^ (p ^ ~s)) ~p v (q ^ (r -> ~s)) (~p v r) -> (q -> s) ~(~p v (q ^ s)) -> (r -> ~s) ~q ^ ((~r v s) <-> (p -> ~q)) ~(p -> (q -> r)) -> s

Respostas a) Substituindo as proposies componentes pelos seus valores lgicos dados, temos: (1 ^ (1 v 0)) -> (1 -> (0 v 1)) como 1 v 0 = 1 e 0 v 1 = 1, temos: (1 ^ 1) -> (1 -> 1) sabendo que 1 ^ 1 = 1 e 1 -> 1 = 1, temos: 1 -> 1 dado que 1 -> 1 = 1, o valor lgico 1, ou seja, verdadeiro. Procedendo da mesma forma para os demais, temos: b) (1 -> 0) <-> (~1 v 0) (0) <-> (0 v 0) (0) <-> (0) 1 (verdadeiro)

c) ~1 v ~(0 ^ 0) 0 v ~0

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

0v1 1 (verdadeiro) d) ~(1 <-> (~1 ^ 0)) ~(1 <-> (0 ^ 0)) ~(1 <-> 0) ~(0) 1 (verdadeiro) e) (1 <-> 1) v (1 -> ~1) (1) v(1 -> 0) (1) v (0) 1 (verdadeiro) f) (1 <-> 1) ^ (~0 -> 0) (1) ^ (1 -> 0) (1) ^ (0) 0 (falso)

g) ~(~1 ^ (1 ^ ~0)) ~(0 ^ (1 ^ 1)) ~(0 ^ 1) ~(0) 1 (verdadeiro) h) ~1 v (1 ^ (0 -> ~0)) 0 v (1 ^ (0 -> 1)) 0 v (1 ^ 1) 0 v (1) 1 (verdadeiro) i) (~1 v 0) -> (1 -> 0) (0 v 0) -> (0) (0) -> (0) 1 (verdadeiro) ~(~1 v (1 ^ 0)) -> (0 -> ~0) ~(0 v 0) -> (0 -> 1) ~(0) -> (1) 1 -> 1 1 (verdadeiro)

j)

k) ~1 ^ ((~0 v 0) <-> (1 -> ~1)) 0 ^ ((1 v 0) <-> (1 -> 0)) 0 ^ (1 <-> 0) 0 ^ (0) 0(falso) ~(1 -> (1 -> 0)) -> 0 ~(1 -> 0) -> 0 ~(0) -> 0 1 -> 0 0 (falso) Como foi visto na pgina anterior, o valor lgico da proposio composta foi calculado para um caso especfico. Se quisermos saber para todas as possibilidades, devemos construir a sua tabela-verdade, onde cada linha l)

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

corresponde a uma situao especfica. Podemos verificar isso ao resolver os exerccios a seguir. Construa a tabela-verdade das seguintes proposies: m) n) o) p) q) r) s) t) u) v) (p ^ (q v r)) -> (p -> (r v q)) (q -> r) <-> (~q v r) ~p v ~(r ^ s) ~(q <-> (~p ^ s)) (p <-> q) v (q -> ~p) (p <-> q) ^ (~r -> s) ~(~q ^ (p ^ ~s)) ~p v (q ^ (r -> ~s)) (~p v r) -> (q -> s) ~(~p v (q ^ s)) -> (r -> ~s)

Respostas a) p 0 0 0 0 1 1 1 1 (p ^ (q v r)) -> (p -> (r v q)) q r qvr p ^ (q v r) rvq 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1

p -> (r v q) 1 1 1 1 0 1 1 1

(p ^ (q v r)) -> (p -> (r v q)) 1 1 1 1 1 1 1 1

Como pode ser visto na tabela acima, para todas as possibilidades, o valor ser sempre 1 (verdadeiro). b) (q -> r) <-> (~q v r) q r q -> r ~q 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 0 Vide comentrio anterior

~q v r 1 1 0 1

(q -> r) <-> (~q v r) 1 1 1 1

c) ~p v ~(r ^ s) p r s ~p r^s ~(r ^ s) ~p v ~(r ^ s) 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 O valor lgico da proposio acima s ser 0 (falso), se todas as componentes tiverem valor lgico 1 (verdadeiro). d) ~(q <-> (~p ^ s)) p q s ~p ~p ^ s 0 0 0 1 0

q <-> (~p ^ s) 1

~(q <-> (~p ^ s)) 0

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

0 0 0 1 1 1 1

0 1 1 0 0 1 1

1 0 1 0 1 0 1

1 1 1 0 0 0 0

1 0 1 0 0 0 0

0 0 1 1 1 0 0

1 1 0 0 0 1 1

Para esta proposio, temos quatro casos em ela tem valor lgico verdadeiro (1) e quatro casos, falso (0). e) p 0 0 1 1 (p <-> q) v (q -> ~p) q p <-> q ~p 0 1 1 1 0 1 0 0 0 1 1 0

q -> ~p 1 1 1 0

(p <-> q) v (q -> ~p) 1 1 1 1

Vide comentrio da a).

f) (p <-> p q r 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1

q) ^ (~r -> s) s p <-> q 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1

~r 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0

~r -> s 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1

(p <-> q) ^ (~r -> s) 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1

Para esta proposio, temos seis casos em ela tem valor lgico verdadeiro (1) e vinte e seis casos, falso (0).

g) p 0 0 0 0 1 1 1 1

~(~q ^ q s 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1

(p ^ ~s)) ~q ~s 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0

p ^ ~s 0 0 0 0 1 0 1 0

~q ^ (p ^ ~s) 0 0 0 0 1 0 0 0

~(~q ^ (p ^ ~s)) 1 1 1 1 0 1 1 1

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

O valor lgico da proposio acima s ser 0 (falso), se a primeira componentes tiver valor lgico 1 (verdadeiro) e as outras, 0 (falso). h) p 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 ~p q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 v (q r 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 ^ (r -> ~s)) s ~p ~s 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0

r -> ~s 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0

q ^ (r -> ~s) 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0

~p v (q ^ (r -> ~s)) 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0

Para esta proposio, temos cinco casos em ela tem valor lgico falso (0) e vinte e sete casos, verdadeiro (1). i) (~p v r) p q r 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 -> (q -> s) s ~p ~p v r 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1

q -> s 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1

(~p v r) -> (q -> s) 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1

Para esta proposio, temos trs casos em ela tem valor lgico falso (0) e vinte e nove casos, verdadeiro (1).

2. Tautologia, contradio e contigncia

Dizemos que uma proposio composta uma tautologia quando o seu valor lgico sempre verdadeiro (1), no importando os valores lgicos de cada uma de suas componentes. Ao contrrio da tautologia, quando o valor lgico de uma proposio composta for sempre falso (0), no importando os valores lgicos de suas

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

componentes, essa proposio uma contradio. J, se a proposio (composta) no for tautologia e nem contradio, ela uma contingncia. Exemplos: As letras a), b) e e) da pgina anterior so exemplos de tautologia. Como pode ser notado, todas linhas de sua tabela-verdade (ltima coluna) resultam em valor lgico verdadeiro. Todas as demais so exemplos de contingncia, pois no so tautologias e nem contradies. Abaixo so apresentados alguns exemplos de proposies compostas que so contradio. 1) ~(~(p^q)) <-> (~p v ~q) p 0 0 1 1 q 0 1 0 1 p^q 0 0 0 1 ~p ~q ~p v ~q 1 1 1 1 0 1 0 1 1 0 0 0 (p^q) <-> (~p v ~q) 0 0 0 0

2) ~p^(p^~q) p 0 0 1 1 q 0 1 0 1 ~p 1 1 0 0 ~q 1 0 1 0 p^~q 0 0 1 0 ~p^(p^~q) 0 0 0 0

Nesta aula foi apresentada uma srie de exemplos de operaes com proposies compostas, bem como as suas tabelas-verdades. Na aula seguinte faremos uso dessa ferramenta (tabela-verdade) para trabalharmos outros assuntos a relacionados ao raciocnio lgico.

3. Referncias Bibliogrficas
CURY, Mrcia Xavier. Introduo Lgica. So Paulo: rica, 1997. RUSSEL, Stuart & NORVING, Peter. Inteligncia Artificial. So Paulo: Campus, 2003.

NOLT, John & RHOATYN, Dennis. Lgica. So Paulo: Makron Books, 1991.

NDC. Lgica na Wikipedia. Documento on-line disponvel em [http://ndpc.subtom.com.br/L%C3%B3gica_na_Wikipedia]. Acesso em: 23/06/2009.

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.

BABYLON. Definio de Tabela Verdade. Documento on-line disponvel em [http://dicionario.babylon.com/tabela%20verdade]. Acesso em: 26/06/2009.

WIKIPDIA. Regra de Inferncia. Documento on-line disponvel em [http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia]. Acesso em: 06/08/2009.

Copyright 2011 www.pusivus.com.br, Todos os Direitos Reservados.