Escuela de Computacin e informtica, Redes y

Comunicaciones, Administracin y Sistemas.

Equipo de Profesores del Curso
Al trmino de la unidad, el alumno,
trabajando de manera individual, elabora el
valor de verdad y simplifica los esquemas
moleculares a partir de otro haciendo uso
delas tablas de verdad de los operadores
lgicos y de las leyes del algebra
proposicional.
PRIMERA UNIDAD DE APRENDIZAJE
DEFINICIN
La lgica proposicional es una parte
de la lgica que estudia la formacin
de proposiciones complejas, a partir
de proposiciones simples.
ENUNCIADO
Es toda expresin literal, oracin
o frase que expresa algo
Ejemplos :
Lima es la capital del Per
Per es anfitrin de III Cumbre ASPA
Quito es la capital de Venezuela
Qu hora es?
auxiliooooo !
X + 12 = 28
PROPOSICIN
LOGICA
Es toda expresin declarativa que tiene
un valor de verdad : o bien es
Verdadero (V ) o bien es falso ( F )
De los siguientes ejemplos Cuales de
los enunciados son proposiciones
lgicas?
l es un mueco de madera .. ( )
Per es anfitrin de III Cumbre del ASPA ( )
Quito es la capital de Venezuela ... ( )
Las proposiciones lgicas se representan mediante letras minsculas
del abecedario: p , q , r , s, , a las cuales se les denomina variables
proposicionales
Ejemplo : p : el ro amazonas es el ro ms largo del mundo V ( p) = V
ENUNCIADO
ABIERTO
Es aquel enunciado que tiene la
posibilidad de convertirse en
proposicin lgica, al asignar un valor o
valores a la variable o variables que
posee.
l es un escritor peruano : es un enunciado abierto
Se observa : L es la variable y si le damos nombres:
p : Nicols Coprnico es un escritor peruano V (p) =
q : Julio Ramn Ribeyro es un escritor peruano V(q) =
Ejemplos :
2x + 4 y = 12 : es otro ejemplo de un enunciado abierto
Pero, si x = 8 y el valor de y = -1 es un enunciado abierto ? ( )
F
V
CLASES DE PROPOSICIONES
Proposicin Simple o
atmica
Proposicin
Compuesta o Molecular
Es aquel elemento o sujeto que
tiene un solo elemento o
predicado. Nunca es negativo
Son aquellos que tienen dos o
ms proposiciones simples
unidos por coligadores o que
contienen el adverbio de
negacin no
P : Dos es un nmero par
q : Per es un pas de Amrica del
Sur
r : 5 es un nmero primo
p q : Dos es un nmero par y tres es impar
p : No es cierto que tres sea un nmero par
C
O
N
E
C
T
I
V
O
S


L
O
G
I
C
O
S

~ : no, no es cierto que
A : y
v : O
A : O O ; o bien o bien
: si .. entonces
: ...... si y solo si .......

Ejemplos :
No es cierto que , saturno sea el satlite de la tierra
Si dos es un nmero primo entonces tiene slo dos divisores
2 es primo si y slo si 2 tiene dos divisores
ESQUEMA MOLECULAR
Es aquella expresin que resulta ser la combinacin de variables
proposicionales, conectivos lgicos y signos de coleccin
|( ~ p q ) . ( ~ q v r)|
|( ~ r A s ) ~ s| . ( r v w)
~ | ~ p ~ (q v p) | ~ p
Ejemplos
Un esquema molecular posee un
correspondiente valor de verdad y
este depender de los valores de
verdad dados a cada variable
proposicional
El nmero de posibilidades para
asignar valores de verdad a las
variables proposicionales
depender de cuntos sean
estos.
P
V
F
P q
V V
V F
F V
F F
P q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
PROPOSICIONES COMPUESTAS

NEGACIN DE UNA
PROPOSICIN

p ~ p
V F
F V
TABLA DE VERDAD
De: Su negacin, es:
=
>
<
<
>
q : 7 + 8 < 10 V(q) = F
~q : 7+ 8 10 V(~q) = V
Ejemplos :

LA CONJUNCION

p q
p A q
V V V
V F F
F V F
F F F
TABLA DE VERDAD
p : 4 < 7 V(p ) = V
q : 10 < 6 V(q) = F
p A q : 4 < 7 y 10 < 6 V( p A q ) =
p : 2 es nmero par V ( p ) = V
q : 5 es nmero primo V ( q ) = V
p A q : 2 es nmero par y 5 es nmero primo V ( p A q ) =
Pero
Sin embargo
Adems
No obstante
Aunque
A la vez
Ms an
Palabras equivalentes
EJEMPLO:
Cuatro es menor que siete, no obstante
dos es numero natural
Ejemplos :
V
F

LA DISYUNCIN INCLUSIVA

p q p V q
V V V
V F V
F V V
F F F
TABLA DE VERDAD

1)
p : 5 es un nmero primo V(p) = V
q : 10 es un mltiplo de 5 V(q) = V
V( p v q ) =
2) p : 16
0,5
+ 9
0,5
= 7 V ( p ) = V
q : 5 + 8 > 9 + 7 V ( q ) = F
V ( p v q ) =
Ejemplos :
V
V
LA DISYUNCION EXCLUSIVA
TABLA DE VERDAD
p q p q
V V F
V F V
F V V
F F F
O bien es sbado o bien es domingo
p q
V ( p) = V V ( q) = F
V ( p q ) =
O bien 15 es mltiplo de 3 o bien 5 es divisor de 15
p q
V ( p) = V V ( q) = V
V ( p q ) = ___
Ejemplos :
V
F
LA CONDICIONAL
p q
ANTECEDENTE
PREMISA
HIPOTESIS
CONSECUENTE
CONCLUSION
TESIS
TABLA DE VERDAD
p q p q
V V V
V F F
F V V
F F V
p : Lima es capital de Per
q : 6 + 4 = 9
Hallar el valor de verdad de p q
resolucin

V( p ) = V
V (q ) = F
V ( p q ) =
Cada vez que
Dado que
Puesto que
Siempre que
Estas palabras se caracterizan
porque despus de estos
trminos est el antecedente
Palabras equivalentes a
Sientonces
Ejemplo :
F
LA BICONDICIONAL
TABLA DE VERDAD
p q p q
V V V
V F F
F V F
F F V
.. si y solamente si .

es una condicin suficiente
y necesaria para ....
5 > 6 si y slo si 2 - 3 > 5 + 3

Simbolice y seale el valor de
verdad

Resolucin

5 > 6 si y solo si 2 3 > 5 + 3
p q
V( p ) = F V (q ) = F

V ( p q ) =
Ejemplo :
Palabras equivalentes a si
y solo si .
. SIEMPRE Y CUANDO .
V
p q p . q p v q p q p q p A q
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F
Bicondicional Disyuncin E Proposiciones Condicional Conjuncin Disyuncin I
Tabla de Verdad de las
Proposiciones Compuestas Bsicas
Negacin de proposiciones
Definimos las siguientes NEGACIONES:
( p ) p
( p . q) pvq
( p v q) p .q
( p q) p.q
( p q) p A q
(p A q ) ( p q)

TIPOS DE ESQUEMAS MOLECUALRES
TAUTOLOGA
Cuando en el resultado final, todos
los valores de verdad son
Verdaderos
p q ( p v q ) (~ p q )

V V V V V
V F V V V
F V V V V
F F F V F
CONTRADICCIN
CONTINGENCIA
p q [ ( p A q ) V q ] A ~q

V V V F F
V F F F V
F V F F F
F F F F V
p q ( p q) v ( p q)

V V V V V
V F F F F
F V V V F
F F V V V
Cuando en el arreglo final hay
Verdaderos y Falsos
Cuando en el resultado final, todos
los valores de verdad son
FALSEDADES
EJERCICIOS PROPUESTOS
1. Determinar la tabla de valores de verdad de
las siguientes proposiciones:
a) (p.q) v (~p q).
b) [p.(q ~p)] vq.
c) [(q v p) .~p] q.
d) [(p q) .~q] ~p.
e) (p q) .(~ p q).
f) ~ [pv (q r)] . (r p).
g) (q r) v (q ~p).
h) (p . q) ~p.

2. Sean
p: 3 > 3;
q: 0
0
= 1;
r: 6 < 4 2 > 9.

Hallar el valor de verdad de las siguientes
proposiciones:

a) (p ~q) r.
b) [(p q) r] p.
c) [~r (p q)] v (q ~p).

( ~ r v q ) (p . ~ s )
V V V
F
V
F
F
3. Si p = V, q = V , r = F , s = V y t = F. Hallar el valores de
verdad de la siguiente proposicin ( ~ r v q ) (p . ~ s )

RESOLUCIN
4. A partir de las siguiente condicin, determinar la verdad o
falsedad de cada una de las variables proposicionales:
[ ~ ( p v q ) . ( ~ q r ) ] es VERDADERA

RESOLUCIN
[ ~ ( p v q ) . ( ~ q r ) ]
V (p) F
V (q) F
V (r) V

V
F
V
F
F
V V
5. Si la proposicin (p ~q) v (~r s) es
falsa.

Hallar el valor de verdad de los siguientes
esquemas:

a) (~p .~q) v~q.
b) [(~r v q) . p] [(~q v r) . s].
c) (p q) [(p v q) .~q].

Resuelva la prctica correspondiente a
proposiciones




No es grande aquel que nunca falla, si no el que
nunca se da por vencido






Matemtica I
FIN UNIDAD 01