Eliminação universal. Introdução universal. Provas com quantificadores universais. Introdução existencial. Eliminação existencial. Argumentos vs provas.
