O que é Lógica?

O livro "O que é Lógica?" de Walter Carnielli é uma introdução à lógica, uma disciplina que estuda o raciocínio correto e a inferência válida. O autor apresenta os principais conceitos e técnicas da lógica, como proposições, argumentos, validade e verdade, além de abordar diferentes sistemas lógicos, como a lógica proposicional e a lógica de primeira ordem. Carnielli também discute a importância da lógica em diversas áreas do conhecimento, como a filosofia, a matemática, a ciência da computação e a inteligência artificial. Ele mostra como a lógica pode ser aplicada na resolução de problemas cotidianos e na tomada de decisões mais informadas e precisas. O livro é escrito de forma clara e acessível, tornando a lógica mais compreensível para aqueles que estão iniciando seus estudos na área. É uma leitura recomendada para estudantes de filosofia, matemática, ciência da computação e outras áreas que envolvem o pensamento lógico.