Aprenda Lógica e Raciocínio Formal

Comece pelos guias. Estão ordenados como um percurso de leitura e não por ordem alfabética, e o índice mostra para cada guia o número do passo e o nível que pressupõe. Dizer ao site quanta lógica já sabe move o seu ponto de partida para o primeiro guia desse nível; os anteriores permanecem no índice como leitura de contexto.

Dizem quanta lógica um guia já pressupõe, não o quão difícil é de ler. O percurso de leitura nunca recua entre esses níveis, pelo que, escolhido o seu, pode ler em frente a partir do seu ponto de partida sem esbarrar num guia que dependa de outro que saltou.

Sim, neste navegador. Marcar um guia como lido atualiza o contador de progresso no índice e a sugestão «a seguir» no fim de cada guia, que aponta para o primeiro guia posterior a este que ainda não leu. Nada é enviado para lado nenhum, e limpar os dados do site repõe tudo.

Leia de um guia o suficiente para reconhecer a notação e depois pratique. Os exercícios estão agrupados pelos mesmos temas que os guias cobrem, pelo que o ritmo habitual é um guia, depois exercícios dessa categoria e a seguir o guia seguinte quando as respostas começarem a sair com facilidade.

A lógica proposicional centra-se nas relações entre proposições através de operadores lógicos, ao passo que a álgebra de Boole é uma estrutura matemática que lida com valores binários (verdadeiro/falso ou 1/0). Ambas são suportadas por esta calculadora e usam operadores semelhantes.