Ejemplos de
La lógica simbólica y la teoría de conjuntos están entrelazadas y se encuentran en los fundamentos de las matemáticas. Utilice Wolfram|Alpha para visualizar, calcular y transformar expresiones lógicas o términos en lógica booleana o lógica de primer orden. Wolfram|Alpha también creará tablas y diagramas, realizará operaciones de teoría de conjuntos y calculará predicados de la teoría de conjuntos como igualdad y subconjunto.
Calcule tablas de verdad, encuentre formas normales y construya circuitos lógicos para cualquier expresión booleana de cualquier número de variables booleanas.
Realice operaciones aritméticas y simplifique expresiones que involucren cardinales infinitos. Pruebe los números cardinales para determinar la igualdad cardinal o explore la desigualdad cardinal.
Pruebe la pertenencia a un conjunto, igualdad de un conjunto y relaciones con subconjuntos. Dibuje un diagrama de Venn para un número moderado de conjuntos.