18 Novembro 2016, 10:00 • António José Teiga Zilhão
O Cálculo Proposicional: 2.2. Regras de inferência.