UNIVERSIDAD LAICA ELOY ALFARO DE MANABI

ESTUDIANTES: VERDUGA CEDEO GEMA ANDRADE CHAVEZ GABRIELA INTRIAGO PONCE BRYAN CEDO FERNANDEZ STEFFANY DOCENTE: ING. HIRAIDA SANTANA

I SEMESTRE 2013

INTRODUCCION Lgica proposicional

Es la rama de las matemticas que nos permite reconocer la validez de una argumentacin, as como tambin nos proporciona las herramientas de razonamiento necesarias para elaborar demostraciones irrefutables y convincentes.

Su propsito consiste en establecer un nuevo lenguaje, el cual se pueda utilizar para simplificar el Anlisis de argumentos lgicos complicados.

Proposicion Una proposicin es una unidad semntica que, o slo es verdadera o slo es falsa. Ejemplo: 5 es un nmero primo. 17 + 38 = 21. 4 es un nmero par. Gabriel Garca Mrquez escribi Cien aos de soledad. 3+2=6

Las oraciones anteriormente expuestas son proposiciones, ya que son verdaderas o falsas. Oraciones que no son proposiciones. Lava el auto, por favor. Hola, cmo ests? (a) x + y > 5 (b) Te vas? Cmprame 3 plumas negras y blancas

No son proposiciones porque no se sabe su valor de verdad.

Valor de la verdad

Tabla de Verdad

El valor de verdad de una proposicin es la cualidad de veracidad que describe adecuadamente la proposicin. ste puede ser verdadero o falso.

Una tabla de verdad es una representacin de los posibles valores de verdad que podra tomar una proposicin.

O(falso)

1(verdadero)

Operadores Lgicos

Negacin

Conjuncin ^

Disyuncin inclusiva v

Disyuncin exclusiva v

Condicional

Bicondicional

Negacin Este operador lgico cambia el valor de la verdad de la proposicin. Si a es una proposicin verdadera, a ser falsa. Si a es una proposicin falsa a ser verdadera. Sus trminos gramaticales son no ni no es verdad queno es cierto que
a a

0 1

1 0 Ejemplos

Si se tiene la proposicin: 1.)a: tengo un billete de 5 dlares Negacin a: no tengo un billete de 5 dlares 2.) a: Me voy de viaje Negacin a: no me voy de viaje 3.) a:maana me caso Negacin a: Maana no me caso 4.) a:Me compre un carro Negacin a: No me compre un carro 5.) a: Estoy enferma Negacin a: No estoy enferma

Conjuncin ^
Sean a y b proposiciones, la conjuncin entre a y b, representada simblicamente por a b, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad

a 0 0 1 1

b 0 1 0 1

a^b 0 0 0 1

En espaol, la conjuncin copulativa se presenta con los trminos gramaticales: y, pero, mas, y signos de puntuacin como: la coma, el punto, y el punto y coma.

Ejemplos
1)Si se tienen las proposiciones: a: Obtengo buenas notas. b: Gano una beca. La conjuncin entre a y b es: a b: Obtengo buenas notas y gano una beca. 2) Si se tienen las proposiciones: a: Me cepillo el cabello b: Me veo hermosa La conjuncin entre a y b es: a b: Me cepillo el cabello y me veo hermosa 3) Si se tienen las proposiciones: a: Compro un Carro b: Me voy a pasear La conjuncin entre a y b es: a b: Compro un carro y me voy a pasear 4)Si se tienen las proposiciones: a: Preparo comida b: te sirvo La conjuncin entre a y b es: a b: Preparo comida y te sirvo 5)Si se tienen las proposiciones: a: Eres un buen amigo b: compaero de clases La conjuncin entre a y b es: a b: Eres un buen amigo y compaero de clases

Disyuncin Inclusiva v
Sean a y b proposiciones, la disyuncin entre a y b, representada simblicamente por ab, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad:

a 0 0 1 1

b 0 1 0 1

avb 0 1 1 1

En espaol, la disyuncin se presenta con el trmino gramatical o.

Ejemplos
1)Si se tienen las proposiciones: a: Tengo un libro de Trigonometra. b: Tengo un libro de lgebra. La disyuncin entre a y b es: avb: Tengo un libro de Trigonometra o uno de lgebra. 2) Si se tienen las proposiciones: a: Como Arroz b: tomo sopa La disyuncin entre a y b es: avb: Como arroz o tomo sopa 3) Si se tienen las proposiciones: a:Veo tele b: Escucho musica La disyuncin entre a y b es: avb: Veo tele o escucho musica 4) Si se tienen las proposiciones: a: Me bao b: Desayuno La disyuncin entre a y b es: avb: Me bao o desayuno 5) Si se tienen las proposiciones: a: Lavo platos b: Hago deporte La disyuncin entre a y b es: avb: Lavo platos o hago deporte

Disyuncin Exclusiva
Sean a y b proposiciones, la disyuncin exclusiva entre a y b,representada simblicamente por a b, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad:

a 0 0 1 1

b 0 1 0 1

avb 0 1 1 0

En espaol, la disyuncin exclusiva se presenta con el trmino gramatical o, o slo, o solamente, o..., o....

Ejemplos 1)

Si se tienen las proposiciones:

a: Estoy en Chone b: estoy en Rocafuerte La disyuncin entre a y b es: avb: Estoy en Chone o estoy en Rocafuerte
2) a: b: La Si se tienen las proposiciones: Estoy casada contigo Estoy casada con Francisco disyuncin entre a y b es: avb: Estoy casada contigo o estoy casada con francisco 3) a: b: La Si se tienen las proposiciones: Estoy en Colombia estoy en Ecuador disyuncin entre a y b es: avb: Estoy en Colombia o estoy en Ecuador 4) Si se tienen las proposiciones: a: Ahorro dinero b:Me lo gasto La disyuncin entre a y b es: avb: Ahorro dinero o me lo gasto 2) a: b: La Si se tienen las proposiciones: Me acuesto a dormir Me voy a la fiesta disyuncin entre a y b es: avb: Me acuesto a dormir o me voy a la fiesta

Condicional

Sean a y b proposiciones, la condicional entre a y b, representada simblicamente por ab, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad:

a 0 0 1 1

b 0 1 0 1

a 1 1 0 1

En espaol, la proposicin ab se puede encontrar con los siguientes trminos gramaticales: si a, entonces b, a slo si b, a solamente si b, b si a, si a, b, b con la condicin de que a, b cuando a, b siempre que a, b cada vez que a, b ya que a, b debido a que a, b puesto que a, b porque a, se tiene b si se tiene a, slo si b, a, b, pues a, cuando a, b, los a son b, a implica b, o cualquier expresin que denote causa y efecto.

Ejemplos
1)Si se tienen las proposiciones: a: Juan gana el concurso. b: Juan dona $ 10 000. La condicional entre a y b es: a b: Si Juan gana el concurso, dona

$ 10 000.

2)Si se tienen las proposiciones: a: Como mucho b: Engordo La condicional entre a y b es: a b: Si como mucho, entonces engordo 3)Si se tienen las proposiciones: a: sacas 10 en el examen b: Comprare un carro La condicional entre a y b es: a b: Si sacas 10 te comprare un carro 4)Si se tienen las proposiciones: a: Tu eres programador b: Soy el dueo de Microsoft La condicional entre a y b es: a b: Si tu eres programador, entonces yo soy el dueo de Microsoft 5)Si se tienen las proposiciones: a: Presento trabajos b: Apruebo el semestre La condicional entre a y b es: a b: Si presento trabajos ,entonces apruebo el semestre

Bicondicional
Sean

a y b proposiciones, la bicondicional entre a y b, representada simblicamente por a b, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de

verdad:

a 0 0 1 1

b 0 1 0 1

a 1 0 0 1

En espaol, la proposicin a b se puede encontrar con los siguientes trminos gramaticales: a si y slo si b, a si y solamente si b, a implica b y b implica a, a cuando y slo cuando b.

Ejemplos
1) Dadas las proposiciones:

a: Un tringulo es equiltero. b: Un tringulo es equingulo. La bicondicional entre a y b es: a b: Un tringulo es equiltero si y slo si es equingulo.
2) Dadas las proposiciones: a: Es aries b: Nacio en Abril La bicondicional entre a y b es: a b: Es Aries Si y solo si naci en Abril 3) Dadas las proposiciones: a:.Me duermo b: No hay ruidos La bicondicional entre a y b es: a b: Me duermo nicamente si no hay ruidos 4) Dadas las proposiciones: a: Ire al estadio b: Buen tiempo La bicondicional entre a y b es: a b: Ir al estadio, slo si hace buen tiempo 5) Dadas las proposiciones: a: Compro una casa b: Pagan liquidacion La bicondicional entre a y b es: a b: Compro una casa si y solo si me pagan la liquidacion