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

29 Janeiro 2020, 16:00 • 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.