BANCO DO BRASIL 01/2011

RACOCINIO LGICO
RACIOCNIO LGICO
Entendimento da estrutura lgica de relaes arbitrrias entre pessoas, lugares, coisas ou eventos fictcios Deduo de novas informaes das relaes fornecidas e avaliao das condies usadas para estabelecer a estrutura das relaes. RACIOCNIO LGICO A prova de Raciocnio Lgico, conforme o programa do concurso, objetiva testar as habilidades de raciocnio envolvendo: a) elaborao de argumentos; b) avaliao de argumentaes; c) formulao ou avaliao de planos de ao. A seguir, portanto, veremos alguns conceitos sobre Lgica e, posteriormente, alguns testes para avaliao do aprendizado. No mais, j servindo como dica, raciocnio lgico deve ser estudado, principalmente, atravs da prtica, ou seja, resoluo de testes. LGICA A lgica matemtica (ou lgica simblica), trata do estudo das sentenas declarativas tambm conhecidas como proposies, as quais devem satisfazer aos dois princpios fundamentais seguintes: Princpio do terceiro excludo: uma proposio s pode ser verdadeira ou falsa , no havendo outra alternativa. Princpio da no contradio: uma proposio no pode ser ao mesmo tempo verdadeira e falsa. Diz-se ento que uma proposio verdadeira possui valor lgico V (verdade) e uma proposio falsa possui valor lgico F (falso). Os valores lgicos tambm costumam ser representados por 0 (zero) para proposies falsas ( 0 ou F) e 1 (um) para proposies verdadeiras ( 1 ou V ). As proposies so indicadas pelas letras latinas minsculas: p, q, r, s, t, u, ... Smbolos utilizados na Lgica Matemtica O Modificador Negao Dada a proposio p , indicaremos a sua negao por ~p . (L-se no p ). Operaes lgicas As proposies lgicas podem ser combinadas atravs dos E operadores lgicos , dando origem ao que conhecemos como proposies compostas . Assim , sendo p e q duas proposies simples, poderemos ento formar as seguintes proposies compostas: p q , p q , p q , p q (Os significados dos smbolos esto indicados na tabela anterior). Estas proposies compostas recebem designaes particulares: Conjuno: p q (l-se p e q ). Disjuno: p v q (l-se p ou q ) . Condicional: p q (l-se se p ento q ). Bi-condicional: p q ( p se e somente se q). Conhecendo-se os valores lgicos de duas proposies simples p e q , como determinaremos os valores lgicos das proposies compostas acima? Isto conseguido atravs do uso da tabela a seguir, tambm conhecida pelo sugestivo nome de TABELA VERDADE. Sejam p e q duas proposies simples, cujos valores lgicos representaremos por 0 quando falsa (F) e 1 quando verdadeira (V). Podemos construir a seguinte tabela simplificada:
p q 1 0 0 0 1 1 0 0 1 0 1 0

1 1 1 0

Da tabela acima, infere-se (deduz-se) que: a conjuno verdadeira somente quando ambas as proposies so verdadeiras. a disjuno falsa somente quando ambas as proposies so falsas. a condicional falsa somente quando a primeira proposio verdadeira e a segunda falsa. a bi-condicional verdadeira somente quando as proposies possuem valores lgicos iguais. Tautologias e Contradies Considere a proposio composta s: (p q) (p q) onde p e q so proposies simples lgicas quaisquer. Vamos construir a tabela verdade da proposio s : Considerando-se o que j foi visto at aqui, teremos:
V V F F 1 V F V F V F F F V V V F V V V V

p q

Didatismo e Conhecimento

(p q )(p

q)

p q 1 0 1 1

pq 1 0 0 1

BANCO DO BRASIL 01/2011

RACOCINIO LGICO
Observe que quaisquer que sejam os valores lgicos das proposies simples p e q, a proposio composta s sempre logicamente verdadeira. Dizemos ento que s uma TAUTOLOGIA. Trazendo isto para a linguagem comum, considere as proposies: p: O Sol um planeta (valor lgico falso - F) e q: A Terra um planeta plano (valor lgico falso - F), podemos concluir que a proposio composta Se o Sol um planeta e a Terra um planeta plano ento o Sol um planeta ou a Terra um planeta plano uma proposio logicamente verdadeira. Opostamente, se ao construirmos uma tabela verdade para uma proposio composta, verificarmos que ela sempre falsa, diremos que ela uma CONTRADIO. Ex.: A proposio composta t: p ~p uma contradio, seno vejamos: NOTAS: a) as tautologias acima so tambm conhecidas como regras de inferncia. b) como uma tautologia sempre verdadeira, podemos concluir que a negao de uma tautologia sempre falsa, ou seja, uma contradio. lgebra das proposies Sejam p , q e r trs proposies simples quaisquer, v uma proposio verdadeira e f uma proposio falsa. So vlidas as seguintes propriedades:

a) Leis idempotentes p p=p p p=p b) Leis comutativas p q=q p p q=q p c) Leis de identidade p v=p p f=f p v=v p f=p d) Leis complementares ~(~p) = p (duas negaes eqivalem a uma afirmao) p ~p = f p ~p = v ~v = f ~f = v e)Leis associativas (p q) r = p (q r) (p q) r=p (q r) f) Leis distributivas p (q r) = (p q) (p r) p (q r) = (p q) (p r) g) Leis de Augustus de Morgan ~(p q) = ~p ~q ~q ~(p q) = ~p h) Negao da condicional ~(p q) = p ~q Todas as propriedades acima podem ser verificadas com a construo das tabelas verdades. Vamos exemplificar verificando a propriedade do item (h): Para isto, vamos construir as tabelas verdades de ~(p q) e de p ~q :
2

~p F V

~p

V F

F F

NOTA: Se uma proposio composta formada por n proposies simples, a sua tabela verdade possuir 2n linhas. Ex.: Construa a tabela verdade da proposio composta t: (p q) r Teremos:
(p q) V V F F F F F F (p q) V V V F V F V F V V V V F F F F V V F F V V F F V F V F V F V F

Observe que a proposio acima no Tautologia nem Contradio. Apresentaremos a seguir, exemplos de TAUTOLOGIAS, as quais voc poder verific-las, simplesmente construindo as respectivas tabelas verdades: Sendo p e q duas proposies simples quaisquer, podemos dizer que as seguintes proposies compostas, so TAUTOLOGIAS: 1) (p q) p 2) p (p q) 3) [p (p q)] q (esta tautologia recebe o nome particular de modus ponens) 4) [(p q) ~q] ~p (esta tautologia recebe o nome particular de modus tollens) Voc dever construir as tabelas verdades para as proposies compostas acima e comprovar que elas realmente so tautologias, ou seja, na ltima coluna da tabela verdade teremos V V V V.

Didatismo e Conhecimento