Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 1

TRABAJ O PRCTI CO 1
I NTRODUCCI N A LA LGI CA
FUNDAMENTOS DE LA TEOR A DE CONJ UNTOS

I NTRODUCCI N A LA LGI CA
Proposicin

Proposicin es todo enunciado al que se le puede asignar valor de verdad.

Para identificar a las proposiciones se les asignan letras minsculas de imprenta.

Ejemplos:
Son proposiciones:
p: todos los tringulos son rectngulos
q: 7 es un nmero primo
r: 3 + 8 = 24
s: 2 < 0 y 5 > 0

No son proposiciones
Corre ms!
Cunto pesa?
Por favor no llores.
x + 3 = 10

p es una proposicin falsa y su valor de verdad se expresa: v (p) = F
q es una proposicin verdadera y su valor de verdad se expresa: v (q) = V
r es una proposicin falsa y su valor de verdad se expresa: v (r) = F
s es una proposicin verdadera y su valor de verdad se expresa: v (s) = V

Las proposiciones p, q y r son proposiciones simples.
La proposicin s es una proposicin compuesta.
Para lograr proposiciones compuestas a partir de proposiciones simples se usan los
conectivos lgicos.

Llamaremos operacin proposicional al procedimiento mediante el que una o ms
proposiciones simples o compuestas se transforman en una proposicin compuesta.



Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 2

Negacin

Dada una proposicin p, llamaremos ~p (no p) a la proposicin que se obtiene
anteponiendo a la accin el conectivo ~ (no).

Ejemplo:

La negacin de la proposicin p: Los costos han aumentado
es ~p: Los costos no han aumentado
o bien ~p: No es cierto que los costos han aumentado

La expresin en lenguaje coloquial: No es cierto que los precios no hayan aumentado,
se escribe en lenguaje simblico: ~( ~p)

Si p es verdadera entonces ~p es falsa

Las expresiones p y ~ (~p) no son iguales, son equivalentes, ya que una es una
proposicin simple y la otra es compuesta.



Conjuncin

La conjuncin de las proposiciones p y q es una nueva proposicin p . q (p y q) que
es verdadera slo cuando ambas son verdaderas.

Ejemplo:

p: 5 es un nmero impar
q: 5 es un nmero primo
p . q: 5 es un nmero impar y primo



Disyuncin

La disyuncin de las proposiciones p y q es una nueva proposicin p v q (p o q)

Como la conjuncin o es utilizada en sentido incluyente el valor de verdad de la misma
es verdadera cuando alguna de ellas es verdadera o las dos son verdaderas.

Ejemplo:

p: voy al cine
q: compro caramelos
p v q: voy al cine o compro caramelos

Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 3

I mplicacin o Condicional

Implicacin de dos proposiciones p y q es la proposicin p q (p implica q, si p
entonces q)

Ejemplo:
p: apruebas el examen
q: te regalo un pasaje para tus vacaciones
p q: Si apruebas el examen entonces te regalo un pasaje para tus vacaciones.
Si el comentario lo hace una madre a su hijo cundo el hijo se sentir desilusionado?
Slo cuando habiendo aprobado el examen, su madre no cumpliera con su promesa.
Si el antecedente es verdadero y el consecuente es falso la implicacin es falsa.

Dada la proposicin p q donde p es el antecedente y q es el consecuente
La proposicin q p se denomina recproca
La proposicin ~q ~p se denomina contra recproca
La proposicin ~p ~q se denomina contraria


Doble implicacin o Bicondicional

Doble implicacin de dos proposiciones p y q es la proposicin p q (p si y slo si q)
La doble implicacin slo es verdadera si ambas proposiciones tienen el mismo valor de
verdad.

Ejemplo:

p: n es un nmero par
q: n + 1 es un nmero impar
p q: n es un nmero par si y slo si n+1 es un nmero impar
Si p es verdadera, tambin lo es q y anlogamente si p es falsa, q es falsa.


Diferencia simtrica

Diferencia simtrica o disyuncin excluyente de las proposiciones p y q es la
proposicin q pv (p o q en el sentido excluyente).
La verdad de q pv est dada por la verdad de una y slo una de las proposiciones que
la componen.


Ejemplo:

p: es un nmero natural par
q: es un nmero natural impar
q pv : es un nmero natural par o impar

Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 4

Condiciones necesarias y suficientes



Si la proposicin q p es verdadera, se dice que constituye un teorema, siendo p la
hiptesis (lo que sabemos) y q la tesis (lo que hay que demostrar).

En este caso se dice tambin que p es condicin suficiente para q (ya que de p se
deduce q) y q es condicin necesaria para p.

Las condiciones se suelen expresar:

q si p: condicin suficiente
p slo si q: condicin necesaria



Ejemplo 1:

En Argentina, si tiene por lo menos dieciocho aos entonces puede votar.

Quiere esto decir que todas las personas con dieciocho aos o ms pueden votar en la
Argentina?

Por supuesto que no. Porque quienes no son ciudadanos argentinos (inmigrantes con o
sin residencia permanente, turistas) no tienen derecho al voto, aunque sean mayores de
dieciocho aos.

Tener dieciocho aos o ms es por lo tanto una condicin necesaria para votar, pero
no es una condicin suficiente.


Ejemplo 2:

El candidato que reciba ms votos ser elegido presidente.

Recibir ms votos es una condicin suficientepara ser elegido presidente


Ejemplo 3:

T es equiltero si y slo si es equingulo
p: T es equiltero
q: T es equingulo

S p es verdadera tambin lo es q y viceversa, por lo tanto cada una de las dos
proposiciones es condicin necesaria y suficiente para la otra.


Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 5

Funcin proposicional

Sea un conjunto no vaco llamamos funcin proposicional con dominio en A a toda
expresin p(x) tal que para cualquier elemento de A se verifique que p(x) sea una
proposicin.

Ejemplos:

p(x) es x + 2 > 8 es una funcin proposicional sobre N (nmeros naturales)

p(x) es x + 2 > 8 no es una funcin proposicional sobre C (nmeros complejos)
pues las desigualdades no se definen sobre los nmeros complejos.

Si p(x) es una funcin proposicional sobre un conjunto A, entonces el conjunto de
elementos a eA que tienen la propiedad de que p(a) sea verdadera se llama conjunto
de validez V
p
de p(x).

Consideramos la funcin proposicional x + 2 > 8 definida en N
El conjunto de validez es: { } { } ... 9 , 8 , 7 8 2 x / x Vp = > + N e =


Consideramos la funcin proposicional x + 7 < 5 definida en N
El conjunto de validez es: { } C = < + N e = 5 7 x / x Vp


Consideramos la funcin proposicional x + 2 > 1 definida en N
El conjunto de validez es: { } N = > + N e = 1 2 x / x Vp


Se nota en los ejemplos anteriores que p(x) puede ser verdadera para todos los
elementos del conjunto, para algunos o ninguno de ellos.


Cuantificadores


A partir de las funciones proposicionales es posible obtener proposiciones generales
mediante un proceso que se llama cuantificacin, anteponiendo los smbolos x x - y ,
llamados cuantificador universal y cuantificador existencial en x, respectivamente.

La expresin: Para todo x, se verifica p(x) se anota: ) x ( p : x donde la funcin
proposicional est cuantificada universalmente

La expresin: Existe x, tal que se verifica p(x) se anota: ) x ( p / x - donde la funcin
proposicional est cuantificada existencialmente





Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 6

Sea la funcin proposicional p(x): x es par

Todos los nmeros naturales son pares su valor de verdad es F

La expresin equivalente es: Cualquiera sea x un nmero natural, x es par
En smbolos: par es x : x N e

Si cuantificamos existencialmente la misma funcin proposicional
par es x / x N e -

Sus equivalentes en lenguaje coloquial:

Existe x un nmero natural, tal que x es par o
Existen algunos nmeros naturales que son pares o
Hay nmeros naturales pares

El valor de verdad de la misma es verdadero.

Para negar una funcin proposicional cuantificada existencialmente (universalmente) se
cambia al cuantificador universal (existencial) y se niega la funcin proposicional

| | ) x ( p / x ) x ( p : x ~ - ~
| | ) x ( p : x ) x ( p / x ~ - ~

La negacin de la expresin

Todos los nmeros naturales son pares es:

No todos los nmeros naturales son pares

Que tambin se puede expresar:

Existen nmeros naturales que no son pares

La negacin de la expresin:

Existen algunos nmeros naturales que son pares es:

No existen nmeros naturales pares

Que tambin se puede expresar:

Cualquiera que sea el nmero natural, no es par

O bien:

Todo nmero natural es impar

Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 7

I NTRODUCCI N A LA LGI CA - EJ ERCI CI OS

1) Escribir en lenguaje usual sabiendo que:
p: los precios son altos y q: los precios suben

a) ~p
b) ~(~p)
c) p.q
d) pvq
e) p.~q
f) ~( p.~q)
g) ~(pvq)
h) ~(p.q)
i) ~p.~q



2) Escribir en forma simblica la proposicin y su negacin:

a) Pablo estudia y trabaja
b) No es justo pero mantiene el orden
c) Teresa lava la ropa y no la plancha
d) Si las personas conocen a los simuladores entonces los desprecian
e) El tringulo ABC

es issceles y rectngulo
f) Si hoy llueve entonces hoy es martes



3) Indicar cules son condiciones necesarias o suficientes:


a) p: n es un nmero par
q: n es divisible por 4

b) p: ABCD es rectngulo
q: ABCD es paralelogramo

c) p: Pedro es salteo
q: Pedro es argentino

d) p: x es un nmero par
q: x+1 es un nmero impar

e) p: ABC tringulo equiltero
q: ABC tringulo issceles




Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 8


4) Expresar en lenguaje usual las siguientes proposiciones:

a) x:( x es metal x se funde)
b) xeZ : x es impar x
2
es impar
c) x:( x es un cuadrado x es un paralelogramo)
d) ( x: x es bueno) v (- x: x no es bueno)



5) Expresar simblicamente usando cuantificadores

a) Hay algn nmero que no es primo
b) Existe algn nmero real tal que su cubo es 8
c) No existe un nmero real tal que su cuadrado sea 4
d) No existen tringulos rectngulos que sean equilteros
e) No todo nmero par es divisible por 6
f) Todo cuadrado es un rectngulo
g) Todo nmero entero es racional



6) Hallar el valor de verdad de las siguientes proposiciones con dominio en los 9

a) 4 y . x : y x = -
b) 4 y . x : x y = -
c) 4 y . x : y x = - -
d) 4 y . x : x y = -


7) Dado el en conjunto { } 4 , 3 , 2 , 1 , 0 A= , hallar el valor de verdad de los siguientes
enunciados:

a) 9 3 x / A x = + e -
b) 9 3 x : A x < + e
c) 5 3 x / A x < + e -
d) 9 3 x : A x > + e


8) Determinar el valor de verdad de los siguientes enunciados:

a) x x : x
2
= 9 e
b) x x 3 / x = 9 e -
c) 0 1 x 2 x / x
2
= + + 9 e -
d) x 5 x : x < 9 e


Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~ 9


I NTRODUCCI N A LA LGI CA RESPUESTAS

1) Escribir en lenguaje usual
a) Los precios no son altos o No es cierto, que los precios son altos
b) No es cierto que los precios no son altos o Los precios son altos
c) Los precios son altos y suben
d) Los precios son altos o suben
e) Los precios son altos y no suben
f) No es cierto que, los precios son altos y no suben
g) No es cierto que, los precios son altos o suben
h) No es cierto que, los precios son altos y suben
i) Los precios no son altos y no suben

2) Escribir en lenguaje usual
a) p: Pablo estudia
q: Pablo trabaja
p . q

b) p: es justo
q: mantiene el orden
~p . q

c) p: Teresa lava la ropa
q: Teresa plancha
p . ~q

d) p: Las personas conocen a los simuladores
q: Las personas los desprecian
p q

e) p: Tringulo issceles
q: Tringulo rectngulo
p . q

f) p: Hoy llueve
q: Hoy es martes
p q


3) Indicar cules son condiciones necesarias o suficientes

a) Que un nmero sea par es condicin necesaria para que sea divisible por 4
Que un nmero sea divisible por 4 es condicin suficientepara que sea par

b) Que ABCD sea rectngulo es condicin suficiente para que sea paralelogramo
Que ABCD sea paralelogramo es condicin necesaria para que sea rectngulo


Alicia Fraquelli de Fileni - Andrea Gache ~ Trabajo Prctico I ~10

c) Que Pedro sea argentino es condicin necesaria para ser salteo
Que Pedro sea salteo es condicin suficiente para ser argentino


d) Que un nmero sea par es condicin necesaria y suficientepara que sea impar
Que un nmero sea impar es condicin necesaria y suficientepara que sea par

e) Que un tringulo sea equiltero es suficientepara asegurar que sea issceles
Que un tringulo sea issceles es necesario para que sea equiltero


4) Expresar en lenguaje usual
a) Todo metal se funde
b) Si un nmero entero es impar entonces su cuadrado es impar
c) Todo cuadrado es un paralelogramo
d) Todo hombre es bueno o existe alguno que no es bueno


5) Expresar simblicamente usando cuantificadores
a) - x / x no es primo.
b) - xe9 / x
3
= 8.
c) no- xe9 / x
2
= 4.
d) no- x tringulo rectngulo /x tringulo equiltero.
e) no- par / x es divisible por 6.
f) x: x es cuadrado x es rectngulo.
g) x: xeZ xeQ.


6) Hallar el valor de verdad de las siguientes proposiciones con dominio en los 9
a) F
b) F
c) V
d) F


7) Hallar el valor de verdad de los siguientes enunciados:
a) F
b) V
c) V
d) F


8) Determinar el valor de verdad de los siguientes enunciados:
a) F
b) V
c) V
d) V