Lógica Proposicional - II

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

Derivação de substituibilidades na álgebra das proposições. 

Tautologias, contradições e fórmulas contingentes.