III. Lógica Proposicional - 2

24 Novembro 2020, 15:30 • António José Teiga Zilhão

Derivação de substituibilidades não elementares na álgebra das proposições - II.
Tautologias, contradições e fórmulas contingentes.