LOGICA

Sntesis elaborada por

Dr. Adm. Isac Fernando
Espinoza Montes
Especialista en gestin estratgica y prospectiva, gestin por
procesos
Docente Principal de la FCA UNCP
Investigador DINA, REGINA
Docente de doctorado y maestra en universidades peruanas
Lgica de Proposiciones
 La Lgica

Ejemplo

Si Juan quiere a Ana, entonces le escribir una carta. No le escribi la

carta; por tanto, Juan, no quiere a Ana
Los objetivos principales de la lgica son esencialmente:
En la Lgica existen dos procesos fundamentales:
Proposiciones
Expresin lingstica, libre de ambigedades ,que tiene la propiedad de
ser verdadera o falsa pero nunca ambas simultneamente.

Por ejemplo
SON PROPOSICIONES NO SON PROPOSICIONES
El 2 es un nmero primo. Pare inmediatamente!
25 es divisible entre 3 . 15 y 18 tienen la misma
6 + 5 = 10 . cantidad de divisores?.
El aula A1-205 est en el 2do En realidad, a qu se refiere?.
piso Lvalo.
El sol es una estrella Qu hermosos son tus ojos !
Manuel saco 20 en llover maana?
matemtica Haz esto por favor
Los problemas de matemtica
son fciles En el Per se ha llegado a niveles de
corrupcin de alta nocividad social;
Resuelva proposiciones
Cules de los siguientes enunciados son proposiciones?

(Explica por qu lo son o no lo son)

1) El trabajo en grupo es lo ms fcil que existe.

2) 2 es divisor de 15.

3) Fuiste a la manifestacin del sbado?.

4) El aula A1-205 de la Unimet tiene ms de 50 mts. cuadrados.

5) x + 3 es un entero positivo.

6) Tranquilcese.

Respuestas: Slo son proposiciones los

enunciados dados en 2 y 4
Valor de verdad

Toda proposicin se califica como verdadera (V) o falsa (F).

Ejemplos:

La tierra es un satlite (F)

El conjunto unitario tiene un solo elemento (V)
9 es cuadrado perfecto (V)
3 es mltiplo de 5 (F)
 Variable Proposicional
Es la representacin de las proposiciones por medio de letras
minsculas: p, q, r, s, etc.. Lo que simplifica las operaciones;

p: El aula A1-204 est en el 2do piso

q: El aula A1-204 es iluminada

r: El 5 es un entero par

s: La Tierra es el nico planeta con vida en el universo

t: El aula A1-204 no est iluminada

u: Un decenio tiene 10 aos

Enunciado abierto

Llamado tambin funcin proposicional, es toda expresin que se

refiere a nmeros; esta conformado por constantes y variables.

Goza de la propiedad de transformarse en proposicin al sustituir

la variable o variables por constantes.

Ejemplos:

Enunciado abierto

Proposicin para (V)

Enunciado abierto

Proposicin para (F)

Adems todo enunciado abierto se transforma en una
proposicin anteponindole para todo o Existe los
que son llamados cuantificadores

Ejemplos:

Enunciado abierto

Proposicin
(V)

Enunciado abierto

Proposicin
(F)
Clases de proposiciones
1) Simple Llamadas tambin atnica, o elementales, son remplazadas,
por una sola variable proposicional

Ejemplos:
El ro Rmac es llamado El Hablador p

La tierra es un planeta del sistema solar

2) Compuesta : Llamadas tambin moleculares, son aquellas que niegan

a las proposiciones simples o combinan dos o ms proposiciones simples
conectadas por partculas o conectivos lgicos.

Ejemplos
Las gallinas no tienen cuatro patas. No p

Juan es mdico y psiclogo q y r

Conectivos lgicos u operadores
proposicionales:
Llamados tambin operadores, signos de enlace, conectores,
etc. Son usados en las operaciones lgicas.

Los mas importantes son: la negacin, conjuncin, disyuncin

( fuerte dbil) condicional y bicondicial.

1. Negacin ( ) Puede afectar a una sola proposicin o a un

conjunto de ellas. Puede ser:

1.1 Simple : Usa la partcula: No, jams, nunca, ni sub, infra, des, etc.
Cambia el valor de verdad de una proposicin simple.

Ejemplos:

El Rmac NO es llamado El Hablador

La tierra NO es un planeta del sistema solar

1.2 compuesta
Usa no es cierto que, no es el caso que , es falso que, , no
es verdad que, es imposible que, no es que, etc. Niega al
operador mas no a la variable proposicional.

Ejemplo

Es imposible que Juan ni estudie ni trabaje

No es el caso que franco escriba o juegue

El General de San Martin no naci en el Per.

No es cierto que la pizarra sea blanca y el plumn sea negro

Ejemplo

p: Nuestro saln est en el 2do piso.

p : Nuestro saln no est en el 2do piso.

p : No es cierto que nuestro saln est en el 2do piso.

Si p es verdadera entonces p es falsa. En cambio, si p es

falsa, p es verdadera.

La tabla de verdad
p p
V F
F V
Notacin
Las proposiciones se combinan mediante conectivos,

por ejemplo, y, o, pero, si ... entonces

Ejemplo

p: El aula A1-204 est en el 2do piso;

q: El aula A1-204 es iluminada.

pueden combinarse como:

El aula A1-204 est iluminada y est en el 2do piso

Si el aula A1-204 est iluminada entonces se encuentra en el

2do piso
Conectivos

La proposicin resultante de conectar dos ms

proposiciones se denomina proposicin compuesta.

Ejemplo

r : El aula A1-205 est en el 2do piso pero es iluminada

r es la proposicin compuesta p y q

s: Si el aula A1-204 est iluminada entonces se encuentra en

el 2do piso

s es la proposicin compuesta Si q entonces p

2. La Conjuncin (pq)
Vincula (coordina) proposiciones referidas a un mismo sujeto o a sujetos
diferentes mediante el conectivo y la conjuncin de p y q es la proposicin
p y q que se denota por p q.
La conjuncin es verdadera, nicamente cuando ambas proposiciones que la
componen son verdaderas.

Ejemplo:

Juan es mdico y deportista

Paco y Ronald son maestros

Sea p: 2 divide a 68

q: 2 divide a 25.

p q : 2 es divisor de 68 y de 25.

Valor de verdad: p q es falsa

Obs. 1 Para que una conjuncin tenga sentido debe
cumplirse con las siguientes requisitos.

Que se puedan separar las proposiciones

Que se puedan conmutar las proposiciones

Que tenga el mismo contexto

Ejemplo
No son proposiciones conjuntivas

Juan y Mara son paisanos (no se pueden separar)

Paco tom arsnico y muri ( no se pueden conmutar)

La ex reina de belleza tomo somnferos y muri (no se puede
conmutar)
Obs. 2 En el lenguaje coloquial se emplea como sinnimo
de y las expresiones sino, adems, mas, pero, no
obstante, empero, tambin, a la vez, aun cuando, sin
embargo, aunque, a pesar de, etc.

Ejemplo:
Juan tiene diez aos tambin Elizabeth

Benito perdi tanto dinero como Vctor.

16 es mltiplo de 3, pero 5 es mayor que 3.

Fernando Belaunde fue un poltico pero honesto

A la vez sale el sol aun cuando llueve

 Obs : 3 En algunos casos la conjuncin est sobre
entendida; es tcita

Ejemplo:
Algunos han sido grandes otros han conseguido la grandeza
a otros les ha sido impuesta.

Obs : 4 Una Coma puede hacer, tambin una conjuncin.

Ejemplo:

En el anterior coloque las comas en el lugar apropiado.

 Mara y Juan son novios.
Tengo papel, pero no lpiz.
Iremos a la playa si no llueve.

Tabla de Verdad

p q pq
V V V
V F F
F V F
F F F
3. LA DISYUNCIN (pq)
3.1 Disyuncin Dbil () O inclusiva vincula dos o mas
proposiciones mediante el conectivo o

Ejemplo:
La solucin de (x2).(y+2) = 0 es x = 2 o y = -2.

Sean p: 3 divide a 6 q: 3 divide a 7

p q : 3 divide a 6 a 7

Valor de verdad: p q es verdadera.

Juan arregla su cuarto o Roco baila.

La historia describe o explica

La disyuncin es falsa, nicamente, cuando ambas

proposiciones son falsas.
Tabla de verdad

p q pq
V V V
V F V
F V V
F F F
 3.2 Disyuncin Fuerte ( )
O exclusiva vincula dos proposiciones mediante el
conectivo o o .
Ejemplo :
O Juan arregla su cuarto o estudia p q
O ests sano o ests enfermos. P q

En ambos ejemplos es imposible que simultneamente

ocurran ambas
proposiciones.
p q p q
Tabla de verdad
V V F
V F V
F V V
F F F
4. LA CONDICIONAL ( p q )
Establece una relacin de dependencia entre las proposiciones
que se vinculan mediante el conectivo Si entonces

pq

Hiptesis Tesis

Antecedente Consecuente

Premisa Conclusin

Ejemplo:
Si estudio entonces apruebo. pq

Como baile mucho, me canse pq

En el lenguaje coloquial son sinnimos del
condicional las palabras:

Siempre que p, q
Dado que p , q
p por lo tanto q
p es suficiente para q
p luego q
p implica q
P se concluye q
P en consecuencia q
p as que q
Si p, q
p slo si q
q es necesaria para p
q se deduce de p
Ejemplo:
p: Los polvos de jardn contienen veneno
q: Los polvos de jardn son de colores brillantes.

La proposicin p q puede estar expresada como:

Si los polvos de jardn contienen veneno entonces son de

colores brillantes;

Los polvos de jardn contienen veneno slo si son de colores

brillantes;

Son necesarios los colores brillantes para los polvos de jardn

que contienen veneno;

Los polvos de jardn son de colores brillantes si contienen

veneno.
 Tambin hay proposiciones donde el orden no es normal, es decir la
proposicin condicional est invertida y por lo tanto hay necesidad de
ordenarla.

Ejemplo:
Apruebo el curso si estudio

Ordenando

Si estudio el curso entonces apruebo el curso

Me canse pues bail mucho

Ordenando

Bail mucho, entonces me canse

 En este caso

p ya que q

p pues q

Tienen sinnimos en el lenguaje coloquial dado que, puesto

que habida cuenta que, siempre que, debido a que,
porque , etc.

Si p entonces q es verdadera, cada vez que la condicin p

es verdadera obliga a que la condicin q tambin sea verdadera.

Es decir, con el cumplimiento de p, se promete el cumplimiento

de q.
Tabla de es falsa, nicamente, cuando el antecedente es
La implicacin
verdadero y el consecuente es falso. En este caso, a pesar de
verdad
estar dadas las condiciones, no se cumple la promesa.

Tabla de verdad

p q pq
V V V
V F F
F V V
F F V
Ejemplo:
p: La respuesta automtica se puede enviar.

q: El sistema de archivos est lleno.

p q :

Si la respuesta automtica no se puede enviar, el archivo est lleno.

q p :

La respuesta automtica no se puede enviar cuando el archivo est

lleno.

q p :

La respuesta automtica no se puede enviar si el archivo est lleno.

p q:

Si la respuesta automtica se puede enviar, el archivo no est lleno.

Ejercicio
Si x = 1, cul es el valor de la variable x despus de ejecutarse
cada una de las siguientes instrucciones?

a) If 2 + 2 = 4 then x:=x + 1

b) If (1+1=3) or (2+2=3) then x:=x + 1

c) If (2+3=5) and (4+3=7) then x:=x + 1

d) If x<3 then x:=x + 1

x = ??

Respuesta:
a) x = 2 c) x = 2
b) x = 1 d) x = 2
5. La Bicondicional ( p q)
Establece una relacin de doble dependencia entre las
proposiciones por

lo mismo ellas deben poder conmutarse. Se vinculan mediante

el conectivo si y solo si

Es verdadera cuando p y q tienen los mismos valores de

verdad,

es decir, es verdadera si ambas componentes son verdaderas o

ambas son falsas.

Ejemplo
Puedes titularte si y solo si ests expedito

N es par si y solo si es , mltiplo de dos.

Tambin puede utilizarse cuando y solo cuando . entonces y slo
entonces, es una condicin necesaria y suficiente, es una
condicin necesaria y suficiente.

Una manera de abreviar si y slo si es sii.

p si y slo si q se puede expresar como

p es condicin necesaria y suficiente para q.

Ejemplo
p : 24 es un nmero par.

q : 24 es divisible por 2.

p q : 24 es un nmero par si y slo si 24 es divisible entre 2.

La naranja es agradable cuando y slo cuando est madura.

Decimos bicondicional porque el signo puede ser

descompuesto en dos signos condicionales

En el ejemplo Si la naranja es agradable, entonces est

madura y Si la naranja est madura entonces es agradable
Tabla de verdad

p q p q
V V V
V F F
F V F
F F V
6. La Binegacin
Que vincula a dos proposiciones mediante no y no .

Ni ni ,

Ejemplo:

No ingrese a la UNI y no postule a la UNSA

Ni Alianza es campen ni Per va al mundial.

Tabla de verdad p q p q
V V F
V F F
F V F
F F V
Tautologa y contradiccin
Una tautologa es una proposicin compuesta que
es verdadera para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p p
Soy un hombre o no soy un hombre

Una contradiccin es una proposicin compuesta

que
es falsa para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p p
Soy un hombre pero no soy un hombre
Ejercicios
1) Halla los valores de verdad de las proposiciones si sabes que
p q es falsa.
a) p q b) q p c) p p d) p q
Piensa un rato y justifica tus respuestas

2) Halla los valores de verdad de p, q, r, s, t para que

(pq)r (st) sea falsa

3) Construye una tabla de verdad para cada una de las

proposiciones
a) ( p q ) q
b) ( p q ) ( p q ) Cules de estas proposiciones
c) q (p q) es una tautologa?
Puedes construir una
contradiccin a partir de alguna de
ellas? Cul?
Formalizaci
n
La formalizacin es el proceso en el que se traducen
proposiciones del lenguaje cotidiano al lenguaje
formal o simblico.

4) Expresa las siguientes proposiciones usando p, q y los conectivos.

Sean p: La temperatura est sobre los 17C
q: Llueve

a) La temperatura est sobre los 17C pero llueve.

b) Ni la temperatura supera los 17C ni llueve.
c) No es cierto que llueva con la temperatura superior a los 17C.
d) Llueve cuando la temperatura est sobre los 17C.
e) Que la temperatura est sobre los 17C es suficiente para que
no llueva.
f) O bien llueve o bien la temperatura es superior a 17C.
Formalizaci
n
5) Sean p: El mensaje es revisado para buscar algn virus
q: El mensaje fue enviado desde un sistema desconocido

Expresa las siguientes proposiciones usando p, q y los

conectivos.

a) El mensaje se revisa para buscar algn virus siempre que se

haya enviado desde un sistema desconocido.

b) El mensaje fue enviado desde un sistema desconocido pero

no revis para buscar ningn virus.

c) Cuando el mensaje no es enviado desde un sistema

desconocido no se revisa para buscar ningn virus.

d) El mensaje fue enviado desde un sistema desconocido pero

no se reviso para buscar ningn virus.
Tarea

a) Elabora preposiciones y determinar su veracidad

de implicaciones;
b) Practicar con los conectivos;