Teoria y Logica de Los Conjuntos Tarea 1

Universidad Abierta para Adultos (UAPA)
Nombre:
Randy
Apellidos:
Domínguez Valverde
Matricula:
16-6829
Universidad:
Universidad Abierta para Adultos (UAPA)
Profesor:
José Armando Rijo
Fecha:
26 de Enero del 2017
I. Investiga en los recursos que se te facilitan y en la Web sobre el
concepto de lógica, su clasificación y el desarrollo histórico de la lógica,
luego realiza las siguientes actividades:
a) Elabore una línea de tiempo con los principales momentos

históricos y personajes que se destacan en la lógica.
La lógica matemática es una parte de la lógica y la matemática, que consiste

en el estudio matemático de la lógica, y en la aplicación de dicho estudio a
otras áreas de la matemática y de las ciencias. La lógica matemática tiene
estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en

el que codifican o definen nociones intuitivas de objetos matemáticos
como conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje
formal.
La lógica matemática suele dividirse en cuatro sub campos: teoría de

modelos, teoría de la demostración, teoría de conjuntos y teoría de la
recursión. La investigación en lógica matemática ha jugado un papel
fundamental en el estudio de los fundamentos de las matemáticas.
Actualmente se usan indiferentemente como sinónimos las expresiones: lógica
simbólica (o logística), lógica matemática, lógica teorética y lógica formal.
La lógica matemática no es la lógica de las matemáticas sino la matemática de

la lógica. Incluye aquellas partes de la lógica que pueden ser modeladas y
estudiadas matemáticamente.
b) Escribe 5 proposiciones cuyos valores de verdad sean verdaderos.

- Las hojas son de color verde.
- El sol es una estrella.
- La ballena es un mamífero.
- El oro es un metal.
- El 2 es un número par primo.
c) Escribe 4 proposiciones cuyos valores de verdad sean falsos.

- La tierra es una gran roca sin vida.
- Los monos vuelan.
- El agua es amarilla.
- La educación es para personas ignorantes.
d) Utilice un conectivo lógico en cada espacio para enlazar las
siguientes proposiciones, teniendo en cuenta que éstos no se
deben repetir:
i. SI 3x4=17 ENTONCES 12º =1.

ii. 3+2= 5 Y 7º =1.
iii. La casa de gobierno de USA NO es amarilla.
iv. 25x5 = 10 O 3x7 = 21.
v. El número 3 es impar SI Y SOLO SI el 2 es un número primo.
vi. O escoge un lápiz O un lapicero.
II) Dadas las proposiciones P: El 2 es un número primo par, Q: 9x8= 71, R:

9-9=0, S: 7x6+2=44 y T: 5-4+3-1+3=6. Determine el valor de verdad en cada
caso:
a) P Λ Q F d) (~ Q V T) Λ (~P V S) V
b) P v R V e) P v T F
c) ~P → S F
III) Complete correctamente las siguientes tablas:
a) b) c)
P Q QΛP P Q Q→P
P Q QVP
V V V V V V
V V V
V F F V F F
V F V
F F F F V V
F F F
F V F F F V
F V V
d)
p q r ~p ~ q (p v q) (~ p ^ ~ q) p→ q (p v q) p↔r
V V V F F V F V F V
V V F F F V F V F F
V F V F V V F F V V
V F F F V V F F V F
F V V V F V F V V F
F V F V F V F V V V
F F V V V F V V F F
F F F V V F V V F V
IV) Escribe las proposiciones pedidas en cada caso, tomando situaciones

de la vida cotidiana y laboral:
a) 5 que sean bicondicionales.
- Trabajare horas extras si y solo si me las pagan justamente.

- El lunes es un mes de año si y solo si enero es un día de la semana.
- El perro es un pez si y solo si las vacas vuelan.
- Te ayudare con los que aceres si y solo si me llevas al parque.
- Mi madre me dará un regalo de cumpleaños si y solo si apruebo todas
las materias del colegio.
b) 6 que sean condicionales.
- Si el agua es azul entonces mi camisa azul es de agua.

- Si los peces nadan entonces la tortuga es un pez.
- Si estudio mucho para el examen entonces aprobare la asignatura.
- Si la hermana de mi madre es mi tía entonces el hermano de mi padre
es mi tío.
- Si hago bien mi labor entonces tendrá una recompensa.
- Si hago algo malo entonces me darán un regalo por eso.
c) 7 que sean conjunciones.
- María canta y Juan canta.

- Pedro trabaja y Juana cobra el dinero.
- La tierra es redonda y el mar es plano.
- El cóndor es un ave y vive en la montaña.
- El mejor amigo del hombre tiene cuatro patas y el perro tiene cuatro
patas.
- La luna es de queso y el sol de mantequilla.
- Las naranjas son frutas y los plátanos víveres.
d) 5 que sean disyunciones exclusivas.
- O 1+1=4 o 5+2=7.
- O vas a la escuela o vas al cine.
- O lavas el carro o limpias la casa.
- O estudias o trabajas.
- O eres divertido o eres aburrido.
e) 4 que sean disyunciones inclusivas.

- Me pagas la renta o te vas de mi casa.
- Me ayudas con la comida o te quedas sentado
- Vas al a la tienda o no iras a la escuela.
- Eres mi amigo o eres mi enemigo.
- 5 que indiquen negaciones.
- Hoy no es sábado.
- El 2016 no es un mes de año.
- El libro no es redondo.
- Mi casa no es color rosada.
- Los lunes no son días de descanso.
V) Demuestre por medio de tablas de verdad si la siguientes

proposiciones son Tautología (T) Contingencia o Indeterminación (k) o
Contradicción (C).
TAUTOLOGIA
a) [(p → q) ∧ ~p] →~q
p q ~p ~q (p q) [(p q)^~p] [(p q)^~p ] ~q

V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
INDETERMINACION
b) [(p v q)^ r] ↔ [(p ↔q) v r ]
p q r (p v q) (p ↔q) [(p v q)^ r] [(p ↔q) v r ] [(p v q)^ r] ↔ [(p ↔q) v r ]
V V V V V V V V
V V F V V F F V
V F V V F V V V
V F F V F F F V
F V V V F V V V
F V F V F F F V
F F V F V F V F
F F F F V F F V
CONTINGENCIA
c) [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)]
a b c (a v b) (a v c) (b ∧ c) [a v (b ∧ c)] [(a v b) ∧ (a v c)] [(a v b) ∧ (a v c)] ↔ [a v (b ∧c)]
V V V V V V V V V
V V F V V F V V V
V F V V V F V V V
V F F V V F V V V
F V V V V V V V V
F V F V F F F F V
F F V F V V V F F
F F F F F V V F F
CONTINGENCIA
d) [(a → b) ∧ (b →c)] ↔(a → c)
a b c (a → b) (b →c) (a → c) [(a → b) ∧ (b →c)] [(a → b) ∧ (b →c)] ↔(a → c)

V V V V V V V V
V V F V F F F V
V F V F V V F F
V F F F V F F V
F V V V V V V V
F V F V F V F F
F F V V V V V V
F F F V V V V V

Teoria y Logica de Los Conjuntos Tarea 1

Cargado por

Copyright:

Formatos disponibles

Teoria y Logica de Los Conjuntos Tarea 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoria y Logica de Los Conjuntos Tarea 1

Cargado por

Copyright:

Formatos disponibles

Universidad Abierta para Adultos (UAPA)

a) Elabore una línea de tiempo con los principales momentos

La lógica matemática es una parte de la lógica y la matemática, que consiste

La lógica matemática estudia los sistemas formales en relación con el modo en

La lógica matemática suele dividirse en cuatro sub campos: teoría de

La lógica matemática no es la lógica de las matemáticas sino la matemática de

b) Escribe 5 proposiciones cuyos valores de verdad sean verdaderos.

c) Escribe 4 proposiciones cuyos valores de verdad sean falsos.

i. SI 3x4=17 ENTONCES 12º =1.

II) Dadas las proposiciones P: El 2 es un número primo par, Q: 9x8= 71, R:

III) Complete correctamente las siguientes tablas:

IV) Escribe las proposiciones pedidas en cada caso, tomando situaciones

a) 5 que sean bicondicionales.

- Trabajare horas extras si y solo si me las pagan justamente.

- Si el agua es azul entonces mi camisa azul es de agua.

c) 7 que sean conjunciones.

- María canta y Juan canta.

d) 5 que sean disyunciones exclusivas.

e) 4 que sean disyunciones inclusivas.

- 5 que indiquen negaciones.

V) Demuestre por medio de tablas de verdad si la siguientes

a) [(p → q) ∧ ~p] →~q

p q ~p ~q (p q) [(p q)^~p] [(p q)^~p ] ~q

b) [(p v q)^ r] ↔ [(p ↔q) v r ]

p q r (p v q) (p ↔q) [(p v q)^ r] [(p ↔q) v r ] [(p v q)^ r] ↔ [(p ↔q) v r ]

c) [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)]

a b c (a v b) (a v c) (b ∧ c) [a v (b ∧ c)] [(a v b) ∧ (a v c)] [(a v b) ∧ (a v c)] ↔ [a v (b ∧c)]

d) [(a → b) ∧ (b →c)] ↔(a → c)

a b c (a → b) (b →c) (a → c) [(a → b) ∧ (b →c)] [(a → b) ∧ (b →c)] ↔(a → c)

También podría gustarte