¿QUE ES LA LÓGICA?

Es la relación directa con el lenguaje natural, en su evolución la lógica se ha apropiado de unos símbolos y reglas de inferencia que le han dado una estructura formal y es allí donde se ha generado la LÓGICA MATEMÁTICA, La lógica matemáticas es una ciencia formal que estudia los argumentos lógicos para determinar su validez.

SIMBOLOS USADOS

Conjunto

• U Conjunto Universal
•  Ø conjunto vacío

Operaciones entre conjuntos:

• ∪ unión
• ∩ intersección
•  - diferencia
•  Δ diferencia simétrica
• ¢ no contenido 
• c contenido en

Relaciones entre elementos y conjuntos

• ∈ pertenece a
• no pertenece a

Conectivos lógicos

•  conjunción
• V disyunción
• ¬  negación 
• è Implicación  
•  <-> Equivalencia

Conjuntos numéricos:

• IN Conjunto de números naturales Conjunto de números enteros
• Z+ Conjunto de números enteros positivos
• Z- Conjunto de números enteros negativos