Grupo-de-Estudos-em-Logica-da-UFRN / Para-Todxs-Natal

Projeto colaborativo de tradução e adaptação do livro de lógica Forallx
Creative Commons Attribution 4.0 International
13 stars 5 forks source link

Para Todxs: Natal

Book Cover

Descrição

Para Todxs: Natal é um livro didático completo sobre lógica formal. Ele aborda noções fundamentais como consequência lógica e validade de argumentos, a sintaxe da lógica proposicional verofuncional (LVF) e a semântica de tabelas-verdade, a sintaxe da lógica de predicados de primeira ordem (LPO) com identidade (interpretações de primeira ordem), traduções (formalizações) do português para LVF e LPO, além de sistemas de prova em dedução natural (estilo Fitch) para LVF e LPO. Também são abordados alguns tópicos mais avançados, como a correção da LVF e uma introdução à lógica modal. O livro está disponível em PDF otimizado para visualização em tela, com links coloridos. Todos os arquivos fonte em LaTeX estão disponíveis, e podem ser também utilizados para gerar uma outra versão PDF otimizada para impressão. Posteriormente, versões especiais para visualização em tela de dispositivos eletrônicos, versões em folha preta, uma versão com fonte especial para disléxicos, além de um caderno com as soluções dos exercícios também serão produzidos. Um editor/verificador de provas para o sistema usado no livro está disponível online em andersonnakano.hyperphp.com, em versão traduzida ao português por Anderson Luis Nakano do editor original disponível em Open Logic Project.

Link para download aqui.

Créditos e licença

Para Todxs: Natal é baseado no Forall x: Calgary, mantido por Richard Zach, e ambos estão disponíveis sob licensas Creative Commons.

Creative Commons License

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

Os arquivos-fonte do projeto, em LaTeX, estão disponíveis em Para Todxs: Natal.

Download

Vovê pode fazer o download do último pdf gerado aqui:

Crie o PDF você mesmo!

Clone o repositório github em sua máquina ou faça o download do arquivo ZIP e compile o código usando o LaTeX a partir do arquivo

ou

É necessário executar makeglossaries para gerar o glossário.

Quer ajudar?

Este livro está em constante processo de revisão e melhoria. Se você tiver críticas, comentários, sugestões de reescrita, de uso de jargão, de exemplos ou se você encontrar erros de digitação ou de português, sinta-se à vontade para colaborar conosco.

O link abaixo é de um formulário google onde você pode inserir todas as suas sugestões, correções e críticas.

Link do formulário de revisão.