Breve revisão da lógica clássica (1)

21 Setembro 2017, 16:00 • Ricardo Santos

Análise e discussão do contra-exemplo ao modus ponens de McGee.

Breve apresentação da linguagem da Lógica Proposicional clássica (LP): os símbolos e as regras sintácticas. Símbolos primitivos e definidos. Convenções sobre o uso dos parêntesis. O carácter recursivo das regras. Exercícios simples de formalização.