UNIVERSIDAD PERUANA

LOS ANDES
______________________________
FACULTAD DE CIENCIAS
ADMINISTRATIVAS Y CONTABLES

PENSAMIENTO LGICO MATEMTICO

GUILLERMO QUIONES DIAZ

1. LOGICA PROPOSICIONAL:
El ser humano en la vida diaria, se comunica con sus semejantes a travs de un
lenguaje determinado (oral, escrito,..., etc.) por medio de las denominadas frases u
oraciones, estas pueden tener diferentes significados pero siempre van a resumirse a las
formas de verdaderas o falsas, siendo este el precedente fundamental para el desarrollo del
pensamiento humano. Lo importante en el presente estudio es el hecho de que, a partir de
los enunciados (frases u oraciones) y de acuerdo a su significado es posible establecer una
proposicin y a partir de un conjunto de estas podemos llegar a una conclusin, siendo la
ciencia encargada del estudio de estas, la lgica.

1.1. ENUNCIADO.- Denominamos as a toda frase u oracin.

Ejemplos:
1) Prohibido fumar.
2) x2+y29
3) Tribunal en Lima ver denuncias sobre Ancash
4) 4x 1= 5
5) Qu hora es?
6) Fallo contra megacomisin enfrenta al Poder Judicial y al Congreso
7) l es estudiante de la facultad de ciencias Administrativas y Contables
8) - 6,78 > 1,43
9) El desempleo baj levemente en febrero
10) Auxilio!
11) Detngase.
12) Ollanta Humala no es el presidente del Per.
13) Paolo guerrero es jugador de futbol
14) Dnde estabas?
15) Prohibido hacer ruido
16) Juez anula todos los informes que acusan a Garca

1.2. PROPOSICIN.- Una proposicin es un enunciado que tiene la propiedad

de ser verdadera (V) o falsa (F), pero no ambas simultneamente.
Representacin simblica: p, q, r, s, t,..., etc.
Ejemplos:

VALOR DE
REPRESENTACIN PROPOSICIN VERDAD
SIMBLICA
p: El pentgono tiene cuatro lados F
r: Mario Vargas Llosa escribi conversacin V
en la catedral
s: Ica es la regin ms afectada por el V
terremoto del 2 007
t: El parque de la identidad se encuentra F
ubicado en Chilca
p: -4+3=7 F
r: 3,56 > 0,099 V

El valor veritativo o valor de verdad de una proposicin se expresa simblicamente.

Si p es una proposicin, su valor de verdad se denota por V(p)
Se escribe: V(p) = V. Si valor de verdad de la proposicin p es verdadera
Se lee: el valor de verdad de la proposicin p es verdadera
Se escribe: V(p) = F. Si valor de verdad de la proposicin p es falsa
Se lee: el valor de verdad de la proposicin p es falsa

1.3. EXPRESIONES QUE NO SON PROPOSICIONES LGICAS

2
 Son las expresiones que indican orden, advertencia, saludo, exclamacin o
interrogacin. Es decir, estas expresiones slo se quedan como enunciados.
Ejemplos:
- Buenos das!. - Hola, Harry!
- Quin toc la puerta? - Qu edad tienes?
- No faltes. - Prohibido fumar.
- As se llaman esas criaturas? - Viva la matemtica!

1.4. ENUNCIADOS ABIERTOS

Los enunciados que usan las palabras el, ella o las letras x, y, z, ... , etc.
No tienen la propiedad de ser verdaderos o falsos, es decir, no son proposiciones. Pero, si a
estas palabras o letras se les asigna un determinado objeto o valor, llamado constante, el
resultado es una proposicin. A este tipo de enunciados se les denomina enunciados
abiertos.
Ejemplos:
- Ella es estudiante de contabilidad
- x3>7
- 5x + 3y = 2
Si en el primer ejemplo reemplazamos ella por Meredditt, se tiene, Meredditt es
estudiante de contabilidad, que es una proposicin donde su valor de verdad es V F
dependiendo de que si Meredditt sea o no estudiante de contabilidad.
Si en el segundo ejemplo x toma un valor menor o igual que 10 la proposicin es
falsa y si x toma un valor mayor a 10 la proposicin es verdadera.
En el tercer ejemplo las variables o letras x , y pueden tomar infinitos valores
para que el valor de verdad de la ecuacin sea verdadera o falsa.

Vdeos en YouTube:
1) Enunciados y proposiciones:
https://www.youtube.com/watch?v=RI-GPpPEkf8

2. CONECTIVOS U OPERADORES LGICOS:

Los conectivos lgicos son smbolos que enlazan proposiciones simples o atmicas,
sin formar parte de ellas: estos smbolos tambin toman el nombre de operadores.
Los conectivos lgicos que usamos en matemtica son:

LENGUAJE
LENGUAJE COLOQUIAL NOMBRE DEL OPERADOR
SIMBLICO
no ~ La negacin
y La conjuncin
o La disyuncin inclusiva
Si ... entonces ... La condicional
... s y slo s ... La bicondicional
O bien ... o bien La disyuncin exclusiva

= Delta (Cuarta letra del alfabeto griego que corresponde a d latina)

Vdeos en YouTube:
1) Conectivos u operadores lgicos:
https://www.youtube.com/watch?v=t98L_B_Ok8g

3. CLASES DE PROPOSICIONES LGICAS:

3.1. PROPOSICIONES SIMPLES O ATMICAS

Cuando en ella no existe conectivo u operador lgico alguno.
Ejemplos:
- p: El cuadrado tiene 5 lados
- q: 3 x 4 = 12
- r: 9 es mltiplo de 3 3
 3.2. PROPOSICIONES COMPUESTAS O MOLECULARES
Cuando en ella existe o est presente al menos un conectivo u operador
lgico.
Ejemplos:
- p: 12 - 5 9
- q p: Rosario jug, aunque estuvo lesionado
- q p: Llegu tarde porque el carro se malogr

Vdeos en YouTube:
1) Proposiciones simples y compuestas:
https://www.youtube.com/watch?v=9PaIxf3TysU

4. OPERACIONES CON PROPOSICIONES:

As como en aritmtica y en lgebra se estudian operaciones entre nmeros, en
lgica se estudian operaciones entre proposiciones.

4.1. LA NEGACIN
La negacin de una proposicin p se escribe ~ p
p ~p
y se lee no p no es cierto que p es falso
V F
que p y es otra proposicin que niega que se
F V
cumpla p.

Ejemplo:
Sea la proposicin: p: 4 x 5 = 20 (V)
Su negacin es: ~ p: no es cierto que 4 x 5 = 20 (F)
o se puede escribir: ~ p: 4 x 5 20 (F)
Simblicamente: V( ~ p) = F

4.2. LA CONJUNCIN
Dadas las proposiciones p, q, se simboliza p
p q pq
q y se lee p y q, slo es verdadero
V V V
cuando ambos son verdaderos, en los
V F F
dems casos siempre es falso.
F V F
F F F
Ejemplo:
Sean las proposiciones:
p: 7 es un nmero par (F)
q: 7 es menor que 5 (F)
p q: 7 es un nmero par y 7 es menor que 5 (F)
Simblicamente: V(p q) = F

NOTA: En toda proposicin, las palabras: pero, sin embargo, adems,

no obstante, aunque, a la vez, etc. Equivalen al conectivo

4.3. LA DISYUNCIN INCLUSIVA

Dadas dos proposiciones p, q se escribe p q p q pq

y se lee p q, slo es falso cuando ambos V V V
son falsos, en los dems casos siempre es V F V
verdadero. F V V
F F F

Ejemplo:
Dadas las proposiciones:
p: 4 < 7 (V)
q: 4 = 7 (F)
p q: 4 < 7 4 = 7 (V) 4
Simblicamente: V(p q) = V

4.4. LA CONDICIONAL
Dadas dos proposiciones p, q se escribe p q pq
p q y se lee si p entonces q p implica q V V V
p es suficiente para que q, etc., slo es falso V F F
cuando el primero es verdadero y el F V V
segundo es falso, en los dems casos
F F V
siempre es verdadero.
( p = antecedente y q = consecuente)

Ejemplo:
p q : Si gano las elecciones entonces bajar el precio de los combustibles
Ejemplo:
Sean las proposiciones:
p: 3 es un nmero primo (V)
q: 31 es un nmero par (F)
p q : si 3 es un nmero primo entonces 31 es un nmero par (F)
Simblicamente: V(p q) = F

NOTA: En toda proposicin las palabras: porque, puesto que, ya que,

siempre que, cuando, si, cada vez que, dado que, son conectivos
que representan a la condicional. Se caracterizan porque despus de cada uno de
estos trminos esta el antecedente

Ejemplo:
No jugu porque llegu tarde
p: no jugu (consecuente)
q: llegu tarde (antecedente)
Simblicamente: q p

4.5. LA BICONDICIONAL
Dadas dos proposiciones p, q se escribe p q p q
p q y se lee p si y solo si q, es verdadero V V V
cuando los valores de verdad son iguales y es V F F
falso cuando los dos valores de verdad son F V F
diferentes. F F V

Ejemplo:
Sean las proposiciones:
p: 3 < 7 (V)
q: 3 + 5 < 7 + 5 (V)
p q: 3 < 7 si y solamente si 3 + 5 < 7 + 5 (V)
Simblicamente: V(p q) = V

4.6. LA DISYUNCIN EXCLUSIVA

Dadas las proposiciones p, q se escribe p
q y se lee o bien p o bien q, es falso si p q p q
los valores de verdad de las V V F
proposiciones son iguales y es V F V
verdadero si los valores de verdad de F V V
las proposiciones son diferentes. F F F

Ejemplo:
Sean las proposiciones:
p: 4 > 7 5 (F)
 q: 4 < 7 (V)
p q: o bien 4 > 7 o bien 4 < 7 (V)
Simblicamente: V(p q) = V

Vdeos en YouTube:
1) Operaciones con proposiciones:
https://www.youtube.com/watch?v=YFJnRxOed5Y

5. EXPRESAR EN EL LENGUAJE SIMLICO PROPOSICIONES LGICAS DEL

LENGUAJE ESCRITO:
Para expresar en el lenguaje simblico proposiciones que se encuentran en el
lenguaje escrito es necesario subrayar y escribir el conectivo u operador
correspondiente.

Vdeos de lgica en You Tube:

1) Expresar proposiciones lgicas, del lenguaje escrito al lenguaje simblico.
https://www.youtube.com/watch?v=W2PO1COj7-E

6. DETERMINAR EL VALOR DE VERDAD DE PROPOSICIONES LGICAS

Para determinar el valor de verdad de una proposicin, primero se expresa en el
lenguaje simblico, luego se asigna el valor d verdad de la proposicin simple, para
luego operar con los conectivos correspondientes hasta determinar el valor de
verdad de la proposicin compuesta.

Vdeos de lgica en You Tube:

1) Valor de verdad de las proposiciones lgicas.
https://www.youtube.com/watch?v=D7A1BHQ17lQ
2) Valor de verdad de proposiciones lgicas en el lenguaje simblico.
https://www.youtube.com/watch?v=J3t4G7r_5Ww

RESUMEN

p q pq p q pq pq pq
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

ACTIVIDAD DE APRENDIZAJE Nro. 01

1) Escribe al lado derecho de cada una de estas expresiones, si es: enunciado,

proposicin o enunciado abierto.
(1) Hola que tal!
(2) x + 1 < 10
(3) El lapicero es rojo pero no es amarillo
(4) l es administrador y contador
(5) Vives con tu primo?
(6) El nuevo local de la facultad de ciencias administrativas y contables se encuentra en
Chorrillos.
2) Formula ejemplos de enunciados, proposiciones y enunciados abiertos. Cinco
ejemplos de cada uno.
3) Expresa en el lenguaje simblico:
a) No es cierto que, Ollanta Humala no es el presidente de
Ecuador.
b) Es falso que, Mayumi lleg tarde porque se qued
dormida.
c) 6
Paolo Guerrero llego tarde al partido pero jug.
 d) Si hoy es mircoles entonces maana no es martes
4) Que diferencias y similitudes estableces entre una proposicin simple y una
proposicin compuesta
5) Determina los valores de verdad de las siguientes proposiciones:
a) Es falso que, Paolo guerrero no es jugador del Sport
Club Corinthians Paulista.
b) 20 es mltiplo de 4, pero, 7 es menor o igual que 10
c) O 9 es mayor que 5 o es menor que 5.
d) 24 es mltiplo de 8 puesto que 24 es un nmero impar.
e) Ollanta Humala no gan las elecciones presidenciales de
Per con un 54 %.
f) No es cierto que, Susana Villarn no fue revocada
6) Si: ~(~p q) (r q) (~p q) (q ~ p), es verdadera. Calcula los
valores de verdad de p, q y r.
7) Si: (p ~q) (~r ~s), es falsa. Determina los valores de verdad de los
esquemas moleculares:
a) ~(p ~q) r b) (~p q) (p ~q)
8) Sabiendo que el valor de verdad de la proposicin compuesta:
{~(p r) q (p q) s} (s p) t, es siempre falsa. Determina el valor
de verdad de la proposicin ~(p ~q) (r ~s) (t ~p)

7. TABLA DE VALORES DE VERDAD

Consiste en obtener los valores del operador principal a partir de la validez de cada
una de las variables proposicionales.
Para evaluar una tabla de verdad de dos variables proposicionales se necesitan
22 = 4 valores de verdad en cada columna. En general el nmero de valores de verdad que
se asigna a cada variable resulta de aplicar la frmula 2 n, donde n es el nmero de
variables que hay en el esquema molecular o proposicin lgica.
Las combinaciones de todas las posibilidades de V y F se hacen en las columnas de
referencia al margen izquierdo del esquema, luego se procede a aplicar la regla a cada uno
de los operadores, empezando por el de menor alcance hasta llegar al de mayor jerarqua.
Ejemplo:
Construye la tabla de verdad del esquema molecular:
~ (p q ) (~ p) (~ q)
Solucin:
Aplicando la frmula 2n = 22 = 4 (n=2) porque el nmero de variables o
proposiciones son 2, p y q.
En la columna de p se escribe hacia abajo 2 verdaderos y dos falsos, seguidamente
en la siguiente columna, columna de q se escribe, un verdadero y un falso, un verdadero y
un falso.
Para resolver se tiene en cuenta los signos de agrupacin y el orden, en nuestro
ejemplo se procede as:
Se resuelve la columna 1 con el operador de la conjuncin.
Se resuelve la columna 2, en este caso, es la negacin del resultado de la columna
1.
Se resuelve la columna 3, que es la negacin de la proposicin p.
Se resuelve la columna 4, que es la negacin de la proposicin q.
Columna 5, es el resultado de operar las columnas 3 y 4, con el operador de la
disyuncin inclusiva.
Columna 6, es el resultado de operar las columnas 2 y 5, con el operador de la
bicondicional.

OBSERVACIN

- Para combinar los valores de verdad de las variables p y q, se realiza lo siguiente: n

= 2 ( 2 variables)
- Se aplica la frmula 2n = 22 = 4
- Significa que en la primera columna
7 se tendrn 4 valores, 2 verdaderos y 2 falsos
- En la segunda columna se tendrn la mitad de lo anterior, en este caso, un
 verdadero y un falso

p q
~ (p q) (~p) (~q)
V V
F V V F F F
V F
V F V F V V
F V
V F V V V F
F F
V F V V V V
PASOS 2 1 6 3 5 4

La columna 6 es el resultado de evaluar el esquema molecular o proposicin

compuesta por el mtodo de la tabla de valores de verdad. La columna resultado presenta
diferentes formas, que a continuacin estudiamos.

7.1. TAUTOLOGA.- Llamamos tautologa si en la columna resultado todos los

valores son verdaderos
7.2. CONTRADICCIN.- Llamamos contradiccin si en la columna resultado todos
los valores son falsos.
7.3. CONTINGENCIA.- Llamamos contingencia si en la columna resultado se
encuentra verdaderos y falsos, sin considerar cuntos verdaderos o cuntos falsos existan,
es suficiente que se encuentren ambos.

Vdeos de tabla de verdad en You Tube:

1) Tabla de valores de verdad.
http://www.youtube.com/watch?v=YHeMRwSF1gM
2) Como construir tablas de valores de verdad.
http://www.youtube.com/watch?v=3btmLPx0FnI

8. IMPLICACIN LGICA Y EQUIVALENCIA LGICA

IMPLICACIN LGICA
Se llama implicacin lgica o simplemente implicacin a toda condicional
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente condicional es una implicacin lgica:
(p q) ~ q ~ p

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

En la columna resultado se observa los valores de verdad, en este caso todos son
verdaderos. Entonces, afirmamos que la condicional es tautologa, por tanto, es una
implicacin lgica. Si en la columna resultado se obtiene contradiccin o contingencia,
entonces, no existe implicacin lgica.

EQUIVALENCIA LGICA
Se llama equivalencia lgica o simplemente equivalencia a toda bicondicional p q
que sea tautologa.
Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica:
p (p q) p

p q p 8(p q) p
V V V V V V V
V F V V V V V
F V F F V V F
F F F F F V F
 Como se verifica que el resultado de la bicondicional, es tautologa, afirmamos que es
una equivalencia lgica.
Entonces, podemos afirmar que: p (p q) p

ACTIVIDAD DE APRENDIZAJE Nro. 02

1) Construye las tablas de valores de verdad de las siguientes proposiciones y evala si

es tautologa, contradiccin o contingencia:
a) (p ~ q) ~ p ~ (~ q p)
b) p (q r) (~p ~r) ~q

2) Dadas las proposiciones: M= (p q) ~p y N = (~p q)

Evala si M implica a N.
3) Dadas las proposiciones S = ~p (p q) y T= (p ~q)
Evala si S es equivalente a T.

9. LEYES DEL LGEBRA PROPOSICIONAL

Las proposiciones equivalentes se convierten en leyes lgicas. Existen infinitas
proposiciones equivalentes. Pero slo consideraremos algunas a las que llamaremos leyes
del lgebra proposicional

1) Leyes del tercio excluido 6) Leyes distributivas

p p V ppF p (q r) (p q) (p r)
p (q r) (p q) (p r)

2) Ley de involucin o doble 7) Leyes de De Morgan

negacin (p q) p q
~ (~ p) p (p q) p q

3) Ley de idempotencia 8) Leyes condicionales

ppp ppp pqpq

4) Leyes conmutativas 9) Leyes bicondicionales

pqqp p q (p q) (q p)
pqqp
pqqp

5) Leyes asociativas 10) Leyes de absorcin

(p q) r p (q r) p (p q) p
(p q) r p (q r) p (p q) p
p ( p q) p q
p ( p q) p q

11) Formas normales para la conjuncin y disyuncin

VVV FFF
pVp pFp
pFF pVV

9
 Las leyes del lgebra proposicional se aplican o utilizan en la validacin de
proposiciones compuestas, es decir, para determinar el valor de verdad de una
proposicin. Adems se utiliza en la simplificacin de proposiciones compuestas.
Ejemplo:
Simplifica la proposicin (p q) (p q) aplicando las leyes del lgebra
proposicional.
(p q) (p q) Ley condicional
(p q) (p q) Ley de doble negacin
p ( q q) Ley distributiva
pV Ley del tercio excluido
p Formas normales

Vdeos de leyes lgicas en You Tube:

1) LEYES LGICAS PARTE (1)
http://www.youtube.com/watch?v=gOK8FsGc15E
2) LEYES LGICAS PARTE (2)
http://www.youtube.com/watch?v=uFj5o7uuWrg
3) SIMPLIFICACIN DE PROPOSICIONES (1)
http://www.youtube.com/watch?v=LPumjaEUy5o
4) SIMPLIFICACIN DE PROPOSICIONES (2)
http://www.youtube.com/watch?v=o8ALhcYMnMw
5) COMO SIMPLIFICAR PROPOSICIONES
https://www.youtube.com/watch?v=Mid7_qEoUt8

ACTIVIDAD DE APRENDIZAJE Nro. 03

Simplifica los siguientes esquemas moleculares aplicando las leyes del lgebra
proposicional:
1) (p q) p
2) (p q) p ( q p)
3) ( p q) ( q p)
4) (p q) p ( q p)

10. LA INFERENCIA LGICA O ARGUMENTO LGICO

Se llama inferencia lgica o argumento lgico a toda condicional de la forma: (p 1 p2
pk ) q donde las proposiciones p1, p2, pk son llamadas premisas, y originan como
consecuencia otra proposicin denotada por q llamada conclusin.
Una inferencia puede ser tautologa, contingencia o contradiccin.
Si la condicional es una tautologa, es decir si es una implicacin entonces recibe el
nombre de argumento vlido o inferencia vlida.
Si la condicional no es una tautologa entonces se denomina falacia o simplemente
argumento no vlido.
Ejemplo:
Vlida el argumento (p q) p
Solucin
Aplicando las leyes del lgebra proposicional
( p q) p .. Ley condicional
(p q) p .. Ley de De Morgan
p .. Ley de absorcin
Vdeo de inferencia lgica en You Tube:
1) https://www.youtube.com/watch?v=OmX1Xg6bnlk
2) https://www.youtube.com/watch?v=-yeA89uLYWk
10
 ACTIVIDAD DE APRENDIZAJE Nro. 04

1) Verifica la validez de los siguientes argumentos aplicando las leyes del lgebra
proposicional y construyendo tablas de verdad:
a) p q b) (p q) r
qp qr
______ ___________
q Pq

2) Valida el siguiente argumento lgico:

La parada militar no se realizar en Huancayo porque Doe Run bloquea la carretera
central
Lo colegios emblemticos amenazan con protestas en contra del gobierno
Doe Run no bloquear la carretera central

Por lo tanto, La parada militar se realizar en Huancayo

3) Valida la siguiente inferencia lgica:

Si el gobierno suspende el estado de emergencia entonces Espinar vuelve a la calma
Los dirigentes de Espinar tienen intereses electoreros
Espinar no vuelve a la calma

Por lo tanto, El gobierno no suspende el estado de emergencia

4) Valida el siguiente argumento lgico:

Si se realiza el estudio tcnico entonces el aeropuerto de Jauja va

No se realiza el estudio tcnico porque los jaujinos protestan
Los jaujinos no protestan
_____________________________________________________________
Por tanto, el aeropuerto de Jauja no va

5) Valida el siguiente argumento lgico:

Si canto bien entonces no gano el concurso

No ganar el concurso porque tengo pocos votos por la red
Cant bien
________________________________________________________
Por tanto, no gan el concurso
6) Valida la siguiente inferencia lgica:

Los ministros no comunican al pueblo sobre las obras del gobierno dado que son
mudos. No es cierto que, los ministros sean mudos porque con frecuencia son
entrevistados en los medios de comunicacin. Por tanto, los ministros no son
mudos.

7) Valida el siguiente argumento lgico:

Si trabajo no puedo estudiar. Estudio o apruebo matemtica. Trabaj. Por lo tanto,

aprob matemtica 11
8) Valida la siguiente inferencia lgica:

Conga no va porque la minera contamina las lagunas. Si la minera no contamina las

lagunas entonces los ros traen agua no contaminada. Los ros traen agua contaminada.

Por lo tanto, Conga va.

9) Valida la siguiente inferencia lgica:

Si gano las elecciones bajar el precio de los combustibles.

Bajar el precio de los combustibles si los electores votan por m.

Los electores no votaron por m.

_____________________________________________________

Por tanto no bajar el precio de los combustibles

12