Raciocínio Lógico: Exercício de um concurso público resolvido de forma clara e detalhada, aplicando os conceitos de tabela verdade: conjunção, disjunção, negação, implicação e bi-implicação.
2. ESTRUTURA LÓGICA DE RELAÇÕES ENTRE PESSOAS, LUGARES, OBJETOS OU EVENTOS Caracteriza-se por apresentar um conjunto de afirmações (premissas), formado por proposições compostas (os termos são interligados pelos conetivos lógicos: e, ou, se...então, se e somente se), e também podem apresentar proposições simples. A resposta solicitada para este tipo de questão é a alternativa que traz uma conclusão que é necessariamente verdadeira para o conjunto de premissas fornecidas no enunciado. Assim, notamos que as questões de estruturas lógicas se assemelham às de Argumento Válido, pois apresenta premissas (trazidas no enunciado) e uma conclusão válida (que será a própria resposta procurada!).
3.
4. O 1º tipo, definido acima, é resolvido utilizando-se o 3º método de teste de validade de argumentos. O 3º método é realizado por meio dos seguintes passos: 1º passo: consideram-se as premissas verdadeiras, e com o conhecimento das tabelas-verdade dos conectivos, descobrimos os valores lógicos das proposições simples que compõe o argumento. 2º passo: A partir dos valores lógicos das proposições simples, devemos encontrar qual é a alternativa que traz uma proposição que é conseqüência obrigatória das premissas, ou seja, que possui valor lógico necessariamente verdadeiro.
5. EXERCÍCIO (ANEEL 2004 ESAF) Surfo ou estudo. Fumo ou não surfo. Velejo ou não estudo. Ora, não velejo. Assim, a) estudo e fumo. b) não fumo e surfo. c) não velejo e não fumo. d) estudo e não fumo. e) fumo e surfo. Tirando as premissas do enunciado: P1) Surfo ou estudo. P2) Fumo ou não surfo. P3) Velejo ou não estudo. P4) Não velejo. 1º Passo: Vamos traduzir simbolicamente as frases acima, a fim de tornar a solução mais rápida. Para isso, vamos definir as seguintes proposições simples: A: Surfo B: Estudo C: Fumo D: Velejo A v B C v ~A D v ~B ~D 2º Passo: Consideramos todas as premissas como sendo verdadeiras! E começamos a resolver pela mais simples!
6. CONTINUAÇÃO 1 Assim, começando pela premissa mais simples: Em P4) Se ~D = V , temos que D = F Resultados Finais ~D = V D = F P1) Surfo ou estudo. P2) Fumo ou não surfo. P3) Velejo ou não estudo. P4) Não velejo. A v B = V C v ~A = V D v ~B = V ~D = V
7. CONTINUAÇÃO 2 Continuando: Em P3) D v ~B = V , sabemos que D = F , assim: F v ~B = V , Para que a disjunção seja verdadeira, uma das proposições deve ser verdadeira , assim concluímos que: ~B = V e B = F . Veja na prática: F v ~B = V F v V = V ~B = V B = F P1) Surfo ou estudo. P2) Fumo ou não surfo. P3) Velejo ou não estudo. P4) Não velejo. A v B = V C v ~A = V D v ~B = V ~D = V Resultados Finais ~D = V D = F
8. CONTINUAÇÃO 3 Analisando: Em P1) A v B = V , já encontramos que B = F . Para que a disjunção seja verdadeira, concluímos que A = V e assim ~A= F . A = V ~A = F Resultados Finais ~D = V D = F ~B = V B = F P1) Surfo ou estudo. P2) Fumo ou não surfo. P3) Velejo ou não estudo. P4) Não velejo. A v B = V C v ~A = V D v ~B = V ~D = V
9. CONTINUAÇÃO 4 FINALIZANDO: Em P2) C v ~A = V, sabemos que ~A = F, assim: C v F = V Concluímos que para que a disjunção seja verdadeira, C=V e ~C = F. C = V ~C = F P1) Surfo ou estudo. P2) Fumo ou não surfo. P3) Velejo ou não estudo. P4) Não velejo. A v B = V C v ~A = V D v ~B = V ~D = V Resultados Finais ~D = V D = F ~B = V B = F A = V ~A = F
10. CONTINUAÇÃO 5 Exercício 1 - (ANEEL 2004 ESAF) Surfo ou estudo. Fumo ou não surfo. Velejo ou não estudo. Ora, não velejo. Assim, a) estudo e fumo. b) não fumo e surfo. c) não velejo e não fumo. d) estudo e não fumo. e) fumo e surfo. A: Surfo B: Estudo C: Fumo D: Velejo Achando a alternativa correta: Transformamos cada alternativa em premissas e encontramos a correta. Pois já sabemos o valor lógico de cada uma! B ^ C ~C ^ A C ^A ~D ^ ~C B ^ ~C
11. CONTINUAÇÃO 6 Correta: Alternativa E Exercício 1 - (ANEEL 2004 ESAF) Surfo ou estudo. Fumo ou não surfo. Velejo ou não estudo. Ora, não velejo. Assim, a) estudo e fumo. b) não fumo e surfo. c) não velejo e não fumo. d) estudo e não fumo. e) fumo e surfo. B ^ C ~C ^ A C ^A ~D ^ ~C B ^ ~C Resultados Finais ~D = V D = F ~B = V B = F A = V ~A = F C = V ~C= F F^ V = F F^ V = F V^ F = F F^ F = F V^ V = V Substituímos cada expressão por seu valor lógico V ou F e com o auxílio da tabela verdade, encontramos aquela que resulta o valor lógico V.
12. ARGUMENTO VÁLIDO Dizemos que um argumento é válido (ou ainda legítimo ou bem construído), quando a sua conclusão é umaconseqüência obrigatória do seu conjunto de premissas. Veremos em alguns exemplos adiante que as premissas e a própria conclusão poderão ser visivelmente falsas (e até absurdas!), e o argumento, ainda assim, será considerado válido. Isto pode ocorrer porque, na Lógica,o estudo dos argumentos não leva em conta a verdade ou a falsidade das premissas que compõem o argumento, mas tão somente a validade deste .
13. ARGUMENTO VÁLIDO (continuação) Exemplo: O silogismo... p1: Todos os homens são pássaros. p2: Nenhum pássaro é animal. c: Portanto, nenhum homem é animal. ...está perfeitamente bem construído, sendo, portanto, um argumento válido, muito embora a veracidade das premissas e da conclusão sejam totalmente questionáveis. Repetindo: o que vale é a construção, e não o seu conteúdo! Ficou claro? Se a construção está perfeita, então o argumento é válido, independentemente do conteúdo das premissas ou da conclusão!
14. EXERCÍCIOS DO TIPO TODO/NENHUM Exercício: (Especialista em Políticas Públicas Bahia 2004 FCC) Considerando “todo livro é instrutivo” comouma proposição verdadeira, é correto inferir que: a) “Nenhum livro é instrutivo” é uma proposição necessariamente verdadeira. b) “Algum livro é instrutivo” é uma proposição necessariamente verdadeira. c) “Algum livro não é instrutivo” é uma proposição verdadeira ou falsa. d) “Algum livro é instrutivo” é uma proposição verdadeira ou falsa. e) “Algum livro não é instrutivo” é uma proposição necessariamente verdadeira.
15. LINKS ÚTEIS PROFESSOR DANDO DICAS PARA CONCURSEIROS http://www.youtube.com/watch?v=rTQmy9fXhzc&feature=related LÓGICA TIMES DE PERNAMBUCO http://www.youtube.com/watch?v=0H4qSxIkpIM&feature=related LÓGICA EQUIVALÊNCIA http://www.youtube.com/watch?v=HLCN1qFSK6U&feature=related VÍDEO MOTIVACIONAL http://www.youtube.com/watch?v=rUWqQZMyK7M