Logic

Sinopse de Logic

«Logic» é o manual de lógica de Paul Tomassi, publicado pela Routledge em brochado (432 páginas, em inglês).

Introdução à lógica que explica a noção de validade, a linguagem da lógica proposicional, a teoria da demonstração e a semântica formal com o método de árvores de verdade, e que também aborda a lógica quantificacional e a teoria das descrições. Inclui exercícios orientados para o estudante, ilustrações, resumos e glossário.

O livro foi publicado pela primeira vez em 28 de janeiro de 1999 em Londres e Nova Iorque; o volume inclui bibliografia e índice.

Está pensado para estudantes de lógica, tanto para rever exames e acompanhar o ritmo de um curso como para quem queira aprender por conta própria.