Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
38Activity
×

Table Of Contents

1.3. Fórmulas e Precedência
1.4. Construção de Tabelas-Verdade para Fórmulas
1.5. Tautologias
1.6. Equivalências Tautológicas e Leis de DeMorgan
Tabela 1 - Equivalências da Disjunção (∨) e da Conjunção (∧)
Tabela 2 - Equivalências dos Demais Operadores
1.7. Exercícios sobre Proposições, Fórmulas e Tautologias
2.1. Argumentos Válidos
2.3. Regras de Equivalência e Dedução
Tabela 3 - Regras de Equivalência
Tabela 4 - Regras de Inferência
2.4. Regra do Método Dedutivo
2.5. Argumentos Verbais
3.1. Sentenças Abertas com uma Variável
3.2. Conjunto-Verdade de uma Sentença Aberta
3.3. Sentenças com n Variáveis e seu Conjunto-Verdade
Figura 1 - Intersecção de Conjuntos como Conjunção Lógica
Figura 2 - Um Exemplo de Intersecção como Conjunção
Figura 3 - União de Conjuntos como Disjunção Lógica
Figura 4 - Um Exemplo de União como Disjunção
3.6. Negação de uma Sentença Aberta (~)
Figura 5 - Complementação de Conjuntos e Negação Lógica
Figura 6 - Um Exemplo de Negação como Complementação
3.7. Demais Operadores
3.7.1. O Operador Condicional (→→→→)
3.7.2. O Operador Bicondicional (↔↔↔↔)
3.8. Equivalências Tautológicas
3.9. Exercícios sobre Sentenças Abertas
4.1. Quantificador Universal
Figura 7 - Quantificação Universal, Domínio e Conjunto Verdade
4.2. Quantificador Existencial
Figura 8 - Quantificação Existencial, Domínio e Conjunto Vazio
4.3. Variáveis Quantificadas (Aparentes) e Variáveis Livres
4.4. Quantificador Existencial de Unicidade
4.5. Negação de Fórmulas com Quantificadores
4.6. Prova por Contra-Exemplo
4.8. Comutatividade de Quantificadores
4.9. Exercícios sobre Quantificadores
5.1. Estruturas, Interpretação e Significado das Fórmulas
5.2. Validade de uma Fórmula
5.3. Regras de Dedução para a Lógica de Predicados
Tabela 5 - Regras de Inferência da Lógica de Predicados
5.4. Particularização Universal
5.5. Particularização Existencial
5.6. Generalização Universal
5.7. Generalização Existencial
5.8. Regra da Hipótese Temporária (htemp)
5.9. Exercícios de Lógica de Predicados
Apêndice A - Tabelas Verdade dos Operadores Lógicos
Tabela 6 - Tabelas-verdade das operações lógicas binárias
Tabela 7 - Tabela-verdade da operação lógica unária de negação:
Apêndice B - Propriedades das Operações
Tabela 8 - Equivalências da Disjunção (∨) e da Conjunção (∧)
Tabela 9 - Equivalências dos Demais Operadores
Tabela 10 - Regras de Equivalência
Tabela 11 - Regras de Inferência
Apêndice E - Regras de Inferência da Lógica de Predicados
Tabela 12 - Regras de Inferência da Lógica de Predicados
Bibliografia
0 of .
Results for:
No results containing your search query
P. 1
Apostila Log Comp Uergs

Apostila Log Comp Uergs

Ratings: (0)|Views: 17,953|Likes:
Published by Alex Cobain

More info:

Published by: Alex Cobain on Jun 02, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

06/11/2013

pdf

text

original

You're Reading a Free Preview
Pages 6 to 58 are not shown in this preview.

Activity (38)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
bsdmkx liked this
bsdmkx liked this
bsdmkx liked this
thabata-martins liked this
Uendell Correia liked this
Clesyo Moreira liked this
Marcelle Machado liked this
Vagner Paulino liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->