III. Lógica Proposicional - 8
25 Novembro 2019, 18:00 • António José Teiga Zilhão
Teoremas do Cálculo Proposicional. Regra da Introdução de Teoremas (RIT). Distinção entre as noções de Teorema do Cálculo Proposicional e de Sequente válido do Cálculo Proposicional. Introdução da noção de um Sequente Tautológico. Noções elementares de Consistência e Completude do Cálculo Proposicional.
.