1

232_TrabajoColaborativoTres

PARTICIPANTES
Gloria Lucia muoz
Cdigo: 34551419
Nory Edith Crdoba
Cdigo
Patricia Osorio Sarmiento
Cdigo: 20352771
Grupo2000611_232

Universidad Nacional Abierta y a Distancia UNAD

Programa: de PSICOLOGIA
Curso: Pensamiento Lgico y Matemtico

Popayn, Cauca 13 noviembre de 2015

* Ingeniera Delfina Reyes Tutora.

Tabla de contenido
INTRODUCCIN..................................................................................................................................3
OBJETIVOS..........................................................................................................................................4
General...........................................................................................................................................4
Especficos......................................................................................................................................4
SEGUNDO MOMENTO DE LA FASE GRUPAL........................................................................................5
Problema........................................................................................................................................5
APORTES INDIVIDUALES.....................................................................................................................7
Problema escogido por Gloria Luca Muoz:.................................................................................7
Problema escogido en el Aporte fase individualpor Nory Edith Crdoba.......................................9
Demostracin a partir de las tablas de verdad forma 1................................................................11
Demostracin a partir de las tablas de verdad forma 1................................................................13
1.1.1.

Verificacin con simulador............................................................................................20

Problema escogido en el Aporte Individual por Patricia Osorio Sarmiento.................................31

CONCLUSIONES................................................................................................................................33
Bibliografa.......................................................................................................................................34

INTRODUCCIN

El propsito de esta actividad consideramos que es,que logremos comprender y aplicar

adecuadamente los elementos de la teora general de conjuntos; en la solucin de
problemas. De tal forma que al leer el enunciado o problema; podamos interpretar,
relacionar y sacar adecuadamente las preposiciones, apliquemos las expresiones
matemticas adecuadas y tengamos una buena argumentacin. Y as poder hacer un
planteamiento acertado y desarrollar los problemas, utilizando las leyes de inferencia
lgica, por induccin y deduccin y hacer demostraciones de razonamiento valido.

OBJETIVOS

General
Conocer y manejar las reglas de la lgica proposicional y las leyes de la inferencia
estadstica

Especficos

Estudiar las reglas de la lgica proposicional

Conocer las leyes de la inferencia estadstica
Poner en prctica mediante el aprendizaje basados en problemas

SEGUNDO MOMENTO DE LA FASE GRUPAL

Problema
El Director del Curso de Pensamiento Lgico y Matemtico de la Universidad UNAD es el
encargado de muchas de las labores ms importantes. Si es as, entonces ser Director de
Curso es un cargo difcil de manejar. Los estudiantes dicen que, o los Directores de Curso
son personas de las que depende el funcionamiento curricular de la Universidad, o que slo
se dedican a aprobar y reprobar a los estudiantes. Pero si ellos slo se dedican a aprobar y
reprobar a los estudiantes, entonces ser Director de Curso no es un cargo difcil de manejar.
Adems, si la Direccin de Curso Acadmico no es un cargo que slo quienes se han
preparado para ello lo merecen, entonces sera falso que los estudiantes digan que los
Directores de Curso son personas de las que depende la Universidad y que el Director de
Curso es el encargado de muchas de las labores ms importantes. Por lo tanto, la Direccin
de Curso Acadmico es un cargo que slo quienes se han preparado para ello lo merecen.
Planteamiento y solucin:
Proposiciones
p: El Director del Curso de Pensamiento Lgico y Matemtico, es el encargado de muchas
de las labores ms importantes.
q: Ser director de curso es un cargo difcil de manejar.
r: los directores de curso son personas de las que depende el funcionamiento curricular de
la universidad
s: Los directores de curso son dedicadas a aprobar o reprobar estudiantes
m: Los directores de cursos acadmicos es un cargo que slo quienes se han preparado
para ello lo merecen.
Las organizo en premisas de la siguiente manera:
P1:

pq

P2:

rvs

P3:

s ~q

P4:

~m (~r ^p)

la conclusin es m
Laexpresinquedara de la siguiente manera:
(pq) ^ (r v s) ^ (s~q) ^ [~m( ~r ^ p)] m
Aqu anexo la tabla que medio el simulador.

Truth Table
p

(pq)(rVs)(s q)[m( rp)]m

expresin is a tautology
APORTES INDIVIDUALES

Problema escogido por Gloria Luca Muoz:

Seleccionar uno de los siguientes enunciados y a travs de las dos formas bsicas de
uso de las Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la validez o
no validez del argumento dado.
Estudiar en la modalidad a Distancia en la UNAD es una metodologa educativa que
realmente forma profesionales competentes, pues se debe ser muy disciplinado con los
hbitos de estudio adquiridos para cumplir con las actividades acadmicas, pero con la
ventaja de que al usar las tecnologas facilita la comunicacin entre los diferentes
protagonistas del proceso de formacin acadmico. Carolina se ha esforzado por mantener
un slido hbito de estudio, pero hay momentos en que el cansancio la vence, el siguiente
relato es algo que le ocurri un da: Si me mandas la gua de actividades por mensajera
interna del curso, entonces terminar de realizar las demostraciones. Si no me mandas la
gua de actividades por mensajera interna, me ir a la cama temprano. Y si me voy a la
cama temprano, me levantar descansada. Por lo tanto, si no acabo de realizar las
demostraciones, me levantar descansada.
Solucin
Primera Forma
Si me mandas la gua de actividades por mensajera interna del curso, entonces terminar
de realizar las demostraciones. Si nome mandas un la gua de actividades por mensajera
interna, me ir a la cama temprano. Y si me voy a la cama temprano, me levantar
descansada. Por lo tanto, si noacabo de realizar las demostraciones, me levantar
descansada.

Vamos a demostrar la validez del argumento, la estructura que hago corresponde a un

razonamiento deductivo. Tengo las siguientes preposiciones:
p: Si me mandas la gua de actividades por mensajera interna del curso.
q: terminar de realizar las demostraciones.
t: si me voy a la cama temprano.
m: me levantar descansada.
Las premisas quedaran as:
P1: p q
P2: ~p t
P3: t s
La conclusin seria
Q = q m
[(p q) (p t) (tm)] [ (q m)].

Al pasar esta expresin por el simulador truth me muestra esta tabla

Problema escogido en el Aporte fase individualpor Nory Edith Crdoba

1. Hoy es mircoles y se cierra la actividad del trabajo colaborativo del curso
Pensamiento Lgico y Matemtico, Daniela se encuentra angustiada porque
desarroll el ejercicio en su cuaderno y no lo encuentra y debe digitarlo para subirlo
al Foro de Interaccin y Produccin. Daniela se hace la siguiente reflexin mental
para poder recordar donde est su cuaderno: Si el cuaderno est en la mesa de la
cocina lo habra visto al desayunar. Le el mdulo en la sala o en la cocina. Si le el
mdulo en la sala entonces est sobre la mesa de centro. No vi el cuaderno al
desayunar. Si utilic el porttil en la cama entonces el cuaderno est en la mesa de

10

noche. Si le el mdulo en la cocina entonces el cuaderno est sobre la mesa de la

cocina. Por lo tanto, el cuaderno est en la mesa de noche.
Proposiciones
Premisa 1: El cuaderno esta encima de la mesa de cocina
Premisa 2: Visto al desayunar
Premisa 3: Le el modulo en la sala
Premisa 4: Le el modulo en la cocina
Premisa 5: Mesa del centro
Premisa 6: Utilice el porttil en la cama
Premisa 7: Mesa de noche
Simblico
P = El cuaderno esta encima de la mesa de cocina
q = Visto al desayunar
r = Le el modulo en la sala
s = Lei el modulo en la cocina
t = Mesa del centro
u = Utilice el porttil en la cama
v = Mesa de noche
Escribir las premisas en lenguaje simblico.

p q

rvs
r t

11

uv

sp
v

Conclusin en lenguaje simblico.

p q
rvs

r t
q

uv
sp

v
uv

Demostracin a partir de las tablas de verdad forma 1 :

(Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa)
7

2 =128

Tercer Aporte Individual:

Seleccionar uno de los siguientes enunciados y a travs de las dos formas bsicas de uso de
las Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la validez o no validez
del argumento dado (slo selecciona uno e informa en el foro cual escogi, para que no sea
escogido por otro integrante), los enunciados son:

12

1. Hoy es mircoles y se cierra la actividad del trabajo colaborativo del curso

Pensamiento Lgico y Matemtico, Daniela se encuentra angustiada porque
desarroll el ejercicio en su cuaderno y no lo encuentra y debe digitarlo para subirlo
al Foro de Interaccin y Produccin. Daniela se hace la siguiente reflexin mental
para poder recordar donde est su cuaderno: Si el cuaderno est en la mesa de la
cocina lo habra visto al desayunar. Le el mdulo en la sala o en la cocina. Si le el
mdulo en la sala entonces est sobre la mesa de centro. No vi el cuaderno al
desayunar. Si utilic el porttil en la cama entonces el cuaderno est en la mesa de
noche. Si le el mdulo en la cocina entonces el cuaderno est sobre la mesa de la
cocina. Por lo tanto, el cuaderno est en la mesa de noche.
Proposiciones
Premisa 1: El cuaderno esta encima de la mesa de cocina
Premisa 2: Visto al desayunar
Premisa 3: Le el modulo en la sala
Premisa 4: Le el modulo en la cocina
Premisa 5: Mesa del centro
Premisa 6: Utilice el porttil en la cama
Premisa 7: Mesa de noche
Simblico
P = El cuaderno esta encima de la mesa de cocina
q = Visto al desayunar
r = Le el modulo en la sala
s =Le el modulo en la cocina
t = Mesa del centro
u = Utilice el porttil en la cama
v = Mesa de noche

13
Escribir las premisas en lenguaje simblico.

p q

rvs
r t

q
uv

sp
v

Conclusin en lenguaje simblico.

p q
rvs

r t
q

uv
sp

v
uv

Demostracin a partir de las tablas de verdad forma 1 :

14
(Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa)

27=128

Preposiciones simples
p
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

q
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

t
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f

u
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f

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

p1
p>q
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

p2
rv
s
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

p3 p4
no
r>t q
v f
v f
v f
v f
f
f
f
f
f
f
f
f
v f
v f
v f
v f
f
f
f
f
f
f
f
f
v f
v f
v f
v f
v f
v f
v f
v f
v f
v f
v f
v f
v f
v f
v f
v f

p5

p6

p7 p8

u>v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v

s>p
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

u>v
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

15
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

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

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

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

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

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

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

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

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

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

16
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

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

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

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

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

17
f
f
f
f
f
f
f
f
f
f

f
f
f
f
f
f
f
f
f
f

f
f
f
f
f
f
f
f
f
f

v
v
f
f
f
f
f
f
f
f

f
f
v
v
v
v
f
f
f
f

f
f
v
v
f
f
v
v
f
f

v
f
v
f
v
f
v
f
v
f

v
v
v
v
v
v
v
v
v
v

v
v
v
f
f
f
f
f
f
f

v
v
v
v
v
v
v
v
v
v

v
v
v
v
v
v
v
v
v
v

v
v
v
f
v
v
v
f
v
v

f
f
v
v
v
v
v
v
v
v

v
f
v
f
v
f
v
f
v
f

v
f
v
f
v
f
v
f
v
f

Como podemos observar en la tabla no hay ningn caso en el que las premisas sean
verdaderas y la conclusin falsa.

Seguimos comprobando
Preposiciones simples
p
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

q
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

t
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f

u
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v

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

p1
p>q
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

p2
rv
s
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

p3 p4
no
r>t q
v f
v f
v f
v f
f
f
f
f
f
f
f
f
v f
v f
v f
v f
f
f
f
f
f
f
f
f
v f
v f
v f
v f
v f

p5

p6

p7 p8
u>
u>v s>p v v
v
v
v v
f
v
f v
v
v
v v
v
v
f v
v
v
v v
f
v
f v
v
v
v v
v
v
f v
v
v
v v
f
v
f v
v
v
v v
v
v
f v
v
v
v v
f
v
f v
v
v
v v
v
v
f v
v
v
v v
f
v
f v
v
v
v v
v
v
f v
v
v
v v

18
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

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

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

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

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

19
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

20
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

Resolviendo la tabla con la conjuncin por cada premisa nos damos cuenta que como
conclusin tenemos una Tautologa lo cual quiere decir que la conjuncin implica la
conclusin y el razonamiento es vlido.

1.1.1.

Verificacin con simulador

Para la simulacin se utilizara una excelente herramienta que se encuentra en lnea es de

acceso pblico lo encontraran en el siguiente link:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Cdigo a ingresar:
equivalente a

(( p> q)(r +s )(r > t)( q)(u> v)(s > p)v )>(u >v )

( ( p q ) ( r v s ) ( r t ) ( q ) ( u v ) ( s p ) v ) (u v)

21

22

23

24

Resolviendo la tabla con la conjuncin por cada premisa nos damos cuenta que como
conclusin tenemos una Tautologa lo cual quiere decir que la conjuncin implica la
conclusin y el razonamiento es vlido.

p q
rvs

r t

25

uv
sp

v
Conclusin en lenguaje simblico.
p q

rvs
r t

q
uv

sp
v
uv
v
v
v
v
v
v
v
v
v
v
v
v
v
v

v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

26
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f

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

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

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

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

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

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

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

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

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

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

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

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

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

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

27
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

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

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

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

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

28
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

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

Como podemos observar en la tabla no hay ningn caso en el que las premisas sean
verdaderas y la conclusin falsa.

Seguimos comprobando
Preposiciones simples
p
v
v
v
v
v
v
v
v
v
v
v
v

q
v
v
v
v
v
v
v
v
v
v
v
v

r
v
v
v
v
v
v
v
v
v
v
v
v

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

t
v
v
v
v
f
f
f
f
v
v
v
v

u
v
v
f
f
v
v
f
f
v
v
f
f

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

p1
p>q
v
v
v
v
v
v
v
v
v
v
v
v

p2
rv
s
v
v
v
v
v
v
v
v
v
v
v
v

p3 p4
no
r>t q
v f
v f
v f
v f
f
f
f
f
f
f
f
f
v f
v f
v f
v f

p5

p6

p7 p8
u>
u>v s>p v v
v
v
v v
f
v
f v
v
v
v v
v
v
f v
v
v
v v
f
v
f v
v
v
v v
v
v
f v
v
v
v v
f
v
f v
v
v
v v
v
v
f v

29
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

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

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

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

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

30
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

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

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

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

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

31
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

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

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

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

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

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

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

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

Resolviendo la tabla con la conjuncin por cada premisa nos damos cuenta que como
conclusin tenemos una Tautologa lo cual quiere decir que la conjuncin implica la
conclusin y el razonamiento es vlido.

32

Problema escogido en el Aporte Individual por Patricia Osorio

Sarmiento
Si Rosa participa en el E-Portafolio despus de la fecha mxima de la entrega de aportes
entonces los compaeros de grupo se enojan con ella. Y si no participa en el E-Portafolio, el
tutor le asigna la ms baja nota. Pero, Rosa participa en el E-Portafolio o no participa. Por lo
tanto, los compaeros de grupo colaborativo se enojan con ella o el tutor le asigna una mala
nota.
SILOGISMO DISYUNTIVO:

p q si rosa paricipa tarde entonces los compaeros se enojan

p r S i rosa no paricipa entonces se saca baja nota
p p rosa participatarde no participa
r q rosa se saca baja nota loscompaeros se enojan

PREPOSICIONES SIMPLES

p=Rosa participa tarde

q=compaeros se enojan
r=Nota baja

p=rosa n o participa
PREMISAS
Premisa 1:

p q=sirosa paricipa tarde entonces los compaeros se enojan

33
Premisa 2:

p r=si rosa no paricipa entonces se saca baja nota

CONCLUSIN

r q=rosa se sacabaja nota los compaeros se enojan

DEMOSTRACIN EN LA TABLA DE VERDAD
Por lo tanto:

[( p q) ( p r )] r q
La evaluamos con la tabla de verdad:
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

-p

(pq)

(-pr)

F
F
F
F
V
V
V
V

V
V
F
F
V
V
V
V

V
V
V
V
V
F
V
F

(pq) (pr)
V
V
F
F
V
F
V
F

rq
V
V
V
F
V
V
V
F

[(pq) (-pr)]( rq)

V
V
V
V
V
V
V
V

Respuesta: las preposiciones son evidentemente verdaderas, es decir, el razonamiento es vlido,

pues la tabla de verdad arroja una tautologa.

DEMOSTRACIN POR LEYES DE INFERENCIA

p q si rosa paricipa tarde entonces los compaeros se enojan

p r S i rosa no paricip a entonces se saca baja nota
p p rosa participatarde no participa
r q rosa se saca baja nota loscompaeros se enojan
p q [1]

34

p r [ 2]

p p [3]
r q Ds [1,2,3]

CONCLUSIONES
Hemos tenido la oportunidad de formular soluciones y planteamientos a los problemas
propuestos mediante la aplicacin de tablas de verdad como el simulador y las reglas de
inferencia y demostraciones.
Podemos afianzar nuestros conocimientos de una manera clara identificando la estructura
como hacemos los planteamientos y aplicamos las reglas de inferencia, deducciones e
inducciones y demostraciones donde concluimos que los racionamientos son vlidos o
no.

35

Bibliografa
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

https://www.youtube.com/watch?v=OuHYh1Xw5no
http://campus.cva.itesm.mx/nazira/Tc1003/PDF/Apuntes/0201Tc1003_Logica_Matematica.
pdfTablas de verdad: https://www.youtube.com/watch?v=kANelfBRR9Y
https://www.youtube.com/watch?v=jNhmDvHs3I4 Validez de un razonamiento
http://es.slideshare.net/juandiazhidalgo/tema-3-la-argumentacin Proposiciones Categricas:
http://es.slideshare.net/rafael.mora/reglas-para-cuantificadores