[Computação] Lógica de Programação – Apostila

Apostila – Lógica de Programação

Tamanho: 435Kb

Autor: Jusdewbe Tatiane de Souza Mora

 

Veja os tópicos:

• Lógica
• Introdução
• Álgebra Das Proposições
• Tabela-Verdade
• Operações Lógicas Sobre Proposições:
• Uso De Parêntesis
• Exercícios Grupo B
• Construção De Tabelas-Verdade
• Tabela-Verdade De Uma Proposição Composta
• Número De Linhas De Uma Tabela-Verdade
• Proposição Composta De N Proposições Simples: 2N Linhas
• Exercícios Grupo C
• Tautologias, Contradições E Contingências
• Exercícios Grupo D
• Implicações Lógicas
• Propriedades Das Implicações Lógicas:
• Exercícios Grupo E
• Equivalências Lógicas
• Propriedades Das Equivalências Lógicas:
• Equivalências Notáveis
• Exercícios Grupo F
• Lógica Da Argumentação
• Exercícios Resolvidos
• Exercícios Grupo G
• Prova De Não-Validade De Um Argumento
• Exercícios Grupo H
• Regras De Inferência
• Exercícios Grupo I
• Validade Mediante Regras De Inferência
• Exercícios Grupo J
• Lógica De Predicados
• Sentenças Abertas
• Sentença Aberta Com Uma Variável:
• Conjunto-Verdade De Uma Sentença Aberta Com Uma Variável
• Sentenças Abertas Com Duas Variáveis
• Conjunto-Verdade De Uma Sentença Aberta Com Duas Variáveis
• Sentenças Abertas Com N Variáveis
• Conjunto-Verdade De Uma Sentença Aberta Com N Variáveis
• Exercícios Grupo K
• Operações Lógicas Sobre Sentenças Abertas
• Exercícios Grupo L
• Quantificadores
• Exercícios Grupo M
• Proposições Categóricas
• Silogismos Categóricos
• Exercícios Grupo N

 

Download