Trabajo colaborativo de esta unidad

1. Define lgica matemtica

La lgica matemtica es una parte de la lgica y la matemtica, que
consiste en el estudio matemtico de la lgica, y en la aplicacin de dicho
estudio a otras reas de la matemtica y de las ciencias. La lgica
matemtica tiene estrechas conexiones con las ciencias de la computacin y
la lgica filosfica.
2. Define proposicin y d ejemplos
Las proposiciones forman parte de la forma ms simple o elemental de
la lgica, y se puede enfocar en la lgica matemtica. Esta lgica, no
profundiza en los conceptos de las proposiciones, solo se gua en lo
ciertas o falsas que sean.

3. D 5 ejemplos de proposiciones verdaderas.

-Los

gatos tienen 4 patas

-Los mamferos maman

-Algunos caballos usan herraduras
- Si hiervo agua en una tetera , cantidad de agua se evapora
- Un litro de agua pesa un kilo
4. D 5 ejemplos de proposiciones falsas.
-La tierra es plana
- El canguro tiene 8 patas
- El hombre es inmortal
- La guitarra tiene 7 cuerdas
- Los bebes tienen 3 ojos
5. Define negacin de una proposicin y d ejemplos.

La negacin est normalmente identificada con la funcin de verdad que

cambia su valor de verdadero a falso y viceversa. En Lgica intuicionista,
la negacin de una proposicin p es la proposicin cuyas pruebas son las
refutaciones de p.
Tabla de verdad de p
p

Verdadero Falso
Falso

Verdadero

6. Define conjuncin y d ejemplos.

Las conjunciones son enlaces con funcin coordinante y a veces,
subordinantes. Estas conjunciones tienen la caracterstica de ser invariables
y se utilizan para enlazar oraciones.
Su uso se encuentra ligado a la suma de oraciones donde renen dos
oraciones principales con la finalidad de construir una tercera con sentido
completo y complementacin lgica.
Ejemplo de conjunciones:
a) Conjunciones Copulativas: y, e, ni
b) Conjunciones Disyuntivas: o, ya bien, sea
c) Conjunciones Adversativas: pero, mas, sino, sin embargo, empero
d) Conjunciones Consecutivas: luego, pues, conque, as que
e) Conjunciones Causales: porque, puesto que, ya que, pues
f) Conjunciones Condicionales: si, con tal que, siempre que, al menos qu.

7. Define disyuncin y d ejemplos.

una disyuncin lgica entre dos proposiciones es un conector lgico
cuyo valor de la verdad resulta en falso slo si ambas proposiciones son
falsas, y en cierto de cualquier otra forma.1 Existen diferentes contextos
dnde se utiliza la disyuncin lgica.
Ejemplos de disyuncin:
Sea p = Voy al cine, q = Voy a cenar, c = Gastar algo de dinero.
p^q => c
Si voy al cine o voy a cenar entonces gastar algo de dinero; la conclusin
de gastar algo de dinero es verdadera si la persona va al cine aunque no
vaya a cenar, pero tambin es verdadera si solamente va a cenar y no va al
cine. La nica forma en que la conclusin de gastar algo de dinero sea
falsa, es que no vaya la cine ni a cenar. Sea p = Camino bajo la lluvia, q=
Me mojan con una manguera, c= Estar mojado. p^q=>c
8. D un ejemplo de una tabla de verdad con la conjuncin.

9. D un ejemplo de una tabla de verdad con la disyuncin.

10.Describe los conectivos lgicos.

Es un smbolo o palabra que se utiliza para conectar dos frmulas bien
formadas o sentencias (atmicas o moleculares), de modo que el valor de
verdad de la frmula compuesta depende del valor de verdad de las
frmulas componentes.
11.Escribe una idea de conjunto, subconjunto, pertenencia y no
pertenencia.
Un conjunto es una coleccin de elementos considerada en s misma como
un

objeto.

Los

elementos

de

un

conjunto,

pueden

ser

las

siguientes: personas, nmeros, colores, letras, figuras, etc. Se dice que

un elemento (o miembro) pertenece al conjunto si est definido como
incluido de algn modo dentro de l.
En

las matemticas,

un conjunto B es subconjunto de

un

conjunto A si B est contenido dentro de A. Recprocamente, se dice que

el conjunto A es un superconjunto de B cuando B es un subconjunto de A.
PERTENENCIA Y NO-PERTENENCIA

Como podemos observar en la siguiente grfica, el cuadrado pertenece al

conjunto de las figuras geomtricas y la estrella no pertenece a ese conjunto;
la letra U pertenece al conjunto de las vocales y la letra B no pertenece al
conjunto de las vocales:

12.Explique cmo pueden expresarse los conjuntos. De ejemplos en cada

caso.
Los conjuntos se pueden expresar de dos formas segn su naturaleza y de
acuerdo a la situacin que se va a trabajar que son: Compresin y
extensin.
Los conjuntos expresados por compresin son aquellos que expresan una
caracterstica general del conjunto.
Ejemplos A= (x/x, son las vocales)B= (y/y, son los das de la semana)
Los conjuntos expresados por extensin son aquellos que detallan todos y
cada uno de los elementos del conjunto.
Ejemplos A= (a, e, i, o, u)
B= (lunes, martes, mircoles, jueves, viernes, sbado, domingo)
13.Responde

Cmo

se

clasifican

los

conjuntos

explica

las caractersticas de cada tipo?

Clasificacin de conjuntos.
Los conjuntos se pueden clasificar por la cantidad de elementos que estos
pueden tener. Segn lo indicado tenemos la siguiente clasificacin de
conjuntos:
Conjunto Vaco.
Es aquel conjunto que no contiene elementos. Se suele representar por el
siguiente smbolo .

Ejemplo.
={x/x y 10<x<11} 2.
Conjunto Unitario.
Es aquel conjunto que est compuesto por un slo elemento.
Ejemplos.
A={x/x es la vocal a de la palabra amor}
B={x/x y 10<x<12}
C={}
El conjunto C es un caso particular, muchos pueden pensar que es
un conjunto vaci pero eso no es cierto, el conjunto C, es un conjunto que
tiene como nico elemento el conjunto vaco representado por su smbolo .
Conjunto Finito.
Es aquel conjunto que tiene una cantidad exacta de elementos.
Ejemplos.
A={x/x es un da de la semana}
A={x/x todos los granos de arena de una playa}
B={x/x y 10<x<18} c={x/x y x<15}
Conjunto Infinito.
Es aquel conjunto que no tiene una cantidad exacta de elementos, o mejor
dicho no se puede determinar la cantidad exacta de elementos que tiene
el conjunto.
Ejemplos.
A={x/x y es un nmero par}
B={x/x y es un nmero primo}

C={x/x y es un nmero divisible con 7}

D={x/x y x>18}
Conjunto Universal.
Es el conjunto que contiene o incluye a otros conjuntos que mantienen una
caracterstica en comn. Tambin se les conoce como conjuntos de
Referencia. Un conjunto universal puede ser infinito o finito. Este conjunto se
usa generalmente para poder clasificar otros conjuntos que tengan algo en
comn. A los conjuntos universales se les representa generalmente con la
letra U. Otradefinicin es decir que un conjunto universal es el conjunto que
engloba o encierra a otros conjuntos que tengan algo en comn.
Ejemplos.
U={x/x es un nmero par}
A={x/x es un nmero par y x<15}
B={x/x es un nmero par y x<10}
14.Responde Cmo se relacionan los conjuntos unos con otros?
Imagina que tenemos dos conjuntos: AA y BB. Establecer una relacin entre
ellos es relacionar los elementos del conjunto AA con los elementos del
conjunto BB, observa las siguientes condiciones:

Cada elemento

del

conjunto

AA debe

estar

relacionado

con

BB debe

estar

relacionado

con

un nico elemento del conjunto BB.

Cada elemento

del

conjunto

un nico elemento del conjunto AA.

Si una relacin entre conjuntos cumple estas condiciones es llamada relacin
uno a uno. En la imagen anterior por ejemplo cada invitado est
relacionado con una nica copa, y cada copa est relacionada con un nico
invitado.
Cuando es posible establecer una relacin uno a uno entre los
conjuntos AA y BB, decimos que AA es coordinable con BB o que AA es

equipotente a BB. En caso contrario decimos que no son coordinables o que

no son equipotentes.
15.Responde Cuales operaciones se realizan con los conjuntos? Explica
en qu consiste cada una.
Unin de conjuntos
La unin de dos conjuntos A y B es el conjunto formado por la reunin de
los elementos de los dos conjuntos en uno solo.
16.Esta operacin se denota como:
Interseccin de conjuntos
La interseccin de dos conjuntos A y B es el conjunto formado por los
elementos que pertenecen a ambos conjuntos.
Esta operacin se denota:

Diferencia entre dos conjuntos

Sean dos conjuntos A y B cualesquiera, su diferencia es el conjunto que se
forma con los elementos que pertenecen al primer conjunto, pero
que no pertenecen al segundo.
Al igual que la operacin aritmtica que llamamos diferencia o resta, la
diferencia entre dos conjuntos no es conmutativa para

Denotamos la diferencia entre conjuntos como A - B o A \ B.

Complemento de un conjunto
Si consideramos U como el conjunto universal y a un conjunto A que es
subconjunto de U, el complemento de A lo podemos definir como el
conjunto formado por los elementos que estn en U y que no
pertenecen al conjunto A.

Esta operacin se denota como