Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FCC Logica
FCC Logica
ODOIPDOP IPP ODP PPDDDIDD Los fundamentos: Iigiea y demostracién, conjuntos funciones 5 Solucién; La disyuncién de p y 4. p vq. es el enunciado aHloy es viernes u hoy tiueven. Esta proposicién es verdadera cualquier dia que sea viemes 0 llueva(incluidos los viemes que llue~ vve). Es sélo falsa los dias que ni son viernes ni llueve. < Como se seiialé previamente, el uso del conectivo Idgico 0 en una disyuncién corresponde a uno de los dos sentidos de la palabra o, a saber, el modo inclusivo. Por tanto, una disyuncién es vverdadera cuando al menos una de las dos proposiciones en ella es verdadera. A veces usamos el Exmsiw on sentido exclusivo, Cuando se usa el o en sentido exclusivo para conectar dos proposiciones p {¥ 4, obtenemos la proposicién
q es la proposicién que es falsa cuando p es ver-
adera y qes falsa y verdadera en cualquier otro caso. En esta implicacién p se Uama hipote~
Sis (0 antecedente o premisa) y-q seama tesis ¢ conclusién (0 Consecuencia).
Brean
La tabla de verdad para la implicacién p > q se muestra en la Tabla 5. La implicaci6n a veces se
denomina declaracién condicional.
‘Debido a que las implicaciones desempefian un papel esencial en el razonamiento macemé-~
tico, existen muchas formas de expresar p —> q. Encontrarés muchas de ellas, si no todas, entre las
siguientes expresiones:
«si p, entonces > sp implica g»
«sip. «p s6lo si gm
eee ‘ep es suficiente para g> ‘«una condici6n suficiente para q ¢s p>
«q si p> aq siempre que p>
«q cuando p> aq es necesario para p>
‘ 1) (7 —> p).
‘Sea p la afirmacién «Puedes tomar el vuelo» y sea q la afirmaci6n «Compras un billete». Entonces,
Pp egesel enunciado
«Puedes tomar el vuelo si, y slo si, compras el billete».
Esta afirmacign es verdadera si py q son ambas verdaderas 0 ambas falsas. esto es, si compras un
billete y puedes tomar el vuelo 0 si no compras el billete y no puedes tomar el vuelo. Es falsa
cuando p y q tienen valorés de verdad opuestos, es decir. cuando no compras el billete, pero
puedes tomar el vuelo (consigues un vuelo gratis, por ejemplo), y cuando compras el billete y
‘no puedes tomar cl vuelo (la linea aérea te deja en tierra). «
La construccisn asi, y sélo si» empleada en las dobles implicaciones raramente se usa en len-
‘guaje natural, De hecho, las bicondicionales se expresan a menudo usando las construcciones «si,
entonces» o «sélo si», La otra parte del «si, y s6lo si» es implicita. Por ejemplo, consideremos la
afirmacién en el lenguaje natural «Si acabas tu comida, puedes tomar posire». Lo que realmente
quiere decir es «Puedes tomar postre si, y sélo si, acabes tu comiday. Esta tltima afirmaciGn es
equivalente desde el punto de vists l6gico a las dos afirmaciones «Si acabas tu, comida, entonces
puedes tomar postre» y «Puedes comar postre sélo si acabas tu comida». Debido a la imprecisién
el Lenguaje narural, necesitangos hacer una suposicién sien una sentencia condicional en lenguaje
Cotidiano deseamos incluir implicitamente su reciproco. Como la precisién es esencial en las ma~
teméticas y la l6gica, siempre distinguiremos entre la sentencia condicional p —>q y la sentencia
bicondicional p > g.
PRECEDENCIA DE OPERADORES LOGICOS
Podemos construir formulas usando el operador negacién y los operadores légicos definidos hasta el
‘momento. Generalmente, utilizaremos paréntesis para especificar el orden en el que deben aplicar-
s¢ los operadores légicos en una férmula. Por ejemplo, (p vg) a(7 7) es la conjuncion de p vq y
>r. Sin embargo, para reducir el niimero de paréntesis, especificamos que el operador negacidn se
aplica antes que los operadores I6gicos. Esto significa que el operador negaci6n ~p aq es la con-
Juncién de +p y 4, es decir, (=p) q, no la negacién de la conjuncién de p y q, es decir, +(p Aq).
€CCOLL CF
£
€€ € 644,046 04466606640666€66€6€6€ €DPFPIIVPIPPPOPPPOPOIIPPPPIO PPI IPOD DP DPP DP DP PPPPDIPPD>ODODIDD
Tabla 7. Prece-
dencia de los ope-
radores 16gic0s.
‘Opera [Precedents
7 1
v 4
>| 4
e | os
“Rhema
Los fundamentos:lgica y demostracién, conjuntos y funciones 9
‘Ota regla general de precedencia es que el operador conjuncién precede siempre al operador
disyuncidn, de tal forma que p aq r significa (p Aq) vr y no p (qv). Debido a que esta regia
ts dificil de recordar, en el texto continuaremos usando paréniesis para que quede claro el orden
Utilizado en los operadores conjuncién y disyuncién.
Finalmente, es una regla aceptada que los operadores condicional —» y bicondicional © ti
nen precedencia inferior que los operadores conjuncién y disyuncién, » y v. Consecuentemente,
pvq—res lo mismo que (p vq) — r. Usaremos paréntesis cuando el orden de los operadores
ondicional y bicondicional se deba tener en cuenta, aunque el operador condicional tiene prece-
dencia sobre el bicondicional. La Tabla 7 muestra los niveles de precedencia de los operadores 16-
gicos JA, vu 3
TRADUCCION DE FRASES DEL LENGUAJE NATURAL
Hay muchas razones para traducir frases del lenguaje natural a expresiones con variables propo-
sivionales y conectivos légicos. Todos los lenguajes del ser humano son a menudo ambiguos. Tras
ladar frases a expresiones l6gicas trae consigo evitar estas ambigiiedudes. Ten en cuenta que pue-
de que esto conlleve hacer un conjunto de suposiciones razonables basadas en el sentido que se le
dé la frase, Por otra parte, una vez que hemos traducido frases del lenguaje natural a expresiones
légicas, podemos analizar estas expresiones légicas para determinar sus valores de verdad, 18s po-
demos manipular y podemos usar las reglas de inferencia (que se discutirén en la Seccién 1.5)
‘para razonar sobre ellas. El paso del lenguaje natural al lenguaje formal se conoce como forma-
lizacién.
Para ilustrar el proceso de formalizar, consideraremos los Ejemplos 9 y 10.
EJEMPLO 9 Cuil es Ja formalizacién de la siguiente frase?
«Puedes acceder a intemet desde el campus|s6lo si estudias clencias de la computacion
‘ono eres alumno de primero». at
Solucién: Hay muchas formas de formalizar esta frase. Aunque es posible representar la frase
‘mediante una variable proposicional simple, como p, no serfa Gtil para analizar su significado 0 ra-
Zzonar con ella. Asi, uilizaremos variables proposicionales para representar cada parte de Ia oracién
y determinar los conectivos I6gicos apropiados entre elles. En particular, representaremos las frases
‘Puedes acceder a Internet desde el campus», «Estudias ciencias putaciGn» y «Eres alum-
no de primero» por a, cy /. tespectivamente, Considerando anon es una forma de expresar
una implicacisa,2y frat rr
par
(ak) 0 ape <
EJEMPLO 10 {Cémo se puede formalizar la siguiente frase?
«No puedes montar en la montafarusesi mies menos de 1,20 metros, mb ser que seas
mayor de dieciséis afios». ere
Solucién: De nuevo, hay muchas formas de formalizar esta frase. La mas simple, pero menos iti,
fs representarla mediante una variable proposicional simple, como p. Aunque no ¢s incorrecto, no
serfa eficiente para tratar de analizarla o razonar con ella. Lo més apropiado es usar variables pro-
pposicionales para representar partes de esa frase y decidir los conectivos I6gicos entre ellas. En par-
ticular, si-representamos por q, r y s, respectivamente, las frases «Puedes montar en la montana
‘rusa», «Mides menos de 1,20 metros» y «Eres mayor de dieciséis afios», respectivamente, la fra-
se se puede formalizar como
(ransy374
Por supuesto, hay otras formas de representar [a frase inicial mediante expresiones logicas
ppero la que hemos usado se ajusta a nuestras necesidades. «10 Matemitica discret y sus aplicaciones
EJEMPLO 11
EJEMPLO 12
EJEMPLO 13
ESPECIFICACIONES DE SISTEMA
Traducir oraciones del lenguaje natural, como el espafiol, a expresiones légicas es una parte
esencial de la especiticacién tanto de sistemas hardware como software. Los ingenieros de software
¥ de sistemas reciben los requerimientos en lenguaje natural y producen especificaciones precisas y
sin ambigiiedades que pueden usarse como base para desarrollo de sistemas. El Ejemplo 11
‘muestra cémo se pueden utilizar las variables proposicionales en este proceso.
Expresa la especificacién «La respuesta automatizada no se puede enviar cuando el sistema de ar-
chivos esta leno»
Solucién: Una torma posible de traducir esto es denotar como p a «La respuesta automatizada se
puede enviar» y como qa «El sistema de archivos estd lleno». Entonces, + p representa a «No se
‘cumple que la respuesta automatizada se pueda enviarm, lo que se puede expresar como «La res-
puesta automnatizada no se puede enviar». Consecuentemente, nuestra especificacién se puede re-
resentar mediante la implicacion q — > p. «
Las espécificaciones de sistema no deberian contener requerimientos que puedan entrar en
conflicto. Si asf fuese, no habrfa forma de desarrollar un sistema que cumpliese todas las especi-
ficaciones. Consecuentemente, las expresiones proposicionales que representan esas especifica-
ciones necesitan ser consistentes. Esto es, debe haber una asignacicn de valores de verdad a las va-
riables de las expresiones que haga a todas las expresiones verdaderas. A
Determina si estas especificaciones de sistemas son consistentes:
* «El mensaje de diagn6stico se almacena en un buffer 0 se vuelve a transmitir»
«El mensaje de diagnéstico no se almacena en el buffer».
«Si el mensaje de diagnéstico se almacena en el buffer, entonces se vuelve a transmitir
Solucién: Para determinar si estas expresiones son consistentes, primero las expresamos usando va-
riables proposicionales. Denotemos a «El mensaje de diagndstico se almacena en un buffer» como
Py «El mensaje se vuelve a transmitir como g. Las especificaciones se pueden escribir entonces
como pv 9, +p y p— q. Una asignacisn de valores de verdad que haga a las tres especificaciones
verdaderas debe hacer p falsa para hacer ~ p verdadera. Como queremos que p vq sea verdadera,
pero p debe ser falsa, q debe ser verdadera. Como p ~> q es verdadera cuando p es falsa y q verda-
=, la
produccién que establece que :, puede reemplazarse por z, en una.cadena. En el ejemplo de la i
‘toduccién se listaron las producciones de la gramética. La primera produccién, escrita utilizando
cesta notacién, ¢s frase —> sujeto predicado, Resumimos estas cuestiones en la siguiente definicisn.
>G = (V, T, $, P) consiste en un vocabulatio ¥; un sut
Una gramética con estructura: de}
“ebajunto de’ Vi formido’ pot fos eléntentos terminales,’uri simbolo inicial-S de V-T y-un
conjunto P de producciones EF comijinto V~T se denota' por M: Eos elementos de N se llaman
elementos no terminales. Todarproduccién de Prdebe contener al menos un elemento no ter-
‘minal en'su ladottzquierdosanrt ab epi i
Lance ait ee
sermm FO TTHuE Ss
Sea G = (V,T,S, P), donde V = (a, 6, A, B, S}, T= (a, b}, Ses el s{mbolo inicial y P= (S > ABa,
‘A BB, B+ ab, AB > b}. Ges un ejemplo de gramtica con estructura de frases. <
Estamos interesados en las palabras que pueden generarse mediante las producciones de una
‘gramatica con estructura de frases.22 Matemitica dsereay sus aplicaciones
EJEMPLO 2
)EFINICION 4
EJEMPLO 3
EJEMPLO4
EJEMPLO 5
La cadena Aaba se deriva directamente de ABa en la gramitica del Ejemplo 1, puesto que B > ab
5 una produccién de dicha gramética. La cadena abababa se deriva de ABa, puesto que ABa =>
Aaba = BBaba = Bababa = abuhaba, donde se han utilizado las producciones B > ah, A >
BB, Bab y B > ab sucesivamente. <
Sea G=(V,T, S, P) una gramdtica con estructura de frases. El lenguaje generado por G (0 el
lenguaje de G), denotado por L(G), es el conjunto de todas las cadenas de terminales que se