Oswaldo Melo S. Filho

Oswaldo Melo Souza Filho é um autor brasileiro com sólida formação acadêmica, possuindo graduação em Física pela USP, mestrado em Ensino de Ciências pela USP e doutorado em Filosofia pela USP. Sua carreira acadêmica inclui a participação em um grupo de pesquisa focado em Lógica e Teoria da Ciência na USP. Desde 1997, atua como professor na Academia da Força Aérea (AFA). Oswaldo Melo Souza Filho é conhecido por suas contribuições na área de lógica matemática, com obras como "Introdução à lógica matemática", que explora os fundamentos do cálculo proposicional e de predicados. Seus livros detalham temas como proposições, conectivos lógicos, tabelas-verdade e regras de dedução formal.