Lógica Proposicional - I

8 Novembro 2016, 10:00 • António José Teiga Zilhão

Teoria das funções de verdade. Conceito de uma álgebra das proposições. Definição de fórmula da álgebra das proposições. Definição de substituibilidade. Apresentação de um elenco de substituibilidades elementares. Definição de substituibilidade parcial