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

Eliminar las ambigedades propias del lenguaje ordinario. 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. 25 es divisible entre 3 . 6 + 5 = 10 . El aula A1-205 est en el 2do piso El sol es una estrella Manuel saco 20 en matemtica Los problemas de matemtica son fciles

Pare inmediatamente! 15 y 18 tienen la misma cantidad de divisores?. En realidad, a qu se refiere?.

Lvalo.
Qu hermosos son tus ojos ! llover maana? Haz esto por favor

Proposiciones
Cules de los siguientes enunciados son proposiciones? (Explica por qu lo son o no lo son)

1) 2) 3) 4) 5) 6)

El trabajo en grupo es lo ms fcil que existe. 2 es divisor de 15. 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

9 es cuadrado perfecto 3 es mltiplo de 5

(V)
(V) (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 Enunciado abierto Proposicin para (F) para (V)

Prof. Nio 2006

Adems todo enunciado abierto se transforma en una proposicin

anteponindole para todo cuantificadores o Existe los que son llamados

Ejemplos: Enunciado abierto Proposicin Enunciado abierto Proposicin (F) (V)

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

Ejemplos
Las gallinas no tienen cuatro patas. Juan es mdico y psiclogo No p 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 :
p :

Nuestro saln no est en el 2do piso.

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 V p F

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 proposicin p y q que se denota por p q. p y q es la

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
tcita

En algunos casos la conjuncin est sobre entendida; es

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

Obs : 4
Ejemplo:

Una Coma puede hacer, tambin una conjuncin.

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

pq

V V F
F

V F V
F

V F F
F

3. LA DISYUNCIN

(pq)
O inclusiva vincula dos o mas

3.1 Disyuncin Dbil ()

Ejemplo:

proposiciones mediante el conectivo o

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.

Tabla de verdad

p V V F F

q V F V F

pq V V V F

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

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.

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.

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

F
F

V
F

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

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

a)
b) c)

If 2 + 2 = 4 then x:=x + 1
If (1+1=3) or (2+2=3) then x:=x + 1 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 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.

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

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

V
V F F

V
F V F

F
F F V

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

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?

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.

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.

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.