2.

Nociones sobre Teora de Conjuntos y Lgica

Para llevar a cabo nuestro propsito de especificar formalmente los problemas y demostrar
rigurosamente la correctitud de nuestro programas, introduciremos algunas nociones sobre
Teora de Conjuntos y Lgica. Los cconceptos y notacin dados nos permitirn unificar la
notacin que utiliaremos en las especificaciones y las demostraciones de correctitud de
programas.
2.1. Conjuntos, Relaciones, Funciones
!n conjunto es una coleccin de objetos distintos, o elementos como normalmente son
llamados. Por ejemplo" el conjunto #$,%& consiste de los enteros $ y % y es el mismo
conjunto que #%,$&.
#& representa al conjunto vaco, es decir, aquel que no contiene elementos. Tambi'n se
representa por .
La notacin anterior describe a un conjunto de manera e(plcita o por e(tensin, listando
todos sus elementos. Tambi'n podemos describir un conjunto de manera implcita o por
compresin"
#i" e(iste un natural j tal que i) *
j
&
La cardinalidad o tamao de un conjunto es el n+mero de elementos del conjunto, y se
denota por , o card-,.. ,s card-#$,%&.)*
Luego definiremos ms formalmente lo que es una operacin, sin embargo damos algunas
operaciones que todos conocemos sobre conjuntos"
/peraciones entre conjuntos" !nin, 0nterseccin, 1iferencia.
/peraciones que producen un valor booleano -verdadero o falso." la igualdad entre
conjuntos, la pertenencia -a,., la no pertenencia -a,., la inclusin -,2.
/peraciones que producen un n+mero" 3i , es un conjunto de n+meros entonces min , es el
menor elemento de , y max , es el mayor elementos de ,.
4l conjunto de partes de un conjunto ,, detonado por *
,
, es el conjunto cuyos elementos
son todos los subconjuntos de ,, *
,
)# 2 " 2 , &. !na particin de un conjunto , es un
conjunto cualquiera P )# ,5, ,*, ... , ,n &tal que para todo i entre 5 y n se cumple que ,i ,
y cualesquiera dos elementos de P, ,i y ,j, con i distinto de j, tienen interseccin vaca y la
unin de todos es el conjunto ,.
6elaciones y 7unciones
3ean , y 2 dos conjuntos. 4l producto cartesiano de , y 2, denotado por ,(2, es el
conjunto de los pares ordenados -a,b. donde a , y b 2"
5%
,(2)#-a,b." a , y b 2&
La cardinalidad de ,(2 es ,82
!na relacin binaria en los conjuntos , y 2 es un subconjunto de ,(2. 3i 6 es una
relacin y -a,b. 6, entonces tambi'n escribimos a 6 b. 4l dominio de R, denotado
dom-6., es el conjunto de los elementos a de , para los cuales e(iste un par -a,b. en 6, el
rango de R, denotado rango-6., es el conjunto de los elementos b de 2 para los cuales
e(iste un par -a,b. en 6.
Por ejemplo, sea P el conjunto de los seres 9umanos. !na relacin en P(P es la relacin
progenitor"
Progenitor) #-a,b." a P y b P y a es progenitor de b&
3ea : el conjunto de los n+meros naturales. !na relacin en :(: es la relacin sucesor"
3ucesor)#-i, i;5." i :&
La relacin identidad en ,(,, denotada por 0, es la relacin"
0 ) #-a,a." a ,&
!na relacin en ,(2 puede que no contenga pares -a,b. para alg+n a en ,, en este caso
decimos que la relacin es parcial. Por otro lado, decimos que la relacin es total si e(iste
al menos un par -a,b. para cada a en ,. 3i para cada b en 2 e(iste un par -a,b. en la relacin
decimos que 6 es sobre 2.
La relacin secuenciacin de dos relaciones 6 en ,(2 y 3 en 2(C, denotada por 6.3, es la
relacin en ,(C definida por"
a 6 . 3 c si y slo si 4(iste b tal que a 6 b y b 3 c
Por ejemplo, la relacin -Progenitor . Progenitor. es la relacin ,buelo)#-a,c." a es abuelo
de c&
La secuenciacin es asociativa" -6.3..T ) 6.-3.T. por lo que podemos omitir los par'ntesis
y escribir 6.3.T. 6
i
denota la relacin 6 secuenciada con ella misma i<veces, cuando 6 es
una relacin en ,(,. 6
=
representa a la relacin identidad.
1e igual forma la relacin inversa de una relacin 6 en ,(2 es una relacin, denotada por
6
<5
en 2(, y definida por #-b,a." -a,b. 6&
!na relacin 6 en ,(, es reflexiva si 0 6, es simtrica si siempre que el par -a,b. est' en
6 se tiene que el par -b,a. est en 6, es transitiva si siempre que el par -a,b. est' en 6 y el
par -b,c. est' en 6 se tiene que el par -a,c. est en 6.
5>
!na funcin f de , en 2 es una relacin en ,(2 donde para cada a , e(iste a lo sumo un
par -a,b. y se denota por"
f " , 2
Por ser una relacin, a una funcin aplican todos los conceptos dados sobre relaciones.
Cada par de una funcin lo podemos escribir de la forma -a, f-a.., f-a. es llamado el valor
de la funcin f para el argumento a. 1iremos que la funcin f no est definida para un
elemento a de , si f no contiene el par -a,b. cualquiera sea b en 2.
La relacin sucesor es una funcin. ,s sucesor-5.)*, sucesor-i.)i;5.
!na operacin n-aria es una funcin del producto cartesiano de n conjuntos en un
conjunto, decimos que la operacin es de aridad n. Por ejemplo, si P-,. representa el
conjunto de todos los subconjuntos de un conjunto ,, entonces la funcin que asigna a cada
par ?, @ de elementos de P-,., la unin de ? e @ es una operacin binaria de P-,.(P-,. en
P-,., el valor de la operacin unin aplicada a ? e @ la denotamos usualmente por ?@, y
decimos que es el operador unin. 1ecimos que ? e @ son los operandos de la operacin
unin.
3ecuencias, n+meros enteros y reales
!na secuencia es una funcin total de ,)#=, 5, *, ... , n<5& en 2, donde 2 es cualquier
conjunto y n cualquier n+mero natural. Por ejemplo la funcin 3)#-=,b=., -5,b5., -*,b*., ... ,
-n<5,bn<5.& es una secuencia y decimos que es de largo n, denotamos el largo de una
secuencia s por largo(s) o por s, y vemos que en general el largo de una secuencia es
igual a la cardinalidad de su dominio.
Aay otra forma de denotar una secuencia, por ejemplo, la secuencia 3 anterior tambi'n la
podemos denotar de la siguiente forma" s ) Bb=, b5, ... , bn<5C. 1ecimos que el primer
elemento de la secuencia es b=, el segundo elemento es b5, y en general el elemento i<'simo
de la secuencia es bi<5. Tambi'n denotaremos los elementos de una secuencia en la forma
sDiE, donde sD=E es el primer elemento, etc. Cuando el dominio de una secuencia sea vaco
diremos que la secuencia es vaca y la denotamos por B C.
!na operacin binaria entre secuencias es la concatenacin, denotada por . 3i 2)Bb=, b5,
... , bn<5C y C ) Bc=, c5, ... , cm<5C son dos secuencias entonces 2 C es la secuencia Bb=, b5,
... , bn<5, c=, c5, ... , cm<5C la cual tiene largo n;m. :ote que el elemento n;5 de esta secuencia
en c=, el elemento n;* es c5, etc.
La operacin primero aplicada a una secuencia nos d el primer elemento de la secuencia,
as primero-B5,*,$C.)5. La operacin resto aplicada a una secuencia s de largo n nos
devuelve la secuencia de largo n<5, cuyo i<'simo elemento, 5 i n, es el -i;5.<'simo
elemento de s, as resto-B5,*,$C.)B*,$C. :ote que las operaciones primero y resto no estn
definidas para la secuencia vaca.
5F
:+meros
:ormalmente utiliaremos los siguientes conjuntos"
4l conjunto de los n+meros enteros G" #..., <*, <5, =, 5, *, ...&
4l conjunto de los n+meros naturales :" #=, 5, *, $, ...&
4l conjunto de los n+meros reales que denotaremos por .
Las siguientes operaciones toman por operandos n+meros enteros o reales"
;, <, 8 suma, resta, multiplicacin
H divisinI produce un n+mero real
B, C, ), , , operadores de comparacinI producen verdadero o falso
abs-(. ( valor absoluto
( menor entero mayor o igual que (
( mayor entero menor o igual que ( -parte entera de (.
Las siguientes operaciones, div y mod, tienen slo enteros como operandos"
1ados dos n+meros enteros =, y > =, el cociente y resto de la divisin entera de entre
y son los n+meros enteros ! y r, respectivamente, que satisfacen"
) y 8 ! ; r, = r < y
div y denotar el cociente de la divisin entera de entre y.
mod y denotar el resto de la divisin entera de entre y.
:ote que mod y " # y $ % div y&
4jercicios" Juas de 4structuras 1iscretas 0. ,utor" Pedro 2orges.
5. Captulo *, ejercicios 5, *, $, K, 5* con lgica, 5$L con lgica.
*. Captulo K" K, 5$.
$. Captulo %" %
2.2. 'ro(osiciones y 'redicados
Proposiciones
!na proposicin es una e(presin sobre un conjunto de variables lgicas o booleanas, es
decir, variables que slo pueden tomar los valores MverdaderoN MfalsoN -denotaremos
MverdaderoN por O, y MfalsoN por 7.. 4stas e(presiones se definen como sigue"
5. O y 7 son proposiciones.
*. !na variable lgica -o identificador. es una proposicin.
$. 3i a es una proposicin entonces - a. es una proposicin.
5P
K. 3i a y b son proposiciones entonces as lo son -ab., -ab., -a b., -a b.
4jemplo de proposiciones" O, -- a. -ab.., --ab.-7(..
Como vemos en la sinta(is anterior, se 9an definido cinco operadores sobre valores de tipo
booleano, uno de aridad 5 y cuatro de aridad * -binarios."
:egacin" -no a., o - a.
Conjuncin" -a y b., o -ab.
1isyuncin" -a o b., o -ab.
0mplicacin" -a implica b., o -a b., b es el antecedente y c la consecuencia
4quivalencia" -a es equivalente a b., o -a b.
4valuacin de proposiciones.
Las operaciones de negacin, conjuncin, disyuncin, implicacin y equivalencia se
definen de manera natural -desde el punto de vista lgico o de sentido com+n., como sigue"
a b a -ab. -ab. -a b. -a b.
O O 7 O O O O
O 7 7 7 O 7 7
7 O O 7 O O 7
7 7 O 7 7 O O
Podemos 4valuar e(presiones booleanas de acuerdo a esta tabla. Por ejemplo" evaluemos la
proposicin --a -b c.. c. para a)7, b)O, c)7. 6eemplaamos en la e(presin los
valores de verdad de las variables y obtenemos --7 -O 7.. 7. ) O.
Podemos omitir par'ntesis de acuerdo a las siguientes reglas de precedencia de operadores"
a. 3ecuencias del mismo operador son evaluadas de derec9a a iquierda -ver 1avid
Jries.. Por ejemplo" a b c d es lo mismo que -a -b -c d.... Como
veremos ms adelante, los otros tres operadores binarios - , , . son asociativos,
por lo que no importar por donde comience la evaluacin.
b. 4l orden de evaluacin de operadores consecutivos diferentes es"
- negacin -prioridad ms alta.,
- conjuncin y disyuncin, la misma prioridad,
- implicacin y equivalencia, la misma prioridad.
Por ejemplo" b c d e es lo mismo que b - c -d e..
a b c no sabremos cmo evaluarla.
Podemos convertir e(presiones en espaQol a forma de proposicional"
5R
Por ejemplo la frase M3i llueve y me quedo en casa no me mojar'N la podemos convertir en
una proposicin de la siguiente forma"
2uscamos, si se puede, algunas proposiciones atmicas"
Llueve" a
Se quedo en casa" b
Se mojo" c
@ la frase en espaQol quedara en la forma" -a b. c
4jercicios" pag. 5F Jries, n+meros 5, *, $, K.
!na Tautologa es una proposicin que es verdad cualesquiera sean los valores de verdad
de las variables que intervienen en ella. Por ejemplo -a a. es una tautologa.
La lista siguiente son tautologas"
Leyes Conmutativas"
-454*. -4*45.
-454*. -4*45.
-454*. -4*45.
Leyes ,sociativas"
--454*.4$.. -45-4*4$..
--454*.4$.. -45-4*4$..
--454*.4$.. -45-4*4$..
Leyes distributivas"
-45-4*4$.. --454*.-454$..
-45-4*4$.. --454*.-454$..
Leyes de 1e Sorgan
-454*. -454*.
-454*. -454*.
Ley de 1oble :egacin"
-45. 45
Ley del Tercero 4(cluido"
*=
4545 O
Ley de la Contradiccin"
4545 7
Ley de la 0mplicacin"
-454*. 45 4*
Ley de la 4quivalencia"
- 45 4* . -454*. -4*45.
Leyes de simplificacin de la disyuncin"
45 45 45
45 O O
45 7 45
45 -454*. 45
Leyes de simplificacin de la conjuncin"
45 45 45
45O 45
457 7
45-454*. 45
Ley de identidad"
45 45
6egla de 3ustitucin" 3i e5e* es una tautologa y 4-p. es una proposicin donde aparece
la variable p, entonces 4-e5. 4-e*. y 4-e*. 4-e5. son tautologas.
6egla de Transitividad" 3i e5e* y e*e$ son tautologas entonces e5e$ es una tautologa.
4jemplo de demostracin de tautologas utiliando las leyes y reglas"
1emostrar que -b c. -c b. es una tautologa
-b c.
*5
b c -por la ley de implicacin.
c b -por la leyconmutativa.
c b -por la ley de negacin y regla de sustitucin.
c b -por la ley de implicacin.
,s -b c. -c b. es una tautologa por la regla de transitividad.
Los pasos de la demostracin deben leerse como sigue" partiendo del 9ec9o que -b c. es
verdadero -lo cual es una suposicin. se tiene que b c es verdadero pues -b c. b
c es una tautologa -si O ( es verdadero entonces ( debe ser verdadero., etc.
4jercicios" pag. *> y *F del Jries, n+meros 5, $, K, %, >-b,e.
Predicados"
!na proposicin, como (-!s., la podemos ver como una funcin de #O,7&
$
en #O,7&.
Por ejemplo para ()O, !)7 y s)O el valor de la proposicin es O. -O,7,O. se denomina
estado de las variables (, ! y s. Para cada estado tendremos un valor de verdad para la
proposicin.
,9ora queremos e(tender la nocin de estado para permitir a las variables contener valores
de otros tipos, como enteros, conjuntos, etc. Con este fin en mente, la nocin de una
proposicin ser generaliada de dos maneras, dando lugar a los predicados"
5. 4n una proposicin, una variable booleana podr ser reemplaada por cualquier
e(presin que tenga valor O 7, por ejemplo" C y.
*. 1efiniremos los cuantificadores e(istencial -. y universal -., lo cual conllevar a
e(plicar las nociones de identificadores libres y ligados y al alcance de las variables
en las e(presiones.
Consideremos la e(presin - C y., donde e y son de tipo entero. Cuando evaluamos la
e(presin para valores particulares de e y, obtenemos un valor O 7. Por lo tanto esta
e(presin puede reemplaar cualquier identificador en una proposicin. Por ejemplo,
reemplaando ( en (-!s. por - C y., obtenemos"
- C y.-!s.
La e(presin que resulta de reemplaar una variable booleana en una proposicin por una
e(presin que al evaluarla d' O 7, se denomina predicado. :ote que una proposicin es
un caso particular de predicado. /tros predicados vlidos son"
-- C y. -) B y.. -;y ).
- C y ) B y. ;y )
**
La segunda e(presin muestra que tantos par'ntesis no sern necesarios, pues
consideraremos que los operadores lgicos tendrn prioridad ms baja que los operadores
relacionales -como B. y los aritm'ticos.
4valuacin de predicados"
La evaluacin de un predicado es similar a la evaluacin de una proposicin. Todas las
variables son reemplaadas por sus valores -que llamamos el estado de las variables., estos
valores sern de los tipos a los que corresponda cada variable -entero, lgico, etc... Luego
se procede a evaluar la e(presin resultante de reemplaar las variables por sus valores. Por
lo que un predicado lo podemos ver como una funcin cuyo conjunto de partida es el
producto cartesiano de los conjuntos de valores de las variables y el conjunto de llegada es
#O, 7&. Por ejemplo" el predicado C y -!s. en el estado ( ) $, y ) K, q ) 7, s ) 7, tiene
el valor de $ C K -77. ) 7
4jercicios" 5, *, $-g,9,i,j. pag. F= de Jries.
Cuantificadores 4(istencial y !niversal
Cuantificador 4(istencial"
3ean m y n dos enteros con m n. Consideremos el predicado"
-5. 4m 4m;5 ... 4n<5
donde cada 4i es un predicado. -5. es verdad en cada estado en el cual al menos uno de los
4i es verdad, y falso en caso contrario. Podemos e(presar este 9ec9o utiliando el
cuantificador e(istencial de la siguiente forma"
-*. -i" m i B n" 4i.
Los valores i que satisfacen m i B n se llama el rango del identificador cuantificado i. -*.
se lee como sigue" M4(iste al menos un entero i tal que i est entre m y -n<5. inclusive, para
el cual se cumple 4iN
4jemplo" -i" m i B n" ( 8 i C =., y se lee" e(iste al menos un entero i entre m y n<5 tal que
(8i es mayor que =
Por la definicin anterior se tiene que"
-i" m i B m" 4i. 7 -la disyuncin de cero predicados es falso.
Para T m, -i" m i B T;5" 4i. -i" m i B T" 4i. 4T
Cuantificador !niversal"
*$
3ean m y n dos enteros con m n. Consideremos el predicado"
-$. 4m 4m;5 ... 4n<5
donde cada 4i es un predicado. -$. es verdad en cada estado en el cual todos los 4i son
verdad para ese estado, y falso en caso contrario. Podemos e(presar este 9ec9o utiliando el
cuantificador universal de la siguiente forma"
-K. -i" m i B n" 4i.
4l conjunto de valores que satisfacen m i B n se llama el rango del identificador
cuantificado i. -K. se lee como sigue" MPara todo entero i tal que i est entre m y -n<5.
inclusive, se cumple 4iN
4jemplo" -i" m i B n" ( 8 i C =., y se lee" para todo i entre m y n<5 se tiene que (8i es
mayor que =
Por la definicin anterior se tiene que"
-i" m i B m" 4i. O -la conjuncin de cero predicados es verdadero.
Para T m" i" m i B T;5" 4i. -i" m i B T" 4i. 4T
Podemos definir el cuantificador universal en t'rminos del cuantificador e(istencial. Por
ejemplo, para m ) $ y n ) P"
-i" $ i B P" 4i.
4$ 4K 4% 4> 4F -por definicin de la notacin ....
-4$ 4K 4% 4> 4F. -ley de negacin.
-4$ 4K 4% 4> 4F . -ley de 1e Sorgan.
-i" $ i B P" 4i. -definicin del e(istencial.
4jemplo de uso de los cuantificadores"
4(iste un teorema matemtico que dice que e(isten n+meros primos arbitrariamente
grandes. 4ste teorema lo podemos e(presar ms formalmente como sigue"
-n" = < n" -i " n < i" primo-i... implcitamente n e i son enteros, podra ser necesario
e(plicitarlo en el rangoUU.
donde primo-i. ) -5 B i -j " 5<j<i" i mod j =..
4jercicios" pag. F% Jries, n+mero >.
Podemos cuantificar sobre otros rangos que no sean los n+meros enteros. Por ejemplo, si
P-p. representa la e(presin Mp es una personaN y S-(. representa la e(presin M( es
*K
mortalN entonces la e(presin Mtodas las personas son mortalesN se puede e(presar por -p"
P-p." S-p...
3upongamos que 9emos probado que el predicado ma( -n, <n. ) abs -n., donde ma( es la
funcin m(imo entre dos n+meros y abs la funcin valor absoluto, es una tautologa en los
n+meros enteros, es decir, en cada estado de la variable n la igualdad es verdadera. Por lo
tanto es verdadero para todo entero n, por lo que el predicado siguiente es verdadero"
-n " nG" ma( -n, <n. ) abs-n..
si en el conte(to podemos sobreentender que n est en los enteros, podemos escribir"
-n " ma( -n, <n. ) abs-n.., es decir, no especificar el rango.
Cualquier tautologa 4 es equivalente al mismo predicado 4 pero con todas sus variables
libres i5, i*, ... , im cuantificadas universalmente, es decir, es equivalente a - i5, i*, ... , im "
4.. Por ejemplo" m = m C = es equivalente a m -m = m C =.
Oariables libres y ligadas"
4l predicado"
-%. -i" m i B n" ( 8 i C =.
afirma que ( multiplicado por cualquier entero entre m y n<5 -inclusive. es mayor que cero.
Oemos que esto es verdad si y slo si ( y m son mayores que cero o ( es menor que cero y
n es a lo sumo =. Por lo tanto -%. es equivalente a"
->. - ( C = m C =.- ( B = n =.
-cuando decimos -%. es equivalente a ->. queremos decir que -%. ->. es una tautologa..
Por lo tanto el valor de verdad de -%. depende del estado de las variables (, m, n, pero no de
i. ms a+n, el significado de -%. no cambia si reemplaamos i por j. 1iremos que (, n, m
son variables libres del predicado -%. - ->.., y la variable i es una variable ligada en -%., y
ella est ligada al cuantificador .
4jercicios" pag. FR Jries.
/tros cuantificadores"
3ea ? un conjunto y una operacin binaria sobre ? conmutativa, asociativa y con
elemento neutro e, es decir para todo (, y, en ?"
( y ) y (
( -y . ) -( y.
*%
e ( ) ( e
Para la secuencia (-i., = i, y n un n+mero natural, la e(presin (-=. (-5. ... (-n<5.
la escribimos como - i " =iBn" (-i...
@ tenemos"
- i " =iB=" (-i.. ) e
- i " =iBn;5" (-i.. ) - i " =iBn" (-i.. (-i.
La +ltima lnea pude ser acompaQada con la nota Mseparacin de i)nN.
4n general, esta cuantificacin es de la forma" - ( " 6-(." 7-(.., donde ( es una lista de
variables, 6 es un predicado con variables libres (, llamado el rango de la cuantificacin, y
7 es llamado el trmino.
Tenemos entonces que - ( "falso" 7-(.. ) e, el elemento neutro de .
Los siguientes operadores son conmutativos, asociativos y poseen elemento neutro" la suma
;, la multiplicacin, el m(imo ma(, el mnimo min, la conjuncin , la disyuncin . 4l
elemento neutro de ;, 8, ma(, min, , son respectivamente =, 5, <, ;, verdadero, falso.
!tiliamos el smbolo como smbolo de cuantificacin de la suma de n n+meros (-=. ;
(-5. ; ... ; (-n<5.. Colocamos - i" =iBn " (-i.. en lugar de -; i" =iBn " (-i... 1e igual
forma usamos para denotar la cuantificacin de la multiplicacin en lugar de 8" - i"
=iBn " (-i... Como ya vimos, utiliamos y para cuantificar respectivamente a y .
4jemplos"
- i" $iB% " i
*
. ) $
*
; K
*
) *%
- (, y" =(B$ =yB$ " (8y. ) R
- i" falso " (-i.. ) 5
-ma( i" $iB% " i
*
. ) 5>
3e tienen las siguientes propiedades"
a. ma( y min son distributivos uno respecto al otro"
( min -ma( i" 6" 7-i.. ) -ma( i" 6" ( min 7-i..
( ma( -min i" 6" 7-i.. ) -min i" 6" ( ma( 7-i..
b. 3i 6 no es vaco"
( ; -ma( i" 6" 7-i.. ) -ma( i" 6" (;7-i..
( ; -min i" 6" 7-i.. ) -min i" 6" (;7-i..
c. -ma( i" 6 3" 7-i.. ) -ma( i" 6" 7-i.. ma( -ma( i" 3" 7-i.., igual para min.
*>
/tro cuantificador es el cuantificador de conteo, denotado por V. La funcin V" #falso,
verdadero& #=, 5&, se define como V-falso. ) = y V-verdadero. ) 5. La e(presin -V i"
6-i. " 7-i.., donde 7-i. es un predicado, se define como - i" 6-i. " V-7-i...., y representa el
n+mero de valores en el rango 6 para los cuales 7 es verdadero. 4n particular, -V i" falso "
7-i.. ) =
4jercicios" Pgina KR WaldeXaij.
Tautologas y Predicados ms fuertes que otros"
Un predicado es una tautologa si para cualquier estado este es verdadero, la e(presin
MP es una tautologaN la denotamos por DPE. 4jemplo, el predicado ( > = ( = es una
tautologa y denotamos este 9ec9o de la forma" D ( > = ( = E.
:ote que D ( = ( > = E no se cumple, es decir ( = ( > = no es una tautologa.
3i D P Y E entonces diremos que es m!s fuerte "ue # que # es m!s dbil "ue .
4jemplo, como D ( > = ( = E se cumple decimos que ( > = es ms fuerte que ( =. 3e
usa la e(presin ms fuerte en el sentido que el conjunto de estados que 9acen verdad al
antecedente de la implicacin es un subconjunto -son menos estados. del conjunto de
estados que 9acen verdad al consecuente de la implicacin.
Cuando en espaQol decimos Mel predicado Y se cumple si se cumple el predicado PN,
queremos decir que PY es una tautologa. 1e igual forma, cuando decimos MY se cumple
slo si se cumple PN, queremos decir YP es una tautologa. Por lo tanto cuando decimos
MP se cumple si y slo si se cumple YN, queremos e(presar que PY es una tautologa.
Las leyes y reglas vistas para proposiciones -ley conmutativa, de 1e Sorgan, etc.. se
e(tienden de manera natural a predicados.
*F
*P