Você está na página 1de 8

RACIOCNIO LGICO: O que lgica Segundo a wikipedia: A Lgica (do grego ) o estudo filosfico do raciocnio vlido.

do. Utilizada em atividades mais intelectuais, a lgica estudada principalmente nas disciplinas de filosofia, matemtica, semntica e cincia da computao. Ela examina de forma genrica as formas que argumentao pode tomar, quais dessas formas so vlidas e quais so falaciosas. Em filosofia, o estudo da lgica aplica-se na maioria dos seus principais ramos: metafsica, ontologia, epistemologia e tica. Na matemtica, estuda-se as formas vlidas de inferncia de uma linguagem formal.Por fim, a lgica tambm estudada na teoria da argumentao. Ou seja, lgica toda linha de pensamento percorrida para se chegar a um nico resultado invarivel, Verdadeiro ou Falso 1 Estruturas lgicas. As estruturas que compem a lgica podem ser ordenadas em caso, hipteses, teoria e provas. O caso fato, sentena ou expresso a ser implementado um raciocnio lgico. Hiptese( tambm conhecida como proposio) a linha de raciocnio a ser seguida, mas sem veredito. Teoria uma hiptese comprovada. E prova so os itens fsicos que comprovam um hiptese. Existem basicamente trs casos de questes de investigaes. Todos eles procuram deduzir novas informaes, com base nas informaes fornecidas no enunciado. Para resolver questes de investigao, devemos inicialmente identificar o caso (ordenao, associao ou suposio) e seguir os procedimentos peculiares a cada um deles. 1 CASO - Somente Verdades: ORDENAO. Esse tipo de questo d apenas informaes verdadeiras, que nos permite colocar em ordem pessoas, objetos, datas, idades, cores, figuras ou qualquer outra coisa, mediante pistas que devem ser seguidas. O fato de colocar os dados fornecidos na ordem desejada permitir identificar o item correto a ser marcado. EXEMPLO: Aline mais velha que Bruna, que mais nova que Carol, mas esta no a mais velha de todas. Sejam A, B e C as respectivas idades de Aline, Bruna e Carol, defina a ordem das idades. CONCLUSES: Sejam A, B e C as respectivas idades de Aline, Bruna e Carol, ento A > B (Aline mais velha que Bruna) e C > B (Bruna mais nova que Carol) Como Carol no a mais velha, podemos ordenar as idades das meninas da seguinte forma: A > C > B 2 CASO - Somente Verdades: ASSOCIAO. Como todas as informaes dadas so verdadeiras, o que ser importante saber organizar as informaes em uma tabela para cruzar os dados. Por exemplo, cada coluna trata das informaes

de uma determinada pessoa e as linhas tratam das caractersticas dessas pessoas. O que devemos fazer preencher a tabela cruzando as informaes de cada uma das pessoas, iniciando pelas informaes diretas e posteriormente deduzindo as outras. EXEMPLO: Aline, Bruna e Carol fazem aniversrio no mesmo dia, mas no tm a mesma idade, pois nasceram em trs anos consecutivos. Uma delas Psicloga, a outra Fonoaudiloga e a mais nova Terapeuta. Bruna a mais nova e tm 25 anos. Carol a mais velha e no Psicloga. CONCLUSES: Do enunciado, podemos construir a tabela a seguir. A Profisso Idade Como Bruna a mais nova e tm 25 anos, e que a mais nova Terapeuta, deduzimos que Bruna Terapeuta. Logo podemos preencher os seguintes dados na tabela. A Profisso Idade B T 25 C B C

Como Carol a mais velha e no Psicloga, deduzimos que Carol Fonoaudiloga e tm 27 anos, j que as trs nasceram em anos consecutivos e a mais nova tem 25 anos. Logo podemos acrescentar as seguintes informaes na tabela. A Profisso Idade B T 25 C F 27

Por excluso, deduz-se que Aline tem 26 anos e Psicloga. Assim, temos a tabela totalmente preenchida. A Profisso Idade 3 CASO - Verdades e Mentiras: SUPOSIO. Esse ltimo caso requer maior ateno, pois existem verdades e mentiras envolvidas no enunciado e atravs da anlise das hipteses chegaremos s devidas concluses. Por exemplo, quando um delegado procurar descobrir quem o verdadeiro culpado entre trs suspeitos, ele lana mo de hipteses, ou seja, ele vai supondo que cada um deles seja o culpado e vai analisando a veracidade de informao que ele possui, a fim de confirmar ou rejeitar a hiptese. B T 25 C F 27

EXEMPLO: Aline, Bruna e Carol so suspeitas de ter comido a ultima fatia do bolo da vov. Quando perguntadas sobre o fato, declararam o seguinte: ALINE: Foi a Bruna que comeu BRUNA: Aline est mentindo CAROL: No fui eu Sabendo que apenas uma delas est dizendo a verdade e que apenas uma delas comeu o bolo, descubra quem comeu o bolo. CONCLUSES: 1 PASSO: (identificar que existem verdades e mentiras) No enunciado, foi dito que apenas uma delas est dizendo a verdade, portanto duas delas mentem e outra fala a verdade, tratando-se de uma questo do 3 caso, ou seja, teremos que fazer suposies. 2 PASSO: (construir a tabela e lanar as hipteses) Do enunciado, podemos construir a tabela a seguir. Hipteses Se A foi quem comeu Se B foi quem comeu Se C foi quem comeu 3 PASSO: (julgar a veracidade, ou no, das afirmaes, mediante cada uma das hipteses) Como Aline disse que Foi a Bruna que comeu, ela s estar mentindo caso (na hiptese de) Bruna no tenha comido, caso contrrio estar falando a verdade, logo temos: Anlise das afirmaes A B C

Hipteses Se A foi quem comeu Se B foi quem comeu Se C foi quem comeu

Anlise das afirmaes A F V F B C

Como Bruna disse que Aline est mentindo, temos que Bruna s mente no caso (na hiptese de) de Aline falar a verdade, caso Aline realmente esteja mentindo ento Bruna estar falando a verdade, ou seja, as colunas 2 e 3 tero valores lgicos contrrios, logo temos: Hipteses Se A foi quem comeu Se B foi quem comeu Anlise das afirmaes A F V B V F C

Se C foi quem comeu

Finalmente, como Carol disse no fui eu, ela s estar mentindo caso (na hiptese de) ela tenha comido, caso contrrio estar falando a verdade, logo analisando essa afirmao, temos: Hipteses Se A foi quem comeu Se B foi quem comeu Se C foi quem comeu Anlise das afirmaes A F V F B V F V C V V F

4 PASSO: (aceitar ou rejeitar as hipteses, de acordo com o proposto no enunciado) Foi dito no enunciado que apenas uma das meninas diz a verdade, ento com base nisso devemos identificar a nica linha que tem apenas uma afirmao verdadeira. Observe que apenas na terceira linha, ou seja, apenas no caso de Carol ter comido o bolo, teremos duas garotas mentindo e apenas uma dizendo a verdade. Portanto, podemos afirmar que a 3 hiptese foi aceita e as outras duas foram rejeitadas. Concluso, Carol comeu a ltima fatia do bolo 2 Lgica sentencial (ou proposicional). 2.1 Proposies simples e compostas. Proposio Simples Uma proposio dita proposio simples ou proposio atmica quando no contm qualquer outra proposio como sua componente. Isso significa que no possvel encontrar como parte de uma proposio simples alguma outra proposio diferente dela. No se pode subdividi-la em partes menores tais que alguma delas seja uma nova proposio. Exemplo: A sentena Cntia irm de Maurcio uma proposio simples, pois no possvel identificar como parte dela qualquer outra proposio diferente. Se tentarmos separ-la em duas ou mais partes menores nenhuma delas ser uma proposio nova. Proposio Composta Uma proposio que contenha qualquer outra como sua parte componente dita proposio composta ou proposio molecular. Isso quer dizer que uma proposio composta quando se pode extrair como parte dela, uma nova proposio. 2.2 Tabelas verdade. Tabela verdade um metodo grfico para expressar um banco de dado em que se segue o raciocni lgico, tambem uma tabela em que se insere as hipteses (proposio) e suas veridicidades correspondentes.

Hiptese Perguntas EXEMPLO:

Analise das afirmaes A Respostas B Respostas

Aline mais velha que Bruna, que mais nova que Carol, mas Carol mais nova que Aline . Sejam A, B e C as respectivas idades de Aline, Bruna e Carol, Qual a ordem das idades? Afirmaes A>B B<C C<A Vamos inserir na tabela: Hiptese A>B>C A>C>B B>A>C B>C>A C>A>B C>B>A Analise das afirmaes A>B V V F F V F B<C F V F F V V C<A V V V F F F

Portanto a proposio que satisfaz todas as afirmaes A>C>B 2.3 Conectivos lgicos Conectivos lgicos so estruturas de lgica em que se pode montar uma expresso algbrica, estes conectivos tambm so conhecidos como lgebra booleana. Os conectivos so: Conjuno (E) Disjuno (OU) Negao (No)

2.3.1 Conjuno A Conjuno, tambm conhecida como argumeto E, quando um caso somente se torna verdadeiro se suas hipoteses forem verdadeiras. Vamos adotar a forma de representar uma conjuno com o simbolo de Exemplo: Temos as hipoteses A e B: A Aline mais velha que Bruna

B Aline mais velha que Carol Ento para Aline ser mais velha de todas as trs, as hipoteses A E B devem ser verdadeiras, ou seja a Aline mais velha que a Bruna E mais velha que Carol. Isso pode ser representado da seguinte forma AB se representarmos graficamente em dois conjuntos temos:

A tabela verdade neste caso seria Hipteses A F F V V 2.3.2 Disjuno A Disjuno, tambm conhecida como argumeto OU, quando um caso se torna verdadeiro se uma das duas hipoteses forem verdadeiras. Vamos adotar a forma de representar uma disjuno com o simbolo de Exemplo: Temos as hipoteses A e B: A Aline mais velha que Bruna B Aline mais velha que Carol B F V F V Expresso AB F F F V

Ento para Aline no ser mais nova de todas as trs, as hipoteses A OU B devem ser verdadeiras, ou seja a Aline mais velha que a Bruna OU mais velha que Carol. Isso pode ser representado da seguinte forma AB se representarmos graficamente em dois conjuntos temos:

A tabela verdade neste caso seria Hipteses A F F V V 2.3.3 Negao A conjuno de negao utilizada para dar contrariedade as hipoteses, sendo assim, quando uma hipotese Verdadeira, na negao se torna Falsa e vise e versa. Vamos adotar a forma de representar uma conjuno com o simbolo de ~ Exemplo: Temos a hipoteses A: A Aline mais velha que Bruna B F V F V Expresso AB F V V V

Ento para o caso da Aline no ser a mais velha de todas as trs, presisa apenas que a hipotes A no seja verdadeira, ou seja a Aline NO mais velha que a Bruna, portanto ela no a mais velha. A tabela verdade neste caso seria Hipteses A V F Expresso ~A F V

2.4 Equivalncias. Equivalncias so as propriedades em que uma expresso lgica de um caso igual a outra. 3.4 Leis de De Morgan. 3.5 Diagramas lgicos. 4 Lgica de primeira ordem. 5 Princpios de contagem e probabilidade. 6 Operaes com conjuntos. 7 Raciocnio lgico envolvendo problemas aritmticos, geomtricos e matriciais.

Você também pode gostar