Lógica Proposicional - V
17 Novembro 2016, 10:00 • António José Teiga Zilhão
Inferência Proposicional. Implicações tautológicas como paradigmas da inferência proposicional.
O Cálculo Proposicional: 1. Vocabulário; 2. Sintaxe; 2.1. Regras de Formação;