A lógica proporcional é um formalismo que tem como principal principal finalidade a representação de argumentos que são consequências de sentenças ...

Sim, a lógica proporcional, também conhecida como lógica proposicional, é um formalismo que tem como principal finalidade a representação de argumentos que são consequências de sentenças onde uma delas é uma conclusão e as demais são premissas. Nessa lógica, as sentenças são representadas por proposições, que podem ser verdadeiras ou falsas, e são conectadas por operadores lógicos, como "e", "ou" e "não". A partir dessas conexões, é possível construir tabelas-verdade e diagramas de árvore para analisar a validade dos argumentos.