P. 1
Proposiciones

Proposiciones

|Views: 182|Likes:
Publicado porantohernandez

More info:

Published by: antohernandez on May 16, 2011
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

03/25/2015

pdf

text

original

UNIVERSIDAD FERMÍN TORO FACULTAD DE INGENIERIA CABUDARE – ESTADO LARA

PROPOSICIONES

Integrante: Hernández C, Antonio R. C.I. 15.171.834 Cátedra: Estructuras Discretas I Facilitador: Domingo Méndez Sección: SAIA A

Barquisimeto, Mayo de 2011

Proposiciones
Una proposición es un enunciado cuyo contenido está sujeto a ser calificado como "verdadero" o "falso", pero no ambas cosas a la vez. Toda proposición tiene una y solamente una alternativa. 1: Verdadero 0: Falso Ejemplos Los siguientes enunciados son proposiciones: Coro es un municipio de Miranda (falso). Los estudiantes de UFT son aplicados (verdadero). Notación: Las proposiciones se notarán con letras minúsculas p, q, r, s, t, ya que las letras mayúsculas las usaremos para denotar los conjuntos. Ejemplos P: La matemática es una ciencia. q: 2 es un número impar. r: mañana es 27 de junio. Llamaremos valor lógico de una proposición, el cual denotaremos por VL, al valor 1 si la proposición es verdadera; y 0 si es falsa. Como ejemplo de las proposiciones anteriores, podemos decir que VL(P)=1, VL(q)=0.

Operaciones Veritativas
Los Conectivos u Operadores Lógicos son símbolos o conectivos que nos permiten construir otras proposiciones; o simplemente unir dos o más proposiciones, a partir de proposiciones dadas. Cuando una proposición no contiene conectivos lógicos diremos que es una proposición atómica o simple; y en el caso contrario, diremos que es una proposición molecular o compuesta. Ejemplos de Proposiciones Atómicas: -Coro es un municipio de Miranda. -Los estudiantes de UFT son aplicados.

La Negación
Sea p una proposición. La negación de p es la proposición ~ p Que se lee “no p”, y cuyo valor lógico esta dado por la siguiente tabla

La tabla anterior dice, que ~ p es falsa cuando p es verdadera y que ~ p es verdadera cuando p es falsa. En forma analítica será: VL(~ p )= 1-VL(p)

En efecto Si VL(p) =1, entonces VL(~ p ) = 1-VL( p ) = 1-1 = 0 Si VL(p) =0, entonces VL(~ p ) = 1-VL( p ) = 1-0 = 1

EJEMPLO DE NEGACION

La negación de la proposición:

p: Mérida es un estado andino

Es la proposición

~ p: Mérida no es un estado andino

En este ejemplo, como p es verdadero, ~ p es falsa El valor lógico de ~ p depende únicamente del valor lógico de p este hecho nos dice que la negación de proposiciones es una operación veritativa.

LA CONJUNCIÓN
Sean p y q dos proposiciones. La conjunción de p y q es la proposición p ^ q, que se lee “p y q” cuyo valor lógico está dado por la siguiente tabla:

También se puede definir como VL (p ^ q ) = min { VL (p) , VL (q) }

La conjunción es una operación binaria, ya que el resultado de operar

p

^ q se obtiene a partir de dos proposiciones p y q. La conjunción también es una operación veritativa.

EJEMPLO DE CONJUNCIÓN Si, p: Páez peleó en Carabobo q: Bolívar murió en Colombia. r: Sucre nació en caracas. Entonces: a. p ^ q: Páez peleó en Carabobo y Bolívar murió en Colombia.

Además VL (p ^ q) = 1 ya que VL(p) = 1 VL ( q ) = 1.

b. q ^ r: Bolívar murió en Colombia y Sucre nació en caracas

Además VL (q ^ r) = 0 ya que VL(q) = 1 VL ( r ) = 0.

LA DISYUNCIÓN INCLUSIVA
Sean p y q dos proposiciones. La disyunción de p y q es la proposición p v q, que se lee “p y q” cuyo valor lógico está dado por la siguiente tabla:

También se puede definir como VL (p v q) = max { VL (p) , VL (q) }

La disyunción es una operación binaria, ya que el resultado de operar p v q se obtiene a partir de dos proposiciones p y q. La disyunción también es una operación veritativa.

EJEMPLO DE DISYUNCIÓN INCLUSIVA

Si, p: Madrid esta en España q: Miami esta en Canadá. r: Roma esta en Francia.

Entonces: a. p v q: Madrid esta en España o Miami esta en Canadá. Además VL (p v q) = 1 ya que VL(p) = 1 VL ( q ) = 0.

b. q v r: Miami esta en Canadá o Roma está en Francia. Además VL (q v r) = 0 ya que VL(q) = 1 VL ( r ) = 0

LA DISYUNCION EXCLUSIVA
Sean p y q dos proposiciones. La disyunción exclusiva de p y q es la proposición p v q, que se lee “o p o q ” cuyo valor lógico está dado por la siguiente tabla:

También se puede definir como

VL (p v q ) = { VL (p) - VL (q) }

EJEMPLO DISYUNCIÓN EXCLUSIVA

Si, p: 7 Es un número primo. q: 7 es un número par. r: 7 es mayor que 2.

Entonces: a. p v q: O 7 es número primo ö 7 es número par. Además VL ( p v q ) = 1 ya que VL(p) = 1 VL ( q ) = 0.

b. p v r: O 7 Es un número primo o 7 es mayor que 2. Además VL ( p v r ) = 0 ya que VL(p) = 1 VL ( r ) = 1

EL CONDICIONAL
Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposición p
q, que se lee "si p, entonces q", y cuyo valor

lógico está dado por la siguiente tabla:

Ejemplo a. Observe las proposiciones condicionales siguientes: 1. Si 5 es primo, entonces 2 + 1 = 3 (Verdadera). 2. Si 5 es primo, entonces 2 + 1 = 4 (Falsa). 3. Si 6 es primo, entonces 2 + 1 = 3 (Verdadera). 4. Si 6 es primo, entonces 2 + 1 = 4 (Verdadera). Condición Necesaria y Condición Suficiente El condicional es una de las proposiciones más importantes en la matemática, ya que la mayoría de teoremas vienen dados en esa forma. En los teoremas, el antecedente es llamado hipótesis y el consecuente tesis. Un condicional puede ser expresado también con las llamadas condiciones necesarias y suficientes. El antecedente es la condición suficiente y el consecuente la condición necesaria. Así el condicional A ® C puede ser leído de las siguientes maneras: 1. Si A entonces C 2. C es condición necesaria para A 3. Una condición necesaria para A es C

4. A es condición suficiente para C 5. Una condición suficiente para C es A 6. C si A 7. A sólo si C 8. A solamente si C Ejemplo Escribir el recíproco, contrarrecíproco y contrario del siguiente condicional: Si 5 es primo entonces 7 es impar. Solución * Recíproco: Si 7 es impar entonces 5 es primo. * Contrario: Si 5 no es primo entonces 7 no es impar. * Contrarrecíproco: Si 7 no es impar entonces 5 no es primo.

EL BICONDICIONAL
Sean p y q dos proposiciones. Se llama Bicondicional de p y q a la proposición p « q, que se lee "p si sólo si q", o "p es condición necesaria y suficiente para q", y cuyo valor lógico es dado por la siguiente tabla.

o en otras palabras el VL (P « q ) = 1 si VL (p) = VL (q) La tabla nos dice que p « q es verdadero cuando VL(p) = VL(q), y esa falsa cuando VL(p) ¹ VL(q) EJEMPLO. Construir la "Tabla de Verdad" para las proposiciones dadas: (p q) ~ (p r)

Solución (p q) ~ (p 0 1 0 0 0 0 0 0 r)

111 111 100 100 011 011 010 010

0111 1100 0111 1100 0011 0010 0011 0010

Formas Proposicionales A las nuevas expresiones que se obtienen al aplicar los conectivos lógicos a las variables proposicionales p, q, r, s, t, etc., se les llaman formas proposicionales, por ejemplo t
(q ~ r) ~ [(p s) (r q)] son formas proposicionales

y podemos decir, para ser más preciso que las variables proposicionales también son formas proposicionales.

Tablas de Verdad de las formas proposicionales
La tabla de verdad de una fórmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la fórmula y el valor de verdad de la fórmula completa para cada interpretación. Por ejemplo, sería: la tabla de verdad para la fórmula

Como se ve, esta fórmula tiene 2n interpretaciones posibles una por cada línea de la tabla, donde n es el número de variables proposicionales (en este caso 3, es decir p, q, r) , y resulta ser una tautología, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la fórmula completa termina siendo V.

Contradicción
Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones de unas con otras. Sea el caso: [(A/\B)/\¬(A\/B)]/\C

Procederemos de manera similar al caso anterior. Aplicamos (Columna 4) la definición de conjuntor a los valores de A y B.(columnas 1,2 → 4) Después aplicamos la definición de disyuntor a los valores de A y B. (columnas 1,2 → 5) Aplicamos en la columna siguiente (Columna 6) el negador a los valores de la columna anterior. Aplicamos el conjuntor a los valores de la columna (A/\B)(Columna 4) con los de la columna ¬(A\/B).(Columna 6) Por último (Columna 8) aplicamos el conjuntor a los valores de la columna de C (Columna 3) con la columna última (Columna 7)cuyo resultado nos da los valores de

[(A/\B)/\¬(A\/B)]/\C, siempre falsos cualquiera que sea la fila que consideremos. 1 2 3 4 A/\B V V F F F F F F 5 A\/B V V V V V V F F 6 ¬(A\/B) F F F F F F V V 7 (A/\B)/\¬(A\/B) F F F F F F F F 8 [(A/\B)/\¬(A\/B)]/\C F F F F F F F F

A B C V V V V V F V F V V F F F V V F V F F F V F F F

Tautologías
Se entiende por proposición tautológica, o tautología, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el caso: [(A→B)/\(B→C)] →(A→C)

Siguiendo la mecánica algorítmica de la tabla anterior construiremos su tabla de verdad: A B C A→B B→C V V V V V F V F V V F F F V V F V F F F V F F F . V V F F V V V V V F V V V F V V (A→B)/\(B→C) V F F F V F V V (A→C) V F V F V V V V [(A→B)/\(B→C)] →(A→C) V V V V V V V V

LEYES DEL ALGEBRA DE PROPOSICIONES
1. Leyes Idempotentes 1.1. p p p 1.2. p p p 2. Leyes Asociativas 2.1. (P 2.2. (P q) q) r r p p (q (q r) r)

3. Leyes Conmutativas 3.1. P 3.2. P q q q q p p

4. Leyes Distributivas 4.1. P 4.2. P (q (q r) r) (p (p q) q) (p (p r) r)

5. Leyes de Identidad

5.1. 5.2. 5.3. 5.4.

P P P P

F F V V

P F V P

6. Leyes de Complementación 6.1. P P V (tercio excluido) 6.2. P P F (contradicción) 6.3. P P (doble negación) 6.4. V F, F V 7. Leyes De Morgan 7.1. 7.2. (P (P q) q) P P q q

Otras Equivalencias Notables a. p b. p c. p d. p e. p f. ( (p g. (p q q q q q q) q) (p p (p (p q ( p r) q q (Ley del condicional) q) q) (q p) (Ley del bicondicional) (q q) (p r) (q r ) (Ley de demostración por casos) F) (Ley de reducción al absurdo) p ) (Ley de disyunción exclusiva)

p (Ley del contrarrecíproco)

Todas las equivalencias que aparecen en ambos cuadros pueden ser probadas. Para esto, sólo se tiene que verificar que el bicondicional correspondiente es una tautología.

EQUIVALENCIA E IMPLICACIÓN LÓGICA
Definición: Sean A y B dos formas proposicionales. Se dice que A Implica Lógicamente a B, o simplemente A implica a B, y se escribe:
A B si el condicional A B es una tautología

Ejemplos Dos implicaciones lógicas muy conocidas son las leyes de simplificación y adición, las cuales probaremos a continuación.

(Ley de Simplificación) Probar que p q implica lógicamente a p; o sea, ( p q )
p

(Ley de Adición) Probar que p implica lógicamente a p q; o sea, p

(p

q)

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)//-->