12/11/2013

UNIDAD II LGEBRA BOOLEANA

Desarrollo de Habilidades del Pensamiento Lgico

LGICA PROPOSICIONAL

M. En E. Abish A. Maldonado Martnez

Aplicacin de la lgica matemtica a la computacin

Su uso es fundamental a varios niveles:

Lgica
La Lgica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto . Ejemplos: Todos los matemticos utilizan sandalias Cualquier persona que utilice sandalias es algebrista. Por lo tanto, todos los matemticos son algebrista.
La Lgica se centra en las relaciones entre los

Circuitos computacionales

Compuertas lgicas (AND, OR, Inverter, Buffer, NAND, NOR, XOR y XNOR)

Algoritmos

Anlisis y optimizacin (de recursos temporales y espaciales)

Programacin lgica

Diseo de lenguajes de programacin (programacin declarativa)

enunciados y no en el contenido de un enunciado en particular. El tipo de expresiones que interesan a la lgica son aquellas cuyo contenido puede ser evaluado como falso o verdadero. A este tipo de expresiones se le denomina proposicin, sentencia o enunciado.

Lgica proposicional
Lgica Proposicional pretende estudiar las frases declarativas simples

Expresiones que no son proposiciones

Todas las proposiciones son oraciones, pero no todas las oraciones son

(enunciados o proposiciones) que son los elementos bsicos de transmisin de conocimiento humano. CONCEPTOS
Proposicin Una proposicin se define como un enunciado, una

oracin declarativa, o una expresin simblica, de la cual se puede decir sin ambigedad, que es verdadera o falsa, pero no ambas . Ejemplo:
La Coca-Cola es una empresa transnacional.. verdadero. Todos los alumnos del UTVT son menores de edad ... falso El grupo de TIC 15 est cursando la materia de Desarrollo de Habilidades de

proposiciones, las oraciones exclamativas, exhortativas o imperativas, las desiderativas y las exclamativas o admirativas no son proposiciones porque ninguna de ellas afirma o niega algo, por lo tanto no son verdaderas ni falsas, as mismo las oraciones dubitativas, as como los juicios de valor (a pesar de que afirman algo), no constituyen proposiciones, pues su veracidad o falsedad no puede ser establecida. Ejemplos:

Pensamiento Lgico.. verdadero

Todos los alumnos del UTVT tienen coche del ao..... falso

La veracidad (V) o falsedad (F) de una proposicin se llama valor de

Proposicin Viva la familia! Est lloviendo? Lvate la cara Pedro es muy malo Debemos honrar a nuestros hroes Que tengas muy buen da Quiz llueva maana

Porque no es una proposicin Exclamacin o admiracin Pregunta Imperativa u orden Juicio de valor Exhortativa Desiderativa Dubitativa

verdad y viene dada por algn criterio independiente de la proposicin.

12/11/2013

Toda proposicin es una oracin aseverativa ( afirman algo), pero no toda

oracin aseverativa es una proposicin. Ejemplos de oraciones que no tiene sentido o no se puede afirmar que son verdaderas o falsas :
Eduardo es un nmero racional La mesa es inteligente X+3=5 A es la capital de Campeche

Conectivos Lgicos (Trminos de Enlace)

Son palabras y/o smbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simblico) ms amplio. Los conectivos lgicos ms usuales son:

Afirmar algo Ser oracin Ser bien verdadera o bien falsa

Proposicin

La jerarqua de las proposiciones son: negacin, conjuncin, disyuncin,

implicacin, bicondicional y son asociadas por la izquierda. De esta manera sin nos encontramos ante la siguiente proposicin:
p q r

Frmulas bien formadas (wff)

A la combinacin de proposiciones y conectivos se la

El correcto para resolverlo sera para este caso:

1. Primero negamos r ( r ) 2. Luego resolvemos la conjuncin (q q) 3. Por ltimo resolvemos la implicacin

Pero tiene mayor los signos de agrupacin, des esta manera, si nos encontramos con la proposicin: (p q) r 1. Primero resolvemos la implicacin (p q) 2. Luego hacemos la negacin de r ( r ) 3. Por ltimo la conjuncin.

denomina frmula bien formada (well-formed formula, wff). Una frmula bien formada puede ser una proposicin simple o compuesta que tiene sentido completo y cuyo valor de veracidad, puede ser determinado. Ejemplos:

Como podemos observar los operadores se colocan a la izquierda de la variable

proposicional, siendo incorrectos los siguientes ejemplos:

p qr

No todas las frmulas son bien formadas, si a una

frmula no se le puede dar un valor se dice que no es un frmula bien formada.

Tablas de verdad
p

Proposiciones atmicas y moleculares

Son un instrumento empleado en la lgica proposicional, para indicar las diferentes interpretaciones de una frmula y el resultado de las mismas. Representan de manera grfica todas las posibles combinaciones de los valores de verdad que se formen de las proposiciones. Sus valores pueden ser V (verdadero) o F (falso), 1 (encendido) o 0 (apagado), para saber cuntas filas deben utilizarse se aplica la formula 2n donde 2 representa los dos posibles valores que puede tomar y n es el nmero de proposiciones con las que se forme la formula. Las proposiciones pueden constar de un solo enunciado o de varios, en el primer caso las denominamos proposiciones atmicas y en segundo moleculares. Proposicin Atmica Una proposicin es atmica cuando no posee conectivos lgicos. Son entonces las ms simples. Ejemplos:
En el invierno hace frio. Mxico est en crisis econmica.

V
V F F

q V F V F

Proposicin compuesta o molecular Es una o ms proposiciones atmicas adecuadamente escritas, unidas con trminos de enlace. Ejemplos:
En el invierno hace frio y en algunos lugares cae nieve. Mxico est en crisis econmica si y solo si se devala la moneda. No es difcil desarrollar un software.

12/11/2013

Proposicin con forma Disyuntiva o Disyuncin (incluyente o inclusiva)

Una proposicin Disyuntiva, es aquella que est formada

por proposiciones atmicas o moleculares, digamos p y q, con el conectivo Lgico o. Se simboliza as: V, se escribe: p v q y se lee: p o q
Nota: Existen dos operadores de disyuncin: La disyuncin exclusiva o excluyente y la disyuncin inclusiva o incluyente

p V V F F

q V F V F

pvq V V V F

Supongamos que un pap le

Incluyente: Son dos o ms proposiciones de las cuales puedo elegir una o ms de una, se caracteriza por permitir que las proposiciones que contiene sean todas verdaderas, as que se le llama tambin Incluyente.

El joven se encuentra ante dos situaciones que reflejaremos en las siguientes proposiciones: p: Juan saca 10 en su examen semanal. q: Juan lava el coche de su pap de lunes a viernes. p v q: Juan saca 10 en su examen semanal o lava el coche de su pap de lunes a viernes.

dice a su hijo llamado Juan: Para que te deje ir al antro el fin de semana debes cumplir una de estas dos condiciones: Traer 10 en tu examen de esta semana o lavarme el coche todos los das desde el lunes hasta el viernes

Proposicin conjuncional o conjuncin.

Debemos fijarnos que su pap le pidi cumplir con p o cumplir
Una conjuncin de proposiciones es verdadera si y slo si cada una de ellas

con q, significa que Juan puede cumplir con una sola de estas tareas para poder ir al antro. Las posibles situaciones en las que Juan se podra caer para ir al antro son:

es verdadera. Basta que un solo trmino de la conjuncin sea falso para que toda la conjuncin sea falsa. En espaol, normalmente la conjuncin se expresa por medio de la y, de comas o de una combinacin de estas, o palabras como pero. Se dice que una conjuncin es verdadera solamente cuando cada una de las proposiciones que la conforman son verdaderas:

Con esto podemos ver que para que Juan no vaya al antro,

tanto p como q deben ser falsas. La disyuncin inclusiva entre dos proposiciones es falsa solo si ambas proposiciones son falsas.

Proposicin con forma de Negacin

Juan se encuentra ante las mismas dos situaciones anteriores, que
La negacin es una operacin unitaria que se aplica a una proposicin y

reflejaremos en dos proposiciones:

p: Juan saca 10 en su examen semanal. q: Juan lava el coche de su pap de lunes a viernes.

Pero en este caso Juan debe cumplir con ambas proposiciones para

poder ir al antro, ya que su pap utiliz la conjuncin y:

tiene el efecto de revertir el valor de verdad. Se simboliza as: o con el smbolo , se escribe: p y se lee: No p; negacin de p; o, No es cierto que p, esto es, si p es verdadera entonces p es falsa, y si p es falsa entonces p es verdadera. Una proposicin de este tipo, puede estar formada por una proposicin atmica o molecular a diferencia de los otros conectivos que afectan a ms de una, digamos p, con el conectivo Lgico No.

Las posibilidades de que Juan vaya al antro se reducen.

12/11/2013

IMPLICACIN SI CONDICIONAL
En la implicacin el primer trmino se denomina antecedente o hiptesis y el

Ejemplos

segundo consecuente o tesis. La implicacin es falsa si el antecedente es verdadero y el consecuente es falso. La implicacin no tiene denominacin especial como los casos anteriores pero puede expresarse en funcin de estos. La implicacin es una conectiva lgica que se denotara con una flecha >. p > q, se lee: p implica q, si p, entonces q, p es suficiente para q, o tambin, q es necesario para p.

Tarea
Realizar la prctica correspondiente.

TIPOS DE FRMULAS PROPOSICIONALES

TAUTOLOGA: Es toda proposicin, cuyo valor de verdad

es siempre verdadero ( V ).

CONTRADICCIN: Cuyo valor de verdad es siempre es

CONTINGENCIA: Es toda proposicin lgica cuyo valor

falso ( F ). Se denota por F.

de verdad tiene al menos un valor verdadero ( V ) y un valor falso (F).

12/11/2013

NMERO DE VALORES QUE SE ASIGNA A CADA VARIABLE PROPOSICIONAL

El nmero de valores que puede tener una determinada

EVALUACIN DE ESQUEMAS MOLECULARES POR MEDIO DE TABLAS DE VALORES

EJEMPLOS:

variable proposicional en un esquema molecular est dada por la frmula:

Donde n representa el nmero de proposiciones simples que existen en el esquema molecular.