Question

logica formal de aristoteles e a logica simbolica

Answer 1

Lógica formal é o estudo da inferencia com conteúdo puramente formal. Uma inferência possui um conteúdo puramente formal se ele pode ser expresso como um caso particular de uma regra totalmente abstrata, isto é, uma regra que não é sobre uma qualquer coisa em particular.
Lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica. A lógica simbólica é frequentemente dividida em dois ramos: lógica proposicional e a lógica de predicados.