Nesse primeiro vídeo da segunda parte do nosso curso de lógica, veremos os limites expressivos das linguagens proposicionais. Por isso, introduziremos preliminarmente a expansão proposta na linguagem de predicados de primeira ordem.

Nesse vídeo, estudamos a semântica dos quantificadores universal e existencial na lógica de primeira ordem. Veremos como interpretar os quantificadores a partir de um modelo simples. Em seguida, veremos a relação de satisfação de modelos para fórmulas algumas fórmulas.

Reunimos as definições semânticas trabalhadas nos vídeos anteriores, completando a caracterização dos modelos de primeira ordem. No fim, fazemos a avaliação de duas fórmulas em um modelo com quatro elementos.

Estudados a validade em lógica de primeira ordem. De modo similar ao caso proposicional, uma fórmula é válida quando todos os modelos satisfazem a fórmula. Mostraremos como demonstrar que uma fórmula é válida usando duas estratégias: prova direta e prova por contradição. Por fim, exploramos um exemplo mais complicado com dois quantificadores.

Estudamos as invalidades em lógica de primeira ordem. Mostraremos como usar contraexemplos para demonstrar que algumas sentenças não são logicamente válidas. Aproveitamos para elencar algumas validades importantes da lógica de primeira ordem, com inversão de ordem dos quantificadores e regras distributivas dos quantificadores nas operações lógicas.

Estudamos as teorias de primeira ordem a partir de exemplos com silogismos. Definiremos de modo preciso a relação de consequência entre uma teoria e uma fórmula, algo muito similar ao que ocorre nos silogismos. Ao final, mostramos uma dedução em uma teoria mais familiar na matemática. 

Introduzimos um sistema dedutivo para a lógica de primeira ordem. Esse sistema é uma extensão do que introduzimos para o cálculo proposicional. Faremos exemplos simples, além de introduzir uma simplificação para o cálculo proposicional que usaremos nos vídeos seguintes.

Mostraremos alguns teoremas de primeira ordem. Começamos definindo o nosso sistema dedutivo com os axiomas de igualdade e identidade. Em seguida mostramos alguns teoremas próprios e básicos da lógica de predicados.

Mostraremos alguns resultados a respeito de equivalências e igualdades em lógica de predicados. A Possibilidade de realizar substituições em fórmulas de subfórmulas equivalentes ou igualdades é uma poderosa ferramenta na lógica de primeira ordem.

Apresentamos o teorema da dedução. Esse metateorema auxilia na demonstração de diversas fórmulas de primeira ordem, além de fundamentar o raciocínio hipotético. Mostraremos alguns exemplos. Ao final, provamos o método da prova por contradição usando o teorema da dedução.

Demonstramos o teorema da dedução a partir do método de indução matemática. A partir da suposição de que o teorema vale para fórmulas menos complexas, demonstramos que uma fórmula qualquer satisfaz o teorema.

Mostramos o teorema da generalização de constantes. Esse resultado representa um modo muito natural de fazer demonstrações universais na matemática e na linguagem natural. 

Estudaremos o teorema da completude de primeira ordem. Mostraremos duas versões equivalentes do teorema e comentaremos o significado do teorema. Por fim, falaremos brevemente sobre decidibilidade e semi-decidibilidade.