Aula 6 - Sintaxe da LVF, Linguagem-Objeto e Metalinguagem
Clique nos títulos abaixo para assistir apenas aos trechos correspondentes.
Situo os alunos na sexta aula do curso, marcando a transição para o estudo das regras sintáticas que definem a gramática da Lógica Verofuncional (LVF). Explico que o objetivo é aprender a reconhecer se uma expressão é gramaticalmente correta e dominar convenções linguísticas fundamentais.
[03:05] – Elementos Básicos da Linguagem LVF
Reviso os três tipos de expressões que compõem a nossa linguagem: as letras sentenciais (A, B, C...), os operadores lógicos (¬, ∧, ∨, →, ↔) e os parênteses, que funcionam como elementos secundários essenciais para marcar o escopo das operações.
[04:26] – Definição de Expressão vs. Sentença
Defino "expressão" como qualquer sequência de símbolos da LVF. Utilizo analogias com o português para demonstrar que, embora qualquer amontoado de palavras seja uma expressão, nem toda expressão constitui uma sentença gramaticalmente correta.
[07:08] – As Sete Regras da Gramática da LVF
Apresento as regras que compõem toda a gramática do sistema. Explico que toda letra sentencial é uma sentença (atômica) e detalho as regras construtivas para negação, conjunção, disjunção, condicional e bicondicional, finalizando com a cláusula que exclui qualquer outra forma de construção.
[11:43] – O Conceito de Definição Indutiva
Explico que a gramática da LVF é uma "definição indutiva", composta por uma cláusula básica (letras sentenciais) e cláusulas recursivas que ensinam a construir sentenças completas a partir de partes mais simples.
[13:06] – Procedimento de Teste de Sentenças
Demonstro, passo a passo, como aplicar as regras gramaticais para verificar se uma expressão (como ¬¬¬D) é legítima. Ensino o método de "retrocesso", analisando a expressão do maior para o menor até chegar às letras sentenciais.
[18:51] – Identificação de Erros Gramaticais
Utilizo exemplos de expressões incorretas (como ¬¬D¬) para mostrar que, se uma sequência de símbolos não se enquadra em nenhuma das regras sintáticas apresentadas, ela não pode ser considerada uma sentença do sistema.
[23:00] – Análise de Sentenças Complexas e Parênteses
Examino "monstrengos" lógicos (expressões longas e complexas) para exercitar a aplicação das regras. Demonstro como a falta de um único parêntese pode invalidar gramaticalmente toda uma expressão, comprometendo a estrutura lógica.
[35:36] – Conectivo Principal e Escopo
Introduzo o conceito de conectivo principal, comparando-o à ordem de operações na matemática. Explico que ele é o último operador introduzido na construção da sentença e aquele que lhe dá o nome (se a sentença é uma negação, uma conjunção, etc.).
[40:45] – Convenções de Notação: Omissão de Parênteses
Abordo convenções usuais entre lógicos, como a omissão de parênteses mais externos para facilitar a leitura. Também apresento o uso de colchetes [ ] e chaves { } como substitutos para parênteses em fórmulas muito extensas.
[43:39] – Distinção entre Uso e Menção
Estabeleço a importante distinção entre usar um nome para se referir a algo (ex: a governadora) e mencionar o nome para falar da palavra em si. Introduzo a convenção das aspas simples para marcar a menção de expressões.
[47:58] – Linguagem-Objeto e Metalinguagem
Diferencio a linguagem que estamos estudando (Linguagem-Objeto: LVF) da linguagem que usamos para estudá-la (Metalinguagem: Português técnico). Explico que nosso português é "suplementado" por vocabulário acadêmico para evitar ambiguidades.
[53:37] – Meta-variáveis e Generalização
Explico a diferença entre letras sentenciais específicas (como A ou B) e meta-variáveis (representadas por letras enfeitadas). Mostro que as meta-variáveis funcionam como o "x" da matemática, representando qualquer sentença da linguagem-objeto.
[1:00:30] – Notação de Argumentos na Metalinguagem
Finalizo apresentando a convenção para representar argumentos de forma genérica na metalinguagem, utilizando listas de premissas e a conclusão simbolizada por meta-variáveis, preparando o terreno para a avaliação semântica que virá a seguir.