Resumo
O estudo da tabela-verdade para os sistemas trivalvados (de Aqvist, Lukasiewicz, Hallden, Segerberg, Heyting, Reichenbach e Sobocinski), os diversos funtores, e fazer aplicação ao discurso em português (e principalmente no discurso jurídico) interpretando o 3º valor-verdade. Construir um N-cálculo prop. para validar um conjunto de sentenças. Fazer aplicações computacionais usando Maple. (…