III. Lógica Proposicional - 1

18 Novembro 2021, 14:00 • António José Teiga Zilhão

Teoria das funções de verdade. As funções de verdade elementares: negação, conjunção, disjunção, implicação e equivalência. Conceito de uma álgebra das proposições. Definição de fórmula da álgebra das proposições. Definição de substituibilidade entre fórmulas da álgebra das proposições. Apresentação de um elenco de substituibilidades elementares. Definição de substituibilidade parcial. Derivação de substituibilidades não elementares na álgebra das proposições - I.