Lógica Computacional
por Matheus N. Carvalho
1. A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional.
2. O valor-verdade de uma proposição composta é obtido de forma úni- ca a partir dos valores-verdade atribuídos às proposições simples que a compõem.A atribuição de um valor-verdade para uma proposição simples depende do seu contexto e faz parte do estudo semântico.
2.1. Conjunção Disjunção Condicional Bicondicional p q p∧q p∨q p→q p↔q V V V V V V V F F V F F F V F V V F F F F F V V
3. Critérios para o valor-verdade O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir. Conjunção (∧) Uma conjunção tem seu valor lógico (V) se, e somente se, as duas proposições que a compõem forem verdadeiras (V). Ob- serve que, na tabela apresentada, a conjunção tem valor lógico (V) somente na primeira linha, onde as proposições p e q são verdadeiras. Disjunção (∨) Uma disjunção tem valor-verdade (F) se, e somente se, ambas as proposições que a compõem forem falsas (F) (é o caso da última linha da disjunção). Condicional (→) Uma proposição condicional é falsa (F) se, e somente se, a pro- posição antecedente for verdadeira (V) e a consequente for falsa (F) (é o caso da segunda linha da condicional).
4. Tabela-Verdade
5. O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir.
6. Aprendizado multidisciplinar A lógica é um campo multidisciplinar, pois envolve matemática, computação e até mesmo filosofia. Por essa razão, mergulhar nessa área vai ajudar os pequenos a conhecerem assuntos sob diferentes pontos de vista e perspectivas. Isso será ainda mais útil para que eles expandam a visão e resolvam seus problemas de forma mais eficiente.
7. Como oferecer o aprendizado da lógica computacional? O aprendizado desse assunto é oferecido por escolas especializadas, sendo que uma delas é a Happy Code, maior referência do Brasil no assunto. A empresa utiliza a metodologia STEM (ciências, tecnologia, engenharia e matemática) e engaja os alunos em projetos práticos que envolvem conhecimentos multidisciplinares e organização de ideias. Tudo é ensinado de uma maneira natural e lúdica. Assim, os estudantes estão sempre em contato com novas ferramentas e aprendem de forma ativa a construir soluções. Existem cursos de programação, robótica, letramento digital, entre outros. Neles, é possível desenvolver o senso de lógica, desde o modo de pensar problemas ao aprendizado de linguagens e tecnologias de programação em si. A lógica computacional trabalha a conexão entre os conceitos lógicos tradicionais e a forma computacional de pensar. Ao estudar esse assunto, as crianças crescem com a capacidade necessária para enfrentar o mundo e a carreira profissional com mais autonomia, criatividade, organização de ideias e soft skills (controle emocional e socialização), além de diversas outras habilidades.
8. Lógica de programação é a organização coesa de uma sequência de instruções voltadas à resolução de um problema, ou à criação de um software ou aplicação. ... Cada linguagem tem suas próprias particularidades, como sua sintaxe, seus tipos de dados e sua orientação, mas a lógica por trás de todas é a mesma.s
9. Proposição
9.1. É uma sentença declarativa que assume um dos dois valores-verdade: (V) ou (F).
9.2. As proposições podem ser substituídas por letras maiúsculas do alfabeto latino: A, B, ... , Z.
10. Proposição
10.1. Simples
10.1.1. É simples se, e somente se, contiver uma única afirmação.
10.1.1.1. As proposições são ligadas por conectivos.
10.1.1.1.1. Conjunção
10.1.1.1.2. Disjunção
10.1.1.1.3. Condicional
10.1.1.1.4. Bicondicional
10.1.1.1.5. Negação
10.2. Composta
10.2.1. Duas proposições simples ou mais.