UNIVERSIDAD ANDINA DEL CUSCO

FACULTAD DE DERECHO Y CIENCIAS POLTICAS Lgica proporcional

Docente:

Discente: Elas juvenal arenas Villacorta

Semestre: Primero

Cusco- Per 2012

----------------------------------------------------------------El presente trabajo lo dedico al docente de la presente ctedra con mucha gratitud por haber coadyuvado en mi formacin acadmica -----------------------------------------------------------------

LGICA PROPOSICIONAL
INTRODUCCIN: El ser humano, a travs de su vida diaria, se comunica con sus semejantes a travs de un lenguaje determinado (oral, escrito, etc.) por medio de las denominadas frases u oraciones. Estas pueden tener diferentes significados pero siempre van a resumirse a las formas de verdaderas o falsas, siendo ste el precedente fundamental para el desarrollo humano. Lo importante en el desarrollo de esta sesin es el hecho de que, a partir de los enunciados y de acuerdo a su significado es posible establecer una proposicin y a partir de un conjunto de stas podemos llegar a una conclusin o inferencia, siendo la lgica la ciencia encargada del estudio de stas. La lgica proposicional es una rama de la lgica que permite representar hechos y/o expresiones del mundo real en un lenguaje representativo del conocimiento mediante propiedades elementales para estudiar a travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad. La lgica proposicional toma un rol muy importante en el desarrollo de la inteligencia artificial, y en otros aspectos de la informtica. PROPOSICIONES LGICAS: Definicin: Son aquellas expresiones u oraciones que pueden ser calificadas bien como VERDADERAS, o bien como FALSAS, sin ambigedades. Las proposiciones lgicas sern denotadas con letras minsculas generalmente: p, q, r, etc. A la veracidad o falsedad de un enunciado (proposicin) se le denomina VALOR VERITATIVO o VALOR DE VERDAD. Ejemplos de proposiciones lgicas: Proposiciones lgicas Valor de verdad p : Lima es la capital del Per. q : 17 . 6 = 10 r : La UNAM es una universidad privada. Verdadera (V). Falso (F). Falso (F).

Ejemplos de expresiones que no son proposiciones lgicas:

Expresiones que no son proposiciones lgicas Buenos das No faltes

Valor de verdad . No posee/No esta definido. . No posee/No esta definido.

Quin llamo por telfono?. Ingrese a la universidad!.

No posee/No esta definido. No posee/No esta definido.

Observacin: En resumen, las Proposiciones Lgicas son expresiones de las que tienen sentido decir que son verdaderas o que son falsas. Tambin se les denomina simplemente PROPOSICIONES. CLASES DE PROPOSICIONES LGICAS: PROPOSICIONES SIMPLES O ATMICAS: Son aquellas que se pueden representar por una sola variable, es decir, por una sola letra como: p : Pamela tiene 20 aos. q : 5 x 5 = 25. PROPOSICIONES COMPUESTAS O MOLECULARES: Son aquellas que se pueden representar por lo menos por una variable y algn o algunos de los smbolos que representan a las palabras siguientes: Palabras:. Smbolo: no ~ implica o y si y solo si o bien .p. o bien .q

Ejemplo: No aprob el curso de Matemtica I. Hoy es sbado y maana domingo. PROPOSICIONES COMPUESTAS BSICAS LA NEGACIN: Dada una proposicin p, se denomina LA NEGACIN DE p, a otra proposicin denotada por ~ p , y que le asigna el valor veritativo opuesto al de p. Su tabla de verdad es: p ~p V F F V

Esta proposicin ~ p es tambin leda como: .no p. .no es cierto que p. Ejemplos: Sean las proposiciones:

Proposiciones lgicas
EXPRESION SIMBOLICA P q LENGUAJE NATURAL

3 x 4 = 12 Visual Basic 6.0 no es un lenguaje de programacin

VALOR DE VERDAD V F

Entonces sus negaciones son:

Proposiciones lgicas
EXPRESION SIMBOLICA

~ p: ~ q:.

VALOR DE VERDAD LENGUAJE NATURAL No es cierto que 3 x 4 = 12 (o F

Visual Basic 6.0 es un lenguaje de programacin

LA DISYUNCIN: Se le denota .p v q. y se lee .p o q.. Es una proposicin compuesta por la proposicin p y la proposicin q, ambas relacionadas por la palabra .o., y est definida por la siguiente condicin: .La proposicin p v q es FALSA nicamente en el caso en que p y q son ambas falsas; en cualquier otro caso es verdadera. En su tabla de verdad se denota sus valores para todas las posibles combinaciones de valores veritativos de p y q como sigue: p q pq V V F F V F V F V F F F

Por ejemplo: correspondiente a la combinacin (*) de la Tercera fila:

Proposiciones lgicas Expresin simblica p q pq Lenguaje natural

Valor de verdad

: 9 es mltiplo de 3 10 + 7 = 9 es mltiplo de 3 y 10 + 7 = 12

V F F

LA CONJUNCIN: Se le simboliza .p q., y se lee como .p y q.. Se le define como una nueva proposicin que resulta verdadera (V) en el nico caso en que las proposiciones componentes p y q son ambas VERDADERAS (V). En todos los dems casos es FALSA (F). Su tabla de verdad es: p q p q V V F F V F V F V F F F

Por ejemplo: correspondiente a la combinacin (*) de la segunda fila: Valor de verdad Proposiciones lgicas Expresin simblica p q pq Lenguaje natural

: 9 es mltiplo de 3 10 + 7 = 12 9 es mltiplo de 3 y 10 + 7 = 12

V F F

LA CONDICIONAL: Se le simboliza .p q., y se lee .Si p entonces q.. Es una nueva proposicin compuesta que es falsa nicamente en le caso en que la proposicin p es verdadera y la proposicin q es falsa. Su tabla de verdad es:

p V V F F

q V F V F

PQ V F V V

La proposicin .p. es llamada ANTECEDENTE y la proposicin .q. CONSECUENTE. Esta proposicin .p q. tambin se lee de las siguientes maneras: .p implica q.. .p es una condicin suficiente para que q.. .q a menos que ~p. .Es suficiente que p para que q.. Ejemplo: Explique porqu las condicionales siguientes tienen los valores veritativos indicados: Proposiciones lgicas Expresin simblica pq pq pq Lenguaje natural 2+3=8 56 3-1=426 Si 5 es primo, entonces 15 es numero par Valor de verdad

V F F

Estas condicionales tienen los valores de verdad indicados debido a que: a) p es falsa y q verdadera : condicional verdadera. b) p es falsa y q falsa : condicional verdadera. c) p es verdadera y q falsa : condicional falsa. LA BICONDICIONAL: Se denota .p q ., y se lee .p si y solo si q.. Es aquella proposicin compuesta que es VERDADERA en los casos en que ambas p y q tengan valores veritativos iguales (ambas verdaderas o ambas falsas); es FALSA en los casos en p y q tengan valores veritativos opuestos. Su tabla de verdad es:

p V V F F

q V F V F

pq V F V V

Tambin se lee como: .p si y solamente si q .. .p es una condicional necesaria y suficiente para q.. Por ejemplo: Proposiciones lgicas Expresin simblica p q pq Lenguaje natural 24 2+64+6 24 si y solo si 2+64+6

Valor de verdad

V F F

LA DISYUNCIN EXCLUSIVA: Se denota .p q. , y se lee: .O bien p o bien q.. Es aquella proposicin que es verdadera en los casos en que ambas proposiciones p y q tengan valores veritativos opuestos, y es falsa si ambas tienen idnticos valores de verdad. Su tabla de verdad es: p V V F F q V F V F V V F Pq F

Por ejemplo: Proposiciones lgicas Expresin simblica p q pq Lenguaje natural Valor de verdad

Vamos a Arequipa Vamos a Tacna O vamos a Arequipa o vamos a tacna

V/F F/V V

Queda claro que slo podremos ir a uno de los dos lugares, y slo a uno. Es decir que el enunciado es verdadero slo si vamos a una de las dos ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso. V. CONECTIVOS LGICOS - Representacin: Los conectivos lgicos se representan por los smbolos: Palabras:. no implica o y si y solo si o bien .p. o bien .q Smbolo: ~

Palabras: No implica o y si y solo si o bien .p. o bien .q. Smbolo: ~ VI. PROPOSICIONES COMPUESTAS - Utilizando los conectivos lgicos se pueden combinar cualquier nmero finito de proposiciones compuestas bsicas para obtener otras cuyos valores de verdad pueden ser conocidos construyendo sus tablas de verdad; en tales tablas se indican los valores resultantes de estas proposiciones compuestas para todas las combinaciones posibles de valores de verdad de las proposiciones compuestas. - Por ejemplo, la tabla de verdad de la proposicin compuesta siguiente: [ (~p) q ] ( r p ) P V V V V F F F F Q V V F F V V F F r ~p V F V F V F V F (~p) F F F F V V V V [ (~p) q ] ( r p ) F V F V V V V V

Jerarqua de los conectivos lgicos: Cuando en una proposicin compuesta se tiene varios conectivos lgicos, las operaciones se realizan luego de colocar los parntesis adecuadamente comenzando de las proposiciones que se encuentren dentro de los parntesis interiores. Siguen todas las negaciones y luego se avanza de izquierda a derecha. Los corchetes son considerados como parntesis. TAUTOLOGA, CONTRADICCIN y CONTINGENCIA - TAUTOLOGA: A toda proposicin simple o compuesta cuyo valor es siempre VERDADERO para cualquier combinacin de valores veritativos de sus componentes se le llama TAUTOLOGA y se le denota siempre por V. P V V V F q V F V F ~p F F V V ~q F F V V (~p) q V F V V [ (~p) q ] ~q ~p F F F V V V V V F F V V -

CONTRADICCIN: A toda proposicin simple o compuesta cuyo valor es siempre FALSO para todas las combinaciones de valores veritativos de sus componentes se le llama CONTRADICCIN, y se le denota simplemente por F Ejemplo: la proposicin P V V f F q V F V F ~q F V F V pq V F F F (pq) q V F V F [ (p q ) q] ~q F F F F

- CONTINGENCIA: Una proposicin simple o compuesta cuya tabla de verdad contiene al menos un V y al menos un F recibe el nombre de CONTINGENCIA. EJEMPLO P V V V V F q V V F F V R V F V F V ~p F F F F V (~ p)q V F F F V r q V F V F F (~ p ) q] (rq) V F V V F

F F F

V F F

F V F

V V VV

V V V

F F F

F F F

PROPOSICIONES LGICAMENTE EQUIVALENTES Dos proposiciones p y q se llaman EQUIVALENTES (o lgicamente equivalentes) si sus tablas de verdad son idnticas, en cuyo caso se simboliza: pq Las proposiciones (pq) y [(~q) (~p)] son equivalentes pues a sus tablas de verdad resultantes son idnticas como se puede ver en el cuadro} P Q pq ~q~p V v V F v f V F F V f F F V V F V v f F v v v V

CONCLUSIONES - Las PROPOSICIONES son aquellas expresiones u oraciones que pueden ser calificadas bien como VERDADERAS, o bien como FALSAS, sin ambigedades. Las proposiciones lgicas sern denotadas con letras minsculas generalmente: p, q, r, ., etc. - A la veracidad o falsedad de un enunciado (proposicin) se le denomina VALOR VERITATIVO o VALOR DE VERDAD. - Las clases de proposiciones lgicas pueden ser PROPOSICIONES SIMPLES O ATMICAS y las PROPOSICIONES COMPUESTAS O MOLECULARES. - Proposiciones compuestas bsicas son: la NEGACIN, la DISYUNCIN, la CONJUNCIN, la CONDICIONAL, la BICONDICIONAL y la DISYUNCIN EXCLUSIVA. - Las PROPOSICIONES COMPUESTAS se forman utilizando los conectivos lgicos, con los cuales se pueden combinar cualquier nmero finito de proposiciones compuestas bsicas para obtener otras cuyos valores de verdad pueden ser conocidos construyendo sus tablas de verdad. - La TAUTOLOGA se da en toda proposicin simple o compuesta cuyo valor es siempre VERDADERO y se le denota siempre por V. - La CONTRADICCIN se da en toda proposicin simple o compuesta cuyo valor es siempre FALSO y se le denota simplemente por F - La CONTINGENCIA se da en toda proposicin simple o compuesta cuya tabla de verdad contiene al menos un V y al menos un F. - Dos proposiciones p y q se llaman EQUIVALENTES (o lgicamente equivalentes) si sus tablas de verdad son idnticas, en cuyo caso se simboliza: p .

BIBLIOGRAFA Libros: 1. R. Figueroa, Matemtica Bsica, Ed. Americana, Lima 1996 2. W. K.Grassmann, J.P. Tremblay, Matemtica Discreta y Lgica. Ed. Prentice Hall 1997. Direcciones electrnicas: 2. Tema: Lgica Proposicional Autor: Andrs J. Bilstein http://www.scribd.com/doc/3984030/Logica-Proposicional 3. Tema: Lgica Autores: Fernando Hernndez Magadn, Jose E. Labra G., Daniel Fernndez Lanvin Daniel Gayo Avello Csar Fernndez Acebal. http://www.di.uniovi.es/~labra/Logica/Logica.html