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

20 Setembro 2018, 12: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.