Este documento define y explica los diferentes tipos de aseveraciones, incluyendo aseveraciones universales, particulares, positivas y negativas. También describe las relaciones entre aseveraciones como contradicción, implicación y coherencia. Finalmente, cubre temas como la inversión y reformulación de aseveraciones.