Lógica Matemática

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

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

Tratado de lógica geral de Arthur Buchsbaum (UFSC), com tratamento rigoroso de inferência, igualdade e equivalência, voltado a quem busca profundidade formal.

Arthur Buchsbaum

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