CURSO: MATEMATICAS BASICAS

CAPITULO I: LGICA PROPOSICIONAL

Docente. Ing. Miguel A. Cruz Venancio

APRENDIZAJES ESPERADOS

Reconoce las proposiciones lgicas y expresarlo simblicamente.

Reconoce las proposiciones compuestas y elabora sus tablas de verdad.
Evala los esquemas moleculares y utiliza correctamente las leyes lgicas.

-1-

LGICA
Lgica es el estudio de los procesos vlidos del
razonamiento humano. Tipos: Inductivo, medio por el cual
una persona, en base de sus experiencias especficas,
decide aceptar como vlida un principio general.
Deductivo, medio segn el cual dicha persona utiliza el
principio general aceptado previamente para decidir sobre
la validez de una idea, que a su vez habr de determinar
el curso de su accin.
PROPOSICIN
Una proposicin es un enunciado cuya propiedad
fundamental es la de ser verdadera (V) o falsa (F), pero no
ambas simultneamente.
Una proposicin se representa simblicamente por letras
minsculas tales como: p, q, r, etc. (llamadas variables
proposicionales)
ENUNCIADO
Se denomina enunciado a toda frase u oracin.
Ejemplos:

11 es un nmero primo

Qu ests haciendo?

17 > 12

Viva el Per!

6+2= 8

7 es un nmero par.
Los enunciados que en matemtica tienen significado son
aquellas que pueden ser consideradas como verdaderos o
falsos (proposiciones); en algunos enunciados no es
posible afirmar si es verdadero o falso, como por ejemplo,
las interrogaciones, las exclamaciones, las aclamaciones
o las preguntas.
CLASES DE PROPOSICIONES
PROPOSICIONES ATMICAS, SIMPLES O BSICAS:
Es una proposicin que no contiene ningn conectivo
lgico.
Por ejemplo:

3 es un nmero primo

Tres ms cuatro es igual a diez

Todo nmero natural pertenece al conjunto

de
nmeros enteros.
PROPOSICIONES COMPUESTAS O MOLECULARES
Son aquellas que poseen trminos de enlace o conectivos
lgicos.
Ejemplo:

5 es primo y 2 es par.

El cuadrado es una figura plana y 2 + 2 = 5.

Si n es par entonces n es divisible por2.

TRMINO DE ENLACE O CONECTIVOS LGICOS
Son expresiones que sirven para unir dos ms
proposiciones, tenemos:
La negacin NO (~), la conjuncin Y (), la
disyuncin O (V), la implicancia SiEntonces (),
la bicondicional Siy sloSi ( )
Ejemplo:
Carla y Karen son amigas, o Cintia es amiga de ambas
entonces, Alejandra es amiga de todas.
Formalizando la proposicin se tiene:
[(p q) r ] s
JERARQUIZACIN DE LOS CONECTIVOS LGICOS
El orden de menor a mayor jerarqua es:
~ ( y ), ,
etc. ( y ) son de igual jerarqua.
OPERADORES LGICOS
Formado por los conectivos lgicos con las cuales se
efectan operaciones.
LA NEGACIN (~)
Cambia el valor de la proposicin

Si p es una proposicin cualesquiera.

~ p se lee: no p es falso que p

La negacin est determinada por la siguiente tabla:
p
~p
V

CONJUNCION p q (Se lee p y q)

Es una proposicin que se define de tal manera que
resulta verdadera (V) nicamente si p y q son ambas
verdaderas, en los dems casos son falsas como se
aprecia en la siguiente tabla:
p

p^q

Nota: Hay palabras

como pero, a la vez, sin
embargo, adems, aunque, no obstante, etc. que
tambin unen proposiciones conjuntivamente y se pueden
simbolizar por el conectivo .
DISYUNCIN p v q (se lee p o q)
La proposicin (p v q) es falsa nicamente en el caso en
que p y q son ambas falsas, en cualquier otro caso es
verdadera.
P

pvq

DISYUNCIN EXCLUSIVA p v q
(Se lee p o q pero no ambos)
La proposicin (p v q) es verdadera si p y q tienen valores
contradictorios, en el caso que tengan valores idnticos
resulta falso.
P

pvq

CONDICIONAL IMPLICACIN
p q (se lee, si p entonces q)
La proposicin implicancia es falsa nicamente en el caso
en que la proposicin p es verdadera y la proposicin q es
falsa, siendo verdadera en todos los dems casos.
p
Q
pq
V

Nota: Tambin son conectivos los trminos; porque,

puesto que, ya que, si, cuando, cada vez que, etc.
todas se caracterizan porque despus de cada una de
estos conectivos est el antecedente o condicin.

-2-

BICONDICIONAL DOBLE IMPLICACIN

p
q (se lee p si slo si q)
La proposicin p si y slo si q, son verdaderas si ambas
tienen el mismo valor de verdad en los dems casos
resulta falso.
P

2.

EVALUACIN DE UN ESQUEMA MOLECULAR

Evaluar un esquema molecular por la tabla de verdad es
obtener los valores del operador principal a partir de
valores de verdad o falsedad de cada una de las variables
proposicionales para ello utilizamos la frmula siguiente:
2n; donde:
n = nmero de variables que tiene un esquema molecular
2 = constante.
Ejemplo
Por decir se tiene las proposiciones; p, q, r; entonces los
arreglos ser`: 23 = 8; as:
p

Sean p, q, r, s; proposiciones lgicas. Determinar el

valor de verdad de p, q, r, s. Si el valor, de verdad de
las siguientes proposiciones (a) es falso y (b) es
verdadero:
a) [~ (p q) r] (s ^ r)
b) ( ~ p V q) ^ (r s)
Solucin:
En la proposicin (a) para que la condicin sea falso,
quiere decir que: [~ (p q)r] tiene que ser verdadero
(V) y (s ^ r) tiene que ser falso (F)
Teniendo ya estas condiciones deducimos que: ~ (p q)
es verdadero.
p ser (V) y q ser (F); operando dentro del parntesis (p
q) resulta falso (F) finalmente operando con la
negacin ser verdadero (V) de aqu (R) toma el valor de
verdadero como se ilustra: [~ (pq)r]

[~ (p

q ) r]

F
F

V
v

Seguidamente (s ^ r) ser (F)

Entonces (S) toma el valor de falso (F) y r (V), del cual
operando tenemos como resultado el valor de falso (F)
debajo del operador principal de la condicional. As:

Evaluar la tabla de verdad de la proposicin:

~ (p q) ~ [(~ p) (~ q)]

EXPLICACION: Para hallar el valor de verdad del

operador principal () se sigue los siguientes pasos:
1)
Primero se realiza las operaciones dentro del
parntesis.
2)
Seguidamente dentro del corchete.
3)
Finalmente con los resultados parciales se llega
a operar debajo del operador principal ( ) la
cual
ser su valor del esquema
molecular
propuesto.

p
V
V
F
F

q
V
F
V
F

~ (p q)
F
V
V
F
F
V
F
V

V
F
F
V

~ [ ( ~ p) ( ~ q)]
F
F
V
F
F
V
V
V
V
F
F
V

F
V
F
V

b) (~ p v q) ser verdadero (V) y (r s) verdadero (V),

Luego:
p: Es falso
r: Falso
q: Verdadero
s: Falso

(~p v q) ^ (r s)
DIAGRAMA DE LOS VALORES DE VERDAD O DE
CERTEZA
Cada proposicin ha de ser falso o verdadero, Cada
proposicin atmica o molecular tiene uno de los valores
de certeza posible.
Ejemplo:
1. 2 ms 2 es igual a cuatro, entonces 4 menos dos es
2.
p: 2 + 2 = 4
p q
a :42=2

Su diagrama es:

V
V

V
LEYES DEL LGEBRA PROPOSICIONAL

-3-

1.
2.
3.

4.

5.

Doble negacin: (p) p

Idempotencia:
a) p
pp
Conmutativa
a) p q q p
b) p
c) p
q q
p
Ley Asociativa
a) (p
q)
r p
(q
b) (p
q)
r p
(q
c) (p
q)
rp
Ley Distributiva
a) p
(q
r) (p
b) p
(q
r) (p
c) p

(q

b) p
q q

r)
r)

(q
q)
q)

r) (p

pp

r)
(p
(p

q)

r)
r)
(p

r)

d) p
(q
r) (p
q)
(p
r)
Ley de Morgan.
a) (p
q) p
q
b) (p
q) p
q
7. Ley de Elementos Neutros
a) V
P P
b) V
P V
c) F
F F d) F
F P
8. Ley del Complemento.
a) p
pV
b) p
pF
9. Ley de Absorcin
a) p
(p q) p
b) p
(p
q) p
q
c) p
(p
q) p
d) p
(p
q) p
q
10. Ley Condicional.

12 : 3 = 6
Un hexgono tiene cuatro lados iguales.
Lima es la capital folklrica del Per.
R:_______________
3. Tres alumnas: Mara, Rosa y Sofa responden
verdadero (V) falso (F) en un examen de tres de la
siguiente manera:
Mara
Rosa
Sofa
1ra. Pregunta
V
V
F
2da. Pregunta
V
F
F
3ra. Pregunta
F
F
V
Una contest todas correctamente, otra fall en todas
y la otra slo en uno. Quin acert todas?
4.

Un polica persegua a un delincuente a travs de las

escaleras de un edificio. Se da cuenta que su peso
disminuy 6 gramos por subir al cuarto piso. Cuntos
gramos baj si logr alcanzarlo en el doceavo piso?
a) 15 b) 12
c) 18 d) 22 e) 24

5.

Cuntas personas como mnimo hay en cinco filas de

cuatro personas cada fila?
A)5
B) 10
C) 15
D) 16
E) 20

6.

En un almuerzo estaban presentes; padre, madre to,

ta, hermano, hermana, sobrino, sobrina y 2 primos.
Cul es el menor nmero de personas presentes?
A)4
B)6
C)8
D) 10
E)5

6.

a) p

q p

b) (p
q) p
q
11. Ley del Bicondicional.
a) p

q (p

q)

b) p
q (p
q)
12. Ley de Transposicin

(q

p)

( p

q)

a) (p

q) ( q

p)

b) (p

q) ( q

p)

PRACTICA N 01
1.

De las siguientes expresiones, indicar cuantas son

proposiciones:

La gripe porcina.

Cmo te encuentras?

39 es un nmero primo.

El da tiene 24 horas.

Un triangulo equiltero tiene dos lados iguales en

longitud.
R: _____________
2. Cuntas de las expresiones siguientes no son
proposiciones?
Cmo has cambiado!

Es cierto que Velsquez Quesqun es

embajador?

161 es un nmero capica.

7. Seis chicas estn escalando una montaa. Carla esta

ms abajo que Juana quien se encuentra un lugar
mas abajo que Mara, Fernanda est ms arriba que
Carla, pero un lugar ms abajo que Paola, quien est
ms abajo que Rosa, esta ltima que se encuentra
entre Juana y Paola. Quin est en el cuarto lugar
del ascenso?
A) Rosa
B) Paola
C) Fernando
D) Carla
E) Juana.
8. Qu parentesco tiene conmigo una mujer que es la
hija de la esposa del nico vstago de mi madre?
a) Hermana
b) ta
c) abuela
d) hija
e) esposa
9. Anbal invita a cenar a sus amigos: Betty, Celinda,
Daniel, Eduardo y Felipe; este ltimo por razones de
fuerza mayor no pudo asistir. Se sientan alrededor de
una misma mesa circular con seis asientos
distribuidos simtricamente. S:

Anbal se sienta junto Eduardo y Daniel.

Frente a Eduardo se sienta Betty.

Junto a un hombre no se encuentra el asiento

vaci.
Entre quienes se sienta Eduardo?

-4-

NOTA: Justifique cada uno de sus respuestas al ser

desarrollados

FECHA DE ENTREGA: GRUPO N 01 Y 02 22/04/15 . Hra. 17.15

Hora Exacta. Grupo de 04 Integrantes, segun se explico en clase.

PROBLEMAS COMPLEMENTARIOS
01

02

-5-

-6-

03

04

FECHA DE ENTREGA: GRUPO N 01 Y 02

-722/04/15 . Hra. 17.15

Hora Exacta - "AULA 401", Grupos de 04 Integrantes, segun se explico en clase.