UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera

Lgica Matemtica
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA
Trabajo individual No.2

Presentado:

Hctor Javier Hoyos Hernndez

Cdigo: 10567496

Tutor:
Omar Leonardo Leyton

La sierra Cauca
Mayo de 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica
Problema de aplicacin
Los razonamientos lgicos que hemos estudiado se encuentran presentes 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:
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:
gusta

Si nos gusta que existan personas que hagan ropa, entonces nos
vivir en comunidad.

Freddy:

Si nos gusta que existan mdicos, entonces nos gusta 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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica
Fase 1) A continuacin se presentan 10 proposiciones lgicas, se debe registrar el
valor de verdad de cada proposicin y su correspondiente justificacin:

No.

Proposicin

La
proposicin
es
VoF

El enunciado de Juan es un enunciado

cientfico

Porque esto en ciencias sociales es un

enunciado particular afirmativo.

El enunciado de Patricia es un
enunciado cientfico

Porque en ciencias sociales es un

enunciado universal afirmativo.

El enunciado de Mara es una

proposicin lgica

Porque es un enunciado en
interrogante al cual no se le puede
dar valor de falso o verdadero

El enunciado de Diego expresa una

conjuncin

De acuerdo con Freddy, si no nos

5 gusta vivir en comunidad, entonces no
nos gusta que existan mdicos.
De acuerdo con Ana, si no queremos
6 vivir en comunidad, entonces no
hacemos algo por la paz
De acuerdo con Jorge, Si respetemos
7 las leyes de la comunidad, entonces
nos gusta vivir en comunidad.
De acuerdo con Freddy, Si nos gusta
8 vivir en comunidad, nos gusta que
existan mdicos.
De acuerdo con Jorge, Si no nos gusta
9 vivir en comunidad, entonces no
respetamos la ley.
De acuerdo con Ana, si hacemos algo
10 por la paz,
queremos vivir en
comunidad

Justificacin

Porque expresa un condicional

Porque es una implicacin contra
reciproca
Porque es una implicacin reciproca

V
Porque es una implicacin reciproca

V
Porque es una implicacin reciproca

V
Porque es una implicacin contraria

V
Porque es una implicacin contraria

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica
Fase 2) A continuacin, analiza la validez de la conclusin planteada por
Tania:

Tania:
podemos concluir que si respetamos las leyes de la
comunidad,
entonces hacemos algo por la paz
Declaracin de proposiciones simples:
P: Nos gusta vivir en comunidad
Q: Respetar las leyes de la comunidad
R: Hacer algo por la paz
Premisas:
Premisa 1: p
Premisa 2: p q
Premisa 3: r
Conclusin: p r
Demostraciones:
Fase 2.1: Demostracin a partir de las tablas de verdad
Forma 1:
P

F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

PREMISA
1
F
F
F
F
V
V
V
V

PREMISA
2
V
V
V
V
F
F
V
V

PREMISA
CONCLUSION
3
F
V
V
V
F
V
V
V
F
F
V
V
F
F
V
V

No existe el caso en que las premisas sean verdaderas y la conclusin sea

falsa, por lo tanto el razonamiento es vlido.

Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad

Forma 2:
P Q R

PREMIS
A1

PREMIS
A2

PREMIS
A3

P1^P2^P
3

CONCLUSIO
N

P1^P2^P3CO
NCLUSION

F F F

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica
F
F
F
V
V
V
V

F
V
V
F
F
V
V

V
F
V
F
V
F
V

F
F
F
V
V
V
V

V
V
V
F
F
V
V

V
F
V
F
V
F
V

F
F
F
F
F
F
V

V
V
V
F
V
F
V

V
V
V
V
V
V
V

Se obtiene una tautologa, demostrando que la conjuncin de las premisas

implican la conclusin y por lo tanto el razonamiento es vlido.

2.2.2. Verificacin con simulador

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica
Fase 2.3: Demostracin a partir de las leyes de inferencia
Premisa 1: p
Premisa 2: p q
Premisa 3: r
Conclusin: p r
Premisa 5: q
Premisa 6: pr

1,2 MPP
5,3 S.D

En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo

tanto el razonamiento es vlido.
Fase 2.4: Por reduccin al absurdo
Suponemos que es posible que las premisas sean verdaderas y la conclusin
falsa:
Si es posible entonces el razonamiento NO es vlido.
Premisa 1: p
Premisa 2: p q
Premisa 3: r

V
V
V

Conclusin: p r

Si la conclusin es Falsa entonces P es Verdadera lo que verifica la premisa 1, y r es

Falsa lo que negara la premisa 3, y para que la premisa 2 sea Verdadera con p
Verdadera, q debe ser verdadera.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica
CONCLUSIONES:
Al elaborar este trabajo se logro aprender a elaborar las reglas de inferencia y
utilizarlas para justificar la validez de un argumento lgico.
Se logro definir y aplicar las reglas de inferencia para argumentos cuyas premisas
y conclusiones estn formadas por proposiciones no cuantificadas.