III. Lógica Proposicional - 3
25 Novembro 2021, 14:00 • António José Teiga Zilhão
O Cálculo Proposicional.
1. Vocabulário;
2. Sintaxe; 2.1. Regras de Formação. 2.2. Regras de inferência. 2.2.1. Regras primitivas de inferência. 2.2.2. Regras derivadas de inferência;
3. Teoremas do Cálculo Proposicional;
4. Regra da Introdução de Teoremas (RIT).