Raciocínio Lógico Passo a Passo by Cabral, Luiz Cláudio Durão -- Read -- Imperial Library of Trantor

Index

Capa Folha de Rosto Cadastro Copyright Dedicatórias Os Autores Apresentação Sumário Introdução Capítulo 1 – Estudo das Proposições

1.1. Proposições 1.2. Valor lógico das proposições 1.3. Classificação de uma proposição 1.4. Tipos de proposições 1.5. Proposições simples ou proposições compostas 1.6. Operadores lógicos 1.7. Estudo analítico dos operadores lógicos

1.7.1. Modificadores lógicos 1.7.2. Conectivos ou conectores lógicos.

1.8. Transformação da linguagem corrente para linguagem simbólica 1.9. Notação para o valor lógico de uma proposição 1.10. Exercícios resolvidos para aprendizagem de concursos anteriores 1.11. Exercícios propostos de concursos anteriores

Capítulo 2 – Estudo da tabela-verdade

2.1. Tabela-verdade 2.2. Tabela-verdade de uma proposição simples 2.3. Tabela-verdade de uma proposição composta

2.3.1. Tabela-verdade de uma proposição composta formada por duas proposições simples 2.3.2. Tabela-verdade de uma proposição composta formada por três proposições simples 2.3.3. Número de linhas de uma tabela-verdade

2.4. Exercícios resolvidos para aprendizagem de concursos anteriores 2.5. Exercícios propostos de concursos anteriores

Capítulo 3 – Operações Lógicas sobre Proposições

3.1. Prolegômenos 3.2. Negação

3.2.1. Dupla negação (Teoria da Involução)

3.3. Conjunção (Produto lógico) 3.4. Disjunção inclusiva (soma lógica) 3.5. Disjunção exclusiva 3.6. Implicação lógica ou condicional 3.7. Dupla Implicação lógica ou bicondicional 3.8. Exercícios resolvidos para aprendizagem de concursos anteriores 3.9. Exercícios propostos de concursos anteriores

Capítulo 4 – Construções de Tabelas-Verdade

4.1. Tabela-verdade de uma proposição composta 4.2. Número de linhas da tabela-verdade 4.3. Construção da tabela-verdade de uma proposição composta

4.3.1. Método dos parênteses, dos colchetes, das chaves, nessa ordem, por partes 4.3.2. Método dos conectivos

4.4. Exemplificação 4.5. Exercícios resolvidos para aprendizagem de concursos anteriores 4.6. Exercícios propostos de concursos anteriores

Capítulo 5 – Classificação de uma Proposição Composta pela Solução Obtida

5.1. Tautologia

5.1.1. Princípio de substituição para as tautologias

5.2. Contradição 5.3. Contingência ou indeterminação lógica 5.4. Exercícios resolvidos para aprendizagem de concursos anteriores 5.5. Exercícios propostos de concursos anteriores

Capítulo 6 – Equivalências Lógicas

6.1. Equivalências fundamentais

6.1.1. Simétrica (equivalência por simetria) 6.1.2. Reflexiva (equivalência por reflexão)

6.2. Equivalências notáveis

6.2.1. Distribuição (equivalência pela distributiva) 6.2.2. Associação (equivalência pela associativa) 6.2.3. Idempotência 6.2.4. Pela contraposição 6.2.5. Pela bicondicional 6.2.6. Pela exportação-importação

6.3. Negação de uma proposição composta

6.3.1. Negação de uma conjunção (Lei de Morgan) 6.3.2. Negação de uma disjunção (Lei de Morgan) 6.3.3. Negação de uma disjunção exclusiva 6.3.4. Negação de uma condicional 6.3.5. Negação de uma bicondicional

6.4. Dupla negação (Teoria da Involução) 6.5. Negações de proposições matemáticas 6.6. Equivalência pela transitividade 6.7. Proposições associadas a uma condicional e suas equivalências 6.8. Exercícios resolvidos para aprendizagem de concursos anteriores 6.9. Exercícios propostos de concursos anteriores

Capítulo 7 – Proposições Categóricas

7.1. Classificação de uma proposição categórica

7.1.1. Universal afirmativa 7.1.2. Universal negativa 7.1.3. Particular afirmativa 7.1.4. Particular Negativa

7.2. Negações das proposições categóricas 7.3. Quadro de oposições e inferências imediatas

7.3.1. Contraditórias 7.3.2. Contrárias 7.3.3. Subcontrárias 7.3.4. Subalternação

7.4. Exercícios resolvidos para aprendizagem de concursos anteriores 7.5. Exercícios propostos de concursos anteriores

Capítulo 8 – Proposições Funcionais ou Quantificadas (Lógica de primeira ordem ou Lógica dos predicados)

8.1. Prolegômenos 8.2. Quantificadores

8.2.1. O quantificador universal 8.2.2. O quantificador existencial

8.3. Representação de uma proposição quantificada 8.4. Negações de proposições quantificadas ou funcionais 8.5. Relações entre as linguagens categóricas e funcionais 8.6. Exercícios resolvidos para aprendizagem de concursos anteriores 8.7. Exercícios propostos de concursos anteriores

Capítulo 9 – Lógica de Argumentação (dedução formal)

9.1. Prolegômenos 9.2. Argumentos

9.2.1. Argumentos válidos 9.2.2. Argumentos inválidos

9.3. Métodos para testar a validade dos argumentos

9.3.1. Método de atribuição de valores lógicos 9.3.2. Método da tabela-verdade

9.4. Implicações tautológicas

9.4.1. Método da adição 9.4.2. Método da simplificação 9.4.3. Método da conjunção 9.4.4. Método da absorção 9.4.5. Modus Ponens 9.4.6. Modus Tollens 9.4.7. Dilema construtivo 9.4.8. Dilema destrutivo 9.4.9. Silogismo disjuntivo 9.4.10. Silogismo hipotético 9.4.11. Exportação e importação

9.5. Produto lógico de condicionais 9.6. Argumentos formados por proposições categóricas 9.7. Exercícios resolvidos para aprendizagem de concursos anteriores 9.8. Exercícios propostos de concursos anteriores

Gabarito

Capítulo 1 Capítulo 2 Capítulo 3 Capítulo 4 Capítulo 5 Capítulo 6 Capítulo 7 Capítulo 8 Capítulo 9

← Prev
Back
Next →

← Prev
Back
Next →