Lgica

Las personas, en su vida diaria, se comunican con sus semejantes a travs de

un lenguaje determinado (oral, escrito, etc.) por medio de las denominadas frases,
oraciones, etc. Estas pueden tener diferentes significados pero siempre podemos
resumirlas a las formas de verdaderas o falsas.

Def: Proposicin
La proposicin o aseveracin es una idea, enunciado, conjunto de palabras o
letras a las que se les puede asignar uno y slo uno de los valores de verdad, que
pueden ser:
VERDADERO (V) o FALSO (F)
Por lo general, a las proposiciones se las representa por las letras del alfabeto
desde la letra p, es decir, p, q, r, s, t, ... etc. As, por ejemplo, podemos citar las
siguientes proposiciones y su valor de verdad:
p: 15 + 5 = 21
q: Soy estudiante de Ingeniera.
r: El nmero 15 es divisible por 3.
s: 8 es factor de 2.
p, r y s son proposiciones falsas, en cambio q ser verdadera para un alumno de este
curso.

Otros ejemplos de proposiciones;



}




Expresiones que no son Proposiciones
Son aquellos enunciados a los que no se les puede asignar un valor de verdad.
Entre ellos tenemos a los exclamativos, interrogativos o imperativos.
As tenemos, por ejemplo:
En que universidad estudias?
Prohibido entrar
Asiste a clases
Goooooool!!!!

Clasificacin de las Proposiciones
Aquellas proposiciones que constan o se les puede representar por una sola
variable, se llaman proposiciones simple. Por ejemplo, sea la proposicin
"p: (3 + 6)
0
= 1 " es una proposicin simple.
Cuando una proposicin consta de dos o ms enunciados simples, se le llama
proposicin compuesta.
As, por ejemplo:
Entiendo si estudio
En esta frase encontramos dos afirmaciones. La primera (p) nos afirma que yo entiendo
y la segunda (q) que yo estudio.




Notacin y Conectivos Lgicos
A partir de proposiciones simples es posible generar otras, simples o compuestas. Es
decir que se puede operar con proposiciones, y para ello se utilizan ciertos smbolos
llamados conectivos lgicos. A continuacin vemos una concreta definicin de cada
uno:
Smbol
o
Operacin asociada Proposicin Significado
Negacin o no p o no es cierto que p
Conjuncin p y q
Disyuncin p o q (en sentido incluyente)
Disyuncin exclusiva O p, o q
condicional si p entonces q
Bicondicional p si y slo si q

Tablas de verdad:
Para una proposicin simple podemos considerar dos posibles valores de verdad para
esta proposicin o es verdadera o es falsa, de aqu la tabla de verdad ms simple:
p
V
F
1. Negacin:
Ejemplo1.

La negacin de p se denota



}

Obs1: Las proposiciones de la forma p, q, r, son proposiciones afirmativas.
es una proposicin negativa.

Obs2: si p es una proposicin verdadera, es una proposicin falsa y viceversa.

Tabla de verdad.
p ( )
V F
F V

Ejemplo 2:
El perro se llama Cachupn
: El perro no se llama Cachupn.

Ejemplo para discusin:
Dada la proposicin : Ana tiene el pelo negro.
He visto a alumnos decir que es Ana tiene el pelo rubio
Es realmente esta, una posible negacin de p?

La verdad, esta no puede ser la negacin, daremos un ejemplo para mostrarlo:
Si Ana es colorina, p es falsa y este Ana es rubia tambin lo sera, lo que no puede
ocurrir ya que si es falsa p debe ser verdadera.
Sugiero que nieguen usando no..
Lo correcto para Ana no tiene el pelo negro.

Observaciones:
a) Al negar una proposicin verbal es conveniente procurar la mejor construccin
considerando el significado de la proposicin
b) La negacin de la negacin de una proposicin dada es la proposicin original.
c) La negacin de una proposicin compuesta generalmente se escribe no es
verdad que; o no es cierto que;

2. Conjuncin
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la
proposicin p q (se lee "p y q"), cuya tabla de verdad es:
Complete, piense cuando ser verdadero p y q.
p q
V V
V F
F V
F F
Obs: Una proposicin de este tipo ser verdadera cuando ambas sean verdaderas, en
todos los otros casos ser falsa.

Ejemplo:
La proposicin compuesta Juan y Carolina cantan bien puede formalizarse por "Juan
canta bien" y Carolina canta bien
Donde p: Juan canta bien, q: Carolina canta bien.
Juan y Carolina cantan bien

Ahora bien, veamos esta proposicin:
Soy estudiante y tengo 151 aos
Esta conjuncin es falsa, ya que no pueden ser simultneamente verdaderas ambas
proposiciones.

Negacin de p y q:
( ) o
Es equivalente a decir , o
Ejercicio: Se sugiere hacer la tabla de verdad de
La negacin del ejemplo anterior ser Juan no canta bien o Carolina no canta bien,
Puedo decirlo para que suene mejor, Juan canta mal o es Carolina la que canta mal.

3. Disyuncin
Dadas dos proposiciones p y q, la disyuncin de estas proposiciones se lee p q se
escribe simblicamente y cuya tabla de valor de verdad es:
Complete, piense cuando ser verdadero p o q.
p q
V V
V F
F V
F F
Obs: La diferencia ms notable entre el castellano y su formalizacin es que
habitualmente la disyuncin en castellano tiene sentido exclusivo, es decir, si afirmamos
p o q, no pueden ambas oraciones p y q ser verdaderas. En el lenguaje Lgico,
ser verdadera cuando una o ambas oraciones lo son.

Ejemplos 1
Escriba en lenguaje simblico la siguiente proposicin compuesta, determinando las
proposiciones simples que la componen:
Me comer un sndwich o me tomar una bebida en la tarde.
Respuesta:
p: me comer un sndwich en la tarde.
q: me tomar una bebida en la tarde.
Me comer un sndwich o me tomar una bebida en la tarde.

Negacin de p q:
( ) o
Es equivalente a decir , o
Ejercicio: Se sugiere hacer la tabla de verdad de
La negacin del ejemplo 1 ser no me comer un sndwich y no me tomar una
bebida esta tarde

4. La Disyuncin exclusiva:
La oracin representa la disyuncin exclusiva que usamos habitualmente en
castellano ya que tiene sentido exclusivo, es decir, si afirmamos p o q, no pueden
ambas oraciones p y q ser verdaderas.
Ser verdadera cuando slo una de las proposiciones sea verdadera.
Complete, piense cuando ser verdadero o p o q.
p q
V V
V F
F V
F F
Obs: La disyuncin exclusiva ser verdadera solo cuando una de ellas es verdadera.

Ejemplos:
O paso el ao nuevo en casa con la familia o me voy a carretear con mis amigos.
En lenguaje simblico:
p: Paso el ao nuevo en casa con la familia.
q: me voy a carretear con mis amigos.

Negacin de o p o q:
( )
Es equivalente a decir ( )
Veremos este conectivo en el 5. Bicondicional o equivalencia.

5. La Implicacin:
La oracin p q se llama la implicacin entre p y q. Intenta representar el conectivo
castellano; si, entonces, " Sin embargo, hay diferencias importantes entre ambos.
Este conectivo lo usamos en su sentido "material", esto es, la verdad o falsedad de
p q depende exclusivamente de la verdad o falsedad de p y de q y de ninguna otra
consideracin.
Podemos tener en lgica proposiciones validas, que en castellano no tendrn ningn
sentido.
Complete, piense cuando ser verdadero si p entonces q, luego analice los problemas
siguientes y verifique que est correcto
p q
V V
V F
F V
F F
Ejemplos:
Escriba en lenguaje simblico la siguiente proposicin compuesta, determinando las
proposiciones simples que la componen:
Si hoy doy la prueba de lgebra, entonces saldr a dar una vuelta.
p: Hoy doy la prueba de lgebra.
q: Saldr a dar una vuelta.
q p

Analicemos cuando esto ser falso y cundo ser verdadero:
Si hoy doy la prueba de lgebra y me quedo en casa ment, esto no tiene discusin.
Qu pasa si doy la prueba y salgo, habr dicho la verdad?
Qu pasa si no la doy y me quedo en casa?
Qu pasa si no la doy e igual voy a dar una vuelta, ser verdadero o falso lo que dige?

Obs: En la proposicin , p se llama antecedente y q se llama consecuente.
, es falso solo cuando p es verdadera y q es falso.

Ejemplo 2:
Escriba en lenguaje simblico la siguiente proposicin compuesta, determinando las
proposiciones simples que la componen:
Si Raquel se casa hoy entonces Claudia llegar tarde al trabajo
p: Raquel se casa hoy
q: Claudia llegar tarde al trabajo
trabajo al tarde llegar Claudia entonces hoy casa se Raquel Si : q p
Analice cul es el valor de verdad de esta proposicin en todos los casos al igual que el
ejemplo anterior.

Ejemplo 3:
Escriba en lenguaje simblico la siguiente proposicin compuesta, determinando las
proposiciones simples que la componen:
Si 2 + 2 = 5, entonces el cielo es azul
r: 2 + 2 = 5
s: el cielo es azul
azul es cielo el entonces 5, 2 2 Si : = + s r
Analice cul es el valor de verdad de esta proposicin en todos los casos al igual que el ejemplo
anterior.

Negacin de p implica q:
( ) o
Es equivalente a decir , o
Si ( ) es falso, ser verdadera.
Para terminar debemos decir que es equivalente a la proposicin
En otras palabras si yo quiero probar que es verdadera vasta probar que
es verdadera.
Si quiero probar que es falsa pruebo que su negacin o sea es
verdadera.
Ejemplo:
si a Jorge le va bien en la prueba invitar a Juan a celebrar.
Esto ser falso solo si a Jorge le fue bien y no invit a Juan a celebrar ( )

6. El Bicondicional o equivalencia:
La oracin p q se llama la equivalencia entre p y q. Representa al conectivo
castellano si y solamente si.
P es equivalente con q.
Complete la tabla siguiente
p q
V V
V F
F V
F F
Obs: El valor de verdad de esto depender de si ambos tienen el mismo valor de
verdad o no.
es equivalente a decir ( ) ( )
Ejemplos:

Negacin de p equivalente a q:
( ) o
Es equivalente a decir ( ) ( )

Tautologas () y contradicciones (#, )
Una tautologa es una proposicin compuesta, que no importando los valores de
verdad de las proposiciones que la componen, es siempre verdadera.
La denotaremos por

Una contradiccin es una proposicin compuesta, que no importando los valores de
verdad de las proposiciones que la componen, es siempre falsa.
La denotaremos por
Ejercicio: Determine de qu tipo son las siguientes proposiciones:

Para ello complete las tablas de verdad de cada una de ellas.

Otro elemento importante en este lenguaje son los Parntesis ( ), ya que estos nos
ayudan a dar el significado correcto a algunas proposiciones compuestas.

Ejercicios1.
Los resultados se enviarn el da mircoles:
1 Determine cules de las siguientes frases son proposiciones.
( Marque con un asterisco las que lo son.)
a) Nuestro amigo caminando se alej. ______
b) Si a 3 le resto 16 me da -13. ______
c) Debo buscar el mnimo comn mltiplo. ______
d) Muvete a mi lado. ______
e) El nmero 3 es primo? ______
f) Primos o compuestos. ______
g) Tienes goma? ______
h) Eres lo mximo. ______
i) La profesora es lo mximo. ______
j) Los nmeros naturales se dividen en nmeros
Primos, compuestos y el 1. ______
2 Escriba en lenguaje simblico las siguientes proposiciones, definiendo las
proposiciones simples que la componen.
a) El 7 es primo por consiguiente, tiene solo dos divisores.
b) Tu nota es roja, aunque la ma no es roja.
c) Luis juega con su perro, Luca con nmeros.
d) No es cierto que: a Mara no le gusta Pedro o a Pedro le gusta macarena.
e) Si tu me molestas, te invitar a comer.
f) No es cierto que a Pamela se le cay un vaso, fue a Mara.
3 Considerando las siguientes proposiciones:
i) p: Los nmeros reales no se pueden contar.
ii) q: 3 + 7 = 10
iii) r: Entre los nmeros 1 y 2 hay infinitos nmeros.
iv) s: Todos los peces viven en el mar.
Escribir en palabras las siguientes proposiciones compuestas y diga el valor veritativo
de cada una de ellas.
p r v , r q v , r s . , ( ) p q r . v , p q , p p .
4 Escriba en lenguaje simblico las siguientes proposiciones, definiendo las
proposiciones simples que la componen.
a) Yo no pinto. Si pinto, me duele el estmago.
b) No llueve o si llueve entonces no me alegro.
c) No es cierto que; si almuerzo, no tomar helado. Tomar helado, si no
tomo helado entonces beber una sprite.
5 Sabiendo que p es una proposicin verdadera y q es proposicin falsa encuentre
el valor de verdad de la siguiente proposicin.

( ) ( )
| | p q p q p v .
6 Construya las tablas de verdad de las siguientes proposiciones.
Determine si son tautologa, contradiccin o contingencia.
a) ( ) p q p . b) ( ) q p q p v
7 Diga si las siguientes proposiciones son verdaderas o falsas, justifique
transformando a lenguaje simblico.
a) La negacin de la proposicin p : Ana es blanca, es p : Ana es negra.
b) Si sale el sol, me pongo short, es equivalente a decir, si no me pongo
short, es porque el sol no sali.
8 Dadas las siguientes proposiciones, encuentre el valor de cada una de las
proposiciones que la componen.
a)
( )
p q . es verdadera. p: q:
b)
( )
p q es falsa. p: q:
9 Dados log tauto ia t = y contradiccin o =
a) Dado
( ) r q p v
es una proposicin falsa, determine el valor de verdad
de la siguiente proposicin.
( ) | | ( ) | | { } s r q p r q p . v v v
b) Sabiendo que p es una proposicin verdadera y q es proposicin falsa
encuentre el valor de verdad de la siguiente proposicin.

( ) ( )
| | p q p q p v .
c) Dado que ( ) s q p . es falso, determine el valor de verdad de la
proposicin:
( ) ( ) ( ) ( ) { }
( ) { }
p q s p p s t q o t ( v . v . .


10 Escriba en lenguaje simblico las siguientes proposiciones, sabiendo que:
p: ella es rubia.
q: ella es elegante
No es cierto que ella sea rubia o elegante.
Ella es rubia, o ella es elegante y no es rubia.
Obs: Se requiere uso de parntesis para dar el sentido correcto

11 Niegue las proposiciones anteriores usando lenguaje simblico y luego traduzca
a lenguaje formal.

12 Exprese en lenguaje simblico las siguientes frases
Hoy es lunes y Mara tiene fro
Maana voy a ir al cine o al teatro.
Si maana no voy al cine, comer papas fritas.

13 Escriba la negacin de cada una de las afirmaciones anteriores en castellano.
(Use la estrategia usada en la 2)

14 Determine el valor de verdad de las proposiciones siguientes:

a) Si 2 + 2 = 5, entonces, 3 + 3 = 6.
b) Es falso que 1 + 1 = 3 2 + 1 = 3.
c) ( 2 < 1 v 2 > 0 ) entonces 2 es impar.
d) Si 2 > 1, entonces, 2 es impar y 3 > 1.
Funcin proposicional.
Una funcin proposicional p es un enunciado en trminos de uno o ms parmetros
(x,y, etc.) que satisface lo siguiente: cada vez que el parmetro o los parmetros se remplazan
por valores especficos, p se transforma en una proposicin.

Ejemplos:
Como se observa a continuacin, r(x), q(x), p(x) son funciones proposicionales, que al
remplazar por valores especficos se obtienen proposiciones:
i) r(x) =
2
2
4
x
x

>
+
.
Si se remplaza por r(-8)=
8 2 10 5
2
8 4 4 2

= = >
+
es verdadera mientras que para
r(1)=
1 2 1 1
2
1 4 5 5

= = <
+
es falsa.

ii) q(x) = x 5 0. Observar que q(2) es verdadera, pero q(6) es falsa.

iii) p(x) = x es un jugador de ftbol. Notar que p(Marcelo Salas) es verdadera mientras que
p(Nicols Massu) es falsa.

A partir de funciones proposicionales es posible obtener proposiciones mediante un
proceso llamado cuantificacin.

Cuantificadores
Consideremos una funcin proposicional p(x) donde { }
1 2
, ,... x U x x e = . Al remplazar x
por un elemento
i
x obtendremos una proposicin p(x) que podr ser verdadera o falsa.

Cuanticador universal (Se denota y significa para todo)
La proposicin ( x) p(x), que se lee para todo x p(x), es verdadera siempre y cuando
p(x) sea verdadera para cualquier valor que se remplace en x.

Ejemplos:
2
) / 2
4
x
i x
x

e >
+

es falsa pues para

8 2 6
8 2
8 4 12
x se tiene

= e = <
+

2
) / 9 2 ii x x e + > es verdadera porque se tiene una inecuacin cuadrtica que se cumple
para todo nmero .

Cuanticador existencial (Se denota y significa existe)
La proposicin ( x) p(x), que se lee existe x, tal que p(x), es verdadera cuando se
puede encontrar por lo menos un valor que hace p(x) verdadero.

Ejemplos:
2
) / 2
4
x
i x
x

- e >
+

es verdadera pues para 5 x = e

5 2 7
7 2
5 4 1
se tiene

= = >
+

3
) / 1 1 3 ii n n n n - e s . + >

es falsa porque no existe ningn n que cumpla con ambas
condiciones. Contraejemplo: Para 1 n = e no se cumple

3
1 3 n n + > , ya que
3
1 1 3 + <


Existencia y unicidad (Se denota ! y significa existe un nico)
La proposicin ( ! x)p(x), que se lee existe un nico x tal que p(x), es verdadera
cuando hay exactamente un valor que hace verdadero p(x).

Ejemplos:
2
) ! / 2
4
x
i x
x

- e >
+
es falsa porque no existe ningn nmero natural que cumpla con la
proposicin.
5
) ! / 8
4
x
ii x x
+
- e = es verdadera, ya que es una ecuacin de primer grado con solucin
nica.

Negacin de cuantificadores.
a) La negacin de x p(x): Para todo x se satisface p(x) es:
[x p(x)] NO es cierto que todo x verifique p(x)
Algn x satisface p(x)
-x p(x)

As: [x p(x)] -x p(x)

Ejemplos:
2 2 2
) / 2 / 2 / 2
4 4 4
x x x
i x x x
x x x
| | | | | | | |
e > - e > - e s
| | | |
+ + +
\ . \ . \ . \ .


( ) ( ) ( ) ( ) ( )
2 2 2
) / 9 2 / 9 2 / 9 2 ii x x x x x x e + > - e + > - e + s

b) La negacin de -x p(x): Existe x que satisface p(x) es:
[-x p(x)] No es cierto que exista x, que verifique p(x)
Ningn x satisface p(x)
Todo x satisface p(x)
x p(x)
As: [-x p(x)] x p(x)

Ejemplos:
2 2 2
) / 2 / 2 / 2
4 4 4
x x x
i x x x
x x x
| | | | | |
- e > e > e s
| | |
+ + +
\ . \ . \ .


Contraejemplo.
Para demostrar que un enunciado , ( ) x p x es falso, da lo mismo demostrar que , ( ) x p x - es
verdadero, esto es, que existe un elemento
0
x tal que
0
( ) p x es falso. El elemento
0
x se dice un
contraejemplo del enunciado , ( ) x p x .
Ejemplos:
i) Sea la proposicin: , 0 x x = . El enunciado es falso porque el nmero 0 es un
contraejemplo, es decir, 0 0 = no es verdadero.
ii) Sea la proposicin:
2
, x x x > . El enunciado es falso, ya que por ejemplo,
1
2
es un
contraejemplo, es decir,
2
1 1
2 2
| |
>
/
|
\ .


Gua de ejercicios
Funciones proposicionales y cuantificadores

1. Sea { } 1, 2, 3, 4, 5, 6 A= el conjunto universo. Determine el valor de verdad de cada enunciado,
justificando con un contraejemplo, en los casos que sea falso.
( ) ( )
( )
( ) ( ) ( )
( ) ( )
( ) ( )
( )( )( )
2
2
) / 3 4
2
) / 4
4
) ! / ln( ) 0, 7 cos( ) sin( ) 0
) / 0 3
) / 1 4
) ! 3
a x A x x
x
b x A
x
c x A x x x
d x A x x
e x A x x
f y A x A x y
e + s
| |

- e s
|
|

\ .
- e > <
- e = . >
e > =
- e e + =


2. Para cada una de las proposiciones.
i) Determine si es verdadera o falsa.
ii) Niguela y luego escrbalas en lenguaje cotidiano.
( )
( )( )
| |
( )
2
2
2
) / 5 8
1
) , 2 2
4
) 1 0
) : 0
) 8, 24 / 2 0
) / 0 2 2
) / 4 4 12 0 4 0
a x x
x
b x
x
c x x x
d x x
e x x
f x x x x
g x x x x
+
- e + <
+
e s s

e + + >
- e <
- e >
e s . >
- e > + = v >