Lógica de Programação é a técnica de desenvolver sequências lógicas, chamadas de algoritmos, para atingir um objetivo. Algoritmos seguem passos lógicos que podem ser transformados em programas de computador. Lógica de Programação envolve técnicas como lógica formal, lógica simbólica e desenvolvimento de algoritmos.

1. Algoritmo
é
Lógica de Programação
Estudante de Engenharia Civil – 1º Semestre
Anhembi Morumbi – Campus Vila Olímpia
Felipe CF
26/02/2020

2. Algoritmo é Lógica de Programação
O que é uma lógica de programação?
●
Lógica de Programação é a técnica de desenvolver sequências lógicas para atingir um
determinado objetivo. Essas sequências lógicas são adaptadas para linguagem de
computador pelo programador a fim de produzir software.
●
Uma sequência lógica é denominada algoritmo. Então podemos dizer em linguagem mais
coloquial, que um algoritmo é uma sequência de passos para atingir um determinado
objetivo. Como podemos ver a lógica de programação trata basicamente de construir
algoritmos que serão transformados em programas de computador.
●
Programas de computador, portanto são instruções lógicas que obtém dados do meio
externo (que pode ser um usuário ou um arquivo) e fazem o processamento desses dados
gravando as informações alguma mídia como o HD ou enviando-as para o usuário através
de algum dispositivo. Na realidade, tudo o que vemos em um computador em termos de
sistema operacional e aplicativos, são programas que foram desenvolvidos por
programadores. O programador necessita ter um pensamento lógico bastante desenvolvido,
analisando sempre causa e efeito, e acima de tudo ser paciente e persistente.
●
Fonte - https://cursosdeprogramacao.com.br/o-que-e-logica-de-programacao/

3. L0g1©4_d3_Pr0g®4m@©@0_1kº
●
Lógica de Programação é a técnica de desenvolver sequências, para
obter um resultado. = ALGORITMO.
●
Algoritmo não é o sistema, mas o caminho que as informações
devem seguir em determinada ordem/sequencia.
●
O conceito de um algoritmo foi formalizado em 1936 pela Máquina
de Turing de Alan Turing e pelo cálculo lambda de Alonzo Church,
que formaram as primeiras fundações da Ciência da Computação.
●
A Máquina de Turing é um dispositivo teórico conhecido como
máquina universal, que foi concebido pelo matemático britânico Alan
Turing (1912-1954), muitos anos antes de existirem os modernos
computadores digitais (o artigo de referência foi publicado em 1936).
Num sentido preciso, é um modelo abstrato de um computador, que
se restringe apenas aos aspectos lógicos do seu funcionamento
(memória, estados e transições), e não a sua implementação física.
Numa máquina de Turing pode-se modelar qualquer computador
digital.
●
Turing também se envolveu na construção de máquinas físicas para
quebrar os códigos secretos das comunicações alemãs durante a
Segunda Guerra Mundial, tendo utilizado alguns dos conceitos
teóricos desenvolvidos para o seu modelo de computador universal
●
Filme: O Jogo da Imitação
Alan Turing
(1912-1954)
Máquina Universal

4. O estudo da lógica
Grego antigo: λόγος, Logos é a lógica por trás de um argumento.
●
O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de um
argumento é determinada pela sua forma lógica, não pelo seu conteúdo. A lógica silogística aristotélica
tradicional e a lógica simbólica moderna são exemplos de lógicas formais.
●
Lógica informal é o estudo da argumentação em língua natural. O estudo de falácias é um ramo
particularmente importante da lógica informal. Os Diálogos de Platão são bons exemplos de lógica
informal.
●
Lógica formal é o estudo da inferência com conteúdo puramente formal. Uma inferência possui um
conteúdo puramente formal se ele pode ser expresso como um caso particular de uma regra
totalmente abstrata, isto é, uma regra que não é sobre uma qualquer coisa em particular. As obras de
Aristóteles contêm o primeiro estudo formal da lógica. A lógica formal moderna segue e amplia o
trabalho de Aristóteles. Em muitas definições de lógica, inferência lógica e inferência com conteúdo
puramente formal são a mesma coisa. Isso não esvazia a noção de lógica informal, porque nenhuma
lógica formal captura todas as nuances da língua natural.
●
Lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais da
inferência lógica. A lógica simbólica é frequentemente dividida em dois ramos: lógica proposicional e a
lógica de predicados.
●
Lógica matemática é uma extensão da lógica simbólica em outras áreas, em especial para o estudo
da teoria dos modelos, teoria da demonstração, teoria dos conjuntos e teoria da recursão.

5. Algoritmo é Lógica de Programação
●
Lógica Aristotélica
Desenvolvido por Aristóteles a quem se deve o primeiro estudo formal do raciocínio.
Lei da não contradição: nenhuma afirmação pode ser verdadeira e falsa ao mesmo
tempo.
Lei do terceiro excluído: qualquer afirmação da forma *P ou não P* é verdadeira.
Esse princípio deve ser cuidadosamente distinguido do *princípio de bivalência*, o
princípio segundo o qual para toda proposição (p), ela ou a sua negação é
verdadeira.
●
A lógica aristotélica, em particular, a teoria do silogismo, é apenas um fragmento da
assim chamada lógica tradicional.
Ἀριστοτέλης
Busto de Aristóteles
Cópia romana de uma escultura de Lísipo
Em 335 a.C. Aristóteles funda sua própria escola em Atenas,
em uma área de exercício público

6. L0g1©4_d3_Pr0g®4m@©@0_1kº
Lógica Aristotélica
Lei da não Contradição
Lei do terceiro excluído
Cara ou Coroa
Verdadeiro ou Falso
ou
Não
Pode
Ser
os
2
Regras
Principio de identidade a=a
Principio da não contradição a≠b
Principio do terceiro excluido a≠c
Forma
Sequencia de proposições -> uma
delas é a conclusão e as demais
são premissas.
Identidade = é
Não Contradição = não é
Terceiro excluido = não é

7. Lógica informal
●
Lógica informal ou lógica não-formal é o estudo dos argumentos apresentados na
linguagem comum, em contraste com as apresentações de argumentos numa linguagem
artificial, formal ou técnica (ver lógica formal).
Johnson e Blair definem lógica informal como "um ramo da lógica cuja tarefa é desenvolver
padrões não-formais, critérios, procedimentos para análise, interpretação, avaliação, crítica
e construção da argumentação no discurso cotidiano."
●
Textos opinativos em jornais e revistas oferecem exemplos de textos ilustrativos de lógica
informal, geralmente porque tais textos são curtos e freqüentemente falaciosos.
Todavia, lógica informal também é utilizada para raciocinar sobre eventos em ciências
humanas e sociais.
De facto, a maior parte da argumentação que parte de fatos conhecidos para fatos
desconhecidos usando linguagem natural, mesmo se combinada com raciocínios
matemáticos e estatísticos, pode ser considerada como uma aplicação de lógica informal
posto que não contam com evidências empíricas adicionais.
O termo falácia deriva do verbo latino fallere, que significa enganar.
Designa-se por falácia um raciocínio errado com aparência de verdadeiro.

8. L0g1©4_d3_Pr0g®4m@©@0_1kº
Lógica informal

9. A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura
do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor
provas de declarações. Na Lógica Formal os conceitos são rigorosamente definidos, e as orações
são transformadas em notações simbólicas precisas, compactas e não ambíguas.
●
As letras minúsculas p, q e r, em fonte itálica, são convencionalmente usadas para denotar
proposições: p : é 1 + 2 = 3 Esta declaração define que p : é 1 + 2 = 3 e que isso é verdadeiro.
Duas proposições --ou mais proposições-- podem ser combinadas por meio dos chamados
operadores lógicos binários , formando conjunções, disjunções ou condicionais. Essas proposições
combinadas são chamadas proposições compostas. Por exemplo: p: 1 + 1 = 2 e
Neste caso, e é uma conjunção. As duas proposições podem diferir totalmente uma da outra!
Na matemática e na ciência da computação, pode ser necessário enunciar uma proposição
dependendo de variáveis: p: n é um inteiro ímpar.
Essa proposição pode ser ou verdadeira ou falsa, a depender do valor assumido pela variável n.
Uma fórmula com variáveis livres é chamada função proposicional com domínio de discurso D. Para
formar uma proposição , devem ser usados quantificadores. "Para todo n", ou "para algum n" podem
ser especificados por quantificadores: o quantificador universal, ou o quantificador existencial,
respectivamente. Por exemplo:
para todo n em D, P(n). Isto pode ser escrito como:
Quando existem algumas variáveis livres, a situação padrão na análise matemática desde
Weierstrass, as quantificações para todos ... então existe ou então existe ... isto para todos (e
analogias mais complexas) podem ser expressadas.
Lógica Formal

10. L0g1©4_d3_Pr0g®4m@©@0_1kº- Lógica Formal
Todo VW é CARRO ( 1º Premissa Maior) = (Termo Médio) + (Termo Maior)
FUSCA é um VW (2º Premissa Menor) = (Termo Menor) + (Termo Médio)
Logo FUSCA é um CARRO (3º Conclusão) = (Termo Menor) + (Termo Maior)
VW
FUSCA
Diagrama de VennEstrutura de Raciocínio
Carro
VW
FUSCA
Estrutura de Raciocínio
Todo Dog Mia ( 1º Premissa Maior) = (Termo Médio) + (Termo Maior)
Rex é um Dog (2º Premissa Menor) = (Termo Menor) + (Termo Médio)
Logo Rex Mia (3º Conclusão) = (Termo Menor) + (Termo Maior)
Não importa se os argumentos das Premissas serem verdadeiras
Exemplo: Todo Dog Late não Mia – Isso fica a cargo de outras ciencias.
Mia
Dog
Rex
Diagrama de Venn
Estrutura de Raciocínio
Todo M é P ( 1º Premissa Maior) = (Termo Médio) + (Termo Maior)
Todo S é M (2º Premissa Menor) = (Termo Menor) + (Termo Médio)
Logo S é P (3º Conclusão) = (Termo Menor) + (Termo Maior)
P
M
S
Diagrama de Venn
Na logica formal se preocupa com a estrutura/forma do argumento, trata-se das relações entre as
premissas e a conclusão, deixando de se importar com a verdade de cada premissas.
Sempre teremos 3preposisões = sendo (2premissas Maior e Menor) e 1Conclusão
(1ºPremissa=(Médio)+(Maior))+(2ºPremissa=(Menor)+(Médio))=(Conclusão=(Menor)+(Maior))

11. Lógica simbólica
Para Aristóteles, a lógica não é ciência e sim um instrumento (órganon) para o correto pensar. O
objeto da lógica é o silogismo. Silogismo nada mais é do que um argumento constituído de
proposições das quais se infere (extrai) uma conclusão. Assim, não se trata de conferir valor de
verdade ou falsidade às proposições (frases ou premissas dadas) nem à conclusão, mas apenas
de observar a forma como foi constituído. É um raciocínio mediado que fornece o conhecimento
de uma coisa a partir de outras coisas (buscando, pois, sua causa).
Em si mesmas, as proposições ou frases declarativas sobre a realidade, como juízo, devem
seguir apenas três regras fundamentais.
1- Princípio de Identidade: A é A;
2- Princípio de não contradição: é impossível A é A e não-A ao mesmo tempo;
3- Princípio do terceiro excluído: A é x ou não-x, não há terceira possibilidade.
Dessa forma, o valor de verdade ou falsidade é conferido às proposições, pois são imediatamente
evidenciados. No entanto, a lógica trabalha com argumentos.
As proposições classificam-se em:
Afirmativas: S é P;
Negativas: S não é P;
Universais: Todo S é P (afirmativa) ou Nenhum S é P (negativa);
Particulares: Alguns S são P (afirmativa) ou Alguns S não são P (negativa);
Singulares: Este S é P (afirmativa) ou Este S não é P (negativa);
Necessárias: quando o predicado está incluso no sujeito (Todo triângulo tem três lados);
Não necessárias ou impossíveis: o predicado jamais poderá ser atributo de um sujeito (Nenhum
triângulo tem quatro lados);
Possíveis: o predicado pode ou não ser atributo (Todos os homens são justos).

12. L0g1©4_d3_Pr0g®4m@©@0_1kº- Lógica Simbólica
Alguns S são P Alguns S não são P
Todos S são P S não é P
Contrárias
Subalternas Subalternas
Subcontrárias
S SP P
X
SoPSiP
SaP SeP
S SP P
X
SP P
X
S P
X
Contraditórias
A relação entre as proposições acontece da seguinte
maneira:
Proposições Contraditórias: quando se diz que Todo
S é P e Alguns S não são P ou Nenhum S é P e Alguns
S são P
Proposições contrárias: quando se diz que Todo S é P
e Nenhum S é P ou Alguns S são P e Alguns S não são
P
Subalternas: quando se diz que Todo S é P e Alguns S
são P ou Nenhum S é P e Alguns S não são P
O silogismo, portanto, é o estudo da correção (validade)
ou incorreção (invalidade) dos argumentos encadeados
segundo premissas das quais é licito se extrair uma
conclusão.
Sua validade depende da Forma e não da verdade ou
falsidade das premissas. Desse modo, é possível
distinguir argumentos bem feitos, formalmente válidos,
dos falaciosos, ainda que a aparência nos induza a
enganos.

13. Fonte -
https://cursosdeprogramacao.com.br/o-que-e-logica-de-programacao/
https://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing
https://pt.wikibooks.org/wiki/Introdu%C3%A7%C3%A3o_%C3%A0_programa
%C3%A7%C3%A3o/Defini%C3%A7%C3%B5es_sobre_L%C3%B3gica_de_Programa
%C3%A7%C3%A3o
https://revistagalileu.globo.com/Tecnologia/noticia/2018/03/origem-da-computacao-maquina-de-
turing-e-construida-em-madeira.html
https://commons.wikimedia.org/wiki/File:Enigma-IMG_0486-black.jpg
https://www.google.com/imgres?imgurl=https%3A%2F%2Fimpa.br%2Fwp-content%2Fuploads%2
F2018%2F11%2Fenigmamachine-edit.jpg&imgrefurl=https%3A%2F%2Fimpa.br%2Fen_US%2Fp
age-noticias%2Fraio-x-desvenda-os-segredos-da-maquina-decifrada-por-turing%2F&tbnid=OkzLf
FG3LEWNwM&vet=12ahUKEwjZkcamzO_nAhXOALkGHcgODK4QMygIegUIARDuAQ..i&docid=e
XrfHthyvlfBQM&w=700&h=464&q=historia%20da%20maquina%20de%20Turing&hl=pt-BR&ved=
2ahUKEwjZkcamzO_nAhXOALkGHcgODK4QMygIegUIARDuAQ#h=464&imgdii=WnHe4up02Tm
23M:&vet=12ahUKEwjZkcamzO_nAhXOALkGHcgODK4QMygIegUIARDuAQ..i&w=700
https://pt.wikipedia.org/wiki/Logos
https://pt.wikipedia.org/wiki/L%C3%B3gica
https://pt.wikipedia.org/wiki/Arist%C3%B3teles
https://pt.wikipedia.org/wiki/L%C3%B3gica_informal
https://pt.slideshare.net/lcbasso/introduo-lgica
https://fischborn.wordpress.com/2011/06/30/cara-ou-coroa-e-o-principio-de-nao-contradicao/
https://www.slideshare.net/helenaserrao/logica-informal ( figura- pagina 19)
http://duvida-metodica.blogspot.com/2012/11/o-papel-da-retorica-segundo-os-sofistas.html
https://sites.google.com/site/fragmentefilosofia/iii-logica-informal
https://www.youtube.com/watch?v=TZnm_jAl1Bg
https://brasilescola.uol.com.br/filosofia/logica-aristoteles.htm
https://pt.wikipedia.org/wiki/Quadrado_das_oposi%C3%A7%C3%B5es

14. This work is licensed under a Creative
Commons Attribution-ShareAlike 3.0
Unported License.
It makes use of the works of Mateus
Machado Luna.