CAPTULO

19
COMPETENCIAS

Identificar equivalencias e implicaciones notables.

Reconocer su utilidad en ejercicios expresados en lenguaje natural.

INTRODUCCIN Cmo reconocer dos proposiciones equivalentes? Cmo reconocer cuando una frmula implica a otra?

LECTURA

Te cuento que en una oportunidad un maestro entreg el mapa del mundo en trozos recortados de diferentes formas y tamaos para ser armado como un juego de rompecabezas a varios nios. En muy poco tiempo, uno de los nios arm el mapa y maestro sorprendido, le pregunt !T" ya conoc#as el mapa el del

SIS !"# $!%IC&I'#%

mundo, verdad%& el nio le dijo no me fij' en el mapa... detr(s del mapa )ab#a una figura de un ser )umano& yo arm' al ser )umano y qued armado r(pidamente el mundo. *a verdadera felicidad no depende de las cosas materiales que poseas, ni de lo que pienses, ni de lo que digas, ni
de lo que los dem(s te digan, sino simplemente de disfrutar sincera y amorosamente lo que )aces.

IMPLICACIN LGICA Relacin lgica que se obtiene de combinar una frmula # (antecedente) * una frmula + (consecuente), a trav-s de una condicional. Solo ser. implicacin lgica si la matri/ es tautolgica.
p q V V V FF V V (~ p ? q) F V V F V F V V V V F F F V V F F V V V ~ (~ p ? ~ q) V F F F

Ejemplo: 1 Sea
de Letras VII-C +Compendio ? ,p ?q
- ? , ., p ? , q/ , # implica a + si la matri/ da una tautolog0a.

Lgica

A? B

SIS !"# $!%IC&I'#%

0 0

1#SC2#% S#C& &%I3!R&S

Compendio de Letras VII-C Lgica

EQUIVALENCIA LGICA Relacin lgica que se obtiene de combinar 4 frmulas proposicionales a trav-s de una bicondicional * da como resultado una tautolog0a (aplic.ndose las tablas de verdad). Ejemplo 1:
Sea

+?p? q -? , p?q

A? B

, # es equivalente a + si la matri/ da una tautolog0a .

p q V V V FF V

(p V V V F F V

q) ? V F V

(~p?q)

F V V F F FV V V V V F

5ota 6

+? -?+

1ropiedad conmutativa

Ejemplo 2: Sea

+ ? .p ? q/ ? q

- ? ., p? , q/ ? , q

p q V V V F F

(p ? q) V V F V F V

q ? (~ p ? ~ q) ? ~ q V F V F V V F V V F V V

F V

Compendio de Letras VII-C Lgica

F V

!s un esquema condicional pero # no implica a +. Sea

+? p?
-?p ?q
(p? ~q)

q
?? ( p ? q ) V F V

p V VV FF V V F

F V F

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

# no es equivalente a + * viceversa. Slo se puede afirmar que es un !squema +icondicional.

PROPIEDADES DE LAS EQUIVALENCIAS

1. de 2dentidad 1. de 4ontradiccin 1. del Tercio E5cluido *eyes 4onmutativas

*eyes +sociativas

*eyes de 2dempotencia *ey de la 6oble 7egacin *eyes 6istributivas

p p ?(?p ???3 p)? ? ? p (p )? 3 3 p q q p ( p q ) (q p ) p q q p ( ( ? )) ( ( ? ) ) p q p q ( ) r ( r) p q p q ( ) r ( r) p q p q ? ? ? ? p p) r p ( ( r) ( ) ? ( ?p ) p ( ) p q r

p p (

p ) (
p p q q

) ( ) (

p p

) r
)

p p pp

r) (

r)
r)

*eyes de +bsorcin

*eyes de 8organ

q ) (p q) p ( r p q ( p q p q p ( ) ) ( r ( ) ( p p q p ( ) ?p q p p ( ) ? p q ?p ? q( ) ? p

*eyes de 2mplicacin .condiciona l/ *eyes de -icondicional *eyes de 6isyuncin 9uerte *eyes de Transposicin *eyes Transitivas *eyes +dicionales

q p qq ? ? p ? p (p q ? p q ? p ?q p?q p( q ) q

?p

) (

p p p (

q ?p ( ) ?p ?q q p q q( ) (p ) q ( )

p ?q

) (

q p

r) ( r ) d/ p
p c/

a/ p

9 3
3 b/ p

3
e/ p p

9 9
p

Pregunta desarro ada !" Cu.ndo una proposicin # equivale a una proposicin +? Sustentacin: 2na prpposicin # equivale a otra proposicin +, cuando de las dos proposiciones # * +, unidos por el bicondicional, da como resultado una relacin lgicamente verdadera. 1or ejemplo, se7ala las propociciones # * +. #8p?q +8q ?

!" !n qu- se diferencia una bicondicional * una equivalencia lgica? Sustentacin: !" 2na equivalencia lgica es6

9p

1ara determinar si :# equivale +;, vamos a proce< der relacionando las dos frmulas de acuerdo a la siguiente forma bicondicional6
#

%uego, sustitu*endo # * + por sus respectivas fr< mulas * aplicando las tablas de verdad, se obtiene6

p 3 3 3 == 3

(p ? q) 9p) 3

(q 3 3 3

33=

3 33 = = = =

= = 3 =3 3 = 3
3

!n este caso, podemos observar que (p?q) equi< vale a (q 9p) porque la relacin ? bicondicional entre las dos frmulas es lgicamente verdadera.
Pregunta #or desarro ar

#) 2na conjuntiva contingente. +) 2na condicional tautolgica. C) 2na bicondicional

tautolgica. ') 2na dis*untiva contradictoria. !) 2na conjuntiva contradictoria.

$" Si una bicondicional es contradictoria, entonces6 #) Slo es una bicondicional. +) Slo es una condicional. C) !s m.s que una bicondicional. ') !s una equivalencia lgica. !) !s una condicional lgica.

%" Cu.l ser0a la equivalencia de6 :Si vo* al colegio, entonces estudiar- bastante;. #) & vo* al colegio o estudio poco. +) Si no estudio bastante, entonces vo* al colegio. C) 3o* al colegio * no estudiar- bastante. ') !studiar- bastante o vo* al colegio. !) 5o vo* al colegio o estudio bastante. &" %a equivalente de6 :1i/arro conquist el 1er> o no derroc a #ta?ualpa;6 #) Si derroc a #ta?ualpa entonces conquist el 1er>. +) Si conquist el 1er>, entonces derroc a #ta?ualpa.

C) Si no conquist el 1er>, entonces derroc a #ta?ualpa. ') Si no deroc a #ta?ualpa, entonces conquist el 1er>. !) Conquist el 1er> si * slo si derroc a #ta?ualpa. '" :5o ocurre que @osefina sea des?onesta;. iene por equivalencia a6 #) @osefina no es ?onesta. +) @osefina es * no es ?onesta. C) @osefina nunca fue ?onesta. ') @osefina quisiera ser ?onesta. !) @osefina es ?onesta. (" :!l mundial ser. en #lemania * los jugadores se aprestan a llevarse la gloria;. #) !l mundial es en #lemania o los jugadores se aprestan a llevarse la gloria, +) Si los jugadores se aprestan a llevarse la gloria entonces el mundial no ser. en #lemania. C) %os jugadores se aprestan a llevarse la gloria entonces el mundial no ser. en #lemania. ') !l mundial no ser. en #lmenania ni los jugadores se aprestan a llevarse la gloria. !) %os jugadores no se llevar.n la gloria * el mundial ser. en #lemania. )" :+usc los aplausos si * slo si meti un gol;. iene como equivalente a6 #) "eti un gol s0 * slo si busc los aplausos. +) & busc los

aplausos o meti un gol. C) !s falso que meti un gol o busc los aplausos. ') 5i meti un gol ni busc aplausos. !) +usc aplausos * meti un gol.
*" Cu.l es la equivalente de6 9(p #) C) !) p

9q)

9(9p 9p

+) p q

q)

') p

? ?

+" 9p?q. !ste es quem a m o lecular tiene po r equivalente6 #) p ? C) 9 p !) 9p

q
q

+) p
') p

9q

!," Cu.l de las siguientes frmulas lgicas representa a la le* conmutativa6

#) (99p)

!)" p ? (q

p). Su forma m.s

? +) (p?q) (9p
?

(p)

simplificada es6 #) p +) 9p q
?

q)

C) (p?q)

') (p q) (9q 9p) ? !) (p ? q) (q ?p)

(q?p)

C) 9p?9q ') q !) p q
?

!!" Cu.l de las siguientes frmulas lgicas representa a la le* de doble negacin.
#) (99p)

? +) (p q) (q p)
? ? ? C) (p) (??p) ? ') 9(p q) (9p

(999p)

9q)

!) (p?q)

9p

!$" %a equivalente de6 p (q p) #) p

?

+) 9q ') (q
?

C) q p)
!) (p

q)

!%" %a equivalente de6 p?q

#) p

+) p q q)

C) 9p !) 9(p

? ?

') 9(p

q)

!&" %a equivalente de6 9(9p q)

#) C) !) p q ? 9p 9p q ? +) p 9q ? ') p?9q ?

!'" Simplificar6 9(p?q) 9p q #) ? p q C) p ? 9q !)

?

+) p 9q ') 9p?9q
?

!(" Simplificar6 9Ap #) C) !) 9p 9q 9q

(q

p)B +) p ') q

9p

!*" r

(p

q). Su equivalente

es6 #) (r

p)

(r

q)

+) (p?q) C) r
') (p !) (r

? ?

q) p)

!+" p 9(q 9p). Su forma m.s ? ? simplificada es6

$," oda equivalencia es6 #) Contradictoria. +) Contigente. C) autolgica. ') 3erdadera. !) =alsa.
#) C) !) p 9p (q ?

9p)

+) q ') 9q

9qC + 8 9(p?q). 'eterminar si # * + son equivalentes.

!" 'adas las frmulas 6 # 8 p

$" 'ada la proposicin6 :Si ?a* oro en la C?ina, entonces iremos all.; aplicando la le* de la condicional determinar su equivalente. %" Si + es quivalente a C, entonces C ser. equivalente a +? por qu-? &" Si tenemos6 C 8 p ? qC ' 8 9p?q, son equivalentes? '" Simplificar6 9p ? (q p).
?

CAPTULO

20
LECTURA :efiere una antigua leyenda... ;ue un nio pr5imo a nacer, le dijo a 6ios 8e vas a enviar maana a la tierra pero, !cmo vivir' all( siendo tan pequeo y tan d'bil% <Entre los muc)os (ngeles, escog# a dos que te esperan <contest 6ios. 1ero aqu# en el cielo no )ago m(s que cantar y sonre#r y eso basta para mi felicidad !1odr' )acerlo all(% <Esos (ngeles te cantar(n y sonreir(n todos los d#as y te sentir(s muy feliz con sus canciones y sonrisas. != cmo entender' cu(ndo me )ablen si no conozco el e5trao idioma de los )ombres% <Esos (ngeles te )ablar(n y te ensear(n las palabras m(s dulces y tiernas que escuc)an los )umanos. !;u' )ar' cuando quiera )ablar contigo% <Esos (ngeles juntar(n tus pequeas manos y te ensear(n a orar. >e o#do que en la tierra )ay )ombres malos !;ui'n me defender(% <Esos (ngeles te defender(n, aunque les cueste su vida. 1ero estar' siempre triste porque no te ver' m(s ?eor, sin verte me sentir' muy solo. <Esos (ngeles te )ablar(n de m# y te mostrar(n el camino para volver a mi presencia <le dijo 6ios. En ese instante, una paz inmensa reinaba en el cielo, no se o#an voces terrestres el nio dec#a suavemente 6ime sus nombres ?eor, y
6ios le contest <Esos (ngeles se llaman mam( y pap(.

IMPLICACIONES
I" Modus Ponendo Ponens .M"P"P"/

NOTA-LES

p? q 4ondicional p +ntecedente a firma do ? q 4onsecuente afirmado

? .p ? q/ ? p ? q ?

!j6 Si leo, aprendo, resulta que leo. %uego aprendo. Sufro porque te vas. !s falso que no te va*as. %uego sufro.

SIS !"# $!%IC&I'#%

$$

II" Modus To endo To ens .M"T"T"/

p ? q 4o n d icio na l , q 4o nse cue n te ne ga d o

?,p do +nte ce d e nte n ega

?.p

? q/? , q ?, p

Da que es tarde me quedo en casa, pero no me quedo en casa. 'e a?0 que no era tarde.
III" S0 og0s1o D0s2unt03o .S"D"/

p ?q
,p

p?q
,q

6isyuncin
@no d e sus miembros negad o +firmacin d el o tro miembro
? .p ? q/? , q ? p ?

q ? ?p Compendio de Letras VII-C

? .p ? q/? , p ? q Lgica ?

SIS !"# $!%IC&I'#%

$0 $0

1#SC2#% S#C& &%I3!R&S

Compendio de Letras VII-C Lgica

"
"

!jemplos6 @uan postula a la 2.5.".S.". o a la 2.5.=.3. 5o postula a la 2.5.".S.". %uego postula a la 2.5.=.3.

Si sale el sol, vo* a pasear, o, si siento frio, me quedo en casa. !s falso que va*a a pasear si sale el sol. %uego me quedo en casa si siento fr0o.

IV" S01# 0405a506n .s01# /

p?q

?p

p?q

?q

?e deduce cualquiera d e
sus miembros

4onjuncin

.p ? q / ? p A .p ? q/ ? q

Salgo * me divierto. %uego me divierto.

V" Ad0506n .Ad/

p 1roposici n ? p ? q 6isyuncin de dic)a

p ?

.p ? q /

proposicin con otro a dicional

!s bonita. 'e a?0 que es bonita o se sabe maquillar. consecuente) VI" S0 og0s1o 70#ot8t05o Puro .S7P/ p?q Condicional (E)

5ota6 (antecedente ?

q?r 4ondicio na l .0/ cuyo antecedente es consecuente de $ p ? r ? 4ondicional .B/ con el a ntecedente de $ y el co nsecuente de 0 ? .p ? q/ ? .q ? r/ ? .p ? r/
?

!j6 Si apuesta, pierde * si pierde se meter0a en problemas.'e a?0 que si apuesta, se meter0a en problemas.

Pregunta desarro ada !" !n que consiste el "odus 1onendo 1onens? Sustentaci n: Seg>n el ".1.1., si se afirma el antecedente de una premisa condicional, se conclu*e en la afirmacin del consecuente. =ormalmente es como sigue6

#?+ # + !jem plos6 Si la temperatura est. bajo cero, entonces el agua se congela. %a temperatura est. bajo cero. 1or con< siguiente, el agua se congela.

Compendio de Letras VII-C Lgica

Pregunta #or desarro ar !" !n qu- consiste el "odus ollendo ollens?

Sustentaci n:

!" 2na implicacin lgica es6 #) 2na bicondicional tautolgica. +) 2na conjuntiva dis*untiva. C) 2na condicional tautolgica. ') 2na dis*untiva contradictoria.
!) 2na bicondicional contradictoria.

(" %a conclusin de6 :5o entendi el tema, * el caso es que entendi el tema o lo ignora. 1or lo tanto, ....; #) entendi el tema. +) no entendi el tema. C) no lo ignora. ') lo ignora. !) lo ignora pero lo entendi. )" :Si tengo tarea, vo* a la biblioteca, * si ?o* es viernes, tengo tarea. !n consecuencia, ...;. !stas premisas tienen por conclusin6 #) Si vo* a la biblioteca, tengo tarea. +) Si tengo tarea, ?o* es viernes. C) Si ?o* es viernes, vo* a la biblioteca. ') Si no vo* a la biblioteca, no tengo tarea. !) Si no tengo tarea, no es viernes. *" Cu.l de las siguientes formas representa a un siligismo dis*untivo.
,p #) , q

$" Si una condicional es contadictoria, entonces6 #) Slo es una condicional. +) !s menos que una condicional. C) !s m.s que una condicional.
') !s una equivalencia lgica.

!) !s una implicacin lgica. %" Cu.l ser0a la conclusin de6 1E Si sali el sol, ?ar. calor. 14 Si ?ace calor, ir- a la pla*a. C ......................................... ........... #) Si ?ace calor, sali sol. +) Si sali el sol, ir- a la pla*a. C) Sali el sol o no fui a la pla*a. ') $ace calor o fui a la pla*a.
!) Sali el sol * fui a la pla*a.

p?q
+)

,q

p ?q
p

C)

p? q q? r p? r p?q
p

p ')
q

p? q

!)

&" %a

conclusin de6

SIS !"# $!%IC&I'#%

$C

+" Representa a un

1E 'io el examen o estuvo ausente. 14 5o estuvo ausente C ......................................... ........... #) 'io el examen.
+) !stuvo ausente.

"odus ollendo ollens6

p?q

p?q
+)
p

#)

q p?q

,p C) , q

,q ') , p

p?q

p? q
!)

C) 5o dio el examen. ') 'io el examen pero estuvo ausente. !) 'io el examen * asisti. '" %a conclusin de6 :Como practic, lograr. el triunfoC * practico. !n consecuencia, ...; #) no lograr., el triunfo. +) lograr. el triunfo. C) no practic. ') practic poco. !) logr el triunfo *a que practic.

, p q

!," %a siguiente estructura6

r? s r s

representa a la

implicacin notable llamada6

#) Silogismo ?ipot-tico puro +) "odus 1onendo 1onens C) Simplificacin

') "odus ollendo olens

!) Silogismo dis*untivo

SIS !"# $!%IC&I'#%

$D $D

1#SC2#% S#C& &%I3!R&S

p? q representa !!" %a siguiente a6 estr uct ura r?p r?q #) 2n silogismo dis*untivo

!(" !n el siguiente esquema6 A(p ?9q)?qB?... Cu.l ser0a la conclusin * qu- le* de implicacin se estar0a dando? #) p F modus ponendo ponens
+) p F silogismo dis*untivo

+) 2n silogismo ?ipot-tico puro C) Simplificacin ') "odus 1onendo 1onens !) "odus ollendo ollens

) B ? ( p ? r ) ! ) A ( p ? q ) ? 9 q B ? 9 p

!$" Cu.l de los siguientes esquemas moleculares es un modus ponendo ponens? #) (p?q) ? p +) A(p?q)?9qB C) A(p?q)?pB?q ' ) A ( p ? q ) ? ( q ? r

C) 9p F modus tollend o tollens ') 9p F silogis mo ?ipot-ti co puro !) 9p F silogis mo dis*unt ivo !)" !n el siguie nte esque ma6 A(9p? q)? 9qB?... Cu.l es la conclu sin * qule* de implic !%" Cu. l de las sigui entes frmu las lgic as es

acin se da? #) 9p F silogis mo dis*unti vo +) p F modus tollend o tellens C) 9p F modus ponend o ponens ') p F silogis mo dis*unti vo !) 9p F modus tollend o tollens

?q +) A(p? q)? 9pB ?9q C) A(p ? q)? ? pB? 9q ') (p? q)? ?q
!) A(p? q)? 9qB? p

1 , 0r 1 p B? r

p representa a6 #) 2n silogismo categrico + ) " o d u s 1 o n e n d o 1 o ' ) S i l o g i s C ) " o d u s m o d i s * o l l e n s o l l e n d o

1 p?q !&" !*" Si tenemos6 !

$

e c ul ar A( p ? q) ? 9 qB ?

n e n s

cin l not e abl e? # ) ( p ? q ) s q u e m a m ol

u n t i v o !) Silogis mo ?ipottico puro !'" !l es quema mo lecular A(9p ? 9q)? 9pB?9q repres enta a #) 2n "odu s ollen do ollen s +) Silogis mo dis*un tivo C )

s 1 o n e n d o 1 o n e n s ' ) S i l o g i s m o ?

-t ic o p ur o ! ) Si lo gi s m o c at e g r ic o

!+ " Si 1 E es p ?q, 1 4 es ? q r, * 1 G es 9p . H ule *e s se a p li c a n p a r a d e m o s tr a r q u e s u c o n c l u s i n e s r ?

" o d u

i p o t

) Si lo gi s m o di s* u nti vo * p o n e ns +) Si lo gi s m o di s* u nti vo * tol le ns C) Si lo gi s m

o ?i po t-t ic o * po ne ns ') Sil og is m o ?i po t-t ic o * tol le ns !) 1 on en s * o lle ns $," o d a

i m p l i c a c i n e s 6 # ) C o n t r a d i c t o r i a + )

t o l g i c a C ) I n c o n s i s t e n t e ' ) C o n t i g e n t e !) =alsa

a u

!" &btener la conclusin de6

, p?.q?r/ , .q?r/

$" :Si el cielo est. nublado, entonces llover., * ocurre que no llueve por lo tanto...; %" Hu- es un silogismo dis*untivo? &" !n qu- se diferencia el "odus 1onendo 1onens del "odus olledo ollens? '" !labora un ejemplo que represente a un silogismo ?ipot-tico puro.

Compendio de Letras VII-C

CAPTULO

Lgica

21
COMPETENCIAS Identificar el campo de las funciones veritativas.

!valuar el valor veritativo de los esquemas moleculares.

Representar gr.ficamente, a trav-s de circuitos lgicos, los esquemas moleculares.

INTRODUCCIN Se puede ?allar el valor veritativo de un esquema molecular? !n qu- consisten las ablas de 3erdad? Se pueden relacionar frmulas proposicionales con los circuitos lgicos?

LECTURA %a vida no es m.s que un viaje por tren6 repleto de embarques * desembarques, salpicado de accidentes, sorpresas agradables en algunos embarques, * profundas triste/as en otros. #l nacer, nos subimos al tren * nos encontramos con algunas personas, las cuales creemos que siempre estar.n con nosotros en este viaje6 nuestros padres. %amentablemen< te, la verdad es otra. !llos se bajar.n en alguna estacin, dej.ndonos ?u-rfanos de su cari7o, amistad * su compa70a irreempla/able. 5o obstante, esto no impide que se suban otras personas que nos ser.n mu* especiales. %legan nuestros ?ermanos, nuestros amigos * nuestros maravillosos amores. 'e las personas que toman este tren, ?abr. los que lo ?agan como un simple paseo, otros que encontrar.n solamente triste/a en el viaje, * ?abr. otros que, circulando por el tren, estar.n siempre listos en a*udar a quien lo necesite. de que desocuparon el asiento. 00
"uc?os al bajar, dejan una a7oran/a permanenteC otros pasan tan desapercibidos que ni siquiera nos damos cuenta

1#SC2#% S#C& &%I3!R&S

!s curioso constatar que algunos pasajeros, quienes nos son m.s queridos, se acomodan en vagones distintos al nuestro. 1or lo tanto, se nos obliga a ?acer el tra*ecto separados de ellos. 'esde luego, no se nos impide que durante el viaje, recorramos con dificultad nuestro vagn * lleguemos a ellos... pero lamentablemente, *a no podremos sentarnos a su lado pues ?abr. otra persona ocupando el asiento. 5o importaC el viaje se ?ace de este modoC lleno de desaf0os, sue7os, fantas0as, esperas * despedidas... pero jam.s regresos. !ntonces, ?agamos este viaje de la mejor manera posi< ble. ratemos de relacionarnos bien con todos los pasajeros, buscando en cada uno, lo que tengan de mejor. Recorde< mos siempre que en alg>n momento del tra*ecto, ellos podr.n titubear * probablemente precisaremos entenderlos, *a que nosotros tambi-n muc?as veces titubearemos, * ?abr. alguien que nos comprenda. compa7eros, ni siquiera el que est. sentado en el asiento de al lado. "e quedo pensando si cuando baje del tren, sentir- nostalgia... Creo que s0. Separarme de algunos amigos de los que me ?ice en el viaje ser. doloroso. 'ejar que mis ?ijos sigan solitos, ser. mu* triste. 1ero me aferro a la esperan/a de que, en alg>n momento, llegara la estacin principal * tendr- la gran emocin de verlos llegar con un equipaje que no ten0an cuando embarcaron. %o que me ?ar. feli/, ser. pensar que colabor- con que el equipaje creciera * se ?iciera valioso. #migos, ?agamos que nuestra estad0a en este tren sea tranquila, que ?a*a valido la pena. $agamos tanto, para que cuando llegue el momento de desembarcar, nuestro asiento vac0o deje a7oran/a * lindos recuerdos a los que en el viaje permane/can.
!l gran misterio, al fin, es que no sabremos jam.s en qu- estacin bajaremos, muc?o menos dnde bajar.n nuestros

SIS !"# $!%IC&I'#%

0B

Compendio de Letras VII-C Lgica

Compendio de Letras VII-C Lgica

Pregunta desarro ada !" Hu- es la simboli/acin? Sustentaci n: %a simboli/acin es la representacin de proposi< ciones en lenguaje ordinario a lenguaje simblico. !n la simboli/acin lgica se debe tomar en cuenta6 #signacin de variables a cada una de las proposi< ciones simples, * luego la estructura formal para dis< tinguir el alcance de las conectivas.

Pregunta #or desarro ar !" Hu- es una implicacin lgica? Sustentaci n:

!" %a equivalente de6 :'ado que no visit a su t0a, entonces contin>a de viaje;. #) 5o contin>a de viaje. +) S0 visit a su t0a. C) 3isit a su t0a o contin>a de viaje. ') 3isito a su t0a * contin>a de viaje.
!) Si no contin>a de viaje, entonces no visit a su t0a.

+) (9p? q) C) p? 9q ') p? q !) (9p?9q) %" Hu- se obtiene al simplificar 9(p?q)? #) (9p? q) +) (p? 9q) C) (p?q) ') (9p?

$" Simplifica la siguiente frmula6 p ? 9(9p?q) #) p?q

SIS !"# $!%IC&I'#%

0E

Compendio de Letras VII-C Lgica

9q) !) (p? 9q) &" 2bica la equivalente de6 :%os insecticidas son productos qu0micos que se in?alan o se ingestan;. #) %os insecticidas no se in?alan por eso se ingestan. +) !s falso que los insecticidas se in?alen o ingesten. C) %os insecticidas se ingestan * no se in?alan !) %os insecticidas no son productos qu0micos. '" 'etermina la equivalente de6 :2n ni7o es poco comunicativo, no obstante puede ser preco/;.
') %os insecticidas o se in?alan o se ingestan.

#) 1uede ser preco/ o no es poco comunicativo. +) 5o es poco comunicativo, sin embargo puede ser preco/. C) !s falso que sea poco comunicativo, por ende no puede ser preco/. ') !s preco/ o poco comunicativo. !) 5i es t0mido ni puede ser preco/. (" Indica la equivalente para6 :!s mentira que se ?onesto, de a?0 que mienta;. #) "iente * es des?onesto. +) 5o es verdad que mienta o sea ?onesto. C) "iente en vista de ello es des?onesto. ') !s ?onesto, luego miente. !) 5o miente a la par es ?onesto.
)" Sabiendo que #

? I. # * + tiene la misma tabla de verdad. II. (#?+) es tautolog0a.

+) I * I3 !) odas +) es contradiccin. C) I * III

+, indica lo correcto6

#) Slo I ') III * I3 III.(#

I3. (#?+) es tautolog0a.

*" Se7ala el esquema que reproduce la estructura del "odus ollendo ollens6 #) (p?q)?q +) IA(p?q)?rB?(p?q)J?r C) IA(p?q)?(r?s)B??9(p?q)J?(r?s)

SIS !"# $!%IC&I'#%

0C

Lgica

Compendio de Letras VII-C

' ) IA ( p ? q ) ? 9 rB ? r J ? ( p ? q ) ! ) A( p ? q ) ? ( q ? r )B ? ( p ? r ) +" 'et ermi na la con clusi n para 6 1

E

9 q )
1 , q 0

.. .. .. .. .. .. .. ..
#) C) !) !," H u s e c o n cl u * e d e6 : 1 e p e n o e s id e al is ta ta m p o c o 9q q?p p

9 ( p ?

materiali sta;. # )

5 o

! s

e s

m e n t i r a

m a t e r i a l

q u e

i s t a

n o

. C) !s marxist

s e a

a, en conclu sin no es

m a t e r i a l i s t a .

volunta rista. ') !s idealist a. !) !s marxista o no es idealista .

p u e st o q u e e s m a m 0f er oC p er o e s m e nt ir a q u e n o s e a vi v0 p ar o; . # ) 5 o e s m a m 0 f e r

o . + ) ! s i n v e r t e b r a d o . C ) ! s f a l s o q u e n o s e a m a

!!" Hu- se conclu*e de6 :!s mentira que el ornitorrin co sea viv0paro,

m 0 f e r o . ' ) 5 o e s v i v 0 p a r o . !) 5o es mam0fer o no viv0paro. !$" S i m p l i f i c a 6 9 ( 9 p

? 9 q ) # ) 9 p ? ? 9 q +) 9p ?? q

) ! s m a t e r i a l i s t a , e n t o n c e s n o e s c r e * e n t e . C ) !

s c r e * e n t e o e s a t e o . ' ) 5 o e s m a t e ri a li s t a p o r e s o e s a t e o . !

C) p ??q ') p !) 9p ??q !%" 'eter mina la conclu sin para6 :Como es materi alista, es ateo. 5o es cre*en te o no es ateo;. #) !s ateo * es materi alista. +

) 5o es cre*en te tampo co materi alista. ! & " I d e n t i f i q u e l a c o n d i c i o n a l i n v e r s a 6

#) Somos o amigas o enemig as. +) %os cue rpo s se dila tan pue s se ele va la tem per atur a. C) !l len es felino as0 como depred ador. ') anto la costa como la sierra son regione s del 1er >. !) Como es inviern o, ?ace fr0o. !'" Se7ala la proposici n negativa

simpl e6 # ) ! s f a l s o q u e l o s m a m 0f e r o s s e a n i n v e rt e b r a d o s . + ) o m

. s e s t u d i a p e r o n o tr a b a j a .
C) 5o es ve rd ad qu e #n a no est udi e co n mi go .

') @i m e n a n o co m p ar te

la viviend a con Rosario . !) !s imp osi ble que la !*" mat S em i .tic m a p sea l for i mal f a la i ve/ c pr. a ctic r a.
# ) C ) ! ) (p?q) p?(q?r) p?(q?r)

(q?p) #) p?9q +) p? q C) p?q ') p?q !) p

q ) ? A 9 r ? 9 ( p ? 9 q ) B # ) p ? q

' ) q ? p ! ) 9 p ? q !+" 2bic a la equiv alenc ia de6 (p? q)? 9(p? 9q)
#) C) !) # ) C ) ! ) p?q 9p?9q 9p?q p?q 9(9p?q) (9q?9p)

e l s i g u i e n t e e s q u e m a 6 ( p ?

+ ) 9 p ? q C ) p ? 9 q

!(" Identifica la equivalent e de (p?q) ? (p?r)

!)" Simp lificar la frm ula6 9(9p ?q)? (p? 9q)?

$," $alla la equiva lente de6 (9p? 9q)

Compendio de Letras VII-C Lgica

!" $allar la matri/ de6 F p ? q ? F q ? p

? ?

$" !labore una inferencia para el silogismo puro.

%" Simplifica6 F ? F p ? ?F q ? p ??
? ?

&" Cu.les son las implicanciones notables? '" 2na implicacin notable es una inferencia v.lida?, s0 o no? por qu-?
(" Si la proposicin F p ? r ? r ? F q es falsa.

? ? ? ? $allar el valor de verdad de p, q, * r.

)" Simboli/ar :#lian/a %ima ganar. el campeonato si * slo si gana todos sus partidos de local * no pierde de visita;.

SIS !"# $!%IC&I'#%

B$