Objetivando apresentar o Cálculo Lógico Proposicional (Sentencial) desenvolvido em Lógica Matemática Dedutiva de Primeira Ordem para o estabelecimento de Métodos e Técnicas Formais de Raciocínios Dedutivos que permitam evidenciar e analisar, mediante a Álgebra da Lógica, a Validade e a Consistência de Raciocínios Dedutivos estruturados sejam como Argumentos Dedutivos ou Inferências nos quais conclusões devem ser, necessariamente, consequências lógicas de premissas previamente identificadas, foi realizado, no Câmpus Curitiba da TECNOLÓGICA, sob minha proposição e coordenação, o primeiro FOCONVALRAD (FÓRUM SOBRE CONSISTÊNCIA E VALIDADE DE RACIOCÍNIOS DEDUTIVOS).
Tendo como tema CONSISTÊNCIA E VALIDADE DEDUTIVA o I FOCONVALRAD abordou questões relacionadas com: Semântica e Sintaxe da Linguagem da Lógica Formal; Fórmulas Proposicionais e Estruturação do Cálculo Lógico Sentencial; Validade e Verdade; Contingências, Tautologias e Contradições; Operações Lógicas Fundamentais e Derivadas; Relação de Equivalência e de Implicação; Álgebra da Lógica (Sentencial); Argumentos Dedutivos; Análise Inferencial; Teoria da Argumentação Lógica; e, Demonstração Dedutiva.
DIAS, C. M. C. - 2017
O I FOCONVALRED foi desenvolvido gratuitamente para os participantes, não havendo qualquer ônus para a Universidade Tecnológica Federal do Paraná (UTFPR).
Mais uma vez cumpriu-se o entendimento sobre a Extensão Universitária para a disseminação do conhecimento e para contribuir com a premissa que Ensino, Pesquisa e Extensão devem ser indissociáveis na Universidade.
Carlos Magno Corrêa Dias
20/06/2017