Objetivos
Isso é para aprender as noções básicas de raciocínio lógico em matemática. Vamos apresentar neste capítulo e todas essas ferramentas úteis para demonstração.
Pré-requisitos
Não há pré-requisitos para este capítulo.
Créditos
Autor : Sylvain Hass (INSA Lyon)