fbf

A formalização de argumentos consiste em representar os seus componentes (premissas e conclusão) através de letras sentenciais e dos símbolos que representam os operadores lógicos.