Seguindo as celebrações das ações realizadas, festejo, neste 2025, com júbilo, os quinze anos do Curso de Extensão Universitária em CÁLCULO DAS FUNÇÕES PREDICATIVAS QUANTIFICADAS EM LÓGICA MATEMÁTICA, o qual fui o proponente e organizador do projeto do curso (Projeto 10.082) e o ministrante do curso.
Realizado no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), no período de 26/04/2010 a 16/06/2010, o curso objetivou apresentar técnicas e procedimentos formais para a estruturação e avaliação de Funções Predicativas e de Funções Proposicionais Quantificadas formalizadas de acordo com a semântica e sintaxe do Cálculo Proposicional e do Cálculo dos Predicados em Lógica Matemática de Primeira Ordem.
DIAS, C. M. C. - 2025
No curso em referência tratei de temas tais como: Termos e Predicados em Lógica Matemática Predicativa; Instanciação de Funções Proposicionais de Várias Variáveis; Conjunto Verdade de Funções Proposicionais de Várias Variáveis; Operações Lógicas sobre Funções Proposicionais; Simplificação de Funções Proposicionais; Quantificação de Funções Predicativas; Variáveis Livres e Variáveis Aparentes; Equivalências entre Funções Quantificadas; Simplificação de Funções Proposicionais Quantificadas; bem como Análise Lógica da Teoria dos Conjuntos.
As Funções Predicativas Quantificadas são a base da Lógica de Predicados a qual é muito mais expressiva que a Lógica Proposicional dado permitir formalizar e analisar sentenças mais complexas e argumentos em Matemática, Ciência da Computação e/ou Filosofia. As Funções Predicativas Quantificadas são uma forma poderosa de expressar afirmações sobre elementos de um conjunto.
Os Predicados (ou Funções Proposicionais) correspondem às sentenças que contém uma ou mais variáveis e que se torna uma proposição (dicotômica e bivalente) quando as variáveis são substituídas por valores específicos de um determinado conjunto (chamado de domínio ou universo de discurso).
Os Quantificadores, por sua vez, são elementos que indicam a "quantidade" de elementos do domínio para os quais o predicado pode ser a Verdade (V). Os dois principais quantificadores são: (a) Quantificador Universal: "Para todo" ou "Para cada" o qual indica que o predicado será a Verdade (V) “para todos os elementos do domínio”; (b) Quantificador Existencial: "Existe um" ou "Pelo menos um" o qual indica que o predicado tem valor Verdade (V) “para pelo menos um elemento do domínio”.
Quando se combinamos as Funções Proposicionais com os Quantificadores surgem as Funções Predicativas Quantificadas, originando o Cálculo dos Predicados em Lógica Matemática. Exatamente a Álgebra deste Cálculo dos Predicados (ou Cálculo das Funções Predicativas Quantificadas) é que desenvolvi no curso aqui rememorado.
Carlos Magno Corrêa Dias
30/07/2025