trabajo colaborativo2_grupo105.pdf

8/10/2019 trabajo colaborativo2_grupo105.pdf

1/13

FASE 2: PRODUCCIN GRUPAL

LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES

COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES,PROPOSICIONES CATEGRICAS.

GRUPO COLABORATIVO_105

DIANA MARCELA VASQUEZ ROJAS

CODIGO: 1130626868

LEIMIS MARCELA SIERRA CANTILLO

CODIGO: 1140861979

OSVALDO BERDUGO MARTINEZ

CODIGO: 1143229573

YIRA VANESSA GALVIS LOZANO

CODIGO: 1130670713

LUIS MIGUEL PAZOS

CODIGO: 1131085253

TUTOR: MILLER EDUARDO JIMENEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIAPSICOLOGIA

29 DE OCTUBRE DE 2014


2/13

TABLA DE CONTENIDO

CONTENIDO

TABLA DE CONTENIDO ................................................................................................................

INTRODUCCIN ..............................................................................................................................

TABLA DE VERDAD EJERCICIO (1.a) .........................................................................................

TABLA DE VERDAD EJERCICIO (1.b) .........................................................................................

TABLA DE VERDAD EJERCICIO (1.c) .........................................................................................

TAUTOLOGIA TABLA DE VERDAD EJERCICIO (2) ..............................................................

3. SILOGISMO, PREPOSICIONES CATEGRICAS DIAGRAMAS DE VENN .......................

CONCLUSIONES ............................................................................................................................

REFERENCIAS BIBLIOGRFICAS .............................................................................................

BIBLIOGRAFA ...............................................................................................................................


3/13

Trabajo colaborativo

2

Lgica matemtica


4/13

INTRODUCCIN

Los temas contemplados en esta unidad, darn una mayor integracin a nuestro curso en este caso trataremos

lo concerniente a lgica proporcional, tablas de verdad tautologas, contradicciones entre otros. A travs de

ejercicios problemas a los cuales se dar solucin usando la temtica antes mencionada, por otra parte se

representa simblicamente los conectivos lgicos y sus variables, se realiza una tabla de verdad por cada

razonamiento identificando la validez de dicho razonamiento, y si es una contingencia ( conectivo principal

tiene valores de verdad y falso a la ves) una tautologa (conectivo principal tiene solamente valores de verdad)

o una contradiccin (conectivo principal tiene solamente valores de falso), por ltimo se identifica el silogismo

de unas proposiciones categricas representndose por medio de un diagrama de ven.


5/13

1.

a.Si viene en autobs, llegar antes de las doce. Si viene en motocicleta, llegar antes de las doce. Luego, tanto

si viene en autobs como si viene en motocicleta, llegar antes de las doce.

P1 P2 conclusin[( (p q) (r q) ) (p v r) ]q

p = viene en autobs= si,q = llegar antes de las docer = viene en motocicleta= Luego, tanto

TABLA DE VERDAD EJERCICIO (1.a)

p q r [( (p q) (r q) ) (p r) ] qv v v v v v v v v v v v v v v vv v f v v v v f v v v v v f v vv f v v f f f v f f v v v v f fv f f v f f f f v f v v v f v ff v v f v v v v v v v f v v v vf v f f v v v f v v v f f f v vf f v f v f f v f f v f v v f ff f f f v f v f v f v f f f v f

TAUTOLOGA

Es una tautologa ya que todos los valores de la conectiva principal son verdaderos son verdaderos


6/13

b. Si tuvieran que justificarse ciertas acciones por su relevante tradicin entonces, si estas acciones son inocuas

y respetan a todo ser vivo y al medio ambiente, no habra ninguna dificultad. Pero si las acciones son crueles o

no respetuosas con los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no

podramos considerarnos dignos de nuestro tiempo.

[p(qrs)(tq)(rs)(pw)]

p = tuvieran que justificarse ciertas acciones por su relevante tradicin= si.entoncesq = si estas acciones son inocuas = yr = respetan a todo ser vivos= al medio ambiente= si.,t = no habra ninguna dificultad = pero= or = no respetuosas con los seres vivientes = entoncesp = habra que dejar de justificarlosw = no podramos considerarnos dignos de nuestro tiempo

TABLA DE VERDAD EJERCICIO (1.b)

p q r s t w [p (q r s) (t q) (r s) (p w)]v v v v v v v v v v v v v f f f v f f v v v v f f fv v v v v f v v v v v v v f f f v f f v v v v f v vv v v v f v v v v v v v v v v v v v f v v v f f f fv v v v f f v v v v v v v v v v v v f v v v v f v vv v v f v v v f v f v f f v f f v f f v v f f f f f

v v v f v f v f v f v f f v f f v f f v v f v f v vv v v f f v v f v f v f f v v v v v f v v f f f f fv v v f f f v f v f v f f v v v v v f v v f v f v vv v f v v v v f v f f f v v f f v f f f v v f f f fv v f v v f v f v f f f v v f f v f f f v v v f v vv v f v f v v f v f f f v v v v v v f f v v f f f fv v f v f f v f v f f f v v v v v v f f v v v f v v


7/13

v v f f v v v f v f f f f v f f v v v f f f f f f fv v f f v f v f v f f f f v f f v v v f f f v f v vv v f f f v v f v f f f f v v v v v v f f f f f f fv v f f f f v f v f f f f v v v v v v f f f v f v vv f v v v v v f f f v v v v f f f f f v v v f f f fv f v v v f v f f f v v v v f f f f f v v v v f v v

v f v v f vv

f f f v v v v v f f f f v v v f f f fv f v v f f v f f f v v v v v f f f f v v v v f v vv f v f v v v f f f v f f v f f f f f v v f f f f fv f v f v f v f f f v f f v f f f f f v v f v f v vv f v f f v v f f f v f f v v f f f f v v f f f f fv f v f f f v f f f v f f v v f f f f v v f v f v vv f f v v v v f f f f f v v f f f f f f v v f f f fv f f v v f v f f f f f v v f f f f f f v v v f v vv f f v f v v f f f f f v v v f f f f f v v f f f fv f f v f f v f f f f f v v v f f f f f v v v f v vv f f f v v v f f f f f f v f f f v v f f f f f f f

v f f f v f v f f f f f f v f f f v v f f f v f v vv f f f f v v f f f f f f v v f f v v f f f f f f fv f f f f f v f f f f f f v v f f v v f f f v f v vf v v v v v v v f v f v f f f v f f v v v v v v ff v v v v f v v f v f v f f f v f f v v v v v v vf v v v f v v v f v f v v v v v v f v v v v v v ff v v v f f v v f v f v v v v v v f v v v v v v vf v v f v v v v f v f f f f f v f f v v f v v v ff v v f v f v v f v f f f f f v f f v v f v v v vf v v f f v v v f v f f v v v v v f v v f v v v ff v v f f f v v f v f f v v v v v f v v f v v v v

f v f v v v v v f f f v f f f v f f f v v v v v ff v f v v f v v f f f v f f f v f f f v v v v v vf v f v f v v v f f f v v v v v v f f v v v v v ff v f v f f v v f f f v v v v v v f f v v v v v vf v f f v v v v f f f f v f f v v v f f f v v v ff v f f v f v v f f f f v f f v v v f f f v v v vf v f f f v v v f f f f v v v v v v f f f v v v ff v f f f f v v f f f f v v v v v v f f f v v v vf f v v v v v f f v v v f f f f f f v v v v v v ff f v v v f v f f v v v f f f f f f v v v v v v v

f f v v f v v f f v v v f v f f f f v v v v v v ff f v v f f v f f v v v f v f f f f v v v v v v vf f v f v v v f f v f f f f f f f f v v f v v v ff f v f v f v f f v f f f f f f f f v v f v v v vf f v f f v v f f v f f f v f f f f v v f v v v ff f v f f f v f f v f f f v f f f f v v f v v v vf f f v v v v f f f f v f f f f f f f v v v v v ff f f v v f v f f f f v f f f f f f f v v v v v vf f f v f v v f f f f v f v f f f f f v v v v v ff f f v f f v f f f f v f v f f f f f v v v v v v


8/13

f f f f v v f v f f f f f v f f f v v f f f v v v ff f f f v f f v f f f f f v f f f v v f f f v v v vf f f f f v f v f f f f f v v f f v v f f f v v v ff f f f f f f v f f f f f v v f f v v f f f v v v v

CONTINGENCIA

En este caso puedo afirmar que es una contingencia ya que en los valores de la conectivaprincipal hay valores diferentes

c. Si tu lder se enoja, te quedas estupefacto del susto; y si te quedas estupefacto del susto, entonces no

puedessino apelar a su bondad y as no ser sancionado. Por lo tanto, si tu lder se enoja, tendrs que apelar asu bondad

o sers sancionado.

P1 P2 conclusin[((p q) (q r s) )(p r s)]

p = tu lder se enoja= si,

q = te quedas estupefacto delsusto= entonces

r = no puedes sino apelar a subondad

= ys = no sersancionado= Porlo tanto= o

TABLA DE VERDAD EJERCICIO (1.c)

p q r S [((p q) (q r s)) (p r v s)]v v v v v v v f v f f f f v v v v v vv v v f v v v f v f f f v v v v v v fv v f v v v v f v f v f f v v v f v vv v f f v v v v v v v v v f v f f f fv f v v v f f f f v f f f v v v v v v

v f v f v f f f f v f f v v v v v v f


9/13

v f f v v f f f f v v f f v v v f v vv f f f v f f f f v v v v v v f f f ff v v v f v v f v f f f f v f v v v vf v v f f v v f v f f f v v f v v v ff v f v f v v f v f v f f v f v f v vf v f f f v v v v v v v v f f f f f ff f v v f v f v f v f f f v f v v v v

f f v f f v f v f v f f v v f v v v ff f f v f v f v f v v f f v f v f v vf f f f f v f v f v v v v v f v f f f

CONTINGENCIA

En este caso puedo afirmar que es una contingencia ya que en los valores de la conectiva principalhay valores diferentes, aqu vemos dos falsos y el resto son verdaderos

2.Si usted es autosuficiente entonces sus acciones no estn determinadas por eventos previos. En estas

circunstancias, sus acciones no son predecibles y no es posible anticipar las consecuencias de ellas. En

Consecuencia, si usted es autosuficiente, las consecuencias de sus acciones no se pueden anticipar.

P1 P2 conclusion

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

p= usted es autosuficiente= entoncesq= sus acciones no estn determinadas por eventos previos= En estas circunstanciasr= sus acciones no sonpredecibles

= ys= no es posible anticipar las consecuencias de

ellas= En consecuencia


10/13

TAUTOLOGIA TABLA DE VERDAD EJERCICIO (2)

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

v v v v v f f v f f f v v f fv v v f v f f v f f v v v v v

v v f v v f f v v f f v v f fv v f f v f f v v v v v v v vv f v v v v v f f f f v v f fv f v f v v v f f f v v v v vv f f v v v v f v f f v v f fv f f f v v v v v v v v v v vf v v v f v f f f f f v f f ff v v f f v f f f f v v f v vf v f v f v f f v f f v f v ff v f f f v f v v v v v f v vf f v v f v v f f f f v f v ff f v f f v v f f f v v f v v

f f f v f v v f v f f v f v f

f f f f f v v v v v v v f v v

TAUTOLOGA

Es una tautologa ya que todos los valores de la conectiva principal son verdaderos son verdaderos


11/13

3. SILOGISMO, PREPOSICIONES CATEGRICAS DIAGRAMAS DE VENN

Ningn ser aptico es ambicioso. Porque es un hecho que ninguno de ellos es cientfico y tambin es un hecho

que todo cientfico es ambicioso

p(q r)

p = Ningn ser aptico es ambicioso Premisa mayorq = es un hecho que ninguno de ellos es cientfico Premisa menor = y

r =todo cientfico es ambicioso

La conclusin

Universal negativaContrariasNingn P es S

Universal negativaContrariasNingn P es S

Universal afirmativaContrariasTodo P es S


12/13

CONCLUSIONES

Al finalizar este actividad comprobamos, la veracidad de cada una de las temticas estudiadas, dando como,resultado la resolucin de los ejercicios planteados en este trabajo, adems concluimos que un razonamiento sepuede hallar mediante una tabla de verdad por ende se respeta los valores de la variable y hay buena relacincon los valores de los conectivos lgicos.


13/13

BIBLIOGRAFA

(2014). MODULO LOGICA MATEMATICA. BOGOTA.

(2010). MODULO LOGICA PROPOSICIONAL.

HAMILTON, A. G. (1981). LOGICA PARA MATEMATICOS. PARANINGO.

BADESA, C.; JANE, I.; JANSANA, R. (1998). ELEMENTOS DE LOGICA FORMAL. ARIEL.

trabajo colaborativo2_grupo105.pdf

Documents