Lgica y conjuntos

Cuauhtmoc Acoltzin.
Maestra en Ciencias Mdicas.
Importancia de las matemticas.
Permiten cuantificar magnitudes.
Son abstractas pues usan smbolos:
{I, II, III, V, X, L, C, M}
{1, 2, 3, 4,,5, 6, 7, 8, 9, 0}
Su orden es estricto: poco a todo.
Pero parten de observar la naturaleza.
Tienen amplio campo de aplicacin.
Utilidad de la lgica matemtica
Organiza la mente y agiliza el trabajo.
Sus proposiciones manifiestan claramente
un juicio para aceptarse o rechazarse.
Son abiertas si no determinan al sujeto.
Pueden ser: simple o compuesta.
La negacin es proposicin compuesta.
Negacin.
Invierte la proposicin.
Aplica el trmino lgico: No.
Se simboliza como: , .
La proposicin es p, su negacin p.
La negacin de una proposicin verdadera
es falsa y viceversa.
Conjuntos.
La consecuencia de negar una proposicin
es que surgen diferencia y complemento.
Los conjuntos A y B se diferencian por
elementos de A pero no de B.
Se llama complemento de un conjunto dado,
a los elementos diferentes en el universo.
Definiciones.
Universo es el conjunto de elementos que
constituyen un rea de inters analtico.
Se simboliza como U, S u .
Aquellos elementos de un conjunto cuyas
propiedades difieren integran subconjuntos.
Los subconjuntos pueden estar unidos,
traslapados o separados (disjuntos).
Formas de expresin.
Descriptiva, o por comprensin: Enunciado.
Simblica: A B = A diferencia B.
U Y = Y: Y es complemento de U.
Extensional, o enumeracin: {a, b, c, ... n}.
Diagrama de Venn- Euler.
Diagrama de conjunto universal.
Conectivos lgicos.
Conjuncin: Se expresa con el conectivo
lgico y, o se dice: simultaneamente.
- Determina interseccin.
Disyuncin: Se expresa con la o.
- Puede ser excluyente: si una proposicin
elimina a la otra.
- Incluyente si ambas son verdaderas (y/o).
Proposiciones condicionales.
No son extensionales.
Pueden ser: Condicional, expresada como:
si... entonces. O por el smbolo
La primera proposicin es antecedente
(hiptesis); la segunda consecuente (tesis).
Bincondicional: Con el conectivo: ...si y
solo si.... O simblicamente por