MATEMTICA I

PROFESORES DEL CURSO

Ttulo Presentacin
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
 La lgica proposicional es una parte
DEFINICIN 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

Lima es la capital del Per Ejemplos :

Per es anfitrin de III Cumbre ASPA

Quito es la capital de Venezuela

Qu hora es?
auxiliooooo !
X + 12 = 28
 PROPOSICIN Es toda expresin declarativa que tiene
LOGICA 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

 Es aquel enunciado que tiene la
ENUNCIADO posibilidad de convertirse en
proposicin lgica, al asignar un
ABIERTO valor o valores a la variable o
variables que posee.
Ejemplos :
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) = F

q : Julio Ramn Ribeyro es un escritor peruano V(q) = V

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 ? ( )
 CLASES DE
PROPOSICIONES

Es aquel elemento o sujeto que

Proposicin Simple o tiene un solo elemento o
predicado. Nunca es negativo
atmica
P : Dos es un nmero par
q : Per es un pas de Amrica del
Sur
r : 5 es un nmero primo

Son aquellos que tienen dos o

Proposicin Compuesta ms proposiciones simples
o Molecular
unidos por coligadores o que
contienen el adverbio de
negacin no
p q : Dos es un nmero par y tres es impar
p : No es cierto que tres sea un nmero par
C
O ~ : no, no es cierto que
N
E : y
C v : O
T
I
: O O ; o bien o bien
V : si .. entonces
O : ...... si y solo si .......
S

L
O Ejemplos :
G No es cierto que , saturno sea el satlite de la tierra
I
C Si dos es un nmero primo entonces tiene slo dos
O divisores
S
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

Ejemplos
Un esquema molecular posee un
p q q r
correspondiente valor de verdad y
r s s r w este depender de los valores de
verdad dados a cada variable
proposicional
p q p p

P P q P q r

El nmero de posibilidades V V V V V
para asignar valores de verdad V
V F V V F
a las variables F V V F V
F V F F
proposicionales depender de F F
F V V
cuntos sean estos.
F V F
F F V
F F F
 PROPOSICIONES COMPUESTAS

TABLA DE VERDAD
NEGACIN DE UNA PROPOSICIN
p ~p
V F
De: Su negacin, es: F V

=
Ejemplos :
>
<
<
q : 7 + 8 < 10 V(q) = F
> ~q : 7+ 8 10 V(~q) = V
LA CONJUNCION Palabras equivalentes
Pero
Sin embargo
TABLA DE VERDAD Adems
No obstante
p q
p q Aunque
A la vez
V V V Ms an
V F F
EJEMPLO:
F V F
Cuatro es menor que siete, no obstante
F F F dos es numero natural

Ejemplos :
p : 2 es nmero par V(p)= V
q : 5 es nmero primo V(q)= V
p q : 2 es nmero par y 5 es nmero primo V ( p q ) = V
p:4<7 V(p ) = V
q : 10 < 6 V(q) = F
p q : 4 < 7 y 10 < 6 V( p q ) = F
 TABLA DE VERDAD
LA DISYUNCIN INCLUSIVA
p q pVq
Ejemplos : V V V
V F V
1) F V V
p : 5 es un nmero primo V(p) = V
F F F
q : 10 es un mltiplo de 5 V(q) = V
V( p v q ) = V

2) p : 160,5+ 90,5 = 7 V(p)= V

q: 5+8 >9+7 V(q)= F
V(pvq)= V
 TABLA DE VERDAD
LA DISYUNCION EXCLUSIVA
p q pq
V V F
Ejemplos : V F V
O bien es sbado o bien es domingo
F V V
p q F F F
V ( p) = V V ( q) = F
V(pq)= V

O bien 15 es mltiplo de 3 o bien 5 es divisor de 15

p q
V ( p) = V V ( q) = V
F
V ( p q ) = ___
LA CONDICIONAL TABLA DE VERDAD
p q pq
p q V V V
V F F
ANTECEDENTE CONSECUENTE
F V V
PREMISA CONCLUSION F F V
HIPOTESIS TESIS

Palabras equivalentes a Ejemplo :

Sientonces p : Lima es capital de Per
Cada vez que q: 6+4=9
Dado que Hallar el valor de verdad de p q
Puesto que resolucin
Siempre que
V( p ) = V
Estas palabras se caracterizan V (q ) = F
porque despus de estos V(pq)= F
trminos est el antecedente
 TABLA DE VERDAD

LA BICONDICIONAL p q pq
V V V
V F F
Ejemplo :
F V F
5 > 6 si y slo si 2 - 3 > 5 + 3 F F V
Simbolice y seale el valor de Palabras equivalentes a si
verdad y solo si .
Resolucin .. si y solamente si .

5 > 6 si y solo si 2 3 > 5 + 3 es una condicin suficiente y

p q necesaria para ....
V( p ) = F V (q ) = F

V(pq)= . SIEMPRE Y CUANDO .

V
 Tabla de Verdad de las
Proposiciones Compuestas
Bsicas

Proposiciones Conjuncin Disyuncin I Condicional Bicondicional Disyuncin E

p q p q p q p q p q p 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
Negacin de proposiciones
Definimos las siguientes NEGACIONES:
( p ) p
( p q) pq
( p q) p q
( p q) pq
( p q) p q
(p q ) ( p q)
TIPOS DE ESQUEMAS MOLECUALRES

Cuando en el resultado final, todos

TAUTOLOGA 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
 Cuando en el resultado final, todos
CONTRADICCIN los valores de verdad son
FALSEDADES
p q [ ( p q ) V q] ~q
V V V F F
V F F F V
F V F F F
F F F F V

Cuando en el arreglo final hay

CONTINGENCIA Verdaderos y Falsos

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
 EJERCICIOS PROPUESTOS
1. Determinar la tabla de valores de verdad de
las siguientes proposiciones:
a) (pq) (p q).
b) [p(q p)] q.
c) [(q p) p] q.
d) [(p q) q] p.
e) (p q) ( p q).
f) [p (q r)] (r p).
g) (q r) (q p).
h) (p q) p.
2. Sean
p: 3 3;
q: 00 = 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)] (q p).
3. Si p = V, q = V , r = F , s = V y t = F. Hallar el valores de
verdad de la siguiente proposicin ( r q ) (p s )

RESOLUCIN

(r q ) (p s)

V V V F

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

RESOLUCIN

[(pq) (q r)] V (p) F

V (q) F
V V V V (r) V
F

F F V V
5. Si la proposicin (p q) (r s) es
falsa.
Hallar el valor de verdad de los siguientes
esquemas:

a)(p q) q.
b)[(r q) p] [(q r) s].
c)(p q) [(p q) q].
Resuelva la prctica correspondiente a
proposiciones

No es grande aquel que nunca falla, si

no el que nunca se da por vencido