Algoritmos e Logica de Programacao Definicées de légica \Vocé sabia que seu material didético ¢ interativo e mukimidia? isso significa que vocé pode interagir com o contetido de diversas formas, a ‘qualquer hora e lugar. Na versao impressa, porér, alguns conteddos interativos ficarn desabilitados. Por essa razdo, fique atento: sempre que possivel, opte pela verso digital. Bons estudos! Definindo légica “Podemos relacionar a légica com a correcdo do pensamento, pois uma de suas preocupacies é determinar quails operagGes so validas e quais nao sdo, fazendo andlises das formas e leis do pensamento" (FORBELLONE, 2005, pt) Sempre que vacé pensa de forma ordenada e racional esta pensando de forma légica. Allégica pode ser usada para varios outros pensamentos. Todo cachorro é um Portanto, todo cachorro é um Todo mamifero é um animal. mamffero, animal Desafio de pensamento légico Vocé consegue formar 3 quadrados movendo apenas 3 palitos? Veja a solugao clicando na imagem: Logica binaria George Boole foi um matemiatico e fildsofo que defendeu, no século XIX, que o raciocinio humano poderia ser expresso em termos matematicos (ALVES, 2014). Através deste raciocinio originou-se a Algebra de Boole. Sabe-se que esse tipo de algebra é embasado na légica binaria. {A l6gica bindria possul duas representatividades, Seus operadores sao definidos. vAplicando os conceitos dos operadores [es conjuncsorey (He pisjuncso coun Somente se ambas as representatividades forem verdadeiras a resposta ser verdadeira ‘Agora que J4 conhecemos os conceltos da légica binarla ¢ dos operadores, vamos aplicé-los na elaboracdo da tabela verdade. Tabela verdade utilizando - Verdadeiro ou Falso A B ACE) B A(‘OU")B NAO A NAOB Verdade Verdade Verdade Verdade Falso Falso Verdade Falso Falso Verdade Falso Verdade Falso Verdade Falso Verdade Verdade Falso Falso Falso Falso Falso Verdade Verdade Tabela verdade utilizando -“0" ou “1” A 8 ACEDB AcounB NAOA NAOB 1 1 1 1 ° ° 1 ° 0 1 ° 1 0 1 0 1 1 0 0 0 0 oO 1 1 Linguagem da Légica Proposicional A definig&io da linguagem da Légica Proposicional é semelhante 3 definicéio de outras linguagens, por exemplo a lingua portuguesa. 0 alfabeto, que é constituido pelos simbolos que formam a linguagem, é determinado inicialmente. Do mesmo modo, a definigdo da linguagem da Légica Proposicional segue esses passos, porém, nesse caso, 0 equivalente @ uma palavra é uma férmula (SOUZA, 2002 p.5}, Usamos os seguintes elementos, que representam os conectivos (SILVA, 2006): < > Conectivounario Conectivobinario V Conectivobinario + Cy (), slementos de pontuacso. Negasao, lé-se: NAO. Em nossas aplicagdes com proposigées, vamos usar, em letras minuisculas, p, q, re s para compor as férmulas da linguagem proposicional, e A, B, C e D serdo a representacao das férmulas, Veja como fica uma tabela de proposicées.Tom é um gato p Jerry é um rato p Omar esta calme Pp vai chover Tom caca ratos, 4 Jerry foge de Tom q Vou navegar q vai chover Muito bern, isso é s6 o comeso do nosso aprendizado. Agora que voce ja conhece o raciocinio légico, é hora de pensar em praticar.