# data[].attributes.headline
Como a lógica computacional funciona e como podemos trabalhar com ela em nosso cotidiano?

# data[].attributes.subject
Como a lógica computacional funciona e como podemos trabalhar com ela em nosso cotidiano?

# data[].attributes.body
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. Este, por sua vez, envolve os recursos necessários para encontrar soluções a partir da tecnologia.Para o uso dessa linguagem ser benéfica ao desenvolvimento das crianças e dos adolescentes na educação moderna, a escola precisa contar com uma boa metodologia.

Portanto, não basta ensinar números, códigos e ter uma sala de computação. É fundamental que a instituição de ensino envolva os alunos no uso daqueles conhecimentos para melhorar o seu dia a dia e estimular o aprendizado constante.

Nesse sentido, é necessário apostar na lógica computacional como uma forma de compor a rotina e enriquecer as atividades realizadas pelos estudantes. A seguir, veja algumas ótimas formas de aplicar esse conceito no ensino escolar.

Ainda que pareça algo muito específico, a lógica computacional desenvolve habilidades importantes em nosso cotidiano e trabalha com ferramentas já presentes em nossa vida, por exemplo, o computador e o celular. Dessa forma, possibilita aprender a resolver os problemas de maneira organizada e objetiva, sendo essencial ao bom desenvolvimento.

# data[].attributes.attachment_link.title
Lógica computacional no desenvolvimento dos alunos

# data[].attributes.attachment_link.description
Entenda o que é a lógica computacional, como ela pode ser usada nas escolas e os benefícios aos estudantes.

# data[].attributes.body
A lógica de programação facilita o raciocínio na construção e entendimento do algoritmo, mostrando que ele está muito mais presente em nosso cotidiano do que imaginamos. Na computação o algoritmo é essencial.
À princípio, um algoritmo nada mais é do que uma receita que mostra passo a passo os procedimentos necessários para resolução de uma tarefa. Ele não responde a pergunta: "o que fazer?", mas sim "como fazer". Em termos mais técnicos, um algoritmo é uma sequencia lógica, finita e definida de instruções que devem ser seguidas para resolver um problema ou executar uma tarefa. Embora não percebemos, utilizamos algoritmo de forma intuitiva e auto diariamente quando executamos tarefas comuns, passando totalmente despercebido, porém estando presente o tempo todo, como é o caso de trocar uma lâmpada.

Mostraremos logo mais detalhes sobre o algoritmo e como ele é feito. A lógica de programação é fundamental na criação de um algoritmo, pois tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.
Sua origem vem de Aristóteles (filósofo grego - 342 a.C) que sistematizou os conhecimentos existentes, elevando-os à categoria de ciência. Em sua obra chamada Organum ("ferramenta para o correto pensar"), estabeleceu princípios tão gerais e tão sólidos que até hoje são considerados válidos. Aristóteles se preocupava com as formas de raciocínio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos. A partir dos conhecimentos tidos como verdadeiros, caberia à Lógica de Programação a formulação de leis gerais de encadeamentos lógicos que levariam à descoberta de novas verdades. Essa forma de encadeamento é chamada, em Lógica de Programação, de Argumento.

# data[].attributes.attachment_link.title
Lógica de Programação: O que é e Por que é Importante?

# data[].attributes.attachment_link.description
Veja neste artigo as principais informações sobre a Lógica de Programação, seus conceitos, usos e aplicações, como no desenvolvimento de algoritmos. Leia!

# data[].attributes.body
É uma sentença declarativa um dos dois valores-verdade: (V) ou (F);
As preposições podem ser substituídas por letras maiúsculas do alfabeto latino A,B,...,Z.

# data[].attributes.attachment_link.readable_text
Lógica Computacional

1. O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir.

2. O valor-verdade de uma proposição composta é obtido de forma úni- ca a partir dos valores-verdade atribuídos às proposições simples que a compõem.A atribuição de um valor-verdade para uma proposição simples depende do seu contexto e faz parte do estudo semântico.

2.1. Conjunção Disjunçã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. Proposição

3.1. É uma sentença declarativa que assume um dos dois valores-verdade: (V) ou (F).

3.2. As proposições podem ser substituídas por letras maiúsculas do alfabeto latino: A, B, ... , Z.

4. Proposição

4.1. Simples

4.1.1. É simples se, e somente se, contiver uma única afirmação.

4.1.1.1. As proposições são ligadas por conectivos.

4.1.1.1.1. Conjunção

4.1.1.1.2. Disjunção

4.1.1.1.3. Condicional

4.1.1.1.4. Bicondicional

4.1.1.1.5. Negação

4.2. Composta

4.2.1. Duas proposições simples ou mais.

5. 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.

6. Tabela-Verdade

7. Critérios para o valor-verdade O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir. Conjunção (∧) Uma conjunção tem seu valor lógico (V) se, e somente se, as duas proposições que a compõem forem verdadeiras (V). Ob- serve que, na tabela apresentada, a conjunção tem valor lógico (V) somente na primeira linha, onde as proposições p e q são verdadeiras. Disjunção (∨) Uma disjunção tem valor-verdade (F) se, e somente se, ambas as proposições que a compõem forem falsas (F) (é o caso da última linha da disjunção). Condicional (→) Uma proposição condicional é falsa (F) se, e somente se, a pro- posição antecedente for verdadeira (V) e a consequente for falsa (F) (é o caso da segunda linha da condicional).

# data[].attributes.attachment_link.description
Lógica Computacional 4.1.1. É simples se, e somente se, contiver uma única afirmação. 4.1.1.1. As proposições são ligadas por conectivos. 4.1.1.1.1. Conjunção 4.1.1.1.2. Disjunção 4.1.1.1.3. Condicional 4.1.1.1.4. Bicondicional 4.1.1.1.5. Negação 4.2.1. Duas proposições simples ou mais.

# data[].attributes.body
Quando se fala em Validade de um Argumento, as premissas são consideradas provas evidentes da verdade da conclusão, caso contrário não é válido. Considera-se válido quando, podemos dizer que a conclusão é uma consequência lógica das premissas, ou ainda que a conclusão seja uma inferência decorrente das premissas.

Vale ressaltar que há uma grande diferença em argumentos validos e verdadeiros. Se numa frase as premissas estão bem específicas e de forma que as frases tenham alguma conclusão, não necessariamente o resultado é verdadeiro.

# data[].attributes.attachment_link.title
Lógica de Programação: O que é e Por que é Importante?

# data[].attributes.attachment_link.description
Veja neste artigo as principais informações sobre a Lógica de Programação, seus conceitos, usos e aplicações, como no desenvolvimento de algoritmos. Leia!

# data[].attributes.body
A base da estruturação de um algoritmo e/ou programação é o Argumento usado, ou seja, a "busca da verdade" e seus fundamentos lógicos.

Um argumento é uma sequência de proposições que nada mais é que as sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão.

O objetivo de um argumento é justificar uma afirmação que se faz, ou dar as razões para certa conclusão obtida. Pode-se dizer que é uma reconstrução explícita do raciocino efetuado

É necessário expor todas as razões que levaram a conclusão lógica como forma de convencimento, ou seja, mostrar o fundamento do argumento.

# data[].attributes.attachment_link.title
Lógica de Programação: O que é e Por que é Importante?

# data[].attributes.attachment_link.description
Veja neste artigo as principais informações sobre a Lógica de Programação, seus conceitos, usos e aplicações, como no desenvolvimento de algoritmos. Leia!

# data[].attributes.body
Um silogismo é um construto de raciocínio dedutivo no qual argumentos lógicos se sucedem. Pode ser usado em diferentes tipos de programação e em TI.

Techopedia explica silogismo

Um tipo de silogismo às vezes aplicado à TI é chamado de "silogismo estatístico". Isso também é conhecido como silogismo proporcional ou inferência direta. Ele usa o raciocínio indutivo, no entanto, em vez do raciocínio dedutivo.De algumas maneiras fundamentais, uma lógica silogística pode ser aplicada a programas de computador. Nesse caso, um programa de computador poderia usar uma estrutura lógica silogística para determinar os resultados. Por exemplo, se todos os A são B e todos os B são C, portanto, todos os A são C. No entanto, alguns tipos de silogismos na lógica humana tentam fazer suposições dedutivas sobre os resultados. Estes seriam geralmente substituídos por resultados usados ​​na ciência da computação, que são amplamente predeterminados e estritamente lógicos. Em outros casos, um silogismo pode ser contrastado ou relacionado a uma série de instruções "se / então" usadas na programação para afetar resultados com base em casos lógicos.

# data[].attributes.attachment_link.title
O que é um silogismo? - o que é techopedia - Desenvolvimento - 2022

# data[].attributes.attachment_link.description
Um silogismo é um construto de raciocínio dedutivo no qual argumentos lógicos se sucedem. Pode ser usado em diferentes tipos de programação e em TI.

# data[].attributes.body
Falácia: consiste em argumentos que logicamente estão incorretos.

Uma inferência inválida é chamada falácia.

# data[].attributes.attachment_link.readable_text
Fundamentos de lógica

Conceitos

Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim (2002) destaca :

Proposição: consiste em um enunciado, uma frase declarativa.

Premissas: consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo.

Argumento: conjunto de enunciados que se relacionam uns com os outros.

Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.

Falácia: consiste em argumentos que logicamente estão incorretos.

A partir dos vocabulários, podemos definir os tipos de lógica existentes, entre os quais estão a lógica formal e a lógica transcendental.

Lógica

Lógica Formal

Começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras.

Portanto, temos que as premissas podem ser verdadeiras ou falsas. Se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido.

Em especial no século XIX, alguns matemáticos e filósofos concluíram que a lógica formal não era suficiente para que se pudesse alcançar o rigor necessário na análise dos argumentos. Por isso que foi desenvolvida a lógica simbólica, relacionada à matemática, a partir do século XIX. Ela permite a expressão das premissas e de suas relações por meio de símbolos matemáticos, construindo equações para expressar argumentos. Tal linguagem é absolutamente precisa e não dá margem a duplas interpretações.

Lógica Formal

omeça nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras.

Portanto, temos que as premissas podem ser verdadeiras ou falsas. Se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido.

Lógica transcendental

É desenvolvida por toda a obra do filósofo Immanuel Kant, em especial em seu célebre livro Crítica da Razão Pura (2015). Nesse livro, Kant discute que nosso conhecimento, o conhecimento humano, parte de duas fontes principais. A primeira trata da receptividade das impressões por meio de nossos sentidos; a segunda fonte é relativa à faculdade de conhecer um objeto por representações mentais, a partir do pensamento.

Desse modo, a lógica transcendental opera a partir das representações, dos conceitos e não das coisas em si. Trata-se de uma investigação sobre as representações a priori, as categorias, os conceitos puros em relação aos objetos, enquanto a Lógica geral se volta para a forma lógica do pensamento.

programação

Kant distingue dois tipos de Conhecimento:

Conhecimento Empírico

Também chamado conhecimento a posteriori está relacionado ao que é obtido por meio de nossos sentidos, à observação, à experimentação, com base na presença real de determinado objeto.

Lógica

Conhecimento Puro

Também chamado de conhecimento a priori, é relativo à representação que não se mescla com a sensação, é puramente racional, não depende de nenhuma informação vinda de nossos sentidos.

Logica de programação

Lógica dedutiva

É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares. Vamos a um exemplo de inferência dedutiva ou dedução?

Todo o analista de sistemas sabe programar.

Mariana é analista de sistemas.

Portanto, Mariana sabe programar.

Aqui, partimos de uma informação geral sobre as habilidades dos analistas de sistemas para concluir sobre as habilidades de Mariana. Com base na afirmativa geral, tomada como verdadeira, a conclusão é inevitável. Chamamos Silogismo esse tipo de argumentação lógica.

Lógica indutiva

Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Vamos a um exemplo de inferência indutiva ou indução?

Mariana é analista de sistemas e sabe programar.

Enzo é analista de sistemas e sabe programar.

Sabrina é analista de sistemas e sabe programar.

(...)

Portanto, todos os analistas de sistemas sabem programar.

Observe que, ao consultar dezenas ou centenas de analistas de sistemas, chegamos a uma conclusão geral com relação a eles. Um cuidado a ser tomado com a lógica indutiva é que um único contraexemplo é capaz de invalidar todo um raciocínio.

# data[].attributes.attachment_link.description
Fundamentos de lógica Conceitos Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim (2002) destaca : Proposição: consiste em um enunciado, uma frase declarativa. Premissas: consistem em proposições que são utilizadas como base para um raciocínio.

# data[].attributes.body
Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência, como veremos a seguir, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia.

# data[].attributes.attachment_link.readable_text
Fundamentos de lógica

Conceitos

Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim (2002) destaca :

Proposição: consiste em um enunciado, uma frase declarativa.

Premissas: consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo.

Argumento: conjunto de enunciados que se relacionam uns com os outros.

Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.

Falácia: consiste em argumentos que logicamente estão incorretos.

A partir dos vocabulários, podemos definir os tipos de lógica existentes, entre os quais estão a lógica formal e a lógica transcendental.

Lógica

Lógica Formal

Começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras.

Portanto, temos que as premissas podem ser verdadeiras ou falsas. Se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido.

Em especial no século XIX, alguns matemáticos e filósofos concluíram que a lógica formal não era suficiente para que se pudesse alcançar o rigor necessário na análise dos argumentos. Por isso que foi desenvolvida a lógica simbólica, relacionada à matemática, a partir do século XIX. Ela permite a expressão das premissas e de suas relações por meio de símbolos matemáticos, construindo equações para expressar argumentos. Tal linguagem é absolutamente precisa e não dá margem a duplas interpretações.

Lógica Formal

omeça nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras.

Portanto, temos que as premissas podem ser verdadeiras ou falsas. Se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido.

Lógica transcendental

É desenvolvida por toda a obra do filósofo Immanuel Kant, em especial em seu célebre livro Crítica da Razão Pura (2015). Nesse livro, Kant discute que nosso conhecimento, o conhecimento humano, parte de duas fontes principais. A primeira trata da receptividade das impressões por meio de nossos sentidos; a segunda fonte é relativa à faculdade de conhecer um objeto por representações mentais, a partir do pensamento.

Desse modo, a lógica transcendental opera a partir das representações, dos conceitos e não das coisas em si. Trata-se de uma investigação sobre as representações a priori, as categorias, os conceitos puros em relação aos objetos, enquanto a Lógica geral se volta para a forma lógica do pensamento.

programação

Kant distingue dois tipos de Conhecimento:

Conhecimento Empírico

Também chamado conhecimento a posteriori está relacionado ao que é obtido por meio de nossos sentidos, à observação, à experimentação, com base na presença real de determinado objeto.

Lógica

Conhecimento Puro

Também chamado de conhecimento a priori, é relativo à representação que não se mescla com a sensação, é puramente racional, não depende de nenhuma informação vinda de nossos sentidos.

Logica de programação

Lógica dedutiva

É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares. Vamos a um exemplo de inferência dedutiva ou dedução?

Todo o analista de sistemas sabe programar.

Mariana é analista de sistemas.

Portanto, Mariana sabe programar.

Aqui, partimos de uma informação geral sobre as habilidades dos analistas de sistemas para concluir sobre as habilidades de Mariana. Com base na afirmativa geral, tomada como verdadeira, a conclusão é inevitável. Chamamos Silogismo esse tipo de argumentação lógica.

Lógica indutiva

Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Vamos a um exemplo de inferência indutiva ou indução?

Mariana é analista de sistemas e sabe programar.

Enzo é analista de sistemas e sabe programar.

Sabrina é analista de sistemas e sabe programar.

(...)

Portanto, todos os analistas de sistemas sabem programar.

Observe que, ao consultar dezenas ou centenas de analistas de sistemas, chegamos a uma conclusão geral com relação a eles. Um cuidado a ser tomado com a lógica indutiva é que um único contraexemplo é capaz de invalidar todo um raciocínio.

# data[].attributes.attachment_link.description
Fundamentos de lógica Conceitos Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica. Mundim (2002) destaca : Proposição: consiste em um enunciado, uma frase declarativa. Premissas: consistem em proposições que são utilizadas como base para um raciocínio.