Obra que trata da "nova lógica" no desenvolvimento da filosofia da linguagem e de
modelos formais de larga aplicação na inteligência artificial. Seus autores desenvolvem
o cálculo proposicional a partir de uma linguagem natural, respeitando os princípios de
Aristóteles para a lógica, culminando no estudo da validade de inferências lógicas;
introduzem o sistema formal do cálculo proposicional; estudam algumas propriedades do
sistema; apresentam a álgebra dos conjuntos que caracteriza um outro sistema booleano;
estudam os silogismos aristotélicos; mostram como se pode caminhar com...
[Leia mais]