PROPOSICIONES LGICAS Enunciado.- Es toda frase u oracin que se utiliza en nuestro lenguaje PROPOSICIN.

-Es todo enunciado, respecto de la cual se puede decir si es verdadera (V) o falsa (F) Notacin Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t,... etc. As, por eje plo, pode os citar las siguientes proposiciones ! su valor de verdad" Proposicin q" # ac es el distrito de la provincia de $i a (V) r" %l n& ero '( es divisible por ). (V) s" %l perro es un ave. (F) t" *odos los tri+ngulos tienen cuatro lados (F) u" ,-u. da es /o!0 1o es una proposicin p" 2Viva el Per& '3 EXPRESIONES NO PROPOSICIONALES a) 2$ev+ntate te prano3 b) ,4as entendido lo que es una proposicin0 c) 2%studia esta leccin3 d) ,5u+l es tu no bre l0 e) Pro/ibido pasar f) 6orra el pizarrn 1o son proposiciones por no poder ser evaluadas co o verdaderas ni falsas. Las exclamaciones, denes ni las ! e"untas son proposiciones P #ctica $i i"ida N% &' I.-7ndique cual (es) de los siguientes enunciados son proposiciones" a) ( 8 9 : '; < = ( ) b) 2%studie lgica proposicional3 ( ) c) $os /o bres no pueden vivir sin o>igeno ( ) d) ) > ; : '( 8 ' ! = < ? ?) > ( ( ) e) ,%l silencio es funda ental para estudiar0 ( ) f) ?@ <'A : ? ( ) g) 6reBa es un distrito de la provincia de $i a ( ) /) Cn l+piz no es un cuaderno ( ) i) ,%res estudiante de ate +tica0 ( ) j) '( D ') ( ) E) Ponga atencin ( ) F >" $i a, -uitoG Para p ($i a)" $i a es la capital del Per& es verdadero (V) Para p (-uito)" -uito es la capital del Per& es falso (F) b) q" ! 8 = : '' , ! es n& ero natural H" @I 'I ?I )I =IG.. Para q (')" '8 = : '' , es falso (F) q (9)" A8= : '' , es verdadero (V)

P #ctica $i i"ida N+ &,

Jeter ine cuales de los siguientes enunciados son enunciados abiertos ! para que valores de la variable las proposiciones son verdaderas ! falsas a) b) c) d) e) f) g) > es /er ano de ! ?A D '( %l es arquitecto *enga cal a ,no se i paciente K> 8 ) : '? , > # > es 7ngeniero ! Luan es Mate +tico )> N A O '( , > #

h) x ! "# $ x$! i) &x # ' ""$ x % j) (x ) * ""$ x +

l)

> es un ani al

CLASE $E PROPOSICIONES A- P o!osicin Sim!le o Atmicas.- Fon aquellas proposiciones que constan de un solo enunciado proposicional . Por eje plo, sea la proposicin p" ) 8 ; : K )- P o!osicin Com!uesta o molecula .- Fon aquellas proposiciones que constan de dos o +s proposiciones si ples. %je plo" r" Pit+goras era griego p ! era ge etra q

encontra os dos enunciados. %l pri ero (p) nos afir a que Pit+goras era griego ! el segundo (q) que Pit+goras era ge etra. %je plo" p" Luan es profesor o Manuel es arquitecto Jonde pode os observar que la proposicin p, se divide en dos proposiciones si ples" r" Luan es profesor ! s " Manuel es arquitecto %s decir , ! " o s CONEC*I.OS LGICOS.- %nlazan proposiciones si ples

EN(NCIA$OS A)IER*OS .- son aquellos enunciados que constan de variables. Se convierte en una proposicin cuando se le asigna un valor especfico a la variable". Ejemplos:
a) p" x es la capital del Per&

A partir de proporciones si ples es posible generar otras, si ples o co puestas. %s decir que se puede operar con proposiciones, ! para ello se utilizan ciertos s bolos lla ados conectivos lgicos

Ejemplo. $a negacin de p" todos los alu nos estudian ate +tica es Pp" no todos los alu nos estudian ate +tica o bien" Pp" no es cierto que todos los alu nos estudian ate +tica Pp" /a! alu nos que no estudian ate +tica ,.-CON/(NCIN

OPERACIONES PROPOSICIONALES Jefinire os las operaciones entre proposiciones en el sentido siguiente" dadas dos o +s proposiciones, de las que se conoce los valores veritativos, se trata de caracterizar la proposicin resultante a trav.s de su valor de verdad. A tal efecto, estudiare os a continuacin el uso ! significado de los diferentes conectivos lgicos encionados arriba" '.-NEGACIN Jada una proposicin p, se deno ina la negacin de p a otra proposicin denotada por Pp (se lee Qno pQ) que le asigna el valor veritativo opuesto al de p. Por eje plo" P " Jiego estudia ate +tica Pp " Jiego no estudia ate +tica Por lo que nos resulta sencillo construir su tabla de verdad" p V F Pp F V

Jadas dos proposiciones p ! q, se deno ina conjuncin de estas proposiciones a la proposicin ! 0 (se lee Qp ! qQ) %je plo. Fea la declaracin i) ( es un n& ero i par ! ; es un n& ero par p q ve os que est+ co puesta de dos proposiciones a las que lla are os p ! q, que son p" ( es un n& ero i par q" ; es un n& ero par ! por ser a bas verdaderas, la conjuncin de ellas (que no es sino la declaracin i) es verdadera. *a1la de 2e dad p q V F V F p q V F F F

Fe trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su negacin. S5m1olo O!e acin asociada Si"ni6icado no p o no es cierto que p p!q

V V F F

7
1egacin 5onjuncin o producto lgico Jis!uncin o su a lgica

p o q (en sentido inclu!ente)

7 plicacin Joble i plicacin Jiferencia si .trica

p i plica q, o si p entonces q p si ! slo si q p o q (en sentido e>clu!ente)

$a tabla que define esta operacin, establece que la conjuncin es verdadera slo si lo son las dos proposiciones co ponentes. %n todo otro caso, es falsa. E3em!lo ," Fi p" ) es a!or que 9 q " *odo n& ero par es &ltiplo de dos %ntonces " ! 0 " ) es a!or que 9 4 todo n& ero par es &ltiplo de dos Por ser a bas verdaderas la conjuncin de ellas es verdadera

8.-$IS9(NCIN Jadas dos proposiciones p !q, la dis!uncin de las proposiciones p ! q es la proposicin ! 0 , se lee R p o q S Ejemplo 1. *iro las cosas viejas o que no e sirven %l sentido de la dis!uncin co puesta por p ! q (p" tiro las cosas viejas, q" tiro las cosas que no e sirven) es inclu!ente, pues si tiro algo viejo, ! que ade +s no e sirve, la dis!uncin es V. $a dis!uncin o es utilizada en sentido e>clu!ente, !a que la verdad de la dis!uncin se da en el caso de que al enos una de las proposiciones sea verdadera *a1la de 2e dad p V V F F q V F V F p q V V V F

q" te presto el libro 1os interesa conocer la verdad o falsedad de la i plicacin i), en relacin a la verdad o falsedad de las proposiciones p ! q. %l enunciado puede pensarse co o un co pro iso, condicionado por p, ! pode os asociar su verdad al cu pli iento del co pro iso. %s evidente que si p es F, es decir si no apruebo el e>a en, quedo liberado del co pro iso ! preste o no el apunte la i plicacin es verdadera. Fi p es verdadera, es decir si apruebo el e>a en, ! no presto el libro, el co pro iso no se cu ple ! la proposicin i) es falsa. Fi p ! q son verdaderas, entonces la proposicin i) es verdadera pues el co pro iso se cu ple. *a1la de 2e dad p V V F F q V F V F p q V F V V

$a tabla nos uestra que la i plicacin slo es falsa si el antecedente es verdadero ! el consecuente es falso. <.-$O)LE I;PLICACIN O )ICON$ICIONAL E3em!lo, Fi p " 4ace fri en 7nvierno , ! q " 1apolen invadi $i a ! 0 " 4ace fri en 7nvierno o 1apolen invadi $i a Por ser al enos una de la proposiciones verdadera la conjuncin es verdadera :.-I;PLICACIN O CON$ICIONAL 7 plicacin de las proposiciones p ! q es la proposicin p q (si p entonces q). $a proposicin ! se lla a antecedente, ! la proposicin 0 se lla a consecuente de la i plicacin o condicional. Ejemplo. Fuponga os la i plicacin i)Fi apruebo, %1*T15%F te presto el libro p q Joble i plicacin de las proposiciones p ! q es la proposicin p q (se lee Qp si ! slo si qQ) E3em!lo '= p " Uarina ingresa a la universidad q " Uarina estudia uc/o %ntonces" ! 0 = Uarina ingresa a la universidad si 4 slo si estudia uc/o. E3em!lo ,= Fea i) a : b si ! slo si aV : bV %l enunciado est+ co puesto por las proposiciones" p" a : b q" aV : bV %sta doble i plicacin es falsa si p es F ! q es V. %n los de +s casos es V. *a1la de 2e dad

$a i plicacin est+ co puesta de las proposiciones p" apruebo

p V V F F $a doble i plicacin o bicondicional slo es verdadera si a bas proposiciones tienen el is o valor de verdad. $a doble i plicacin puede definirse co o la conjuncin de una i plicacin ! su recproca. Je este odo, la tabla de valores de verdad de p q puede obtenerse ediante la tabla de (p q) (q p), co o ve os" p V V F F q V F V F p q V F V V qp V V F V (p q) (q p) V F F V

q V F V F

p q V F F V

PROPOSICIONES LGICA;EN*E E?(I.ALEN*ES Jos proposiciones p ! q se lla an equivalentes si sus tablas de verdad son id.nticas. Je ser as se denota" p q Ejemplo. Fea p" p q, recorda os su tabla de verdad

p V V F F

q V F V F

p q V F V V

$i6e encia Sim>t ica Jiferencias si .trica o dis!uncin en sentido e>clu!ente de las proposiciones p ! q es la proposicin p q (se lee Qp o q en sentido e>clu!enteQ) cu!a tabla de valores de verdad es" p V V F F q V F V F p q F V V F

A/ora bien , si analiza os la proposicin q" Pp q, su tabla de verdad resulta" p V V F F q V F V F Pp q V F V V

$a verdad de p q est+ caracterizada por la verdad de una ! slo una de las proposiciones co ponentes. Ejemplo. Fea i) o va os a $i a o va os a 7ca 5o o ve os, luego de realizar las tablas de valor veritativo encontra os que a bas proposiciones tienen el is o resultado final. 5on esto, deci os que a bas proposiciones son logica ente equivalentes, ! en este caso particular lo si boliza os" (p q) (Pp q)

queda claro que slo podre os ir a uno de los dos lugares, ! slo a uno. %s decir que el enunciado i) es verdadero slo si va os a una de las dos ciudades. %n caso de ir a a bas, o de no ir a ninguna, el enunciado es Falso.

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA Al conjunto de proposiciones, conectivos lgicos ! s bolos de agrupacin lo deno ina os 6 mula l"ica. Por eje plo" 7@ A! 0- As t- B *autolo"5a Fi al evaluar una fr ula lgica, resulta que todos los valores de verdad resultantes son sie pre V para cualquier co binacin de sus p V V F F valores veritativos, deci os que dic/a fr ula es una *autolo"5a o Le4 l"ica. Ejemplo. Fi analiza os la proposicin t" p Pp realizando su tabla de verdad" q V F V F

Fi al estudiar una fr ula lgica, a diferencia de los eje plos anteriores resulta que para cualquier valor de verdad de las proposiciones intervinientes el resultado de dic/a fr ula es sie pre falso, deci os que dic/a fr ula es una Cont adiccin. Ejemplo Analize os la fr ula lgica p Pp p V F pq V F V V (p Pq) F V F F p V F Pp F V Pp F V P(p Pq) V F V V p Pp V V p Pp F F p q P(p Pq) V V V V

Contin"encia %ncontra os que la fr ula es sie pre falsa, es entonces una 5ontradiccin. Fi una proposicin no es una tautologa ni una contradiccin (es decir que contiene al enos un valor V ! otro F) es una contingencia. LEYES DEL LGEBRA PROPOSICIONAL

p V V F F

q V F V F

pq V F V V

qp V F F F

W(pq)pXq V V V V

Ve os que para cualquier co binacin de las proposiciones p ! su negacin Pp, la proposicin t" p Pp es sie pre verdadera. %ntonces, la proposicin t es una tautologa. Ejemplo.Analize os a/ora la fr ula lgica W(pq)pXq

5o o bien diji os arriba, aquellas fr ulas lgicas que resultan ser sie pre verdaderas no i porta la co binacin de los valores veritativos de sus co ponentes, son tautologas o le!es lgicas. %n el c+lculo proposicional e>isten algunas tautologas especial ente &tiles cu!a de ostracin se reduce a la confeccin de su correspondiente tabla de verdad, a saber" In2olucin P(Pp) p (se lee Qno, no p, equivale a pQ) Idem!otencia (p Pp) p (p Pp) p

%n este caso co proba os ta bi.n que independiente ente de la co binacin de valores de verdad de las proposiciones p ! q, el resultado de la fr ula lgica es sie pre V. Jeci os, aqu ta bi.n, que esta fr ula es una tautologa o le! lgica. Cont adiccin

Conmutati2idad a) de la dis!uncin" p q q p b) de la conjuncin" p q q p Asociati2idad

a) de la dis!uncin" (p q) r p (q r) b) de la conjuncin" (p q) r p (q r) $ist i1uti2idad a)de la conjuncin respecto de la dis!uncin" (p q) r (p r) (q r) b)de la dis!uncin respecto de la conjuncin" (p q) r (p r) (q r) Le4es de $e ;o "an P( p q ) Pp Pq Q $a negacin de una dis!uncin equivale a la conjuncin de las negacionesQ P( p q ) Pp Pq Q$a negacin de una conjuncin equivale a la dis!uncin de las negacionesQ 1.1 Nega !"# $e %#a Impl! a !"# $as proposiciones p q ! P(p Pq) son equivalentes, co o ve os realizando la tabla de valores correspondientes" 5on esto, co proba os que la negacin de la pri era equivale a la negacin de la segunda, es decir P(p q) PW P(p Pq)X, ! pode os concluir entonces que" P( p q ) ( p Pq) %s decir, la negacin de una i plicacin no es una i plicacin sino la conjuncin del antecedente con la negacin del consecuente. Cunciones ! o!osicionales 4 cuanti6icado es Cuanti6icado es A partir de funciones proposicionales es posible obtener proposiciones generales ediante un proceso lla ado de cuantificacin. Asociados a la indeter inada >, introduci os los s bolos x ! x, lla ados cuanti6icado uni2e sal ! cuanti6icado existencial respectiva ente. $as e>presiones Cuanti6icado (ni2e sal" Para todo >, se verifica p(>) ,se denota por

Cuanti6icado existencial %>iste >, tal que se verifica p(>) , se denota por

x D !A>corresponden a una funcin proposicional p(>) cuantificada universal ente en el pri er caso, ! e>istencial ente en el segundo. Ejemplo. Cna funcin proposicional cuantificada universal ente es V si ! slo si son V todas las proposiciones particulares asociadas a aquella. Para asegurar la verdad de una proposicin cuantificada universal ente es suficiente que sea verdadera alguna de las proposiciones asociadas a la funcin proposicional. Cn proble a de inter.s es la negacin de funciones proposicionales cuantificadas. Por eje plo, $a negacin de Q*odos los enteros son i paresQ %s Q%>isten enteros que no son i paresQ ! en s bolos" > Y Pp(>) %ntonces, para negar una funcin proposicional cuantificada universal ente se ca bia el cuantificador en e>istencial, ! se niega la funcin proposicional. Ejemplo. Fuponga os la proposicin" *odos los alu nos de i colegio son aplicados $a va os a escribir en lenguaje si blico, negarla ! retraducir la negacin al lenguaje ordinario. 1os da os cuenta pronto que se trata de la i plicacin de dos funciones proposicionales" p(>) " es alu no de i colegio q(>) " es aplicado *ene os" > " p(>) q(>) *eniendo en cuenta la for a de negar una funcin proposicional cuantificada universal ente ! una i plicacin resulta" > Y p(>) Pq(>) H traduciendo al lenguaje ordinario resulta"

Existen alumnos de mi colegio que no son aplicados

7.%. S%st/er 5+ceres FalgadoR CZ%$ @? N # ac PRI;ERA PREC*ICA $E ;A*E;E*ICA

x = !(>)

P o6eso /uan L. Ca! istano GonFales '.-Galle el 2alo de 2e dad de las si"uientes ! o!osiciones" a).< $i a es la capital del Per& ! 6olivia se encuentra ubicada en A .rica del Fur. b).<Fi ? O ' , entonces ) O ? ?' D ( c).< ?= es un n& ero par ! =? es un n& ero i par d) Fi 6olivia li ita con el Per& , entonces Per& li ita con 5/ile.

,.- Co malice las si"uientes ! o!osiciones a).< Fi ella no viene entonces nos va os al cine b)< Fi trabajas ! estudias te preparas ejor para el futuro c) Fer bac/iller o titulado en 5iclo Fuperior ! tener 'A aBos cu plidos son condiciones para poder ejercer la docencia :.- Clasi6i0ue como tautolo"5a, cont adiccin 4 contin"encia. Los si"uientes es0uemas molecula es= a)\(p] q) ^ q _ v p b) (p^q) v p c) p^(p]q) d) `(p v q) ] p e) \ (p ^ ` q) ] p _ ^` q f) `p v `( p v q )

d).< Fi do inas las asignaturas ! te relacionas bien con todas las personas del colegio entonces no /as perdido el tie poQ e)< Fi tengo uc/os e>+ enes que corregir ! /e descansado un poco al edioda, trabajo /asta las doce de la noc/e. Pero /o! no trabajo /asta las doce. Por tanto, ser+ que no /e descansado al ediodia f) Fi te cuesta entender las cosas , pero te esfuerzas diaria ente, seguro que no suspendes g).<%studio [lgebra si ! solo si estudio Fsica , o si no estudio Fsica entonces estudio Arit .tica /) #o>ana estudia o trabaja , pero si no estudia entonces trabaja . %n consecuencia , #o>ana no trabaja /o! no es lunes

<.- Si ! 4 0 son ! o!osiciones 6alsa 4 2e dade a es!ecti2amente , Halle el 2alo de 2e dad de las si"uientes ! o!osiciones" a) p V ( p ^ q ) b) ( p V q ) ^ p c) p ] ( p^ q ) d) (p V q ) a \ p ] ( p^ q ) _

<.- Si !I. , 0I ., I C. Galle el 2alo de 2e dad de los si"uientes es0uemas molecula es" a) (p ] q ) ^ ( ` p V r ) c) p ] q ^ r e) ( p a ` q ) ^ r b) ` r ] \p ^( r V q ) _ d) )\(p] q) ^ (q ] r )_ a ` p f) ( ` p V q ) ^( ` r ] q ) J.- a)Fi la proposicin p ^ ( ` p V q ) es falso , deter ine el valor de verdad de " ` (p V q ) b) Fi la proposicin ( p ] q ) ^ ( q^r ) , es falsa deter ine el valor de " p V r K. Co maliFa los si"uientes aFonamientos. LSon tautolo"5as, cont adicciones o indete minacionesAcontin"encias-M a).Fi tengo razn, entonces esto! loco. Pero si esto! loco, entonces tengo razn. Por tanto, no esto! loco. b).Fi tengo razn, entonces esto! loco. Pero si esto! loco, entonces tengo razn. Por tanto, no tengo razn. c.)A enos que e equivoque, esto! loco. Pero si esto! loco, tengo que estar %quivocado. Por tanto, esto! equivocado. d).Fi tengo razn, entonces t& est+s loco. Fi !o esto! loco, no tengo razn. Fi *& eres un loco, tengo razn. Por tanto, no esta os los dos locos al is o *ie po. e) Fi la pri a de Ma!ra no quiere cenar, entonces co e su e panada. Fi co e su e panada, no le dan torta. $a pri a de Ma!ra no quiere cenar ! se retira de la esa. Por lo tanto no le dan torta. '. 5lasifica los siguientes enunciados" Proposicin, %nunciado abierto, enunciado 7) )( N '9 : 'A (GGGGG.) 77) ? 8 ( O ) (GGGGG.) 777) ,%studias Mate +tica0 (GGGGG.) 7V) K es n& ero pri o (GGGGG.) V) 2%res grande Per&3 (GGGG ..) V7) ?9 < > : =@ (GGGGG)

?.<For alice la siguiente proposicin" %s falso que, estudie ! no vo! al cine ).< Jecir si la siguiente proposicin es tautologa, contingencia o contradiccin"

: , p q) ,: p : q)
=.< Jada las siguientes pre isas" p" 4o! es feriado q" MaBana es da laborable r" Vo! a clase For aliza la proposicin" S1o es verdad que, 4o! sea feriado ! que no asista a clase. Por lo tanto vo! a clase. ,: p q ) , es falsa indicar el valor de verdad de la proposicin" (.<Fi la proposicin" p

, p q ) [ p , p q) ]

;.<A enos que e equivoque, esto! loco. Pero si esto! loco, tengo que estar equivocado. Por tanto, esto! equivocado

CONEC*I.OS LGICOS

SINNI;OS
! *a bi.n A&n A la vez 1o obstante Ade +s Pero Fin e bargo Aunque 1o es cierto que %s falso que 1o es el caso que 1o sucede que T A enos que es condicin suficiente para 0 Fi ! , 0 0 si ! -ue ! sie pre que 0 5uando ! , 0 0 es condicin necesaria para !

b conjuncin

P
V
p

negacin
dis!uncin
q

i plicacin

%n caso de que ! entonces 0 ! solo si 0 Fi ! slo si 5uando ! slo cuando %quivale a %s necesario ! suficiente para %n el caso , ! slo en el caso , de que

'.< 5u+les de los siguientes enunciados son proposiciones , funcin proposicional .Jeter ine su valor de verdad"

a) %l pisco es peruano b) ( es un n& ero racional c) 2 Viva el Per&3 d) Cn tri+ngulo es un polgono de tres lados e) > es /er ano de ! f) ?A D '( g),*e gusta la Mate +tica0 /) %l es arquitecto
& i) (. & = -
" &

j)*enga cal a ,no se i paciente E) K> 8 ) : '? , > # l)'A es &ltiplo de ) x R$ x > x " ll) )> es 7ngeniero ! Luan es Mate +tico " n) x Q / .x = " ( B)$os cuadril+teros tienen ) lados o))> N A O '( , > #

t)> es un ani al ?.< a) Fi p es verdadera deter inar el valor de verdad de Pp^q b)Fi p es falsa p vq c) Fi p es falsa , entonces Pp q es d) Fi la proposicin (p b q)^r es falsa , deter ina el valor de las proposiciones"

p) x ! "# $ x$! q) &x # ' ""$ x % r) (x ) * ""$ x +

d .", p r ) q d .&, p q ) r

d .(, p q ) r d .1,r p ) , q p )

).< Jeter inar el valor de verdad de las proposiciones p ! q si se conoce la siguiente infor acin " \(p v q ) b Pq_^q es falsa ! \(Pp b Pq )^ q _ b (p v q ) es verdadera

'.< Jeter inar el valor de verdad de las siguientes proposiciones"

e)x R$ x ="
0

ll ) x / x + 1 > 1
i ) x Q / & x +" = 0 j ) x Z $ x & & x +" 0 k ) x I / x + ( = 0 l ) x x & 0

a ) x N $ x +" & b) x N / x +) = 0 c) x Q$ x & 1 d ) Si.x $ x& >0

" x & x 1 g )x R / = x & x +& h)x R / x & 2 = 0 f )x R / x " =

m) x R + $ x = x n) x R $ x = x ) x R$ x " = " x