LGICA SIMBLICA

Nombre: Lic. Genaro Zorrilla MsC. Telfono: 809-804-8695 celular Web site: www.edicioneszorrilla.com.do ediciones zorrilla/facebook edicioneszorrilla@gmail.com edicioneszorrilla@hotmail.com www.edicioneszorrilla.com.do Twitter:@EdicionZorrilla
04/06/13 edicioneszorrilla@hotmail.com

ESTE MATERIAL FUE CREADO POR EDICIONES ZORRILLA S.R.L. PARA QUE LOS ESTUDIANTES PUEDAN PRACTICAR Y SOBRE TODOS PODER EVALUARSE. PRIMERAMENTE DEBEN DE HACER CADA UNO DE LOS EJERCICIOS Y PODER LA RESPUESTA CORRECTA.
04/06/13 www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

04/06/13

www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

Dada las siguientes p= Melody cumple con sus proposiciones

ducir literalmente las siguientes proposicione

obligaciones q= Melody aprueba el examen r= Melody se va de vacaciones. s= Melody trabaja. t= Melody no come

p ~ [q (~ r s )]
www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

Las excusas son los clavos que se utilizan para construir un edificio de fracasos. Don Wilder
04/06/13

Realizamos pasa a paso la traduccin, vamos a comenzar desde el operador mas interno, hasta el mas externo de proposicin.

(~ r s ) Melody no se va de vacaciones o [ q (~ r strabaja. )] Si Melody aprueba el examen,

Para esto, comenzamos con la proposicin que esta entre parntesis: p ~ q (~ r s )

entonces no se va de vacaciones o ~ [ q (~ r s )] trabaja. No es verdad que, Si Melody aprueba el

examen, entonces no se va de vacaciones o cumple trabaja. con sus Si Melody p ~ [ q (~ r s )] obligaciones, no es verdad que, aprueba el examen, entonces no se www.edicioneszorrilla.com.do 04/06/13 va de vacaciones o trabaja. edicioneszorrilla@hotmail.com

Dada las siguientes p= Melody cumple con sus proposiciones

ducir literalmente las siguientes proposicione

obligaciones q= Melody aprueba el examen r= Melody se va de vacaciones. s= Melody trabaja. t= Melody no come

www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

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

Proverbios 1:7 El principio de la sabidura es el temor de Jehov; Los insensatos desprecian la sabidura y la enseanza. Proverbios 1:8 Oye, hijo mo, la instruccin de tu padre, Y no desprecies la direccin de tu madre; 04/06/13 1: 9 Porque adorno de gracia ser n a tu cabeza, Y collares a tu cuello Proverbios

[q ~ (s ~ p)] [( r s ) ( s t )]
Iniciamos la traduccin con las proposiciones que se encuentran entre parntesis:

(s ~ p)

[ q ~ (s ~ p)]

Melody se va de vacaciones y trabaja ( s t ) Melody trabaja y no No es cierto que, Melody trabaja si y solo si no ~ (s ~ p) come cumple con sus obligaciones. Si Melody se va de vacaciones, entonces, trabaja y no come. Melody aprueba el examen; pero, no es cierto que, trabaja si y solo si no cumple con sus obligaciones. ; o, si Melody se va www.edicioneszorrilla.com.do de vacaciones, 04/06/13
edicioneszorrilla@hotmail.com

( r s)

Melody trabaja si y solo si no cumple con sus obligaciones.

( r s) ( s t )

Melody aprueba el examen; pero no es cierto que. Trabaja si y solo si no cumple con sus obligaciones.

Sean las proposiciones:

p: Hoy es jueves q: Tengo que dar un examen r: He estudiado s: Saldr mal del examen Entonces la traduccin al lenguaje forma de la proposicin: Hoy es jueves y tengo que dar un examen, pero si he estudiado entonces no saldr mal del examen, es:

a) ( r s) ( p q )

b) ( p q) ( r ~ s)

( p q) ( r ~ s ) d ) p q ) ( ~ r s ) Salmos 51:10 Crea en m, oh Dios, un corazn limpio, Y

c)
renueva un espritu recto dentro de m www.edicioneszorrilla.com.do
04/06/13 edicioneszorrilla@hotmail.com

proposicin Si tu eres inteligente y no actas con prudencia, eres un ignorante en la materia siendo las proposiciones: p= T eres inteligente

p (q r )

q= T actas con prudencia r= T eres un ignorante en la materi

( p ~ (q ~ r )

Juan 1:12 Ms a todos los que le recibieron, a los que creen en su nombre, les dio potestad de ser hechos hijos de Dios www.edicioneszorrilla.com.do
;

( p ~ q ) r ( r (p ~ q )
04/06/13 edicioneszorrilla@hotmail.com

El argumento ser verdadero si todas las proposiciones de ste son verdaderas, de lo contrario, ser falso. Complete ( p q )
p 1 1 o 0 q 1 0 1 0

Conjuncin

( p q)
1 0 o 0
www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

04/06/13

1= verdadero

0= falso

El argumento ser verdadero si todas las proposiciones de ste son verdaderas, de lo contrario, ser falso. Complete (~ p q )
p 1 1 o 0 q 1 0 1 0

Conjuncin

~p
0 0 1 1
www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

(~ p q )
0 0 1 0

04/06/13

1= verdadero

0= falso

El argumento ser verdadero si todas las proposiciones de ste son verdaderas, de lo contrario, ser falso. Complete ( p ~ q )
p v v f f q v f v f

Conjuncin

~q
f v f v

( p ~ q)
f v v f

Juan 8: 32 y conoceris la verdad, y la verdad os www.edicioneszorrilla.com.do har libres 04/06/13 edicioneszorrilla@hotmail.com

Disyuncin:
Este operador solo es FALSO cuando las dos proposiciones son FALSAS, en otros casos, es VERDADERA.
Completa ( p q )
p
1

q
1

( p q )

1 1 0 1 0 1 1 0 0 0 siasts 11:4 El que al viento observa, no sembrar; que mira a las nubes, no segar
04/06/13 www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

Disyuncin:
Este operador solo es FALSO cuando las dos proposiciones son FALSAS, en otros casos, es VERDADERA.
Completa ( p ~ q )
p
1 1 0 0

q
1 0 1 1

~ q
0 1 0 1

( p ~ q )
1 1 0 1

Vivir sin Patria, es lo mismo que vivir sin Honor. (J. P. Duarte)
04/06/13 www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com

Disyuncin:
Este operador solo es FALSO cuando las dos proposiciones son FALSAS, en otros casos, es VERDADERA.
Completa ( ~ p q )
p
v v f f

q
v f v f

~ p
f f v v

(~

p q )
v f v v

Lo peor de la ingratitud es que siempre quiere tener razn (J. Benavente)

04/06/13 www.edicioneszorrilla.com.do edicioneszorrilla@hotmail.com