Lógica Proposicional - VIII

24 Novembro 2016, 10:00 • António José Teiga Zilhão

Teoremas do Cálculo Proposicional. Regra da Introdução de Teoremas (RIT). Sequentes válidos como implicações tautológicas.