enunciado (= proposición)
	equivalencia
	equivalencia tautológica
	ex contradictione quodlibet