Breve revisão da lógica proposicional clássica (1)
28 Janeiro 2021, 18:30 • Ricardo Santos
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.