III. Lógica Proposicional - 6

20 Novembro 2019, 18: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.