Lgica de Proposiciones

Qu es una proposicin?
Cules son los conectivos lgicos?
Cmo utilizar las tablas de verdad?
Qu es una tautologa?
Qu es una contradiccin?

La Lgica
Es una ciencia que estudia mtodos o procedimientos que aplican
definiciones y leyes o reglas con el propsito de determinar la validez o
invalidez de las proposiciones. La lgica matemtica es una variedad de la
lgica filosfica.

Se puede decir tambin, que la Lgica es el estudio de la inferencia:

Inferir es extraer la conclusin a partir de sus premisas.
Ejemplo
Si Cipriano quiere a Eloisa entonces le escribir una carta. No le escribi
la carta; por tanto, Cipriano, no quiere a Eloisa

Los objetivos principales de la lgica son esencialmente:

1.

Eliminar las ambigedades propias del lenguaje ordinario.

2.

Dar rigor a aquello que se est estudiando.

En la Lgica existen dos procesos fundamentales:

1. Conceptualizacin: consiste en definir los objetos matemticos
que se van a definir
2. Demostracin: consiste en demostrar rigurosamente aquellas
propiedades, proposiciones o teoremas que se estn estudiando

Proposiciones
Es una 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 piso

En realidad, a qu se refiere?.

El sol es una estrella

Lvalo.

Manuel saco 20 en matemtica

Los problemas de matemtica

Qu hermosos son tus ojos !

son fciles

llover maana?
Haz esto por favor

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)
4)
5)
6)

Fuiste a la manifestacin del sbado?.

El aula A1-205 de la Unimet tiene ms de 50 mts. cuadrados.
x+3

es un entero positivo.

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)

Prof. Nio
2006

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

Prof. Nio
2006

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

Prof. Nio
2006

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

Prof. Nio
2006

(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

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

Prof. Nio
2006

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

Prof. Nio
2006

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

Prof. Nio
2006

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

Prof. Nio
2006

2. La Conjuncin ( p q )
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)

Prof. Nio
2006

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

Prof. Nio
2006

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

Prof. Nio
2006

pq

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

Sean

p: 3 divide a 6

x = 2 o y = -2.

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.

Prof. Nio
2006

Tabla de verdad

Prof. Nio
2006

pq

3.2 Disyuncin Fuerte ( )

O exclusiva vincula dos proposiciones mediante el conectivo
o o .

Ejemplo :

O Juan arregla su cuarto o estudia

O ests sano o ests enfermos.

p
P

q
q

En ambos ejemplos es imposible que simultneamente ocurran ambas

proposiciones.

Tabla de verdad

Prof. Nio
2006

p q

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

Prof. Nio
2006

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

Prof. Nio
2006

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.

Prof. Nio
2006

5Tambin tenemos 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

Prof. Nio
2006

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.

Prof. Nio
2006

La implicacin
es falsa, nicamente,
Tabla
de verdad

cuando el antecedente es
verdadero y el consecuente es falso. En este caso, a pesar de
estar dadas las condiciones, no se cumple la promesa.

Tabla de verdad

Prof. Nio
2006

pq
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.

pq:

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

Prof. Nio
2006

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:

Prof. Nio
2006

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
p si y slo si q

sii.

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.

Prof. Nio
2006

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

Prof. Nio
2006

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

Prof. Nio
2006

p q
F

Evaluacin de los esquemas moleculares mediante

tablas de verdad
Una vez formados los esquemas moleculares se aplican las tablas de
valores para decidir su validez.
La evaluacin comienza con los conectivos de menor jerarqua,
ascendiendo a los de mayor jerarqua, hasta culminar con el conectivo
principal, que es donde va el resultado

Ejemplos

Prof. Nio
2006

Prof. Nio
2006

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

Prof. Nio
2006

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
Cules de estas proposiciones
b) ( p q ) ( p q )
es una tautologa?
c) q (p q)

Prof. Nio
2006

Puedes construir una

contradiccin a partir de alguna de
ellas? Cul?

Formalizacin
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)
b)
c)
d)
e)
f)

La temperatura est sobre los 17C pero llueve.

Ni la temperatura supera los 17C ni llueve.
No es cierto que llueva con la temperatura superior a los 17C.
Llueve cuando la temperatura est sobre los 17C.
Que la temperatura est sobre los 17C es suficiente para que no
llueva.
O bien llueve o bien la temperatura es superior a 17C.

Prof. Nio
2006

Formalizacin
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.
Prof. Nio
2006

Tarea
De la seccin 2.1, realiza los ejercicios:
a) Ej. 6: determinar veracidad de implicaciones;
b) Ej. 14: practicar con los conectivos;
c) Ej. 19: determinar veracidad, descartando casos.

Prof. Nio
2006