Formalização de argumentos na lógica proposicional.

2 Outubro 2018, 18:00 • Ricardo Santos

Exercícios de formalização de argumentos inteiros dados na linguagem natural. Construção de um dicionário. Formalização das premissas e da conclusão. Análise intuitiva da validade do argumento.