Trabajo colaborativo 1 Lgica Matemtica

Luis Gerardo Osorio Trujillo Cdigo: 1081514397 Alejandro Osorio Trujillo Cdigo: 95120215060 Curso B

Universidad Nacional Abierta y a Distancia (UNAD) Abril 2013

Introduccin

En este trabajo podemos encontrar todo lo relacionado con las proposiciones lgicas y aprendemos a descomponer dos proposiciones y representarlas en un diagrama de veen Tambin pudimos ver como graficar proposiciones negativas en una tabla de verdad, En este trabajo tambin se ve la aplicacin de conectivos lgicos y la forma en la cual se deben utilizar para poder formar dichas tablas de verdad, en este trabajo se utilizara la conjuncin, disyuncin, negacin, condicionales, y bicondicionales Tambin podemos identificar la diferencia entre una tautologa una contradicciones y equivalencias Podemos identificar y resolver cuando una propocicion es directa reciproca y contra reciproca y por ltimo en este trabajo se puede identificar cuales son los cuantificadores universales y cuales los cuantificadores existenciales

Objetivos

Objetivo General Desarrollar un taller de ejercicios sobre los contenidos de la Unidad 1 del curso de Lgica matemtica, los cuales les permitirn profundizar en los temas tratados.

Objetivos especficos: Solucin de problemas de lgica matemtica en grupo y con ayuda del tutor Establecer comunicacin con los compaeros para el desarrollo de las actividades Desarrollar habilidades cognitivas para el desarrollo de ejercicios en la casa

TRABAJO COLABORATIVO 1

SOLUCION 1) U= {27 estrellas} A= {9 estrellas} B= {10 estrellas} C= {6 estrellas} BnC= {3estrellas} 2)

I U L= {x/ x I, v, x L} 3) Nombre del estudiante Luis Gerardo Osorio Son proposiciones lgicas: Tiberio es profesor y tiene mucho conocimiento Alejandro hace deporte entonces es saludable Alejandro Osorio Lucho hace ejercicio y por eso tiene musculos No son proposiciones lgicas Carro y pared con sal

Cerveza con agua tarro

Tarea hoy sale

Andres come mucho entonces esta gordo

Hambre helado tiene espejo

4) Expresin Declaracin premisas de Lenguaje simblico

Si hay tolerancia, entonces p = hay tolerancia p q hay paz q = hay paz Para aprender matemtica es p = aprender p necesario ser ordenado y matematica constante. q = es necesario ser ordenado y costante q

Varias condiciones son necesarias y suficientes para que los hombres tengan buena vida sobre la tierra: que sepan controlar sus reacciones impulsivas, que sepan ponerse en el lugar del otro, que se formen para desarrollar un criterio propio y que respeten las leyes de su comunidad.

p = varias condiciones son necesarias q = varias condiciones son suficientes

Pq

a partir de maana comer p = comer ms P q ms helados y contemplar helados ms amaneceres q = contemplare ms amaneceres

Si pudiera vivir nuevamente mi P = no veria P q vida, no vera televisin y televisin leera ms libros q = leera mas libros

5) Representacion en tabla

p q
pq F V F F

p ~q v f f f v v f v

p q
~p q f f v v v f v f pq f f v f

6) RTA Tablas de verdad segn las Siguientes formulas

 p q q p r q s
p v v v v v v v v f f f f f f f f q v v v v f f f f v v v v f f f f r v v f f v v f f v v f f v v f f s v f v f v f v f v f v f v f v f ~q f f f f v v v v f f f f v v v v pvq v v v v v v v v v v v v f f f f (pvq) ~q v v v v v v v v v v v v f f f f p^r v v f f v v f f f f v v f f v v [(pvq) ~q+^(p^r) v v f f v v f f f f v v f f f f qvs v v v v v f v f v v v v v f v f *(pvq)~q+^(p^r)(q^s) v v v v v f v v v v v v v v v v

Esta propocicion es una contingencia

[( p q ) ( r s ) s ] q

p v v v v v v v v f f f f f f f f

q v v v v f f f f v v v v f f f f

r v v f f v v f f v v f f v v f f

s v f v f v f v f v f v f v f v f

~q f f f f v v v v f f f f v v v v

(pv~q) v v v v v v v v f f f f v v v v

rs v f v v v f v v v f v v v f v v

(pv~q)^(rs) v f v v v f v v f f f f v f v v

[(pv~q)^(rs)^s+ v f v f v f v f f f f f v f v f

*(pv^q)^(rs)^s+~q f v f v v v v v v v v v v v v v

Esta proposicin es una contingencia

7) Si el ganado es Jersey no tendr buena carne

P= el ganado es jersey ~Q= no tendr buena carne Esta frase es una implicacin reciproca, p~q Directa Contraria Recproca Contrarrecproca Si el ganado es jersey tendre buena carne Si el ganado no es jersey no tendre buena carne Si el ganado es jersey no tendre buena carne Si no tiene buena carne no es ganado jersey

8) 3x 10 2
Existencial: (x=4) / (3x 10 2) Verdadera Universal: (x4) / (3x 10 2) Falsa

Bibliografa.

Bibliografa
Patio, N. J. (1999). Logica Matematica. Bogota: Universidad NAcional Abierta y a Distancia (UNAD).