000			01981nam a2200217 a 4500
003			BR-ReIFE
005			20240619090741.0
008			170209s2015 bl 001 0 por d
020			_a9788530939205
040			_aBR-BrSFSB _bpor _cBR-ReIFE _dBR-ReIFE
082	0	4	_a511.3 _223 _bH463l
100	1		_aHegenberg, Leônidas, _d1925-2012.
245	1	0	_aLógica : _bcálculo sentencial, cálculo de predicado, cálculo com igualdade / _cLeônidas Hegenberg.
250			_a3. ed. 2. reimpr.
260			_aRio de Janeiro : _bForense Universitária, _c2015.
300			_a426 p.
504			_aInclui biliografia e índice analítico.
520			_aA obra Lógica, de Leônidas Hegenberg, agora reeditada, chega ao público em um único volume, em vez de dois, conforme originariamente lançada. A primeira parte compõe-se de um estudo cuidadoso visando a introduzir, com o máximo rigor e clareza, as técnicas dedutivas do cálculo sentencial, ao desenvolver algumas observações preliminares, de conteúdo básico para o entendimento da matéria. Em seguida, após um relato histórico sobre as peculiaridades da Lógica, o autor estuda as tabelas de valores, dos conectivos e das tautologias, aplicados ao exame dos argumentos, além de outros tópicos importantes. Esta primeira parte atém-se, principalmente, ao capítulo sobre a teoria da demonstração. Na segunda parte da obra, sobre o estudo do cálculo de predicados, são ressaltadas as questões de simbolização da linguagem e das técnicas dedutivas. Hegenberg discorre também sobre a interpretação, destinada a identificar as verdades lógicas, as regras de inferência e os axiomas necessários para que as demonstrações e deduções sejam efetuadas. Toda a obra apresenta inúmeros exercícios práticos, viabilizando assim a possibilidade de um melhor aproveitamento de tudo que o autor disponibilizou para o estudo efetivo da matéria.
650	1	4	_aLógica matemática.
942			_2ddc _cLV
999			_c39738 _d39738