Norma Elvira Peralta Márquez

Es Leibniz a quien se le considera el precursor de la moderna lógica matemática

. Una proposición es una frase que afirma o niega algo. Una proposición condicional es aquella que tiene la forma Si H entonces T, donde a H se le conoce como hipótesis y a la T como tesis.

Definición implícita de un término es una lista convencional de proposiciones, llamadas axiomas, que contienen al término en sí

Las definiciones implícitas son como las adivinanzas: no dicen lo que el objeto es, sino qué propiedades tiene

Un conjunto es la colección de objetos denominados elementos.

La Unión ∪, La Intersección ∩ y La Diferencia –