.UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENERIA

.TUTOR.
.MANUEL ANTONIO RAMOS.

.CERES.
.EL BORDO CAUCA.
MAYO 2012

INTRODUCCIN
El presente trabajo tiene como objetivo la solucin de los ejercicios propuestos
correspondientes a la gua del trabajo grupal 2, en este trabajo se aplicaran las
leyes de inferencia y los diferentes tipos, para demostrarlas, utilizando las
herramientas necesarias y fundamentales para el desarrollo de la actividad.
Tambin encontraremos los razonamientos lgicos y conoceremos como
demostrar la validez de un razonamiento lgico.

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:
en

Si nos gusta que existan mdicos, entonces queremos vivir

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

Fase 1.
N
o.

Proposicin

La
proposic
in es

VoF
F

El enunciado de Juan es un
enunciado cientfico

El enunciado de Patricia es un
enunciado cientfico
El enunciado de Mara es una
proposicin lgica

El enunciado de Diego expresa una

conjuncin

De acuerdo con Freddy, si no nos

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

3
4
5

Justificacin
Porque para ser un enunciado cientfico
debe partir de dos proposiciones que pueden
ser Verdaderas o falsas.
Es una proposicin afirmativa que especifica
el concepto.
Porque las propensiones lgicas no parten de
una pregunta y en este caso nos afirmar si es
F o V.
No, porque de acuerdo a la frase se utiliza el
conectivo entonces () y este representa una
proposicin condicional.
Porque de las premisas son simples
enlazadas con la palabra entonces que
significa un condicional.

Porque es una proposicin disyuntiva

excluyente.

Porque es una proposicin equivalente que se

aplica en ambos sentidos.

Existen dos premisas que son verdaderas con

un condicional.

Son proposiciones negativas con un

condicional.

Porque son premisas verdaderas

equivalentes.

Fase 2) A continuacin, analiza la validez de la conclusin planteada por

Tania:

Podemos concluir que si respetamos las leyes de la comunidad,

entonces hacemos algo por la paz
Declaracin de proposiciones simples:
Premisas:
P respetamos las leyes de la comunidad.
Q hacemos algo por la paz.
Conclusin: PQ.
Forma lgica
1. PQ
2. P
__________
3. Q
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 respetamos las leyes de la comunidad.
Q hacemos algo por la paz.
~Q No hacemos algo por la paz
Conclusin: (P^ Q) ~Q

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

2:
la

(Evaluando si la conjuncin de las premisas implican

conclusin.)
2.2.2. Verificacin con simulador

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

P=respetamos las leyes de la comunidad.
Q=hacemos algo por la paz.
1. PQ
2. (P^Q)Q
P<=>Q
Fase 2.4: Por reduccin al absurdo:
P: PQ
P: Q
________
C: P.