UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo colaborativo No.2

Presenta
Grupo 90004-289

Carmen Cecilia Arango Cifuentes. C.C. 51678458

Myriam Lpez Castaeda. C.C 51631879
Yaneth Rubio Pinilla C.C. 51.587.040

Tutor
Vivian Yaneth lvarez

Director de curso
Georffrey Acevedo Gonzlez

21 de mayo de 2012
Introduccin

El presente trabajo nos permite conocer y aprender sobre

razonamientos lgicos, inferencias lgicas y argumentos
inductivos, con el fin de manejar debidamente los postulados
de la lgica matemtica.

La aplicacin de los conceptos aprendidos son muy tiles

en el desarrollo de aplicativos de Psicometra, entender
conceptos de neuropsicologa y un sinnmero de aplicaciones
en la vida diaria.

En nuestro mundo cientfico y en nuestra vida cotidiana

nos enfrentamos a frases, enunciados podemos demostrar a
travs de teoremas o formulas lgicas que aunque complejas
nos permiten demostrar si un argumento es vlido o no.

Dentro de nuestra cotidianidad, acostumbramos a suponer

que el pensamiento de otra persona es incorrecto, sin llegar
a considerar siquiera si el problema se halla en realidad en
nuestro propio pensamiento. Como seres humanos, acostumbramos
a manifestar dentro de nuestros argumentos conclusiones
infalibles que obviamente tienen parte de lgica, pero que
con demasiada frecuencia nos llevan a presentar dentro de
nuestra cotidianidad argumentos equivocados.

Es por esta razn que en el presente trabajo, se trata

de mostrar Y desarrollar de la mejor manera posible, cmo
la lgica matemtica se encarga de argumentar y comprobar la
validez de los razonamientos y la argumentacin, a travs de
diversos mtodos, dentro de ellos nuestro tema de estudio:
RAZONAMIENTO INDUCTIVO Y DEDUCTIVO, a travs de la
elaboracin de cada una de las fases que este propone para su
elaboracin.

2
Problema de aplicacin

Los razonamientos lgicos que hemos estudiado, no son

exclusivos de los espacios acadmicos. Por el contrario,
hacemos uso de stos en el debate cotidiano de ideas. A
continuacin se propone un dilogo entre varios estudiantes
de la UNAD, debes analizar este dialogo para dar respuesta a
las fases 1 y 2:

Dilogo:

Juan: algunas personas pueden hacer algo por

la paz.

Patricia: No Juan. Todos podemos hacer algo por

la paz.

Ana: O hacemos algo por la paz o no

queremos vivir en comunidad.

Diego: Si nos gusta que existan personas que hagan

ropa, entonces nos gusta vivir en comunidad.

Freddy: Si nos gusta que existan mdicos, entonces

queremos vivir en comunidad.

Mara: A quin no le gusta vivir en comunidad?

Jorge: Si nos gusta vivir en comunidad, es

necesario que respetemos las leyes de la comunidad.

Tania: podemos concluir que si respetamos las

leyes de la comunidad, entonces hacemos algo por la
paz

3
Fase 1) A continuacin se presentan 10 proposiciones lgicas,
debes analizar el valor de verdad de cada proposicin y
registrar su valor. Tambin debes registrar la justificacin
de por qu se asign dicho valor.

La
No proposi Justificacin
Proposicin
. cin es
V o F
El enunciado de Juan es Es una Categora Afirmativa
1 V
un enunciado cientfico Particular
El enunciado de Patricia Es una Categora Afirmativa
2 es un enunciado V Universal
cientfico
Es una Proposicin Contingente. Es
El enunciado de Mara es
3 F decir no podemos afirmar que sea
una proposicin lgica
verdadera o falsa.
Posee un Conector Existencial, en
El enunciado de Diego
4 V donde uno o varios elementos
expresa una conjuncin
pueden cumplir la condicin.
p q (pq) (p q)
De acuerdo con Freddy,
si no nos gusta vivir en V V V V F F
5 comunidad, entonces no V V V
nos gusta que existan
mdicos. V

p q (p Vq) (p q)
De acuerdo con Ana, si
V F V V F F V
no queremos vivir en
6 V V V
comunidad, entonces no
hacemos algo por la paz
V
De acuerdo con Jorge, Si p q (pq) (qp)
respetemos las leyes de V V VV VV
7 la comunidad, entonces V V V
nos gusta vivir en
comunidad. V
p q (pq) (q p)
De acuerdo con Freddy,
V V VV V V
Si nos gusta vivir en
8 V V V
comunidad, nos gusta que
existan mdicos.
V
p q (pq) (p q)
De acuerdo con Jorge, Si
V V VV F F
no nos gusta vivir en
9 V V V
comunidad, entonces no
respetamos la ley.
V

4
Fase 2) A continuacin, usando como referencia el dilogo
propuesto, analiza la validez de la conclusin planteada por
Tania:

Declaracin de proposiciones simples:

Premisas:
p:Respetamos leyes de la comunidad
q: Hacemos algo por la paz
r: Respetamos
s: Hacemos

Premisas:
Premisa 1: p q
Premisa 2: pq
Premisa 3: r
Premisa 4: rs
Conclusin: s

Demostraciones:

Fase 2.1: Demostracin a partir de las tablas de verdad

forma 1 : (Evaluando la existe del caso en que las premisas
sean verdaderas y la conclusin sea falsa)

p q r s s pq rs CONCLUSIN

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

5
 Fase 2.2: 2.2.1. Demostracin a partir de las tablas de
verdad forma 2: (Evaluando si la conjuncin de las premisas
implican la conclusin.)

p q r s (p Vq) (pq) r rs CONCLUSIN

s
V V V V V V V V V
V V V F V V V F F
V V F V V V F V V
V V F F V V F V F
V F V V V F V V V
V F V F V F V F F
V F F V V F F V V
V F F F V F F V F
F V V V V V V V V
F V V F V V V F F
F V F V V V F V V
F V F F V V F V F
F F V V F V V V V
F F V F F V V F F
F F F V F V F V V
F F F F F V F V F

P Q

pq=0 qp=0

ningn p es q y ningn q es p

6
 2.2.2. Verificacin con simulador

(pvq)&((p>q)&(r>s)
Introduce aqu la frmula: [Borra la frmula] [Borra
todo]

s ( ( p v q ) & ( ( p > q ) & ( r > s

pqr

V V V V V V V V V V V
VVVV

V V V F V V V F V F F
VVVF

V V V V V V V V F V V
VVFV

V V V V V V V V F V F
VVFF

V V F F V F F F V V V
VFVV

V V F F V F F Fl V F F
VFVF

V V F F V F F F F V V
VFFV

V V F F V F F F F V F
VFFF

F V V V F V V V V V V
FVVV

F V V F F V V F V F F
FVVF

F V V V F V V V F V V
FVFV

F V V V F V V V F V F
FVFF

F F F F F V F V V V V
FFVV

F F F F F V F F V F F
FFVF

7
 F F F F F V F V F V V
FFFV

F F F F F V F V F V F
FFFF

Fase 2.3: Demostracin a partir de las leyes de inferencia:

A. Podemos concluir que si respetamos las leyes de la
comunidad entonces haremos algo por la paz.

Modus Ponens (M.P)

p:respetamos las leyes de la comunidad

F
q: entonces hacemos algo por la paz

Solucin:

[(pq) p] q

[(FV) V] V

[V V] V
VV
.
. . V
B. [(pq) q] p

[(FV) F] V

[V F] V

FV
.
. . V
C. [(p Vq) p] q V [(p Vq) q] p

[(F V V) V] V V [(F V V) F] F

[V V] V V [V F] F

V V V FF

8
 V V V

.
. . V

.
D. pq . . p (q p)
.
FV . . F (V F)
.
V . . F F
.
V . . V

V
Fase 2.4: Por reduccin al absurdo:

Para dar respuesta a esta fase, estim conveniente trabajar

por refutacin

En conclusin: Si respetamos
las leyes de la comunidad
entonces hacemos algo por la
paz

Si respetamos las leyes de la comunidad entonces hacemos algo

por la paz, y si no hacemos algo por la paz entonces no
respetamos las leyes de la comunidad.

[(pq) q] p

[(FV) F] V
[V F] V

F V

9
Conclusiones

Estudiar Lgica Matemtica requiere de toda nuestra

atencin para su aprendizaje, toda vez que una vez dominamos
su esencia, su aplicacin en la vida cotidiana ser muy
frecuente.

En alguno de nuestros roles como profesionales de

Psicologa, se hace imperativa la aplicacin de las leyes de
la Lgica, a fin de poder contribuir en el desarrollo de un
diagnstico acertado.

No ha sido fcil pero si de gran valor el tiempo que le

hemos tenido que dedicar al aprendizaje de la presente
materia.

La elaboracin del trabajo nos permiti adems de la

interaccin con el grupo colaborativo en lo que fortalece
nuestras competencias de trabajo en equipo y comunicacin.

Comprobamos y valoramos la gran importancia que tiene

los mtodos inductivo y deductivo dentro del
perfeccionamiento del pensamiento y la manera como estos
ayudan a construir razonamientos ms contundentes en el
momento de demostrar la verdad de las cosas.

10
Referencias Bibliograficas

ACEVEDO GONZLEZ G. (2011) Mdulo de Lgica Matemtica.

Universidad Nacional Abierta y a Distancia. Unad. Medelln.

MARQUINEZ ARGOTE G. & SANZ ANDRADOS J. .(1.998) Lgica

Universidad Santo Toms de Aquino. Facultad de Filosofa.
Bogot.

es.wikipedia.org/wiki

www.monografias.com

filosofia.org

11