P. 1
Proposición

Proposición

|Views: 1.091|Likes:
Publicado porluispollito

More info:

Published by: luispollito on May 11, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

02/03/2014

pdf

text

original

ESTRUCTURA DISCRETA ASIGNACIÓN 1

LUIS FELIPE OLIVEIRA DE FREITAS CI 14591916

Proposición La proposición o aseveración es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les puede asignar uno y sólo uno de los valores de verdad, que pueden ser: VERDADERO (V) o FALSO (F) Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t, ... etc. Así, por ejemplo, podemos citar las siguientes proposiciones y su valor de verdad: p : 15 + 5 = 21 (F) q: Soy estudiante de Ingeniería. (V) r: El número 15 es divisible por 3. (V) s: 8 es factor de 2. (F) Expresiones No Proposicionales Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos tenemos a los exclamativos, interrogativos o imperativos. Así tenemos, por ejemplo: – ¿En qué universidad estudias? – Prohibido entrar – Asiste a clases 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 q: 2 es un número impar r. mañana es 27 de junio Denominaremos 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 que nos permiten construir otras proposiciones, o unir dos o más proposiciones, a partir de proposiciones dada. Además si una proposición no contiene conectivos lógicos se pude denominar que es una proposición atónica o simple; caso contrario, diremos que es una proposición molecular o compuestas. Ejemplo Carlos trabajo o estudia (ambas cosa) Coro es un municipio de caracas

El argón es un gas

Notación y Conectivos Lógicos
A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir que se puede operar con proposiciones, y para ello se utilizan ciertos símbolos llamados conectivos lógicos. A continuación vemos una concreta definición de cada uno: Símbolo ∼ ∧ ∨ → ↔ Operación asociada Negación Conjunción o producto lógico Disyunción o suma lógica condicional Bicondicional Significado no p o no es cierto que p pyq p o q (en sentido incluyente) si p entonces q p si y sólo si q

Operaciones Proposicionales Negación
Dada una proposición p, se denomina la negación de p a otra proposición denotada por ~ p (se lee "no p") que le asigna el valor veritativo opuesto al de p. Por ejemplo: p: 2 es número par ~ p: no, 2 es número par ~ p: 2 no es número par ~ p: 2 es número impar Por lo que nos resulta sencillo construir su tabla de verdad:
p V F ~p F V

Observamos aquí que al valor V de p, la negación le hace corresponder el valor F, y viceversa. Se trata de una operación unitaria, pues a partir de una proposición se obtiene otra, que es su negación.

Ejemplo: La negación de " p: todos los alumnos estudian matemática" es ~ p: no todos los alumnos estudian matemática o bien: ~ p: no es cierto que todos los alumnos estudian matemática ~ p: hay alumnos que no estudian matemática Observaciones : a) Al negar una proposición verbal es conveniente procurar la mejor construcción. b) La negación de la negación de una proposición dada es la proposición dada. c) La negación ante una proposición compuesta generalmente se lee : no es verdad que o no es cierto que

Conjunción
Dadas dos proposiciones p p ∧q, (se lee "p y q"), cuya tabla de verdad es: proposiciones a la proposición y q se denomina conjunción de estas p V V F F Q V F V F p ∧ q V F F F

La tabla que define esta operación, establece que la conjunción es verdadera sólo si lo son las dos proposiciones componentes. En todo otro caso, es falsa.

Disyunción
Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la proposición p ∨ q cuya tabla de valor de verdad es: p q p ∨q V V F F V F V F V V V F

la tabla precedente, nos muestra que la disyunción sólo es falsa cuando ambas proposiciones son falsas.

Condicional
Condicional de las proposiciones p y q es la proposición (si p entonces q) cuya tabla de valores de verdad es: p V V F F Q V F V F p →q V F V V

La proposición p se llama antecedente, y la proposición q se llama consecuente del condicional. La tabla nos muestra que el condicional sólo es falso si el antecedente es verdadero y el consecuente es falso.

Doble Condicional o Bicondicional

El bicondicional de las proposiciones p y q es la proposición p ↔ q (se lee "p si y sólo si q") cuya tabla de valores de verdad es
p V V F F q V F V F p ↔q V F F V

El doble condicional o bicondicional sólo es verdadera si ambas proposiciones tienen el mismo valor de verdad. Observación: El doble condicional debela tabla decomo la conjunción de p ↔ q puede obtenerse recíproca. De este modo, definirse valores de verdad de un condicional y su mediante la tabla de (p → q) ∧ (q → p), como vemos: p V V F F q V F V F (p → q) V F V V (q → p) V V F V
2 2

(p → q) ∧ (q → p) V F F V

Ejemplo: Sea i) a = b si y sólo si a = b

El enunciado está compuesto por las proposiciones: p: a = b 2 2 q: a = b Este bicondicional es falso pues si p es F , q puede ser V ( a=2, b= -2) En los demás casos es V.

Implicación lógica:
Diremos que una proposición p implica q y denotaremos

p⇒ q

cuando el

condicional p → q es siempre verdadero, es decir, nunca se da que siendo el antecedente verdadero el consecuente es falso. Ejemplo: Si consideramos (p ∧ q) → (p ∨ q) notamos que ella es siempre verdadera. Luego decimos que (p ∧ q) implica (p ∨ q) y escribimos:

(

p∧q) ⇒

(

p ∨q)

Proposiciones lógicamente equivalentes
Dos proposiciones p yse se llaman ≡ q o bien p ⇔ q tablas de verdad son idénticas. De ser a sí q denota: p equivalentes si sus Ejemplo: Sea a: p → q, recordamos su tabla de verdad: p V V F F q V F V F p →q V F V V

Ahora bien , si analizamos la proposición b: ~ p ∨ q, su tabla de verdad resulta: p V V F F ~p F F V V q V F V F ~p ∨ q V F V V

Como vemos, luego de realizar las tablas de valor veritativo encontramos que ambas proposiciones tienen el mismo resultado final. Con esto, decimos que ambas proposiciones son lógicamente equivalentes, y en este caso particular lo simbolizamos: (p → q) ≡(~ p ∨ q) o bien (p → q) ⇔ (~ p ∨ q)

Tautología, contradicción y contingencia
Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo denominamos fórmula lógica o proposición compuesta. Por ejemplo: ~{ (p → q) ∧ (s ∧ t) } Si al evaluar una fórmula lógica, resulta que todos los valores de verdad

resultantes son siempre V para cualquier combinación de sus valores veritativos, decimos que dicha fórmula es una Tautología o Ley lógica.

Ejemplo: Si analizamos la proposición t: p ∨ ~ p realizando su tabla de verdad: p V F ~p F V p ∨ ~p V V

Vemos que para cualquier combinación de las proposiciones p y su negación ~ p, la proposición t: p ∨ ~ p es siempre verdadera. Entonces, la proposición t es una tautología. Ejemplo: Analicemos ahora la fórmula lógica { ( p → q ) ∧ p } → q p V V F F q V F V F (p → q) V F V V (p → q) ∧ p V F F F {(p → q) ∧ p} → q V V V V

En este caso comprobamos también que independientemente de la combinación de valores de verdad de las proposiciones p y q, el resultado de la fórmula lógica es siempre V. Decimos, aquí también, que esta fórmula es una tautología o ley lógica. Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para cualquier valor de verdad de las proposiciones que intervienen el resultado de dicha fórmula es siempre falso, decimos que dicha fórmula es una Contradicción. Ejemplo: Analicemos la fórmula lógica p ∨ ~ p p V F ~p p ∧ ~p F F V F

Encontramos que la fórmula es siempre falsa, es entonces una Contradicción. Si una proposición no es una tautología ni una contradicción (es decir que contiene al menos un valor V y otro F) es una contingencia.

Observaciones:
1) La implicación es un condicional que es tautología. 2) La equivalencia es un bicondicional que es tautología.

Leyes del álgebra proposicional
Como bien dijimos arriba, aquellas fórmulas lógicas que resultan ser siempre verdaderas no importa la combinación de los valores veritativos de sus componentes, son tautologías o leyes lógicas. En el cálculo proposicional existen algunas tautologías especialmente útiles cuya demostración se reduce a la confección de su correspondiente tabla de verdad, a saber:

Involución
~ (~ p) ≡p (se lee "no, no p, equivale a p")

Idempotencia
(p ∧ ~ p) ⇔ p (p ∨ ~ p) ⇔ p

Conmutatividad
a) de la disyunción: p ∨ q ⇔ q ∨ p

b) de la conjunción: p ∧ q ⇔ q ∧ p

Asociatividad
a) de la disyunción: (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)

b) de la conjunción: (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)

Distributividad:
De la conjunción respecto de la disyunción: (p ∨ q) ∧ r ⇔ (p ∧ r) ∨ (q ∧ r)

De la disyunción respecto de la conjunción: (p ∧ q) ∨ r ⇔ (p

r) ∧ (q ∨ r)

Leyes de De Morgan

~(p ∧ q) ⇔ ~p ∨ ~q "La negación de una disyunción equivale a la conjunción de las negaciones"

~(p ∨q) ⇔ ~p ∧ ~q "La negación de una conjunción equivale a la disyunción de las negaciones"

Negación de una Implicación
Las proposiciones p → q y ~ (p ∧ ~ q) son equivalentes, como vemos realizando la tabla de valores correspondientes: p V V F F q V F V F (p → q) V F V V (p ∧ ~ q) F V F F ~(p ∧ ~ q) p → q ⇔ ~(p ∧ ~ q) V F V V V V V V

Con esto, comprobamos que la negación de la primera equivale a la negación de la segunda, es decir ~ (p → q) ⇔ ~{ ~(p ∧ ~ q)}, y podemos concluir entonces que: ~ ( p → q ) ⇔ ( p ∧ ~ q) Es decir, la negación de una implicación no es una implicación sino la conjunción del antecedente con la negación del consecuente. Ejemplo: Sea la implicación p: hoy es viernes entonces mañana es domingo Su negación es ~ p: hoy es viernes y mañana no es domingo.

Circuitos lógicos o booleanas
La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con un interruptor. Así, para representar a p, si es F, se tiene: p

y para p, si es V, se tiene: p

Es decir, el interruptor se cierra si p es V y se abre si p es F.

Podemos, así, representar las operaciones proposicionales mediante circuitos con tantos interruptores como proposiciones componentes, combinados en serie o paralelamente. Veremos, a continuación, como representar en forma booleana las operaciones que surgen de operar con dos proposiciones mediante los conectivos lógicos que conocemos.

Conjunción

Este circuito admite el pasaje de corriente, es decir la verdad de p ∧ q, sólo si ambas son V (comprobar en la tabla de verdad de la conjunción).

Disyunción
Está representada por un circuito en paralelo.

Como vemos, admite el pasaje de corriente cuando al menos una de las dos es V (comprobar en la correspondiente tabla de verdad).

Implicación
Dado que la representación mediante circuitos booleanos sólo es posible en caso de la conjunción o disyunción, para todas las demás operaciones necesitamos convertirlas en combinación de éstas. Así, puesto que ( p → q ) ⇔ ~ ( p ∧ ~ q ), aplicando una ley de De Morgan y la doble negación, se tiene ( p → q ) → ( ~ p ∨ q ) Es decir, convertimos la implicación en una disyunción para poder representarla mediante un circuito booleano. Tenemos, así: Ejemplo: Dibujar el circuito booleano de la siguiente proposición: (p∨ q) ∧ r

Funciones proposicionales y cuantificadores Función Proposicional
Supongamos los enunciados abiertos: " x es la capital de Chile" " y + 4 = 11" Estos no tienen un valor veritativo. Pero si en el primero de ellos hacemos x = Santiago, tenemos: "Santiago es la capital de Chile" (V) Asimismo, si en el segundo hacemos x = 9, resulta: 9 + 4 = 11 (F) Podemos, entonces, dar la siguiente definición: "Una función proposicional es un enunciado abierto de la forma P(x) que se convierte en una proposición cuando se le asigna un valor específico a la variable". Ejemplos: p(x) : 2x + 5 > 11 , q(x) : 3x + 7 = 11 , r(x) : 2x + 1 = 5 , s(x) : x es un animal, t(x) : x es un ave, si x = 4 \ 13 > 11 (Verdadero) si x = 5 \ 22 = 16 (Falso) si x = 2 \ 5 = 5 (Verdadero) si x = mesa se tendrá : mesa es un animal (Falso) si x = flamenco se tiene: el flamenco es un ave (Verdadero)

Cuantificadores
A partir de funciones proposicionales es posible obtener proposiciones generales mediante un proceso llamado de cuantificación. Asociados a la

indeterminada x, introducimos los símbolos ∀ x y ∃ x, llamados cuantificador universal y cuantificador existencial respectivamente. Las expresiones Para todo x, se verifica p(x) se denota por ∀ x : p(x) Existe x, tal que se verifica p(x) se denota por ∃ x / p(x) Corresponden a una función proposicional p(x) cuantificada universalmente en el primer caso, y existencialmente en el segundo. También podemos destacar el cuantificador unicidad simbolizado por: ∃! x Su expresión será: Existe un único x que verifica p(x). ésta es verdadera cuando un sólo x cumple la propiedad. ∃! x : p(x)

Observación:
Una función proposicional cuantificada universalmente es V si y sólo si son V todas las proposiciones particulares asociadas a aquella. Una función proposicional cuantificada con la unicidad verdadera lo es tambien con el cuantificador existencial. Un problema de interés es la negación de funciones proposicionales cuantificadas. Por ejemplo, La negación de "Todos los enteros son impares" es "Existen enteros que no son impares" y en símbolos: ∃ x / ~ p(x) Entonces, para negar una función proposicional cuantificada universalmente se cambia el cuantificador en existencial, y se niega la función proposicional. Ejemplo: Supongamos la proposición: Todos los alumnos de mi facultad son aplicados. La vamos a escribir en lenguaje simbólico, negarla y retraducir la negación al lenguaje ordinario. Nos damos cuenta pronto que se trata de la implicación de dos funciones proposicionales: p(x) : es alumno de la facultad q(x) : es aplicado Tenemos: ∀ x : p(x) → q(x)

Teniendo en cuenta la forma de negar una función proposicional cuantificada universalmente y una implicación resulta: ∃ x / p(x) ∧ ~ q(x)

Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi facultad que no son aplicados. Si negamos una función proposicional con el cuantificador existencial

∼ ( ∃x :∈ p( x) ) tendremos que es equivalente a decir que todos no tienen la
propiedad. Simbólicamente tenemos ∀x : ∼ p ( x ) Importante es destacar que para poder asignarle un valor de verdad a una proposición con cuantificador, debemos tener en consideración en que conjunto trabajamos la variable, es decir en que Universo tomamos los valores de x. Ejemplo : Consideremos como universo el conjunto de los enteros Z. Si afirmamos: ∀ x ∈Z: x > 0 es una proposición falsa. Si la misma función proposicional x > 0 con el mismo cuantificador universal ∀ la consideramos otro universo N, conjunto de los enteros positivos: : ∀ x ∈N: x > 0 es una proposición verdadera.

Enunciados, Teoremas
Cuando a partir de una o varias proposiciones, supuestamente verdaderas (Hipótesis) podemos obtener proposiciones también verdaderas (Tesis) decimos que tal enunciado es un teorema. Teorema directo: H ⇒ T A partir de el podemos ⇒ H Teorema recíproco: T obtener : Teorema Contrario: ~ H ⇒ ~ T Teorema Contra recíproco: ~ T ⇒ ~ H

Obsevación:
Por las equivalencias dadas anteriormente podemos concluir que: Teorema directo es equivalente al contra recíproco, lo cual nos permite demostrar con facilidad algunos enunciados. Este método se llama reducción al absurdo. Ejemplo: Demostrar que siendo a es un número natural (entero positivo) 2 Si a es impar, entonces a es impar. Demostración: H: a probar que: H ⇒ T T: a es impar. Debemoses impar. Por ser imposible esta demostración, hacemos uso del contra reciproco. ~T ⇒ ~H Demostración: a no es impar ⇒ a es par ⇒ a = 2·n , ⇒
2 2 2 2

n natural
2

a = (2·n) = 4· n ⇒ = 2· (2·n )

a2 es par ⇒ a2 no es impar

Como el teorema contra reciproco se cumple concluimos que el directo también se cumple.

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