# data[].attributes.body
Apostila explicando e exemplificando o raciocínio lógico

# data[].attributes.body
Artigo introdutório para entender o conceito geral de lógica!

# data[].attributes.attachment_link.readable_text
A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.

Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve.

Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.

A Lógica na Filosofia

Foi o filósofo grego Aristóteles (384 a.C.-322 a.C.) que criou o estudo da lógica, ele a chamava de analítica.

Para ele, qualquer conhecimento que pretenda ser um conhecimento verdadeiro e universal deveria respeitar alguns princípios, os princípios lógicos.

A lógica (ou analítica) passou a ser compreendida como um instrumento do correto pensar e a definição de elementos lógicos que fundamentam o conhecimento verdadeiro.

Os Princípios Lógicos

Aristóteles desenvolveu três princípios básicos que orientam a lógica clássica.

1. Princípio de identidade

Um ser é sempre idêntico a si mesmo: A é A. Se substituirmos A por Maria, por exemplo, fica: Maria é Maria.

2. Princípio da não-contradição

É impossível ser e não ser ao mesmo tempo, ou um mesmo ente ser também o seu oposto. É impossível que A seja A e não-A, ao mesmo tempo. Ou, seguindo o exemplo anterior: é impossível que Maria seja Maria e não seja Maria.

3. Princípio do terceiro excluído, ou terceiro excluso

Nas proposições (sujeito e predicado), só existem duas opções, ou é afirmativa ou negativa: A é x ou A é não-x. Maria é professora ou Maria não é professora. Não existe uma terceira possibilidade.

Veja também: Lógica Aristotélica.

A Proposição

Em uma argumentação, aquilo que é dito e possui a forma de sujeito, verbo e predicado é chamado de proposição. As proposições são enunciados, afirmações ou negações, e possuem sua validade, ou falsidade, analisada logicamente.

A partir da análise de proposições, o estudo da lógica torna-se uma ferramenta para o correto pensar. O pensar corretamente necessita de princípios (lógicos) que garantam sua validade e verdade.

Tudo o que é dito em uma argumentação é a conclusão de um processo mental (pensamento) que avalia e julga algumas relações possíveis existentes.

O Silogismo

A partir desses princípios temos um raciocínio lógico dedutivo, ou seja, a partir de duas certezas prévias (premissas) chega-se a uma conclusão nova, que não está diretamente referida nas premissas. Isso é chamado de silogismo.

Exemplo:

Todo homem é mortal. (premissa 1)
Sócrates é homem. (premissa 2)
Logo, Sócrates é mortal. (conclusão)

Essa é a estrutura básica do silogismo e o fundamento da lógica.

Os três termos do silogismo podem ser classificados quanto à sua quantidade (universal, particular ou singular) e sua qualidade (afirmativa ou negativa)

As proposições podem variar quanto à sua qualidade em:

Afirmativas: S é P. Todo ser humano é mortal, Maria é trabalhadora.

Negativas: S não é P. Sócrates não é egípcio.

Também podem variar quanto à sua quantidade em:

Universais: Todo S é P. Todos os homens são mortais.

Particulares: Algum S é P. Alguns homens são gregos.

Singulares: Este S é P. Sócrates é grego.

Esta é a base da lógica aristotélica e de suas derivações.

Veja também: O que é silogismo?

Lógica Formal

Na lógica formal, também chamada de lógica simbólica, há a redução das proposições a conceitos bem definidos. Desse modo, o que é dito não é o mais importante, e sim, sua forma.

A forma lógica dos enunciados é trabalhada através da representação (simbólica) das proposições por letras: , q e r. Também vai investigar as relações entre proposições através de seus operadores lógicos: conjunções, disjunções e condicionantes.

Lógica Proposicional

Desse modo, as proposições podem ser trabalhadas de diversas formas e servir de base para a validação formal de um enunciado.

Os operadores lógicos estabelecem as relações entre proposições e tornam possível o encadeamento lógico de suas estruturas. Alguns exemplos:
Negação
É o contrário de um termo ou proposição, representada pelo símbolo ~ ou ¬ (negação de p é ~ p ou ¬ p). Na tabela, para p verdadeiro, temos ~ p falso. (faz sol = p, não faz sol = ~ p ou ¬ p).
Conjunção
É a união entre proposições, o símbolo ∧ representa a palavra "e" (hoje, faz sol e vou à praia, ). Para que a conjunção seja verdadeira, é necessário que ambas sejam verdadeiras.
Disjunção
É a separação entre proposições, o símbolo v representa " ou" (vou à praia ou fico em casa , ). Para a validade, pelo menos uma ( ou outra) deve ser verdadeira.
Condicional
É o estabelecimento de uma relação de causalidade ou condicionalidade, o símbolo ⇒ representa " se... então..." ( se chover, então ficarei em casa, ).
Bi-condicional
É o estabelecimento de uma relação de condicionalidade nos dois sentidos, há uma dupla implicação, o símbolo ⇔ representa " se, e somente se,". (vou para a aula se, e somente se, não estiver de férias, ).

Aplicando à tabela de verdade, temos:

As letras F e V podem ser substituídas por zero e um. Esse formato é amplamente utilizado na lógica computacional (F = 0 e V = 1).

Veja também: Tabela Verdade.

Outros tipos de lógica

Existem diversos outros tipos de lógica. Esses tipos, em geral, são derivações da lógica formal clássica, apresentam uma crítica ao modelo tradicional ou um novo encaminhamento para a resolução de problemas. Alguns exemplos são:

1. Lógica Matemática

A lógica matemática é derivada da lógica formal aristotélica e desenvolve-se a partir das suas relações de valores das proposições.

No século XIX, os matemáticos George Boole (1825-1864) e Augustus De Morgan (1806-1871) foram os responsáveis pela adaptação dos princípios aristotélicos para a matemática, dando origem a uma nova ciência.

Nela, as possibilidades de verdade e falsidade são avaliadas através de sua forma lógica. As sentenças são transformadas em elementos matemáticos e analisadas a partir de suas relações entre valores lógicos.

Veja também: Lógica Matemática.

2. Lógica Computacional

A lógica computacional é derivada da lógica matemática, mas vai para além dessa, e aplicada à programação de computadores. Sem ela, diversos avanços tecnológicos, como a inteligência artificial, seriam impossíveis.

Esse tipo de lógica analisa as relações entre os valores e transforma em algoritmos. Para isso recorre também a modelos lógicos que rompem com o modelo inicialmente proposto por Aristóteles.

Esses algoritmos são responsáveis por uma série de possibilidades, desde a codificação e decodificação de mensagens até tarefas como reconhecimento facial ou a possibilidade de carros autônomos.

Enfim, toda a relação que se tem com os computadores, hoje em dia, passa por esse tipo de lógica. Ela mescla as bases da lógica tradicional aristotélica com elementos das lógicas chamadas de não-clássicas.

3. Lógicas Não-clássicas

Por lógicas não-clássicas, ou anticlássicas, reconhece-se uma série de procedimentos lógicos que abandonam um ou mais princípios desenvolvidos pela lógica tradicional (clássica).

Por exemplo, a lógica difusa ( fuzzy), largamente utilizada para o desenvolvimento de inteligência artificial, não utiliza o princípio do terceiro excluso. Nela, admite-se qualquer valor real entre 0 (falso) e 1 (verdadeiro).

São exemplos de lógicas não-clássicas:

Lógica fuzzy;

Lógica intuicionista;

Lógica paraconsistente;

Lógica modal.

Curiosidades

Muito antes de qualquer tipo de lógica computacional, a lógica serviu como base de todas as ciências existentes. Algumas trazem essa fundamentação expressa em seu próprio nome pelo uso do sufixo " logia", de origem grega.

Biologia, sociologia e psicologia são alguns exemplos que deixam clara a sua relação com o logos grego, entendido a partir da ideia de um estudo lógico e sistemático.

A taxonomia, classificação dos seres vivos (reino, filo, classe, ordem, família, gênero e espécie), ainda hoje, segue um modelo lógico de classificação em categorias proposto por Aristóteles.

Confira nosso teste de raciocínio lógico.
Veja também:

# data[].attributes.attachment_link.description
A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar. Lógica tem origem na palavra grega logos, que significa razão, argumentação...

# data[].attributes.headline
[em inglês] Site com exemplos, tutoriais e exercícios

# data[].attributes.subject
[em inglês] Site com exemplos, tutoriais e exercícios

# data[].attributes.body
W3Schools é uma plataforma online que contém exercícios, exemplos e tutoriais. Tem conteúdo de programação, linguagem de marcação (html) e banco de dados.

# data[].attributes.attachment_link.description
W3Schools offers free online tutorials, references and exercises in all the major languages of the web. Covering popular subjects like HTML, CSS, JavaScript, Python, SQL, Java, and many, many more.

# data[].attributes.body
Site Hacker Rank é bom para praticar a programação e melhorar o código, usado em muitas empresas para a etapa de teste prático do processo seletivo!

# data[].attributes.attachment_link.readable_text
We help companies develop the strongest tech teams around. We help candidates sharpen their tech skills and pursue job opportunities.

Sign up Request demo

Over 40% of developers worldwide and 3,000 companies use HackerRank

It's not a pipeline problem. It's a spotlight problem.

Tech hiring needs a reset. From prepping for jobs and practicing coding to running a world-class technical interview, give developers the tools they need to showcase their skills, passion, and potential.

Explore and expand your skills.

Every idea has a first line of code. Prep for jobs and sharpen your skills alongside a global community of developers. Access the content you need to develop new skills - and land the job you've dreamed of.
Sign up and practice

Join the movement. Screen on skills.

Leave the binary tree behind.

Build coding questions using our library of dev-friendly content that challenges them to solve the problems they'd actually tackle on the job.
Start free trial

Focus on what really matters: the code.

Build skills-based coding tests with tech problems a developer would encounter on the job - and hire the team behind your next big idea.
Request a demo

Identify top contenders

Identify top contenders and invite them to meet your team using data-driven decisions that help level the playing field for developers everywhere.
Learn more

:: Technical interviews ::

Interview like it's 2024

Every company is a tech company.We're here to help 'em all.

More than 3,000 tech teams, representing all industries and from countries around the world, trust HackerRank to connect with developers and add cutting-edge skills to their teams.

That includes 25% of the Fortune 100 - and that moonshot startup that just came out of stealth.

We're discovering new ways of attracting candidates to the organization. By using HackerRank, we're actually improving the tech image of UBS.

HackerRank has actually allowed us to look for diamonds in the rough that our old process
didn't give us the time
or resources to look for.

We're promoting our jobs to a much wider audience and allowing candidates to be selected for interviews purely based on the merit of their coding abilities.

We cut down hiring time by months, which was huge for us. We owe that to HackerRank.

HackerRank is a critical piece of our candidate's experience, and hitting the right tone is just as important as identifying good candidates.

HackerRank has been a huge help in making it easy to assess the skills of all the candidates we
interview. Without it, the process of scaling our engineering team would have been very cumbersome.

# data[].attributes.attachment_link.title
HackerRank - Online Coding Tests and Technical Interviews

# data[].attributes.attachment_link.description
HackerRank is the market-leading coding test and interview solution for hiring developers. Start hiring at the pace of innovation!

# data[].attributes.headline
Lógica de programação - Conceitos e aplicações da Lógica

# data[].attributes.subject
Lógica de programação - Conceitos e aplicações da Lógica

# 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.headline
Video sobre Algoritmo e lógica de programação

# data[].attributes.subject
Video sobre Algoritmo e lógica de programação

# data[].attributes.attachment_link.title
Pensamento Computacional - Algoritmo e lógica de programação

# data[].attributes.body
Playlist do curso em vídeo - lógica de programação. Conteúdo disponibilizado no youtube pelo Gustavo Guanabara

# data[].attributes.attachment_link.description
Aprender Algoritmos e Lógica de Programação não é difícil! O professor Gustavo Guanabara, com mais de 20 anos de experiência, vai mostrar os passos para apre...