EL MÉTODO ABREVIADO: El método abreviado de la tabla de valores es un procedimiento que nos evita el laborioso trabajo de combinar y operar todas las posibilidades de los valores de verdad y fals falsed edad ad en la eval evalua uaci ción ón de las las fórm fórmul ulas as.. El Méto Método do abre abrevi viad adoo es apli aplica cabl ble, e, básicamente, básicamente, a esquemas esquemas condicionales, condicionales, especialmente especialmente para analizar la validez e invalidez de las inferencias. Segn este método, se parte de la !ipótesis que la premisa o la conjunción de premisas es verdadera y la conclusión falsa, nica posibilidad que invalida la implicación. Si se demuestra que la !ipótesis es cierta, entonces se concluye que la inferencia no es válida" en caso contrario se !abrá demostrado que la inferencia es válida. REGLAS DEL MÉTODO ABREVIADO: #ara averiguar si una inferencia es válida o no por el método abreviado se deben aplicar las siguientes reglas$ i% &sig &signa narr el valo valorr de verd verdad ad '(% '(% a cada cada una una de las las pre premi misa sass y de fals falsed edad ad ')% ')% a la conclusión. ii% ii% *e *edu duci cirr el valo valorr de cada cada una una de las las vari variab able less prop propos osic icio iona nale less inic inicia iand ndoo la operación por aquel operador que ofrece una sola opción en la obtención del valor. iii% iii% +ras +raslad ladar ar el valor valor de una una variab variable le si ésta ésta se repit repitee en el esquem esquema, a, si y sólo sólo si no afecta el valor del operador inmediato, iv% iv% Si cada cada una una de las vari variab able less cum cumple ple una una sola sola funci función ón verit veritat ativ ivaa se !a !abr !abráá demostrado a, que la premisa o la conjunción de premisas es verdadera y la conclusión falsa. #or lo tanto la inferencia será inválida. v% asta asta que que una vari variabl ablee tenga tenga los los valore valoress de verda verdadd y falsed falsedad ad a la vez vez en en todas todas las opciones, para demostrar que es imposible que la premisa o la conjunción de premisas sea verdadera y la conclusión falsa. #or lo tanto, !ay implicación y la inferencia es válida. Ejemplos: -. Smit Smit!! es un profe profesi sion onal al si y sólo sólo si es un gradu graduad adoo univ univer ersi sita tari rio. o. cur curre re que que Smit! es un &dministrador. #or lo tanto si smit! es un &dministrador entonces es un graduado universitario. [ ( p → q) ∧ r ] → ( r → q) /. 0osé 0osé será será encon encontr trad adoo culpab culpable le si !oy rinde rinde testim testimon onio io,, pues puesto to que si !oy !oy rinde rinde testimonio entonces dirá la verdad, y si dice la verdad 0osé será encontrado culpable. [ ( q → r ) ∧ ( r → p) ] → ( q → p) 1. 2omo 2omo es !ora !ora labo laborab rable, le, se se concl concluy uyee que en en juzgad juzgadoo !ay juece juecess y testig testigos, os, dad dadoo que, si es !ora laborable, en el juzgado !ay jueces, y !ay testigos si en el juzgado !ay jueces. [p ∧ ( p → q) ∧ ( q → r ) ] → ( q ∧ r ) 3. 4a luz luz no no está está ence encendi ndida da,, si y sólo sólo si si no !ay !ay algu alguien ien en la la casa casa o los de de casa casa !an !an salido a pasear. Si los de casa !an salido a pasear entonces !an ido a la función teatral. En consecuencia, si los de casa !an ido a una función teatral, la luz no está encendida. [( ~ p ↔ ( ~ q ∨ r ) ) ∧ ( r → s ) ] → ( s →~ p)
Ejercicios$ #or las tablas de verdad y el método abreviado, determine si es válida o no cada una de las inferencias siguientes$ -. Si el testigo dice la verdad entonces el mayordomo estaba en la escena del crimen. #ero el mayordomo no estaba en la escena del crimen. En consecuencia el testigo no dice la verdad. /. 5o es el caso que 2arlos sea abogado o médico. 4uego, 2arlos no es abogado. 1. Si el sol brilla entonces silba el viento. Si silba el viento entonces las aves cantan. *e modo que si el sol brilla entonces las aves cantan. 3. El agua se congela si y sólo si la temperatura está bajo cero. curre que el agua no se congela. #or lo tanto si la temperatura no esta bajo cero entonces la refrigeradora está malograda. 6. Si el testigo dice la verdad entonces #epe estaba en su casa antes del mediod7a. #ero si #epe pasó el d7a en el club entonces no estaba en su casa antes del mediod7a. #epe pasó el d7a en el club. #or consiguiente el testigo no dice la verdad. 8. la producción minera crece, si y sólo si los salarios son altos y !ay inversión de capitales. curre que la producción minera no crece. En consecuencia, o los salarios no son atos o no !ay inversión de capitales. 9. Si el galeón trae piratas, entonces el capitán no !a muerto. 4a tripulación llegará al amanecer si no !ay tormenta en alta mar. #ero, si !ay tormenta en alta mar entonces el galeón no trae piratas. *e modo que, la tripulación llegará al amanecer si el capitán no !a muerto. :. El arma del delito será descubierta si la !uella es auténtica, puesto que, si la !uella es auténtica, el motivo del crimen fue el robo, y el arma del delito será descubierta si el motivo del crimen fue el robo. ;. Susana estudia teatro y ballet, si y sólo si es modelo de televisión. Susana es modelo de televisión si practica la gimnasia. #or lo tanto, Susana practica la gimnasia si estudia ballet. -<. si !ay tormenta, entonces nieva si llueve. =ace fr7o si llueve. #or lo tanto, !ay tormenta, si nieva y !ace fr7o.
LEYES LÓGICAS: >na 4ey 4ógica es una equivalencia 4ógica. 4as 4eyes 4ógicas o #rincipios lógicos vienen a ser formas proposicionales tautológicas de carácter general y que a partir de estas leyes lógicas se puede generar otras tautológicas y también cualquier tautolog7a se puede reducir a una de las leyes lógicas. Entre las principales 4eyes 4ógicas tenemos$
I.
LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS: -.
#rincipio de ?dentidad$ Segn este principio toda proposición se implica a s7 misma. )ormalmente se enuncia as7$ p
→
p
Ejemplo$ Si el nmero / es par entonces el nmero / es par. /.
#rincipio de 5o@2ontradicción$ Segn este principio es imposible que una proposición sea verdadera y falsa a la vez. )ormalmente se enuncia as7$ ~ ( p∧ ~ p )
Ejemplo$ Es imposible que el nmero / sea par y no sea par. 1.
#rincipio del +ercio EAcluido. Segn este principio, una proposición o es verdadera o es falsa, no !ay una tercera posibilidad. )ormalmente se tiene$ p∨ ~ p
Ejemplo$ el nmero / es par o el nmero / no es par. ??.
EQIVALENCIAS NOTABLES: -.
4ey de la doble negación$ ~ ( ~ p ) ≡ p Bla negación de la negación es una afirmaciónC a.
/.
4ey de la ?dempotencia$ p∧p ≡ p a.
1.
3.
b.
p∨p
≡
p
4eyes 2onmutativas$ p∧q ≡ q∧p a. b. p ∨ q ≡ q ∨ p
c.
p
↔
q≡q↔p
4eyes &sociativas$ p ∧ ( q ∧ r ) ≡ ( p ∧ q) ∧ r a. b. p ∨ ( q ∨ r ) ≡ ( p ∨ q) ∨ r
c.
p
↔
( q ↔ r ) ≡ (p ↔ q) ↔ r
6.
4eyes *istributivas$ a. p ∧ ( q ∨ r )
≡
( p ∧ q) ∨ ( p ∧ r )
≡
( p ∨ q) ∧ ( p ∨ r )
b. p ∨ ( q ∧ r )
8.
9. :.
4eyes de Morgan$ ~ ( p ∧ q) ≡~ p∨ ~ q a.
;.
~ ( p ∨ q)
4as 4eyes del icondicional$ p q (p q) ( q p) a. 4eyes de &bsorción$ p ∧ ( p ∨ q) ≡ p a. b. p ∧ ( ~ p ∨ q) ≡ p ∧ q ≡
→
∧
( p → q) ∧ (p → r ) p → ( q ∨ r ) ≡ ( p → q) ∨ ( p → r )
→
-<. 4eyes de +ransposición$ p → q ≡~ q →~ p a.
~ (p
b. b.
≡
p
↔
~ p∧ ~ q
→
q
≡
→
≡
→
q)
≡
p∧ ~ q
( p ∧ q) ∨ ( ~ p∨ ~ q)
( p ∧ q ) ≡ p p ∨ ( ~ p ∧ q) ≡ p ∨ q
c. d. b.
p
∨
p
↔
q ≡~ q
--. 4eyes de EAportación$ ( p q) r p ( q r ) a. b. ( p1 ∧ p 2 ∧ ... ∧ p n ) → r ≡ [( p1 ∧ p 2 ∧ ... ∧ p n 1 ) ] → ( pn ∧
≡
b.
4as 4eyes del 2ondicional$ p → q ≡~ p ∨ q a.
↔
p → ( q ∧ r )
c. d.
~p
↔
→
−
→
r )
-/. Elementos 5eutros para la 2onjunción y *isyunción$ a.
p ∧ V ≡ p, V neutro de la Conjunción
b.
p ∨ F ≡ p, F neutro de la Disyunción
-1. +ambién$ ( p ∨ q) ∧ ( p∨ ~ q) a.
≡
p
b.
( p ∧ q) ∨ ( p∧ ~ q)
≡
p
III. IMPLICACIONES NOTABLES: 4as implicaciones notables se pueden escribir de dos formas$ en forma !orizontal o en forma vertical. a% )orma =orizontal$ 2uando la conjunción de premisas que implica a la conclusión se escriben !orizontalmente en forma eApl7cita usando los conectivos$ ∧, →
( p1 ∧ p 2 ∧ ... ∧ pn ) → q
b%
)orma (ertical$ ')orma 2lásica%$ en este caso no se escriben en forma eApl7cita los conectivos$ ∧, → . 4a conjunción de premisas se escriben verticalmente una después de otra y al término de la ltima premisa se escribe una raya !orizontal y tres puntos para luego escribir la conclusión. El razonamiento es$ B si ocurren ( p- ∧ p / ∧ ... ∧ pn ) " por lo tanto ocurre qC.
-.
M*>S #5E5* #5E5S 'M##% p→q
[ ( p → q) ∧ p ] → q
q ∴
q
Ejemplo$ BSi / es divisor de 3, entonces / es divisor de :C B/ es divisor de 3C #or lo tanto$ B/ es divisor de :C /.
M*>S +44E5* +5E5S 'M++% p
→
[ ( p → q) ∧ ~ q] →~ p
q
~ q ∴~
p
Ejemplo$ BSi 0uan estudió entonces aprobó MatemáticaC B0uan no aprobó MatemáticaC B4uego 0uan no estudióC 1.
4ED *E4 S?4?SM *?SD>5+?( 'S*% p
[ ( p ∨ q) ∧ ~ p] → p
∨
q
~p q q
∴
p
[ ( p ∨ q ) ∧ ~ q] → p
∨
~ q ∴
p
Ejemplo$ BA es nmero par o mltiplo de 6C BA no es parC ∴ BA es mltiplo de 6C 3.
4ED *E 4& ?5)EFE52?& EG>?(&4E5+E p
[ ( p ↔ q) ∧ p] → q
↔
q
p ∴ q
Ejemplo$ Ba es un nmero primo si y sólo si es mltiplo de - y de aC Ba es mltiplo de a y de -C ∴ Ba es nmero primoC 6.
S?4?SM =?#+H+?2 #>F 'S=#%
p
→
q
q
→
r
→
r
[ ( p → q) ∧ ( q → r ) ] → ( p → r ) ∴
p
Ejemplo$ BSi / divide a A, entonces A es parC Bsi A es par, entonces es mltiplo de /C ∴ Bsi / divide a A, entonces A es mltiplo de /C 8.
4ED *E 4& +F&5S?+?(?*&* S?MH+F?2&$
p
[ ( p ↔ q) ∧ ( q ↔ r ) ] → ( p ↔ r )
↔
q
q ↔ r ∴ p ↔ r
Ejemplo$ B/ divide a A, si y sólo si A es parC B A es par, si y sólo si es mltiplo de /C ∴ B/ divide a A, si y sólo si A es mltiplo de /C 9.
4ED *E 4& S?M#4?)?2&2?I5 ( p ∧ q) → p
p∧q ∴
( p ∧ q) → q
p
p∧q ∴
q
Ejemplo$ B0uan y Manuel son menores de edadC #or lo tanto$ B0uan es menor de edadC :.
4ED *E &*?2?I5 p
→
p
( p ∨ q) ∴
p∨q q
q → ( p ∨ q) ∴
p∨q
Ejemplo$ BFicardo #alma escribió +radiciones #eruanasC #or lo tanto$ Bescribió B+radiciones #eruanasC o Bfue un gran poetaC ;.
4ED *E EJ#&5S?I5$ p
p → q → [p → ( p ∧ q) ]
∴
p
→
→
q
( p ∧ q)
Ejemplo$ BSi !ay agua, entonces !ay vidaC #or lo tanto$ Bsi !ay agua, entonces !ay agua yC vidaC
-<. 4ED *E 4& 250>52?I5$ ( p, q)
→
( p ∧ q)
--. 4ED *E4 &S>F* [p → ( q∧ ~ q) ] →~ p [ ~ p K ( q∧ L q) ] K p
p, q ∴ p∧q
EL MÉTODO DE LAS DEMOSTRACIONES O DERIVACIONES: #ara evaluar un razonamiento por el método de las demostraciones o derivaciones, es decir, para demostrar que la conclusión de una argumento se sigue lógicamente de las premisas se siguen$ - Se asigna a cada proposición atómica su correspondiente variable. / Se simbolizan las premisas y la conclusión, disponiendo aquellas en forma vertical y escribiendo la conclusión a continuación de la ltima premisa, en el mismo renglón. Entre la ltima premisa y la conclusión se escribe una barra separatoria BNC seguida del s7mbolo B ∴ C que se lee$ Bpor lo tantoC. 1 Se procede a efectuar las derivaciones tomando como punto de partida cualquiera de las premisas, siempre que sea factible, e indicando a la derec!a en forma abreviada de qué premisas y mediante qué ley o regla se !a obtenido la nueva eApresión. 3 !abiéndose obtenido la conclusión, puede afirmarse que la argumentación original es correcta o válida. Ejemplo$ sea la argumentación siguiente$ Si !ay abundancia de peces, !abrá abundante !arina de pescado. Si !ay abundante !arina de pescado, se incrementa la producción. 4a eAportación no se incrementa. !ay abundancia de peces o será preciso recurrir a otras actividades. 4uego, será preciso recurrir a otras actividades.
Ejercicios$ )ormule la justificación de cada paso en las siguientes derivaciones$ a% -. p → q 8. ( q → p ) /. p ∧ r / ∴ q 9. Lq :. r 1. p ;. Ls 3. q b% -. r ∨ s /. s → p 1. ~ r / ∴ p 3. s 6. p
!% -. /. 1. 3.
-. p → q /. ( p ∧ q) → r 1. ~ ( p ∧ r ) / ∴ ~ p 3. p → ( p ∧ q) 6. p → r 8. p → ( p ∧ r ) 9. Lp
g% -. /. 1. 3. 6.
r →~ s ~p
q ∨ r q
↔
p / ∴~ s
( q → p) ∧ ( p → q)
r
r −
p / ∴ q
6. [ ( − p ∧ −q ) → − r ] 8. − − r 9. −( − p ∧ −q ) :. p ∨ q ;. q i%
e% -. ( p ∨ q) → r /. p ∧ s / ∴ p ∧ r 1. p 3. p ∨ q 6. r 8. p ∧ r f%
↔ −
[ ( − p ∧ −q ) → −r ] ∧ [ − r → ( − p ∧ −q ) ]
c% -. ~ ( r ∨ t ) /. s → r / ∴~ s 1. ~ r ∧ ~ t 3. Lr 6. Ls d% -. q ↔ r /. q ∧ p / ∴ r 1. ( q → r ) ∧ ( r → q) 3. q → r 6. q 8. r
( − p ∧ − q )
j%
-. /. 1. 3. 6. 8. 9. :. ;. -<. --. -/. -. /. 1. 3. 6. 8. 9. :. ;. -<. --. -/. -1.
p ∨ ( q ∧ r )
p→s s → r / ∴ r p → r
( q ∧ r ) ∨ p ~ ( q ∧ r ) → p ~ ( q ∧ r ) → r ( q ∧ r ) ∨ r ( q ∨ r ) ∧ ( r ∨ r ) ( r ∨ r ) ∧ ( q ∨ r ) r ∨ r
r
p →~ q r → q
~ r → s
( ~ p →~ t ) ∧ ( ~ t →~ r ) p∨ ~ p / ∴ s
~ q →~ r p →~ r
p→s ~ p →~ r ~p→s
( p → s) ∧ ( ~ p → s) s ∨ s s
Mediante el método de las derivaciones demuestra la validez de las siguientes inferencias$ a% -. p ∨ q 1. t → q 3. s ∨ t / ∴ w ∨ r /. ~ ( p ∨ r ) / ∴ q b% -. /. c% -. /. 1.
f%
q∧ ~ s p
→
( r ∧ s) / ∴
( p ∧ q)
→
~p
r
~ (t
∧
r )
~ r → s ~t
s
→
w → − s / ∴ − w
p∧s q / ∴ r
g% d% -. /. 1.
-. /. 1. 3.
p∧ ~ q p →~ r
p
/. 1.
q∨ ~ s / ∴~ ( r ∨ s)
e% -. ( p ∨ q ) → r /. s → p
!% -. /. 1.
~ ( q → r )
→
( s ∨ q ) → r s/
~p
∴
( p ∨ q) → ( r ∨ s ) ~ p → ( t →~ t ) ~ r / ∴ ~ t
#ruebe la validez de los siguientes razonamientos mediante el método de las derivaciones$ a. Si eliges una carrera profesional, tendrás que esforzarte en lograr una buena preparación. eliges buena carrera profesional o te dedicas al deporte. Es as7 que no te dedicas al deporte. 4uego, tendrás que esforzarte en lograr una buena preparación. b. Si el c!ofer es abstemio, entonces la ebriedad no fue la causa del accidente. #ero la causa del accidente fue o bien la ebriedad o bien una falla mecánica. El c!ofer es abstemio. 4uego, la causa del accidente debe !aber sido una falla mecánica. c. Si el capitán &!ab fue mutilado por Moby *icO, entonces la perseguirá !asta alcanzarla. #ero si la persigue !asta alcanzarla, entonces Moby *icO matará a &!ab. Es as7 que &!ab fue mutilado por Moby *icO. #or consiguiente Moby *icO matará al capitán &!ab. d. Si la polic7a acta rápidamente o se vale de perros amaestrados entonces los ladrones serán apre!endidos o se recupera la mercader7a. Si los ladrones serán apre!endidos o se recupera la mercader7a, entonces el comerciante podrá evitar la quiebra de su negocio. 4a polic7a acta rápidamente. 4uego, el comerciante podrá evitar la ruina de su negocio. e.
El mar está tranquilo y la lanc!a patrullera está en perfectas condiciones. Si el mar está tranquilo o la lanc!a patrullera está en perfectas condiciones, entonces el personal de resguardo alcanzará a la nave en cinco !oras. Si el personal de resguardo alcanzará a la nave en cinco !oras, entonces el equipo de emergencia podrá actuar eficazmente. 4uego, el equipo de emergencia podrá actuar eficazmente.
f.
Si 0uan trabaja entonces 0uana se alegra, y si Mario bebe, Mar7a se lamenta. &!ora bien, 0uana no se alegra o Mar7a no se lamenta. #ero si no es el caso que 0uan trabaje y Mario bebe entonces ambos se dedican al estudio. #or consiguiente, ambos se dedican al estudio.
g. Si Enrique se prepara para el futuro, entonces enrique estudia y trabaja. #ero no es el caso que enrique estudie o trabaje. #or consiguiente, no es el caso que enrique estudie y trabaje. !. Si &lberto se dedica a la msica, será un destacado compositor, y si se dedica al comercio logrará ser un acaudalado comerciante. Si llega a ser un destacado compositor y un acaudalado comerciante, !abrá aprovec!ado óptimamente su tiempo. #ero &lberto no sabrá aprovec!ar el tiempo. 4uego, o no se dedica a la msica o no se dedica al comercio. i.
Si el cielo está despejado, entonces será lanzada la nave espacial" y si el cielo está despejado, la televisión captará claramente el lanzamiento, lo que implica, o que los espectadores serán defraudados o que la nave espacial será lanzada. Si el cielo está despejado y la nave es lanzada,
entonces la televisión captará claramente el lanzamiento. Es as7 que el cielo esta despejado y los espectadores no serán defraudados. 4uego, la nave espacial será lanzada.
DEMOSTRACIÓN CONDICIONAL: Es una modalidad dentro del método de las derivaciones y se aplica en los casos en que una argumentación tenga conclusión implicativa. En efecto, siendo la conclusión una eApresión implicativa, necesariamente tendrá antecedente y consecuente. #ara saber si una conclusión de este tipo se deriva de las premisas dadas, se agrega el antecedente de la conclusión a las premisas y luego, aplicando a este nuevo conjunto de premisas las leyes lógicas ya conocidas, se realizan las derivaciones !asta obtener el consecuente de la conclusión. *e aqu7 la$ Fegla de *emostración 2ondicional '#2%$ BSi es posible deducir J de P y un conjunto de premisas, entonces se puede deducir sólo del conjunto de premisas la eApresión implicativa Y → Z C. Esta regla puede !acerse corresponder con la ley de eAportación$
[ ( p ∧ q) → r ] ↔ [p → ( q → r ) ]
P!o"e#$m$e%&o: *ado el caso de que la conclusión de una argumentación sea una eApresión implicativa$ a. Se toma su antecedente y se introduce como una nueva premisa 'premisa adicionalQ#.&.%. b. Se efectan las derivaciones, corriendo la demostración algunos lugares !acia la derec!a, !asta !allar el consecuente de la conclusión. c. Se une implicativamente la premisa adicional con el ltimo paso logrado, volviendo la demostración a la izquierda, a la posición original. Ejemplo$ >tilizando la demostración condicional, pruebe la validez de las siguientes inferencias$ s → r a. -. s∨p /. p→q 1. c. . ( r ∨ s ) → t r t / ~ q t → ∴ → 3. p →~ t /. p ∨ s / ∴ r → s 1. ( p ∨ q) →~ r b. -. s → p /. d. -. ~ p t → q 1. /. ~ r → t s ∨ t / ∴ r → q s ∨ p / ∴~ ( r ∧ s) → t 3. 1.
LA DEMOSTRACIÓN POR EL ABSRDO: Es otra modalidad dentro del método de las derivaciones. Fesulta de la fusión de la regla de la demostración condicional y de la noción de contradicción, de aqu7 su nombre$ demostración por el absurdo. 2onsiste en introducir como premisa adicional la negación de la conclusión para llegar a encontrar una contradicción en las premisas. Es decir, se supone la falsedad del consecuente para llegar a la falsedad del antecedente, mostrando de esta manera que la conclusión se !alla implicada en las premisas 'demostración indirecta%. El sentido de esta demostración se puede entender fácilmente si se recuerda que por M++ se puede deducir la negación del antecedente cuando se niega el consecuente, es decir cuando se sabe que el consecuente es falso. FE4& *E *EMS+F&2?I5 #F E4 &S>F*$ BSi es posible deducir una contradicción de un conjunto de premisas y de la negación de P, entonces P puede deducirse del conjunto de premisas solo.C Esta regla corresponde a la ley del absurdo cuya eApresión es la siguiente$ p K q ∧ @q
p
K @
#F2E*?M?E5+$ *ada una argumentación cualquiera$ a. Se niega la conclusión y se introduce como una nueva premisa 'premisa adicional Q #.&.%. b. Se efectan las derivaciones corriendo la demostración varios lugares !acia la derec!a, !asta encontrar una contradicción. c. Se une implicativamente la premisa adicional con la contradicción !allada, volviendo la demostración a la izquierda, a la posición original '#.2.% d. Se establece la conclusión deseada como una inferencia lógicamente deducida de las premisas originales '#. &b.% Ejemplo$ >tilizando la demostración por el absurdo pruebe la validez de las siguientes inferencias$ a. -. − ( p ∧ q ) c. -. p → ( q ∨ r ) /. − r → q /. q → − p 1. − p → r / ∴ r 1. s → −r / ∴ −( p ∧ s ) b. -. /. 1.
p → q r → p −
q / ∴ −r
d. -. − ( p ∧ q ) /. p → r 1. q ∨ − r / ∴ − p
LAS 'ORMAS NORMALES: Se llaman )ormas 5ormales a aquellas en que nicamente entran conjunciones ' ∧% , disyunciones ' ∨% y negaciones ( − ) que sólo afectan a variables. 4as )ormas 5ormales son funciones moleculares compuestas por determinados esquemas básicos. 4os esquemas básicos están constituidos o bien por conjunciones o bien por disyunciones cuyos elementos son simples variables negadas o sin negar. &s7, son esquemas básicos$ p − ∧ p ∧ q o también p ∨ − p ∨ q CLASES: 4as )ormas 5ormales son de dos clases$ 2onjuntivas o disyuntivas. L( 'o!m( No!m(l Co%j)%&$*( +'NC,: es la constituida por disyunciones básicas como p ∨ q ∨ r ∨ − r o por conjunciones de disyunciones básicas como$ p ∧ q ∧ r ∧ ' @ r ∨ s ∨ t % es la constituida por conjunciones básicas como L( 'o!m( No!m(l D$s-)%&$*( +'ND, p ∧ q ∧ r ∧ @ r o por disyunciones de conjunciones básicas como$ p ∧ q ∧ r ∨ ' @ r ∧ s ∧ t % PRINCIPIOS Y ANTIPRINCIPIOS:
Estando la función básica compuesta por conjunciones o por disyunciones de variables, pueden darse estos dos casos$ -. Si la función básica esta compuesta por conjunciones, entonces es posible que una misma variable aparezca afirmada y negada dentro de la misma función, con lo que se dar7a una contradicción o antiprincipio del tipo$ p ∧ @ p
/.
Si la función básica esta compuesta por disyunciones, entonces puede suceder que una misma variable se repita con diferente signo dentro de la misma función, dándose en consecuencia una tautolog7a o principio del tipo$ p ∨ @ p
4a presencia o ausencia de estos principios o principios constituyen el criterio para determinar la validez o invalidez de un enunciado.
PROCEDIMIENTO DECISORIO: 2omo toda función proposicional 'sea implicativa, equivalente, etc.% es reducible a estas dos formas normales, el procedimiento decisorio puede realizarse por cualquiera de ellas. P!o"e#$m$e%&o p(!( 'NC: *ada una función proposicional, se reduce a su equivalente )52 de la siguiente manera$ - Se cancelan todos los conectores que no sean conjunciones o disyunciones mediante la aplicación de sus respectivas definiciones. / Se eliminan las negaciones que afectan a los conectivos mediante las leyes *e Morgan. 1 Se suprimen las dobles negaciones aplicando la ley del mismo nombre. 3 Se aplican las 4eyes de distribución, absorción e idempotencia cuando fuera necesario. 6 2riterio$ 4a )52 es tautológica cuando todas y cada una de sus funciones básicas contiene el principio del tercero eAcluido. Ejemplo$ -. [ ( p → q ) ∧ p ] → q P!o"e#$m$e%&o p(!( 'ND: *ada una función proposicional, se reduce a su equivalente )5* de la siguiente manera$ - Se niega la función proposicional propuesta. / Se realizan los mismos pasos que el procedimiento anterior. 1 2riterio$ 4a )5* es tautológica cuando todas y cada una de sus funciones básicas contienen una contradicción o antiprincipio. Se comprende que ésta )5* sea contradictoria desde el momento en que se parte de la negación de la función proposicional originaria. Modelo de la )orma 5ormal 2onjuntiva$
' p
T
q%
K
r
Modelo de la )orma 5ormal *isyuntiva$ p T q
K
r
LEYES DE ABSORCIÓN +As., 2uando la presentación de la ley de distribución se !ace enojosa por presentarse dos o más enunciados entre paréntesis, entonces es preciso valerse de las leyes de absorción que simplifican el procedimiento. Son las cuatro siguientes$ &% Esquemas 2onjuntivos$ p ∧ p ∨ q T p a% p ∧ ' @ p ∨ q% T ' p ∧ q% b% %
Esquemas *isyuntivos$ p ∨ p ∧ q T p a% p ∨ ' @ p ∧ q% T ' p ∨ q % b%
En cada uno de estos esquemas es preciso distinguir dos miembros$ uno absorbente y otro que se absorbe. &% Esquemas 2onjuntivos$ Miembro &bsorbente$ una variable o conjunción básica. Miembro que se &bsorbe$ una disyunción básica.
%
2riterio$ -. Si una variable del miembro absorbente se repite con el mismo signo en la disyunción básica, se absorbe toda la disyunción básica. /. Si una variable del miembro absorbente se repite con diferente signo en la disyunción básica, se absorbe esta variable de disyunción básica. Esquemas *isyuntivos$ Miembro &bsorbente$ una variable o una disyunción básica. Miembro que se &bsorbe$ una conjunción básica. 2riterio$ -. Si una variable del miembro absorbente se repite con el mismo signo en la conjunción básica, se absorbe toda la conjunción básica. /. Si una variable del miembro absorbente se repite con diferente signo en la conjunción básica, se absorbe esta variable de la conjunción básica.
Ejercicios$ -. Mediante las formas normales ')52 y )5*% determine la determine la validez de los siguientes enunciados$ p ∨ q ∧ p K q • • • •
/.
p K q ∧ r p
K
q
∧ r
p T q K r
&plique las leyes de absorción a los siguientes enunciados$ •
p ∧ q ∨ p
•
p ∨ r ∧ p
• •
p ∧ q
∨
p ∨ s
p ∧ q ∧ r ∧ t ∨ q ∨ s