wK gelon, T Trgenienr de Sistemas le Paz Noche, Tues Lures 44-Seg\iembee -202% Clise_virbol. 1.9_ RAZONAMIENTO_DEDUCTIVS Vauipp En materi interes el tipo de mzengmiento Hamado deduct, Lamanoy Pouce se clo (fre ah sens Fran ep te Jproposiiones,tamagns premise, Yas Hann concusiag ways [fe scot se crime que derive dela premise Un rzenamieno es deductivo i y sl sila peamisas son evdeaca de a Nerdad de Ta concusitn, es dec, s! Py Diy. Bm son verdadermn, etence vesdider. Un razonamiento deductvo et vil si noes posible que lat pemans teanverdadersy ls concusin faa, De un rzonamicnto nove dhe gue Vat fino que es vilido 0-20 Lnmanes reg de inferenci, a todo equema vido de rzoramiento, indepen fentemente de tn V 0 F de ls propesciones componenes, De ete modo, ode fea de inference tolgin. Un razonamiento deductvo € vldo cuando el condiconscuyo aneceente os In conjuncién de as premiss, y el consecoent eb sonchiin, es tataliaa Son gempls de eg de inferenci 2 Ley el ma Ee ——e La potaion elisa es Ee esque ee soucn eli et contin Me 4)» mele Ley logo poe a ee nr i TASTES metre a de valones de verdad nos ravestra cru paps ch ea ‘ rmonamieto, ya ue Is coresponiete oe tastolieoEjemplo: »mplo 1-12. gry nati ite tt amine Ts cele Al 0 My este Rude. feccionar la tabla del condicional entre Ia conjuncién de las las leyes de! célculo proposicional, a fin de simp! ituseidn. La segunda premiso es equivalente a la conttarreciproca q => 7:por la silogismo hipotético, de la primera y de ésta, resulta p = 7. La iiltima premiss mop = res V resulta necesariamente que p es F. cera premisa equivale a pV 1, de acuerdo con una ley de De Morgan, y pot ser; resulta la verdad de #. Ahora bien, siendo ry ¢ = s verdaderos, resulta la ve En lugar de con! ta conclusion, haremos uso de yen consecuencia r es F, y cor 5, por 1.9 a). \eas) alu daa) a vive’ vb) a (t2s\y orTishigioda A Peng «Vv daring” Y awe ae tv 4 Ensav Jovrev Premise Conel ede ‘S) v ) pad Premise 2) 2 a Premise 2) 3 osx , : (g>y omer na, 20?) 3) reg vor cenrespes (S72 4) 4 >r Trvdlv Phere 003) ar esse s) Par Silegune fie Gee \gthe a 4 wae eV. 22 = == amiss S\ B) we Vo ee. Hebe Tolens, S\ y4) ene 8) meee awe) Pamir @ ~P q wey wer ad... Nevpmn, weve we vns\ aj pvt. (ve Towle wwe) © F n) PRL ee _ deay » oe Premier 3 a - Malus Ponens en 14) ¥ 12) E\ aymink 6 ws lidoy/Hoy Ilueve 0 hace frio, ~ Hoy Ilueve 0 no hace frio, Hoy Ilueve. guaje simbolico se tiene wed v@ ee » ~q es F; cualquiera que sea el caso, por ser las disyunciones ve pes V. De otro modo, la conjuncién de ambas disyunciones, pot | d, es equivalente ap v (q A ~q). Leis Co Seas ome Gta, y como * >q es F, resulta la verdad de p. aEjengle: Dei geve & Sigur en’ Wyenvmienbs 8) Ley del modus ponens: ‘Sip y p = 4, ENTONCES 4 notacion elisa es Savig: QD (09) peemisy 4 | 2) (pra) a5. peniss 2 Ee omen Br on 3 or <2, Modus Panens @ 2)) crtey det stogime hiportie: 7 42) me ras pains fe 3) s Pa Hodes Rawes, Ett rain, 20) oooh 0 2 eee and) yw) * x TY ngmetedes an Ville.ee coyrewmianty, 7 SEs Ger eh § Pos prmisd 4 v9 ness . cond © 4) end Perms? 4 2-9 pamisa & Modus Tolens 3) -P on 4) 32) VP Ps pemiss 3. Holes Porers 27 sys BW yX\ s% nas 2s umbodivin. Mo es walibosy (evry) (age) = 2) Ley del madus ponens Sp yp =a. ENTONCES q Lamotacinclisics et 1) Ley del madus tolens: carer Ege exquems es Ia notacin clinica del condisiosl pg a m~alene ©) Ley del silogiono hipotéico: pa or par Eade pepo = 0-2 a ona 2 ecm, En candle econ | CP--W7'e ) = moo forme eePet ber E jangle. Dskgeve e306 o eo ug eye pY¥er P1.10. FUNCIONES PROPOSICIONALES, SU CUANTIFICACION —————_—_——_—_—_—_—_—_—_—_—____ simbolo P (x) es la representacion-de un ptedicada o propiedad relativos jjeto indeterminado x, pertene ente a cierto universo 0 i i conjunto. Si nos referimos' Jos niimeros enteros y estamos interesados en la propiedad de ser impar, entonces la | traduccion de P (x) consiste en: x es impar, y se escribe Ped es impar Es claro I ue el enunciado: “x es impar” no es una proposicion, ya Que a menos que se eqpecifique @ x no podemos decir nada acerca de su verdad 0 falsedad. Ocusre, sin fiebargo, que para cada asignacién dada al sujeto x dicho enunciado es una proposicion. A expresiones de este tipo se las lama funciones o esquemas proposicionales. aoe : Funci ici es toda oracién en fa que figura_g como sujeto u objeto directo, la cual se convierte en proposicion para cada especificacion de x. En nuestro ejemplo resultan proposiciones como P(—4):—4 esimpar FY PG 5): Sesimpas (V),ete.‘se petentan tabi fnconespropscionals con ds varie olndteminas ‘Sea, por ejemplo, Px.) :x es divisor dey ‘Lo mismo que ene eso anterior, sx « y xn entron (#7) R06 FOREN, ya que no podemos afirmar ta verdad “alsedad del emunciado. Mas para cada particularizacion de valores se tiene wna proposiciin Pc =2 esdivordes “$2 P( 12,6): 12 exdivisorde6 (F) £ A ir de foncionesproposonales ex posle btenerproposcons semis ct te te te cane. hed bcm 5 Faerodueimos los sgpbalos WH y 3%, lamados ‘coantfcadores univers y existencia) ‘Ea x, respectivamente, Las expresionss aa ‘Para todo x, se vrifica P ) ‘Exist x, tal que se verfica PG) etenotin medaoe ¥=EPG) 372) 1y cortesponden a una furcibo rime cao, exisencihment® 6” PG) cuaificda univeralments en et 7 sepund Una ancionproposiionlcuanineae quiere ef career de proposi:in, En efecto, retomando el primer ee Aecimos a ja 2 todos 18 “Todos os 3 taro que hemos enunciado una proposcin ge Goteros, cayo valor de verdad es F, Una trduccion més detallada de os Pr ‘consiste en “cualquiera que sa, x es impar” Es decir Wea xesimpat ‘Si cuanificamos existencialmente Ia misma funcién proposicional, se tiene ax/reainow ows “Exdste x. tal que x es impar”. Obien ““Exlatenenteros que son i e@ Onbieanenl ‘Hay. enteros impares”. Exib he, axEl valor de verdad es V, y en consecuencia se trata de una proposicit cuantificador existencial se refiere a, por lo menos, un x Es obvio que una funcién proposicional cuzntificada universalmente es V si y $0 son V todas las proposiciones particulares asociadas @ aquélla. Para asegurar la de una funcidn proposicional, cuantificada existencialmente, es suficiente qu verdaders alguna de las proposiciones asociadas a la firncién proposicional. Un problema de interés es la negacién de funciones proposicionales cuantil La negacion (1") es 3 jo todostlos enteros son impares”. * D equivleds. es decir “Existen enteros que no son impares"” yen simbolos ax/~P(x) Entonces, para negar una funcién proposicional cuantificada universalment cambia el cvantificador en existencial, y se niega la funcién proposicional. La negacion de(2')es (wa) < “No existen tnteros impares”. Es decir “ cemtigiutoe, Pod: x lp cunve, am: x Toei. Yq; (Por 2 Gea) @ Noyes ~ Lx Poa Fee | v(x) Pen y 8) Qa: Paar eed May pavers quele cmocen y no |B ade! con14, Consideremos Ia misma cuestiOn en el siguiente caso: ode entero admite un inverso aditvo. Esdecir “Cuatquiera que sea el entero, @isteotro que sumad a él da cero” *Aniorvienen dos variables y fa funci6n proposicional \ ea P(x,y):4 400 5 aia afer, ssi “eho que words de 0. Pex) xx4 0 Vady / ary ed Sieben Satyam: w[vn\~lay Ata 2] vfiy\< 94, Ay: xeyt d Este wm anor X > cue sumo con Cu & ¥caronta & ow, algvier OO Hund. 4Kyeryo Ser lo errprs’ en © Hy Gesea) ae (SE yeah ) Pai wm eshdiw Qn. % bora Fee steded Mor Xf FH) aw $x / Poin “, B® Voge Gr? ve (ax): wT Pea noo | Va lw Pov VO) smh cualgiem gre ser d vluar no ashvdiy © ae tena .1.11 CIRCUITOS LoGICos em La verdad de una proposicion puede asociarse al pasaje de corrie Para representar a p, es V, se tiene = Y para p, siesE f Es decir, el interruptor se cierra sip es Vy se abre sipes F, Las operaciones proposicionales pueden Tepres i) Conjuncion Este circuito admite el pasaje de corriente, es decir, la verdad dep A q, sblo si las son V.ii) Disyuncién, Esté representada por un cicuitoen paraleio. PY ee La falsedad de p vq, es decir, el hecho de que no pase corriente, slo se verifica el caso de la falsedad simultinea dep y @ iii) Implicacién. Como a cae (wraen~ 4 ~o acuerdo con 1.8, aplicando una ley de De Morgan y la doblé negacién, se tiene er-deCrvy a En consecuencia, el circuito asociado ¢s a Ee + q de De Morgan, Is negacién de aa aa iy), iizando sucesivamente 14.6., 1.4.5. uae leyiv) Diferencia simétrica. izando sucesivamente 1.4.6., 3 ee inpkevaones flo deh butividad de bo disyuraa ves de & aajurUarn Fiena fos equine lances ¢ eed Cp v9) r~Cpee) re cae wpa) ae] e > vipa) ¥ % Canes er (eard y Cian deo va) (Pet) A wgug) a C44) ED (peg airs 4) wy oe ~t ‘A5., was ley, de De Morgan, 12 negacién de 5., va te peu ede on che wiCorl es ef creerihs correspondiente 2 Ie gegsiac es 3 (prgly eal solver ~— e 4 —__/Eigrph « Lo operod.cn aay Att Qeodene 21 Sigui went cirvevily {=} dod ee er Grr)