Lgica Proposicional

Asignatura: Matemtica

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte I

Lgica proposicional La Matemtica exige en cualquiera de sus ramas, un lenguaje claro y preciso. Estas virtudes las proporciona la Lgica, que da a cada expresin un significado exacto y a cada smbolo una interpretacin sin ambigedades. Una manera sencilla de introducir el lenguaje lgico la proporciona el clculo de proposiciones. Lgica proposicional es la parte de la lgica que estudia la formacin de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples. Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. 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

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte I

Son aquellas expresiones u oraciones declarativas que pueden ser calificadas o bien como verdaderas o bien como falsas, sin ambigedades. Las proposiciones lgicas sern designadas con letras minsculas generalmente: p, q, r, A la veracidad o falsedad de un enunciado (proposicin) se lo denomina Valor de verdad. Ejemplos de proposiciones lgicas:

Proposicin p: Buenos Aires es la capital de Argentina. q: 3 es divisor de 15 r: 3 es menor que 1 s: 3 * 4 + 1=20

Valor de verdad Verdadero Verdadero Falso Falso

Ejemplo de expresiones que no son proposiciones lgicas: Buenos das Qu fro aquel amanecer! Borra el pizarrn. Podras cerrar la puerta?

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte I

x>3 3*4 + 1 x+ 3 = 8 En resumen las proposiciones lgicas son expresiones de las que tiene sentido decir que son verdaderas o que son falsas. Clases de proposiciones lgicas: Proposiciones simples o atmicas: Son las que no contienen en su interior otras proposiciones. Ejemplos: p: Llueve q: Hace fro r: 3 es un nmero primo s: 3 es divisor de 15 t: abc es un tringulo equiltero u: abc es un tringulo issceles Proposiciones compuestas o moleculares: Son aquellas proposiciones que contiene en su interior otras proposiciones. Ejemplos: v: Llueve y hace fro w: 3 es un nmero primo y es divisor de 15. y: Hace fro o 3 es divisor de 15.

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte I

z: Si abc es un tringulo equiltero entonces abc es un tringulo issceles. t: No es cierto que 3 es un nmero primo. Estas nuevas proposiciones se obtienen vinculando las iniciales mediante las palabras no, y, o, si- entonces. En lgica, esta conexin se hace definiendo operaciones entre proposiciones. En la siguiente tabla se muestra cmo se representa estas palabras:

Palabra Smbolo

No ~

o bien p o bien q

Implica, entonces Si y solo Por lo si tanto

Ejemplo: No es cierto que 3 es un nmero primo ~ Llueve y hace fro p q r

Hace fro o 3 es divisor de 15 q s

Si abc es un tringulo equiltero entonces abc es un tringulo issceles

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte I

Como la cuestin fundamental es saber si la proporcin resultante es verdadera o falsa para cada valor de verdad de las proposiciones componentes se dan tablas que proporcional la informacin necesaria. Estas tablas se llaman tablas de verdad e indican si el resultado de la operacin es una proposicin verdadera o falsa. Ejercicios: 1-Dadas las siguientes sentencias se pide: a) Sealar cules de ellas son proposiciones. b) Indicar el valor lgico correspondiente a cada proposicin (V o F) 1. Rojo y negro. 2. Argentina e Inglaterra lucharon por la posesin de las Islas malvinas. 3. El avance de las aguas. 4. La mitad de tus bienes. 5. Hoy es da laborable. 6. Callate! 7. Nosotros tenemos 4 horas semanales de Matemtica. 8. Qu sabes de Juan? 9. Ayer llovi. 10.El sol brilla en el firmamento.

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte I

2- Dadas las proposiciones: p: Hoy es viernes. q: Maana es feriado.

Expresa en lenguaje coloquial, las proposiciones que a continuacin se presentan en lenguaje simblico. a) ~ p b) ~ q c) p q d) p ~ q e) ~p q f) ~( p q) g) ~ p ~ q h) ~( ~p) i) ~ (p q) 3- Dadas las proposiciones: P: Juan es rubio q: Juan tiene ojos azules.

Expresa en lenguaje simblico, las proposiciones que a continuacin se presentan en lenguaje coloquial: a) Juan no es rubio. b) Juan no tiene ojos azules. c) No es verdad que Juan no es rubio.

Prof. Lloret Viviana

[LGICA PROPOSICIONAL]

Parte I

d) No es verdad que Juan no tiene ojos azules. e) Juan es rubio y tiene los ojos azules. f) Juan no es rubio y tiene los ojos azules. g) Juan es rubio y no tiene los ojos azules. h) No es verdad que Juan no es rubio y no tiene los ojos azules. i) Juan es rubio o no tiene los ojos azules. j) No es verdad que Juan es rubio y tiene los ojos azules.

Prof. Lloret Viviana