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

26 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.