Logica - O Calculo de Predicados

+ mais detalhes
Fora de catalogo:

  Descrição do Produto

Os estudantes de Lógica muitas vezes sentem alguma dificuldade para deduzir conclusões e para traduzir, em símbolos, as partes de um argumento. Os poucos exercícios contidos nos livros de Lógica simbólica não são suficientes para dar a necessária segurança ao principiante. De outra parte, aumenta o número de estudiosos que têm procurado formalizar teorias, a fim de melhor delineá-las e melhor compreender o que delas poderia defluir. Em vista disso, preparamos quatro fascículos contendo exclusivamente exercícios de Lógica: I Conectivos, tabelas, simbolização. II Dedução no cálculo sentencial. III Simbolização no cálculo de predicados. IV Dedução no cálculo de predicados. Sumário: Informações básicas. Regras para a omissão e a introdução de quantidade. Uso das regras em deduções. O cálculo com igualdade. Revisão. Teoremas do cálculo de predicados.

  Atributos

origem:
Livro Nacional
Editora:
EPU - EPU (GRUPO GEN)
Autor:
HEGENBERG
ISBN13:
9788512733005
NumeroPaginas:
240
AnoEdicao:
1973
IS_POD:
Não