Вы находитесь на странице: 1из 12

Estructuras Discretas I

Preposiciones

Jesús J Nelo P
C.I 17.227.486
Preposiciones
Una preposición es un juicio declarativo del cual tiene sentido que es
Verdadero (V) o Falso (F) pero no ambas cosas simultáneamente.

Ejemplo:

Los siguientes son preposiciones.

a- El agua se compone de hidrogeno y oxigeno. (V)


b- 5+3=7 (F)
c- Los estudiantes de la UFT son aplicados. (V)

Los siguientes no son preposiciones.

a- No corras.
b- Donde vives.
c- Tienes hermanos.

NOTA: Las preposiciones se denotan con las letras minúsculas p, q, r, s,


t ya que las letras mayúsculas las usaremos para los conjuntos.

Operaciones Veritativas
Los Conectivos u Operadores Lógicos son símbolos o conectivos que nos
permiten construir otras preposiciones mas complejas.

a. Barquisimeto es una ciudad.


b. Juan de Villegas es una Parroquia

De estas preposiciones se derivan otras:

1- Barquisimeto es una ciudad y Juan de Villegas es una Parroquia


2- Barquisimeto es una ciudad o Juan de Villegas es una Parroquia
3- O Barquisimeto es una ciudad o Juan de Villegas es una
Parroquia
4- Si Barquisimeto es una ciudad Entonces Juan de Villegas es una
Parroquia
5- Barquisimeto es una ciudad si y solo si Juan de Villegas es una
Parroquia
6- Barquisimeto no es una ciudad
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.

Conectivos Lógicos
Los conectivos lógicos elementales nos permitirán definir
operaciones con preposiciones. Estas operaciones, como veremos
oportunamente, tienen la característica de que el valor lógico de la
preposición resultante solo depende de los valores lógicos de las
preposiciones componentes.

Nombre Símbolo Traducción


Negación ~ No, no es el caso que
Conjunción ^ Y
Disyunción V O
Disyunción Exclusiva V o….o
Condicional Si... Entonces
Bicondicional Si y solo si

La Negación
Si p es una proposición, entonces, su negación será otra proposición
que se lee ~p; cuyo valor lógico (VL) viene dado por la negación de
dicha proposición.

P ~p p q
1 0 V F
0 1 F V

Esta tabla podemos expresarla mediante la siguiente igualdad:


VL (p)= 1 – VL (~ p)

Lo cual indica:

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:
p: Barquisimeto es la ciudad musical.

Negación:
~p: no es cierto que Barquisimeto es la ciudad musical.
~p: Barquisimeto no es la ciudad musical.
~p: es falso que Barquisimeto es la ciudad musical.
~p: de ninguna manera Barquisimeto es una ciudad musical

La Conjunción
Si tenemos dos proposiciones p y q, su conjunción será la proposición
p^q que se lee “p y q”; y su valor lógico lo indica la siguiente tabla:
p q p^q
1 1 1 VL(p^q)= valor min. (VL(p), VL(q))
1 0 0
0 1 0
0 0 0

Ejemplo:
p: Maracay queda en el Edo Aragua.
q: Coro queda en el Edo falcón.
r: Valencia queda en Edo Miranda

Conjunción:
1. p^q: Maracay queda en el Edo Aragua y Coro queda en el Edo Falcón
VL(p^q)= 1 ya que VL(p)= 1 y VL(q)= 1

2. q^r: Coro queda en el Edo falcón y Valencia queda en el Edo Miranda


VL(p^q)= 0 ya que VL(q)= 1 y VL(r)= 0
La Disyunción Inclusiva
Si tenemos dos proposiciones p y q, su disyunción inclusiva será la
proposición pvq; que se lee “p o q” y su valor lógico lo indica la
siguiente tabla:
p q pvq
1 1 1
1 0 1 VL(pvq)= valor máx. (VL(p),VL(q)).
0 1 1
Ejemplo:
0 0 0
p: el Bosque Macuto está en Lara.
q: el Páramo la Culata está en Trujillo
r: el monumento al Sol está en Yaracuy

Disyunción:
1. pvq: el Bosque Macuto está en Lara o el Páramo La Culata está en
Trujillo. VL(pvq)= 1 ya que VL(p)=1 y VL(q) = 0.

2. pvr: el Páramo La Culata está en Trujillo o el monumento al sol está


en Yaracuy. VL(pvq)= 0 ya que VL(p)=0 y VL(q) = 0

La Disyunción Exclusiva
Si tenemos dos proposiciones p y q, su disyunción exclusiva será la
proposición pvq que se lee “o p o que” y su valor lógico lo indica la
siguiente tabla:

p v q
V F V Es decir, la disyunción exclusiva es falsa solo cuando
los valores de p y q son iguales:
F V V
VL(pvq) = 0 si VL (p) = VL ( q )
V V F
F F F

Ejemplo:
p: 51 es múltiplo de 3
q: 51 es divisible entre 2
r: 51 es un numero impar

Disyunción Exclusiva:
1. ó 33 es múltiplo de 3 ó 33 es divisible entre 2
VL(pvq)= 1 ya que VL(p)= 1 y VL(q)= 0

2. ó 51 es múltiplo de 3 ó 51 es un número impar


VL(pvr)= 0 ya que VL(p)= 1 y VL(r)= 1

El Condicional
Si tenemos dos proposiciones p y q, el condicional con antecedente p y
la consecuente q es la proposición p q, que se lee “si p, entonces
que” y su valor lógico lo indica la siguiente tabla:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1

Ejemplo:

1. Si Barquisimeto es capital del estado Lara entonces Barquisimeto es


la capital musical

2. Si mañana llueve entonces mañana no iré a clases

La Bicondicional
Si tenemos dos proposiciones p y q, llamamos Bicondicional de p y q a
la proposición p q que se lee “p si solo si q”, o “p es condición
necesaria y suficiente para q” y su valor lógico se indica en la
siguiente tabla:
p q p q
VL(p q)= 1 si VL(p) = VL(q)
1 1 1
1 0 0 VL(p q)= 1 si VL(p) ≠ VL(q)
0 1 0
0 0 1

Ejemplo Nº 1. Consideremos las siguientes proposicones:

a: 2 + 1 = 3 si y sólo si 2< 3
b: 2 + 1 = 3 si y sólo si 2 > 3
c: 2 + 1 = 4 si y sólo si 2 > 3
d: 2 + 1 = 4 es condición necesaria y suficiente para que 2< 3.

Entonces VL(a)=1, VL(b)= 0, VL(d) = 0

Tablas de Verdad de las formas


Proposicionales
Tablas de Verdad: permiten determinar el valor de verdad de una
proposición compuesta, y depende de las proposiciones simples y de los
operadores que contenga.

Posibilidades de combinación:
Para una proposición (n = 1), tenemos 21 = 2 combinaciones
Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones
Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones
Para n proposiciones tenemos 2n combinaciones

Tautologías y Contradicciones
Proposición Tautológica o Tautología:
Proposición molecular verdadera, en donde, todos los valores de
verdad que aparecen en su tabla de verdad son 1.

Contradicciones:
Proposición molecular falsa, en donde, todos los valores de verdad
que aparecen en su tabla de verdad son 0.
Leyes del Algebra de Proposiciones

Leyes del Algebra de Proposiciones


1. Leyes Idempotentes 2. Leyes Asociativas
1.1. pÚ p º p 2.1. (P Ú q) Ú r º p Ú (q Ú r)
1.2. pÙ p º p 2.2. (P Ù q) Ù r º p Ù (q Ù r)
3. Leyes conmutativas 4. Leyes Distributivas
3.1. P Ú q º q Ú p 4.1. P Ú ( q Ù r ) º ( p Ú q ) Ù (p Ú r)
3.2. P Ù q º q Ù p 4.2. P Ù ( q Ú r ) º ( p Ù q ) Ú (p Ù r)
5. Leyes de Identidad 6. Leyes de Complementación
5.1. P Ú F º P 6.1. P ∨ ∼ P ≡ V (tercio excluido)
5.2. P Ù F º F 6.2. P ∧ ∼ P ≡ F (contradicción)
5.3. P Ú V º V 6.3. ∼ ∼ P ≡ P (doble negación)
5.4. P Ù V º P 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)

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)
Solución Debemos probar que (p Ù q) ® p y p ® (p Ú q) son
tautología:

Definición (Proposiciones Equivalentes)

Sean A y B dos formas proporsicionales. Diremos que A es


Lógicamente Equivalente a B, o simplemente que A es equivalente a
B, y escribimos A º B o A Û B,

Si y sólo si la forma bicondicional A Û B es una tautología.

Ejemplo ( Ley del condicional ) Probar que p ® q es lógicamente


equivalente a ~ p v q; esto es, (P ® q) º (~ P Ú q)

Solución Debemos probar que (P ® q) « (~ P Ú q) es una tautología.

Razonamiento
Un razonamiento o una inferencia es la aseveración de que una
proposición, llamada conclusión es consecuencia de otras proposiciones
dadas llamadas premisas.

Donde: Ejemplo
Si hoy es domingo, entonces mañana habrá trabajo.
Si hoy es sábado, entonces mañana no trabajo.
Hoy es domingo.
Luego, mañana trabajare.

razonamiento lo podemos simbolizar de la manera siguiente:

Premisa 1: d ® e
Premisa 2: s ® ~ e
Premisa 3: d
Conclusión: e

d: hoy es domingo
s: hoy es sábado
e: mañana trabajaré

Métodos de Demostración
Demostración Directa En la demostración directa debemos probar una
implicación:
P Þ q. Esto es, llegar a la conclusión q a partir de la premisa p mediante
una secuencia de proposiciones en las que se utilizan axiomas,
definiciones, teoremas o propiedades demostradas previamente.

Demostración Indirecta Dentro de este método veremos dos formas


de demostración:

Método del Contrarrecíproco: Otra forma proposicional equivalente a


p® C nos proporciona la Ley del contrarrecíproco:

P ® C º ~ C ® ~ P.

Esta equivalencia nos proporciona otro método de demostración,


llamado el método del contrarrecíproco, según el cual, para demostrar
que pÞ C, se prueba que ~ C Þ ~ P.

Demostración por Reducción al Absurdo: Veamos que la proposición


p Þ q es tautológicamente equivalente a la proposición (p Ù ~ q) Þ (r Ù
~ r) siendo r una proposición cualquiera, para esto usaremos el útil
método de las tablas de verdad.

Inferencia

1. Modus Ponendo Ponens(MPP)


(p® q) Ù p Þ q p® q
p
----------
q

2. Modus Tollendo Tollens (MTT)


(p® q) Ù ~ qÞ ~ p p® q
~q
-----------
~p

3. Silogismo Disyuntivo (S.D)


(pÚ q) Ù ~ qÞ p pÚq ó pÚq
(pÚ q) Ù ~ pÞ q ~q ~ p
------------ -----------
p q
4. Silogismo Hipotético(S.H)
(p® q) Ù (q® r) Þ (p® r) p® q
q® r
----------
p® r

5. Ley de Simplificación
pÙqÞp pÙq ó pÙq
pÙqÞq p q

6. Ley de la Adición
pÞ p Ú q p q
---------- ó ---------
qÞpÚq pÚq pÚq

7. Ley de Conjunción
( p )Ù ( q)Þ ( p Ù q) p
q
---------
pÙq

Los circuitos lógicos o redes de conmutación los podemos


identificar con una forma proposicional. Es decir, dada una forma
proposicional, podemos asociarle un circuito; o dado un circuito
podemos asociarle la forma proposicional correspondiente. Además,
usando las leyes del álgebra proposicional podemos simplificar los
circuitos en otros más sencillos, pero que cumplen la misma función que
el original. Veamos los siguientes interruptores en conexión:

Conexión en serie la cual se representa como p Ù q

Conexión en paralelo la cual se representa como p Ú q

Estas representaciones nos servirán de base para la correspondencia


entre los circuitos y las proposiciones.

Ejemplo: Construir el circuito correspondiente a cada una de las


siguientes expresiones:

i) p Ù (q Ú r)
(ii) (p Ù q) Ú [( p Ù r) Ú ~ s)]
(iii) t Ù [q Ú (s Ù p)]

Solución

p ∧ (q ∨ r)

(p ∧q)∨[( p ∧ r) ∨ ∼ s)]

t ∧[q ∨(s ∧ p)]

Вам также может понравиться