ParaTodxs é um livro didático de introdução à lógica formal. Dentre os temas abordados está a lógica proposicional clássica, a lógica de predicados clássica em primeira ordem, e uma breve introdução à lógica modal.

A última versão está disponível em PDF.

O livro Paratodxs é mantido com apoio dos membros do grupo de pesquisa LoTTec: Lógica — Teorias e Técnicas da Universidade Federal da Paraíba. Sinta-se livre para apontar erros ou fazer sugestões. Para mais detalhes, consulte as instruções sobre como colaborar.

ParaTodxs é baseado no ParaTodxs: Natal, mantido pelo Grupo de Estudos em Lógica da UFRN, o qual, por sua vez, é baseado no Forall x: Calgary, mantido por Richard Zach.

Este projeto está sob a licença Creative Commons Attribution 4.0 International License.