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

111 0 0111
111 1 1100
100 0 0111
100 0 1100
011 0 0011
011 0 0010
010 0 0011
010 0 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, la tabla de verdad para la fórmula

sería:

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 5 6 7 8
A B C A/\B A\/B ¬(A\/B) (A/\B)/\¬(A\/B) [(A/\B)/\¬(A\/B)]/\C
V V V V V F F F
V V F V V F F F
V F V F V F F F
V F F F V F F F
F V V F V F F F
F V F F V F F F
F F V F F V F F
F F F F F V 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 (A→B)/\(B→C) (A→C) [(A→B)/\(B→C)] →(A→C)

V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F 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 q) r p (q r)
2.2. (P q) r p (q r)

3. Leyes Conmutativas

3.1. P q q p
3.2. P q q p

4. Leyes Distributivas

4.1. P (q r) (p q) (p r)
4.2. P (q r) (p q) (p r)

5. Leyes de Identidad
5.1. P F P
5.2. P F F
5.3. P V V
5.4. P 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. (P q) P q
7.2. (P q) P q

Otras Equivalencias Notables

a. p q p q (Ley del condicional)

b. p q (p q) (q p) (Ley del bicondicional)
c. p q (p q) (q p ) (Ley de disyunción exclusiva)
d. p q q p (Ley del contrarrecíproco)
e. p q ( p q)
f. ( (p q) r) (p r) (q r ) (Ley de demostración por casos)
g. (p q) (p q F) (Ley de reducción al absurdo)

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)