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

2. Demostracin: consiste en demostrar rigurosamente aquellas

propiedades, proposiciones o teoremas que se estn estudiando
Proposiciones
Es una expresin lingstica, libre de NO SON PROPOSICIONES
ambigedades ,que tiene la propiedad de ser
Pare inmediatamente!
verdadera o falsa pero nunca ambas
simultneamente. 15 y 18 tienen la
Por ejemplo misma
SON PROPOSICIONES
cantidad de divisores?.
El 2 es un nmero primo.
En realidad, a qu se
25 es divisible entre 3 .
refiere?.
6 + 5 = 10 .
El aula A1-205 est en el 2do piso Lvalo.
El sol es una estrella Qu hermosos son tus
Manuel saco 20 en matemtica ojos !
Los problemas de matemtica
llover maana?
son fciles
Haz esto por favor
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

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
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 ( 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)
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
 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 Juan arregla su cuarto o estudia p q

O ests sano o ests enfermo. P q

p q p q
En ambos ejemplos es imposible que simultneamente ocurran
ambas V V F
proposiciones. V F V
Tabla de verdad 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
 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
 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 verdad
La implicacin es falsa, nicamente, 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
p q pq
V V V
V F F
F V V
F F V
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
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
Prof. Nio
2006