Sets & Propositions
Un conjunto reúne objetos bien definidos; una proposición es una frase que puedes declarar verdadera o falsa. Dibujar en un diagrama de Venn la intersección y la unión de dos conjuntos deja clara su relación de un vistazo. Al invertir o negar 'si p, entonces q' surgen la recíproca, la contraria y la contrarrecíproca, y solo esta última mantiene el valor de verdad original. Mueve el recuento de la unión y la tabla de la contrarrecíproca y se alinean. Complemento y De Morgan siguen en las cajas de fórmulas.