P. 1
Expresiones booleanas

Expresiones booleanas

|Views: 139|Likes:
Publicado pordestroyerhell

More info:

Published by: destroyerhell on Apr 26, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/04/2013

pdf

text

original

C APÍTULO 2

Expresiones booleanas
Índice del Capítulo
2.1. Sintaxis y evaluación de expresiones booleanas . . . . . . . . . . . . . . . 2.2. Usando Tablas de verdad para evaluar expresiones booleanas . . . . . . . 2.3. Igualdad versus equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . 2.4. Satisfabilidad, validez y dualidad . . . . . . . . . . . . . . . . . . . . . . . 2.5. Lenguaje y Lógica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Negación, conjunción y disyunción en el lenguaje . . . . . . . . . . . Implicación y equivalencia . . . . . . . . . . . . . . . . . . . . . . . 2.6. Análisis de razonamientos . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.7. Resolución de acertijos lógicos . . . . . . . . . . . . . . . . . . . . . . . . 2.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 26 27 28 29 30 32 34 36 36

n este capítulo trabajaremos sobre las expresiones booleanas, cuyo nombre se debe a George Boole (1815–1864). Las expresiones booleanas son utilizadas con frecuencia en distintos lenguajes de programación, por lo tanto el material de éste capítulo será familiar para aquellos que tengan alguna noción de Pascal, C, FORTRAN o algún otro lenguaje. Aquí también veremos cómo expresar frases en español a través de expresiones booleanas.

E

2.1. Sintaxis y evaluación de expresiones booleanas
Ya vimos en el capítulo anterior algunos ejemplos de expresiones booleanas construídos a partir de expresiones aritméticas. El proceso de construcción de expresiones booleanas es análogo al que vimos para obtener expresiones aritméticas, nada más que es necesario sustituir en la construcción las constantes aritméticas por las constantes true y false (constantes booleanas), las variables aritméticas por variables booleanas, (aquellas que asumen sólo los valores true o 23

S INTAXIS Y EVALUACIÓN DE EXPRESIONES BOOLEANAS 25 false) y los operadores aritméticos +. La expresión b ⇒ c se lee “b implica c” o bien “si b entonces c”. (f alse. vamos a definir una precedencia entre ellos. ≡. A continuación daremos un detalle de cada uno de los operadores.1. Si ahora consideramos todas las funciones booleanas de dos argumentos. y los siguientes siguen en orden. esto es consistente con la interpretación en español de frases como “Si la economía mejoró con esos ajustes. f alse)} . el primero corresponde a la más alta. La expresión b ∧ c se lee “b y c”. La expresión b ⇐ c se lee “b sigue de c”. En la tabla de verdad se observa un resultado poco intuitivo. Veremos con más detalle la implicación en secciones posteriores. dado que el resultado es verdadero cuando ambos operandos lo son. El operador = es la igualdad habitual. La expresión b = c se lee “b es distinto de c”. también se dice que los operandos b y c son equivalentes. mientras que en cada una de las siguientes aparece el resultado de la aplicación de cada función sobre cada uno de los estados. El operador = es la desigualdad habitual. Dado que los operadores lógicos actúan sobre constantes o variables booleanas que sólo asumen los valores true o false. entonces tenemos un total de cuatro funciones como aparecen en la siguiente tabla: id ¬ true true true false false false true false true false La tabla anterior es conocida como tabla de verdad. Por ejemplo. . Se introduce en nuestras expresiones debido a su utilidad en el proceso de construcción de demostraciones. se obtienen dieciseis posibles funciones que se muestran en la siguiente tabla de verdad: ≡ n a n ∧ d t f f t f t f t ≡ n o r f f f t Por ejemplo la aplicación de las funciones correspondientes a la segunda y tercer columna se denota b ∨ c y x ⇐ y respectivamente. el primer operando b. operador ¬ 3. f alse) . La expresión b ≡ c se lee “b es equivalente a c”. Una forma de hacer esto es enumerando todas las funciones del conjunto {true. En este sentido la frase representa una proposición verdadera simplemente porque la economía no mejoró con esos ajustes y de este modo. mientras que b nor c es igual a ¬ (b ∨ c). Los nombres de los operadores “nand” y “nor” siguen de “not and”(no y) y “not or”( no o) en inglés respectivamente. es decir definidas sobre el conjunto {(true. true) .24 2. dado que resulta verdadero cuando exactamente uno de los dos operandos lo es. f alse} en el conjunto {true. El operador ∧ es llamado conjunción. Al operador booleano igualdad también se le da el nombre de equivalencia y se lo nota con un segundo símbolo. El operador = satisface (b = c) = ¬ (b = c). · y / por los operadores booleanos ≡. la primer columna se reserva para p y sus distintos estados. Si consideramos las funciones booleanas de un argumento definidas sobre el conjunto {true. La expresion b nand c es igual a ¬ (b ∧ c). operador = 2. es llamado antecedente y el segundo c. true) . por ejemplo notaremos ¬f alse = true. pueden enumerarse los distintos valores que toman de acuerdo a cada posible combinación de los valores de sus argumentos. lo cual nos permitirá eliminar paréntesis en expresiones booleanas y abreviar escritura: (2.true = true y id. las entradas en la tabla de verdad tienen el significado siguiente: si p es una variable booleana. esta función recibe el nombre de función idéntica o también identidad. La expresión b = c se lee “b es igual a c”. f alse}. Comenzaremos describiendo los operadores unarios. El operador ⇐ es llamado consecuencia. es decir aquellos que actúan sobre un operando solamente. Se lo suele llamar también disyunción exclusiva u operador xor.1) Definición. el resultado de la expresión b ⇒ c será verdadero. ∨.f alse = f alse. (f alse. sin importar el valor del consecuente. Aquellas funciones que asumen valores en el conjunto {true. f alse} se conocen como funciones booleanas. operadores ∧ y ∨ Observemos que en la tabla hemos abreviado true con la letra t y false con la letra f. La función simbolizada con ¬ se llama negación y corresponde al operador unario not. ≡. ≡. (true. También observamos en la primera y la última columna dos funciones constantes que no tienen asignado un nombre específico. los números señalan la jerarquía entre ellos. −. La expresión b ∨ c se lee “b o c” dado que el resultado es verdadero cuando al menos uno de los operandos lo es. y es que si el antecedente es falso. Al operador booleano desigualdad también se le da el nombre de discrepancia y se lo nota con un segundo símbolo. El operador ∨ es llamado disyunción. Una vez presentados todos los operadores lógicos. f alse}. consecuente. Los operadores lógicos tendrán la precedencia que se indica a continuación. ⇒ y ⇐. b ⇒ c será verdadera en todos los casos excepto cuando b sea verdadera y c falsa. y son llamadas operadores booleanos o conectores. En la tabla de verdad se puede ver que son equivalentes c ⇒ b y b ⇐ c. ∧. yo soy Gardel”. Cuando dos operadores aparezcan con el mismo orden de jerarquía significa que tienen la misma precedencia respecto de los demás: t t f f t f t f t t t t ∨ t t t f ⇐ t t f t t t f f ⇒ t f t t t f t f = t f f t = f t t f f t f t f t f f f f t t f f t f f f f f 1. falso implica cualquier situación posible o imposible. E XPRESIONES BOOLEANAS 2. Sólo ocho de las funciones que aparecen en la tabla anterior son suficientemente útiles como para ser conocidas por un nombre particular. en la segunda columna de la derecha vemos que id. El operador ⇒ es llamado implicancia.

Usando Tablas de verdad para evaluar expresiones booleanas Las tablas de verdad serán útiles entre otras cosas para evaluar expresiones booleanas en cualquier estado. en fórmulas sin paréntesis. Observemos que las operaciones fueron realizadas de acuerdo a las reglas de precedencia citadas anteriormente. ¬q es falsa. operadores ⇒y ⇐ 5. Sin embargo ambos operadores tendrán propiedades distintas. admás cuando uno de los argumentos es falso (en este caso ¬q). Veamos algunos ejemplos: Queremos evaluar f alse = f alse = true y f alse ≡ f alse ≡ true = f alse = f alse = true = es conjuntiva (f alse = f alse) ∧ (f alse = true) = evaluación de = true ∧ f alse = evaluación de ∧ f alse = = = f alse ≡ f alse ≡ true ≡ es asociativa (f alse ≡ f alse) ≡ true evaluación del primer ≡ true ≡ true evaluación de ≡ true Como segundo ejemplo. VALIDEZ Y DUALIDAD 27 4. Veamos ahora como evaluar una expresión booleana cualquiera utilizando tablas de verdad. con lo cual b = c = d y (b = c) = d son diferentes. es decir b ≡ c ≡ d se usará para referirse tanto a (b ≡ c) ≡ d como a b ≡ (c ≡ d). la igualdad tiene la precedencia más alta sobre cualquier otro operador. Primero. una secuencia de = tendrá un significado distinto a una de ≡. La equivalencia es asociativa. mientras que en las siguientes columnas se colocan los valores parciales de los operadores lógicos intervinientes. antes de efectuar los reemplazos debido a que estos operadores tiene distinta precedencia y no queremos cambiar la estructura de las expresiones: = = = b≡c≡d ≡ es asociativa (b ≡ c) ≡ d reemplazo de operadores (b ≡ c) = d reemplazo de operadores (b = c) = d = = = b=c=d = es conjuntiva (b = c) ∧ (c = d) reemplazo de operadores (b ≡ c) ∧ (c ≡ d) . q y r.4. mientras que (b = c) = d es true.2) Ejemplo. queremos evaluar la expresión p∧¬q ⇒ r en todas las combinaciones posibles de valores de las variables p. hasta colocar en la última columna de la tabla los valores de verdad asociados a la expresión. true). E XPRESIONES BOOLEANAS 2. la igualdad múltiple se interpreta como “conjuntiva”. el resultado es verdadero independientemente del valor del segundo argumento. Por último. Por ejemplo. entonces construimos: p true true true true false false false false q true true false false true true false false r true false true false true false true false ¬q p ∧ ¬q false false false false true true true true false false false false true false true false p ∧ ¬q ⇒ r true true true false true true true true Notemos que los espacios que rodean a ≡ son útiles para recordarnos que este operador tiene la precedencia más baja. (q. Cada fila describe un estado particular de las variables y la correspondiente evaluación de acuerdo a cada operador en la expresión. f alse) y (d. Igualdad versus equivalencia La expresión booleana b ≡ c es evaluada exactamente como b = c. es falso. Los posibles valores de las variables booleanas involucradas en la expresión se disponen en las primeras columnas de la tabla. pues en el estado (b. true)} se calcula así: si q es verdadera. mostramos como cambiar ocurrencias de = por ocurrencias de ≡ y viceversa. operadores ≡ y ≡ (2.2. el resultado de la aplicación del operador ∧.26 2. en orden y de acuerdo a las reglas de precedencia.3. excepto que la equivalencia puede usarse sólo entre expresiones booleanas. la columna de la tabla correspondiente al operador ⇒. mientras que la equivalencia tiene la precedencia más baja. Utilizaremos paréntesis para las operaciones b = c y b ≡ c. true) . f alse). Por otra parte. Por ejemplo. es decir a=b=c se interpreta como b = c ∧ c = d. la evaluación de la expresión p ∧ ¬q ⇒ ¬p en el estado {(p. Por lo tanto. b = c = d es f alse. lo cual nos permite quitar paréntesis en expresiones como x·y =0 ≡ x=0∨y =0 2. S ATISFABILIDAD . (c. de acuerdo a la tabla del operador ¬. La expresión ((p ∨ q) ⇒ r) ≡ ((p ⇒ r) ∧ (q ⇒ r)) puede simplificarse usando las reglas de precedencia anteriores así: p∨q ⇒r ≡p ⇒r∧q ⇒ r 2. nos dice que si el primer argumento es falso. con lo cual no puede ser conjuntiva como ocurrió con la igualdad.

(2. P true p ∨ true p ∨ ¬p P ≡Q true ≡ true p∨q ≡q∨p p≡q≡q≡p ¬ (p ∨ q) ≡ ¬p ∧ ¬q ¬PD ¬f alse ¬(p ∧ f alse) ¬(p ∧ ¬p) PD ≡ QD f alse ≡ f alse p∧q ≡q∧p p≡q≡q≡p ¬ (p ∧ q) ≡ ¬p ∨ ¬q Observemos que la negación de una tautología es entonces una contradicción. es decir. Definiremos más adelante la noción de metateorema y omitiremos por el momento la demostración puesto que requiere de técnicas que no hemos desarrollado hasta el momento. L ENGUAJE Y L ÓGICA 29 2. Dada una expresión booleana P su correspondiente expresión dual PD se construye intercambiando la ocurrencia de los operadores lógicos de acuerdo a lo que se indica en la siguiente tabla true ∧ ≡ ⇒ ⇐ y y y y y f alse ∨ ≡ ⇐ ⇒ 2. si su valor es true en ese estado. por otro manipular y analizar las expresiones booleanas así obtenidas usando reglas que serán introducidas en el . con lo cual bastará con recordar una sola de las expresiones y la otra se obtiene por dualidad. Metateorema de Dualidad a) P es válida si y sólo si ¬PD es válida La expresión booleana p ∨ q se satisface en cualquier estado (p.28 2. Lenguaje y Lógica La lógica simbólica surgió como una manera de analizar los razonamientos escritos en lenguaje natural. p⇒p p true true false true p∧p p∧p≡p p true true true false false true En la siguiente tabla se ilustran algunos ejemplos de expresiones booleanas y sus respectivas expresiones duales PD P p∨q p∧q p⇒q p⇐q p ≡ ¬q p ≡ ¬q f alse ≡ true ∨ p true ≡ f alse ∧ p ¬p ∧ ¬q ≡ r ¬p ∨ ¬q ≡ r Utilizaremos la noción de dualidad para enunciar el Metateorema de Dualidad. P se dice satisfactible si existe algún estado en el cual P se satisface y P se dice válida si se satisface en cualquier estado. la correspondiente expresión dual también lo será. Este resultado nos dice que si sabemos que una expresión es válida.6) Metateorema.4) Definición. p ⇒ p y p ∧ p ≡ p son tautologías. Una contradicción es una expresión booleana cuya evaluación en cualquier estado es siempre f alse. pues en su correspondiente tabla de verdad aparecerá siempre el valor true en la última columna. Esta traducción nos permitirá dos cosas: por un lado resolver ambigüedades del lenguaje natural. por lo tanto es satisfactible. (2.5. Una expresión booleana P se satisface en un estado de las variables que aparecen en ella. p ≡p p true false false false ¬p p ∧ ¬p p true false false false true false La familiaridad con expresiones booleanas incluye familiaridad con diversas expresiones válidas simples. Los operadores presentados en la sección anterior fueron pensados como contrapartidas formales de operadores del lenguaje. E XPRESIONES BOOLEANAS 2. b) P ≡ Q es válida si y sólo si PD ≡ QD es válida. no es una tautología. son ejemplos de contradicción p ≡ p o también p ∧ ¬p. en la última línea de la tabla aparecen dos expresiones válidas conocidas como “Leyes de Morgan”. Una expresión booleana válida se llama tautología. Por ejemplo. true).5) Definición. Si se tiene cierto cuidado puede traducirse una proposición escrita en lenguaje natural en una expresión booleana. (2.5. En la siguiente tabla se ilustran expresiones válidas y sus correspondientes duales. Satisfabilidad.4. Es fácil reconocer una tautología.3) Definición. validez y dualidad (2. la siguiente definición de dualidad ayuda a reducir el número de expresiones que deben recordarse. f alse). sin embargo no es válida pues no se satisface en el estado (p.

1). Por ejemplo. por tanto si llamamos p : El consejero del emperador pertenece a la nobleza q : El consejero del emperador pertenece al pueblo la proposición (2. Como veremos luego. Por ejemplo. L ENGUAJE Y L ÓGICA 31 próximo capítulo. también la variante “o bien”. El símbolo utilizado en lógica para la disyunción proviene precisamente de la palabra latina. También se interpretarán como conjunción las palabres “pero” y “aunque”. El caso de la disyunción es más complejo que los anteriores. puesto que afirma ambas componentes. si con p y q representamos las proposiciones siguientes: p: q: Llueve No hace frío las siguientes oraciones representan la proposición p ∧ q Llueve y no hace frío Llueve aunque no hace frío Llueve pero no hace frío Es importante notar que no siempre la palabra “y” representa una conjunción. La palabra usual que corresponde a la disyunción es “o”.7) Observación. como es el caso de la siguiente frase: Joyce y Picasso fueron contemporáneos aquí la palabra “y” se usa para expresar una relación entre Joyce y Picasso. Los conectivos del lenguaje serán traducidos a su interpretación “obvia”. Utilizaremos para este caso el operador discrepancia que simbolizamos como ≡. E XPRESIONES BOOLEANAS 2. Esta proposición la expresamos como p∨q .1) Un ejemplo de disyunción exclusiva es: El consejero del emperador pertenece a la nobleza o al pueblo (2. la llamada inclusiva y la exclusiva. La palabra “pero” se traduce como una conjunción. cualquiera de las variantes de negación propuestas se simbolizan mediante el operador lógico de negación y se expresan ¬p. alternativamente puede anteponerse la frase “es falso que” o la frase “no se da el caso que”. conjunción y disyunción en el lenguaje La operación de negación aparece usualmente en el lenguaje insertando un “no” en la posición correcta del enunciado que se quiere negar. (2. En latín existen palabaras diferentes para la disyunción inclusiva y exclusiva. ya que podría haber defendido la felicidad de su madre la propia o ambas.2) donde se interpreta que el consejero no puede pertenecer simultáneamente a las dos clase sociales. las reglas lógicas ofrecen una alternativa efectiva para razonamientos expresados en el lenguaje corriente.2) se expresa así : p ≡ q.30 2. . Por otro lado la disyunción usada es inclusiva. Por ejemplo el enunciado: Todos los unicornios son azules puede negarse de las siguientes maneras: No todos los unicornios son azules No se da el caso de que todos los unicornios son azules Es falso que todos los unicornios sean azules Algunos unicornios no son azules si simbolizamos con p a la proposición (2. donde p y q son las siguientes proposiciones elementales: p: q: Para ser emperador hay que tener el apoyo de la nobleza Para ser emperador hay que tener el apoyo del pueblo Hamlet defendió el honor de su padre pero no defendió la felicidad de su madre ni la suya propia puede analizarse como compuesta básicamente de tres proposiciones elementales p: q: r: Hamlet defendió el honor de su padre Hamlet defendió la felicidad de su madre Hamlet defendió su propia felicidad usando esta variables proposicionales la frase anterior puede traducirse como p ∧ ¬ (q ∨ r) (2. uniendo dos proposiciones. La disyunción inclusiva considera a este caso como verdadero. La idea básica de traducción consiste en identificar las proposiciones elementales de un enunciado que serán representadas mediante variables booleanas y componerlas usando los operadores booleanos asociados a los conectivos del lenguaje que aparecen en el enunciado. Negación. aunque veremos algunas sutilezas de esta traducción. la oración La conjunción aparece en el lenguaje con la palabra “y”. dado que existen en el lenguaje dos tipos de disyunciones. La palabra “vel” se usa para la primera y la palabra “aut” para la segunda.5. Por ejemplo: Para ser emperador hay que tener el apoyo de la nobleza o del pueblo obviamente teniendo el apoyo de ambos se está también en condiciones de ser emperador. Básicamente ambos tipos difieren cuando las proposiciones intervinientes son ambas verdaderas.

Observemos que esta expresión es verdadera si tomás la sopa. . en lenguaje natural como si y sólo si que corresponde a una equivalencia y no a una implicancia. Como último ejemplo de la inadecuación del lenguaje para parafrasear la equivalencia. La equivalencia entre las expresiones ¬p ⇒ q y p ∨ q se verá en el próximo capítulo. Por lo tanto. pero puede deducirse ahora utilizando tablas de verdad. nada dice acerca de aquellos niños que no son vacunados Otro ejemplo donde aparece la idea de necesidad lógica es: Para obtener una beca es necesario tener un buen promedio en la carrera que puede simbolizarse así q ⇒ p o también p ⇐ q. entonces yo soy el Papa Para la lógica clásica que presentamos aquí. Por ejemplo. . donde p: q: r: f es biyectiva f es inyectiva f es sobreyectiva (2. entonces. entonces .32 2. . . Casi todo el mundo acuerda que si el antecedente p es verdadero y el consecuente q es falso. existen ciertas dudas acerca del valor de verdad (o del significado lógico) de frases como Si dos más dos es cinco. Es ésta la razón quizá por la cual la equivalencia suele tener un lugar secundario en los libros de lógica. resulta Si obtiene una beca entonces tiene un buen promedio en la carrera Es un error común interpretar la estructura si . Sin embargo. Normalmente se usa una implicación con un consecuente falso como una manera elíptica de negar el antecedente. yo soy Gardel es una manera elegante de decir que la economía no mejoró con los ajustes. . entonces . Juan ve bien si y sólo si Juan es tuerto si y sólo si Juan es ciego . .3) que se expresa como p ⇒ q resulta falsa. lo cual hace verdadera a la proposición. la primera también debe serlo. Por ejemplo la frase f es biyectiva si y sólo si f es inyectiva y sobreyectiva puede expresarse como p ≡ q ∧ r. . . . entonces p ⇒ q es falso. . E XPRESIONES BOOLEANAS 2. La proposición (2. estarás en problemas usando las variables p y q del siguiente modo p: q: tomás la sopa estarás en problemas (2. De todos modos no existe ninguna construcción en el lenguaje corriente que represente fielmente a la equivalencia lógica. Este hecho puede parecer extraño en un principio pero las frases Si no tomás la sopa.5. Si formulamos esta proposición en términos de si. Por ejemplo.4) la frase anterior puede traducirse como ¬p ⇒ q. Nosotros no seguiremos esa tradición. la frase anterior es verdadera (mirando la tabla de verdad del operador ⇒). . como la segunda frase es verdadera si tomás la sopa. . estarás en problemas Tomás la sopa o estarás en problemas tienen el mismo significado. presentamos la frase (verdadera en lenguaje corriente) acerca de las capacidades de Juan.5) (2. . entonces la proposición (2. L ENGUAJE Y L ÓGICA 33 Implicación y equivalencia La implicación lógica suele representar lo que en el lenguaje natural se expresa mediante la construcción si. pues en ese caso ¬p es falsa y por ende resulta ¬p ⇒ q verdadera. la equivalencia tiene un rol fundamental. Este es uno de los conectivos sobre los que menos acuerdo existe y al que más alternativas se han propuesto.3) Otra forma de representar la implicación en el lenguaje natural es a través de las palabras suficiente y necesario. dado que el uso de la lógica en el desarrollo de programas.5) establece que tener un buen promedio es condición necesaria para conseguir una beca y no garantiza que todo alumno con buen promedio la obtendrá. decir Si la economía mejoró con esos ajustes. Es suficiente que vacune a mi hijo para que no contraiga el sarampión Esta frase puede simbolizarse mediante p ⇒ (¬q) donde p : Vacuno a mi hijo q : Mi hijo contrae el sarampión La proposición (2. . donde p : Tener un buen promedio q : Obtener una beca. en la frase Si se reforman las leyes laborales entonces bajará el desempleo aparecen dos proposiciones elementales p : Se reforman las leyes laborales q : Baja el desempleo Supongamos que las leyes laborales se reforman y no baja el desempleo.4) asegura que vacunar es condición suficiente para no contraer el sarampión. pues ambos antecedente y consecuente son falsos. Veamos este ejemplo: Si no tomás la sopa.

R ESOLUCIÓN DE ACERTIJOS LÓGICOS 35 Como ya vimos. q y r son las proposiciones elementales obvias en la frase. es decir cuando tenemos un pelado feliz. . pn q éste se considerará válido si siempre que p0 . en las filas en donde exactamente una de las proposiciones toma el valor true. E XPRESIONES BOOLEANAS 2. Hemos dicho anteriormente que en un razonamiento válido. q y r es verdadera. es decir: p0 . ∧ pn ⇒ q Por ejemplo en el razonamiento Si tuviera pelo sería feliz No soy feliz No tengo pelo Más aún. . . el tamaño de las tablas de verdad crece de manera exponencial (hay 2n filas en una tabla de verdad con n variables booleanas). pn son las premisas y q es la conclusión. p1 .7. Si bien este método para analizar razonamientos es efectivo para razonamientos con pocas variables booleanas.. . . Una forma de analizar un razonamiento entonces. .34 2. . esto ocurre si y sólo si la siguiente expresión es una tautología p0 ∧ p1 ∧ . . Por ejemplo. En las secciones siguientes veremos métodos alternativos para determinar la validez de razonamientos y de expresiones booleanas en general. p1 . si las premisas son verdaderas la conclusión también debe serlo. En la tabla de verdad. En este caso. Esta forma de razonamiento tiene un nombre en la literatura clásica sobre lógica: modus tollens Veamos ahora otro razonamiento capilar: Si tuviera pelo sería feliz No tengo pelo No soy feliz si lo traducimos a su forma simbólica como lo hicimos anteriormente p⇒q ¬p ¬q y construimos la tabla de verdad correspondiente. donde p. la equivalencia es asociativa. pn sean verdaderas entonces también lo es q. Dadas las tablas de verdad de la conjunción y de la implicación. mirando la tabla de verdad es posible saber cuándo las premisas son verdaderas y la conclusión es falsa. y ahora estamos en condiciones de analizar la validez de algunas formas de razonamiento. los cuales a veces resultan más cortos que las tablas de verdad. es traducir éste a expresiones booleanas y analizar el caso en que cada una estas expresiones es verdadera. supongamos un razonamiento en donde p0 . observamos que no es una tautología: q p⇒q p true true true true false false false true true false false true ¬p (p ⇒ q) ∧ ¬p false false false false true true true true ¬q (p ⇒ q) ∧ ¬p ⇒ ¬q false true true true false false true true 2. Análisis de razonamientos En el capítulo 0 vimos ejemplos de razonamientos. por tanto la frase anterior puede representarte así: p ≡ q ≡ r. el valor de la expresión booleana p ≡ q ≡ r es también true. . . esto ocurre cuando p es falsa y q es verdadera.6. . a medida que la cantidad de variables crece. Veamos la tabla de verdad correspondiente: p true true true true false false false false q true true false false true true false false p≡q r true true false true true false false false true false false false true true false true (p ≡ q) ≡ r true false true true false true true false si llamamos: p: q: Tengo pelo Soy feliz p⇒q ¬q ¬p podemos traducirlo como Se puede ahora comprobar la validez del razonamiento construyendo la tabla de verdad asociada: p q p⇒q true true true true false false true false true false false true ¬q (p ⇒ q) ∧ ¬q false false true false false false true true ¬p (p ⇒ q) ∧ ¬q ⇒ ¬p false true false true true true true true Observemos que exactamente una de las tres proposiciones p.

(q. Esta isla está habitada solamente por estos dos tipos de gente. E XPRESIONES BOOLEANAS 2. a) (p ∨ q) ∨ ¬q b) (p ∧ q) ⇐ ¬q c) (p ≡ q) ∧ (p ∨ q) . Tenemos dos personas. Solución Supongamos que A es un pícaro.5 Traducir las siguientes frases en expresiones booleanas a) Llueva o no. Luego dado que A es efectivamente un pícaro. escribir la correspondiente expresión PD ≡ QD .36 2.3 Escribir las expresiones duales PD de cada una de las expresiones booleanas P que se indican a) b ∨ c ∨ true b) b ∧ c ∧ d c) b ∧ (c ∨ ¬d) d) b ∨ (c ∧ d) e) ¬f alse ⇒ b ∨ c f) ¬b ⇐ b ∨ c g) (¬b ≡ true) ∨ b h) (b ≡ c) ≡ (b ⇒ c) ∧ (c ⇒ b) 2. determinando los casos en los cuales son tautologías o contradicciones. Nuevamente tenemos dos personas. E JERCICIOS 37 2. no iré a nadar.8) Problema. (2. c) Llueven rayos y centellas. Pero entonces entre él y B hay al menos un pícaro. f alse)} a) (p ∨ q) ∧ r b) (p ∧ q) ∨ r c) p ∨ (q ∧ r) d) p ≡ (q ≡ r) e) (p ≡ q) ≡ r f) (p ⇒ q) ⇒ r g) (p ∧ q) ⇒ r 2.9) Problema. Los caballeros tienen la particularidad de que sólo dicen la verdad.8. Ya habíamos visto que A sólo puede ser un caballero. con lo cual su frase es falsa. su afirmación es cierta. A y B habitantes de la isla. por lo tanto A es un caballero.8. (2. A dice: “Soy un pícaro pero B no lo es”. (r. a) p ≡ q b) p ∧ p ≡ p c) p ⇒ p ≡ true d) p ⇒ q ≡ ¬p ∨ q e) true ⇒ p ≡ p f) f alse ⇒ p ≡ true g) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) h) p ≡ q ≡ q ≡ p 2. 2. f alse). Luego la afirmación es falsa y ninguno de ellos puede ser un pícaro.7. Por lo tanto B es un pícaro. A hace la siguiente afirmación: ”Al menos uno de nosotros es pícaro”. mientras que los pícaros siempre mienten. iré a nadar. Resolución de acertijos lógicos Haremos ahora una visita a la isla de los caballeros y los pícaros. Luego A es un pícaro. ¿Qué son A y B? Solución A no puede ser un caballero. Por lo tanto B es también un pícaro. true). A y B habitantes de la isla. Ejercicios 2. dado que estaría diciendo que es un pícaro (y algo más). d) Llueven rayos o centellas. dado que A es un caballero. ¿Qué son A y B? d) p ≡ (q ≡ p) e) (p ≡ q) ≡ p f) (p ⇒ q) ⇒ p g) ¬q ∧ ¬p ≡ (q ⇒ p) ⇒ q h) (p ≡ p ∨ ¬p) ⇒ p 2. es necesariamente falso que B no lo es. Ahora.1 Evaluar las siguientes expresiones en el estado {(p. Pero esto contradice la suposición acerca de A.4 Para cada una de las expresiones P ≡ Q que se indican a continuación. b) Llueve.2 Escribir las tablas de verdad para las siguientes expresiones.

Encontrar en que puerta esta el millón. i) j) Cuando x < y entonces y < z significa que v = w. si el gobernador quiere mejorar su imagen. c) Si el gobernador quiere mejorar su imagen. b) Si el presidente entiende las protestas de la gente entonces si quiere ser reelegido cambiará su política. ¿Detrás de qué puerta está el millón? b) Utilizando el mismo planteo que el ítem anterior. Si los romanos hubieran gozado de libertad religiosa.6 Traducir las siguientes frases en expresiones booleanas a) Ninguno entre p y q es verdadero. • La primer puerta tiene un cartel que dice: “Está Acá”. El presidente cambiará su política. E XPRESIONES BOOLEANAS 2. Luego. E JERCICIOS 39 e) Llueven rayos y centellas pero iré a nadar. entonces gastará más en publicidad. o bien mejora su política social o bien gasta más en publicidad. no saben que ésta no disminuye el delito o tienen deseo de venganza. dando para cada uno de ellos el modelo del problema y la solución o soluciones que se obtienen a las preguntas planteadas. 2. q. 2. cuando x ≥ y entonces v = w.10 Resolver los siguientes acertijos lógicos.38 2. b) Exactamente uno entre p y q es verdadero. Aquellos que saben que la pena de muerte no disminuye el delito. no están en favor de la pena de muerte por miedo al delito. o bien la palabra día es usada en la Biblia en un sentido diferente al aceptado corrientemente en la actualidad. A dice ”O bien soy un pícaro o bien B es un caballero”. El gobernador mejoró su política social. e) Si la ciudadanía romana hubiera sido una garantía de los derechos civiles. si el gobernador quiere mejorar su imagen. pero si x ≥ y entonces y > z no ocurre. entonces quiere ser reelegido. 2. a) Detrás de una de tres puertas hay un millón de dólares. Pero los primeros cristianos fueron perseguidos. Luego.7 Identificar las proposiciones elementales en las siguientes frases y traducirlas en expresiones booleanas. entonces no se habría perseguido a los primeros cristianos. no puede haber sido la causa de la sucesión del día y la noche durante los tres primeros días. ¿Qué son A y B? Traducir los siguientes razonamientos presentados en lenguaje natural a expresiones booleanas y analizar su validez a) Si el presidente entiende las protestas de la gente entonces si quiere ser reelegido cambiará su política. y al menos un cartel verdadero. r o s son verdaderos. • La tercera puerta tiene un cartel que dice: “No está en la primera puerta”. f) Ninguna de las siguientes expresiones es verdadera: x < y. se sabe que hay al menos un cartel falso.9 . Luego. Por lo tanto aquellos que están a favor de la pena de muerte. d) Las siguientes expresiones son todas verdaderas: x < y. entonces no gastará más en publicidad. b) x < y o x = y o x > y. pero ahora los carteles en las puertas dicen: • En la primer puerta: “No está en la segunda puerta”. y < z y v = w. h) Cuando x < y entonces y < z. • La segunda puerta tiene un cartel que dice: “No está Acá”. el Sol no fue creado hasta el cuarto día. 2. sin embargo si v = w entonces x < y. y < z y v = w. e) A lo sumo una de las siguientes expresiones es verdadera: x < y.8 En la isla de los pícaros y los caballeros. q. • En la tercer puerta: “Está acá”. Esta vez. d) Si el gobernador quiere mejorar su imagen. Si la ejecución del programa P comenzó con x < y. Por consiguiente. El gobernador no mejora su política social. a) x < y o x = y. dos o cuatro entre p. Si se sabe que a lo sumo uno de los carteles es verdadero. la ciudadanía romana no puede haber sido una garantía de los derechos civiles. k) La ejecución del programa P que comenzó con x < 0 no terminará. De esto se desprende que. f) Si la descripción bíblica de la cosmogonía es estrictamente correcta.8. El presidente quiere ser reelegido. Y si el Sol no fue creado hasta el cuarto día. entonces la ejecución termina con y = 2x . g) Se está a favor de la pena de muerte por miedo al delito o por deseo de venganza. o bien mejora su política social o bien gasta más en publicidad. y < z y v = w. los romanos habrían gozado de libertad religiosa. si el presidente entiende las protestas de la gente. 2. c) Cero. c) Si x > y e y > z entonces v = w. • En la segunda puerta: “No está acá”. Pero o bien la Biblia usa la palabra día en un sentido diferente al aceptado corrientemente en la actualidad. g) Las siguientes expresiones no son todas verdaderas al mismo tiempo: x < y. o bien la descripción bíblica de la cosmogonía no es estrictamente correcta. o bien el Sol debe haber sido la causa de la sucesión del día y la noche durante los tres primeros días. entonces cambiará su política. y < z y v = w. r o s son verdaderos. si el presidente entiende las protestas de la gente. d) Uno o tres entre p. Luego.

y el que lo resuelva quedará libre. Carlos y Diana. ¿De qué color era su sombrero? f) Dos personas se dicen del mismo tipo si son ambas caballeros o ambas pícaros.8. el cual prefiere tampoco arriesgarse. y le dice que puede si quiere. Si no pueden adivinar. Le aclaran que uno de ellos siempre dice la verdad. Tenemos tres personas. . y sabemos que: . Mientras prepara la comida. con una niñera. El sádico guardia.40 2. un tuerto y un ciego. Le dicen quien dice siempre la verdad. El ciego inmediatamente dice : “que. Le da la primera oportunidad al prisionero que con vista normal. para divertirse. los matará de inmediato. El guarda apaga la luz. entonces Bernardo y Carlos votan igual entre ellos. • Si Bernardo vota que sí. Con lo cual el guarda dice.Bernardo dice: “No soy un pícaro”. pero que los otros tres siempre mienten. no pasa nada.Alberto dice: “Bernardo y Carlos son pícaros”. • Si Carlos vota que no. “bueno.B dice: “A y C son del mismo tipo”. pero la niñera no presta atención y se olvida. Beatriz dice: “Diana lo hizo”. A. E XPRESIONES BOOLEANAS 2. . dice que les dará un problema. entonces Alberto y Bernardo votan igual entre ellos. Les dice que tiene cinco sombreros. Luego. saldrán libres. ¿y yo no puedo adivinar?”. Alberto dice: “Beatriz lo hizo”. El ciego adivina correctamente y sale libre. el cual mira los otros dos sombreros.Carlos dice: “Bernardo es un pícaro”. pero si adivinan mal. Los pícaros mienten siempre. Bernardo y Carlos son caballeros o pícaros. y les dice que si adivinan el color del círculo de su sombrero. B y C. Diana dice: “Beatriz mintió cuando dijo que yo lo hice”. E JERCICIOS 41 c) Una pareja deja a sus cuatro chicos. y decide no arriesgarse. Bernardo y Carlos son tres políticos que tienen que votar por una ley. Todos votan. y los caballeros siempre dicen la verdad. • Si Alberto vota que sí. están en una cárcel. Hay tres sombreros con un círculo blanco y dos con un círculo rojo. . Carlos dice: “Yo no lo hice”. ¿Cuántos son pícaros? e) Tres prisioneros.A dice: “B es un pícaro”. uno con vista normal. . ¿Qué es C? g) Alberto. le da la oportunidad al tuerto. elije tres sombreros y se los pone a los prisioneros. Luego prende la luz. con un círculo marcado al frente de forma tal que el que tiene el sombrero puesto no puede ver el círculo. El guarda se ríe. entonces Alberto vota lo contrario de Carlos. volvamos a las celdas”. pero los demás pueden verlo sin problema. . escucha que se rompe un vaso. Beatriz. ¿Se puede saber el voto de los tres? ¿Se puede saber el voto de alguno de los tres? ¿De quién o quiénes? ¿Quién es el culpable? d) Alberto. Alberto.

42 2. E XPRESIONES BOOLEANAS .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->