Formalização de argumentos.
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.
Formalizando sentenças
“… Você esteve no seu clube o dia todo, pelo que vejo.” “Meu caro Holmes!” “Acertei?” “Certamente que sim! Mas como…?” Ele riu da minha expressão perplexa. “Há uma deliciosa ingenuidade em sua natureza, Watson, que me faz sentir prazer […]