Lógica Geral

Caderno da UFSM sobre lógica matemática aplicada à computação: proposições, conectivos, tabelas-verdade e demonstrações, explicados passo a passo com exemplos.

Cristiano Bertolini, Guilherme Bernardino da Cunha e Patricia Rodrigues Fortes

Manual completo de lógica matemática com 188 páginas que cobrem desde os fundamentos da argumentação até a lógica proposicional e de predicados, com exemplos e atividades.

Grazielle Jenske

Material da UECE que apresenta as noções fundamentais de lógica aplicadas à computação, com proposições, conectivos e tabelas-verdade explicados de forma didática.

Gustavo Lima de Campos e Jerffeson Teixeira

Livro de licenciatura em matemática que conecta lógica e teoria dos conjuntos, com fundamentos formais, demonstrações e exercícios para o ensino.

Francisco Gêvane Muniz Cunha

Introdução à lógica de primeira ordem e ao cálculo de predicados, com foco no raciocínio dedutivo matemático e nas regras de inferência.

Ricardo Bianconi