III. Lógica Proposicional - 4

27 Novembro 2020, 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).