O leitor encontrará neste livro uma introdução aos principais conceitos da lógica simbólica. A teoria é explicada em detalhe, numa linguagem clara e acessível, seguida por uma bateria de exercícios para fixação. O texto foi concebido para aqueles que precisam dominar os conceitos básicos da lógica contemporânea, através de suas ligações com a filosofia da linguagem. É ideal para estudiosos de filosofia, de ciências exatas, de direito e de áreas afins.