3 - Introdução a lógica

1. Ditos Populares

1.1. Apresentação

2. Problemas de Lógica

2.1. Atividade 2

2.2. Quadrado Mágico

3. Resolução de problemas

3.1. Lógica de Predicados

3.1.1. Problemas com lógica de predicados

3.1.1.1. Atividade 2

4. Lógica

4.1. O que é lógica?

4.1.1. A Lógica é uma ciência de índole matemática e fortemente ligada à Filosofia

4.1.2. é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar.

4.1.3. só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros

4.1.4. define a estrutura de declaração e argumento e elabora fórmulas através das quais estes podem ser codificados

4.1.5. Implícita no estudo da lógica está a compreensão do que gera um bom argumento e de quais os argumentos que são falaciosos

4.2. Lógica Formal

4.2.1. se preocupa basicamente com a estrutura do raciocínio

4.2.2. lida com a relação entre conceitos e fornece um meio de compor provas de declarações

4.2.3. Na Lógica Formal os conceitos são rigorosamente definidos, e as sentenças são transformadas em notações simbólicas precisas, compactas e não ambíguas.

4.2.4. Exemplos

4.2.4.1. As letras minúsculas p, q e r em fonte itálica, são convencionalmente usadas para denotar proposições

4.2.4.2. Duas proposições –ou mais proposições– podem ser combinadas por meio dos chamados operadores lógicos

4.2.4.3. Na matemática e na ciência da computação, pode ser necessário enunciar uma proposição dependendo de variáveis

4.3. Lógica Matemática

4.3.1. é o uso da lógica formal para estudar o raciocínio matemático

4.3.2. No início do século XX, lógicos e filósofos tentaram provar que a matemática, ou parte da matemática, poderia ser reduzida à lógica

4.4. Considerações

4.4.1. Habilidades Necessárias

4.4.1.1. Para a Vida

4.4.1.1.1. Sociais

4.4.1.2. Para os Cursos Superiores

4.4.1.2.1. Escrita

4.4.1.2.2. Leitura

4.4.1.2.3. Desenho

4.4.1.3. Programação

4.4.1.3.1. Lógica

4.4.1.3.2. Resolução de Problemas

4.5. Resolução de Problemas

4.5.1. Etapas

4.5.1.1. Definir o problema precisamente

4.5.1.2. Definir situações iniciais e finais aceitáveis (estados)

4.5.1.3. Analisar o problema

4.5.1.3.1. Isolar e representar o conhecimento da tarefa necessário para solucionar o problema

4.5.1.3.2. Escolher as melhores técnicas de solução de problemas e aplica-las naquele problema em particular

4.5.2. Representação do problema

4.5.2.1. Definir um Espaço de estados que contenha todas as configurações possíveis dos objetos relevantes (e talvez algumas impossíveis)

4.5.2.2. Especificar os estados dentro daquele espaço que descrevem possíveis situações aonde o processo de solução do problema possa começar

4.5.2.3. Especificar estado que seriam aceitáveis como solução do problema (estados meta)

4.5.2.4. Especificar um conjunto de regras que descrevem as ações (operadores) disponíveis e o controle das regras.

4.5.2.4.1. Simbologia

4.5.2.5. Dicas Importantes

4.5.2.5.1. Existem 4 pontos a serem levados em consideração na conversão de frases em português para a lógica de predicados