Lgica Proposicional

y
Teora de Conjuntos
1. Rudimentos de Lgica
1.1. El mtodo axiomtico
Matemticas es el estudio de las relaciones entre ciertos objetos ideales
como nmeros, funciones y guras geomtricas. Estos objetos no existen
en el mundo real sino que son modelos abstractos de situaciones fsicas.
Para que un sistema matemtico sirva como modelo de la realidad
debemos tener en principio un mtodo para reconocer enunciados verdaderos, aunque en la
prctica alguno puede ser difcil de demostrar. Cuando
los objetos de estudio nos son intuitivamente familiares (como los nmeros enteros), tomamos
como axiomas ciertas propiedades intuitivamente
verdaderas e intentamos deducir a partir de ellas todas las restantes propiedades del sistema. Una
vez elegidos los axiomas, podemos olvidar la
interpretacin intuitiva y vemos a nuestros objetos como entidades abstractas sujetas a los
axiomas dados. Cuando vayamos a aplicar nuestro
sistema a un caso concreto, debemos buscar una interpretacin para cada
nocin introducida y vericar que en esta interpretacin todos los axiomas
son verdad. Entonces podemos concluir que todos los enunciados derivados de los axiomas
tambin son ciertos. Esta consideracin subraya la
necesidad de mantener el sistema de axiomas lo mas pequeo posible.
Dos ventajas de este mtodo axiomtico es que podemos examinar el
efecto sobre nuestro sistema de variar los axiomas y que las demostraciones
son mas trasparentes cuanto mas abstracto es el sistema. Por otra parte
cuesta algn tiempo familiarizarse con las nociones abstractas. En esto
puede ayudar el modelo mas o menos concreto en que se basa nuestro
sistema, aunque no es estrictamente necesario y ciertamente no forma
parte de la teora.
1Estudiar estas nociones abstractas es como aprender un idioma nuevo.
Pero hay un aspecto en el que este proceso diere de aprender un lenguaje: Debemos razonar
sobre los nuevos conceptos y esto requiere atencin
cuidadosa a la interrelacin lgica de los enunciados. Naturalmente es
cierto que an en la vida cotidiana podemos despreciar la lgica slo bajo
nuestra responsabilidad, pero la evidencia patente de lo absurdo de las
conclusiones normalmente nos fuerza a abandonar una lnea falsa de razonamiento. Por contra
cuando seguimos una lnea abstracta de pensamiento
sobre conceptos no familiares, podemos alcanzar por razonamiento lgico
conclusiones que no podemos tamizar por el sentido comn. Por tanto es
importante estar totalmente familiarizado con las reglas lgicas que necesitamos y ser conscientes
de que estas reglas pueden aplicarse sin mirar el
signicado actual de los enunciados a los que las aplicamos. Por esta razn
empezamos describiendo brevemente algunos conceptos y notaciones de
la lgica.
1.2. Proposiciones
Para nuestro propsito podemos suponer que cada proposicin es o
verdadera o falsa. Usamos V para verdadero y F para falso. El correspondiente valor V o F se
llama el valor de verdad de la proposicin.
La Lgica Proposicional describe las formas en que podemos combinar enunciados (tambin
llamados proposiciones) verdaderos para producir
otros enunciados verdaderos. Usualmente se consideran cinco operaciones
principales de ese tipo (llamados conectivos lgicos), aunque tcnicamente
podemos derivarlas todas de una o dos de ellas. Estas operaciones son:
Sean A y B dos enunciados (no necesariamente distintos). Denimos la
expresin A y B tambin escrito A ^ B, y llamada la conjuncin de A y B
mediante una tabla de verdad
A V V F F
B V F V F
A ^ B V F F F
Esta tabla muestra que A^B es verdad cuando A y B son ambas verdaderas
y es falso en el resto de los casos.
Una segunda forma en que podemos combinar proposiciones es utilizando la disjuncin A o B
que tambin se escribe como A _ B. Su tabla
de verdad es:
A V V F F
B V F V F
A _ B V V V F
2Esto quiere decir que A _ B es verdad si lo es A o B o ambas.
A partir de cualquier proposicin podemos formar su opuesta o negacin insertando no en los
lugares adecuados. En general si A es una
proposicin su negacin es no A denotada tambin :A que es verdadera
precisamente cuando A es falsa. Su tabla de verdad es
A V F
:A F V
La nocin de implicacin es especialmente importante y su uso en matemticas diere en algo de
su uso corriente, aunque naturalmente el signicado subyacente es el mismo.As A implica B o
si A entonces B se
denota por A ) B y signica que A es falsa o B es verdadera. Su tabla
de verdad es
A V V F F
B V F V F
A ) B V F V V
Ntese que si A es falsa, A ) B es verdadera para cualquier B, en otras
palabras:
Un enunciado falso implica cualquier cosa. Esto puede parecer extrao
al principio, pero tiene su anlogo en el uso ordinario cuando subrayamos
lo absurdo de una armacin extrayendo un resultado an mas absurdo.
(Ntese que se puede denir la implicacin en funcin de los otros
conectivos: A ) B es igual a (:A) _ B. Mas generalmente, cualquier
proposicin compuesta a partir de dos dadas A y B se puede denir usando
slo : y _).
El ltimo conectivo de uso frecuente es la biimplicacin o equivalencia
lgica A , B que se dene como (A ) B) ^ (B ) A). Su tabla de
verdad es
A V V F F
B V F V F
A , B V F F V
Algunas proposiciones compuestas son verdaderas para todos los valores de verdad de la
proposiciones elementales que aparecen. (Por ejemplo
siempre es verdadera A _ (:A)). Tales proposiciones se llaman tautologas.
Para comprobar si una proposicin dada es una tautologa podemos usar
tablas de verdad.
3Por ejemplo consideremos (A ^ (A ) B)) ) B:
A V V F F
B V F V F
A ) B V F V V
A ^ (A ) B) V F F F
(A ^ (A ) B)) ) B V V V V
As que (A ^ (A ) B)) ) B es una tautologa porque en la ltima la slo
aparecen V.
1.3. Predicados
Usualmente los enunciados simples discutidos hasta ahora no son su-
cientes para tratar las situaciones matemticas.
Adems de las proposiciones necesitamos funciones proposicionales o
predicados. Por ejemplo x es un nmero impar (x recorre los nmeros
naturales) o x es mayor que y (x; y son nmeros naturales). En contraste
con las proposiciones, un predicado ya no es verdadero o falso sino que slo
llega a serlo cuando se sustituyen valores particulares para las variables:
2 es un nmero impar, 3 es mayor que 2.
En la prctica con frecuencia queremos decir que alguna armacin P(x)
sobre x es verdadera para todo x (en el universo de discurso). Denotamos
esto por
(8x)P(x)
que se lee Para todo x se verica P(x). Decimos que la variable x est
acotada por el cuanticador universal 8.
Para expresar que P(x) se verica para algn x escribimos
(9x)P(x)
que leemos Existe un xtal queP(x). Aquxest acotado por elcuanticador
existencial 9.
Finalmente para expresar que P(x) se verica exactamente para un slo
valor de x escribimos
(91x)P(x)
que leemos Existe un nico x tal que P(x). Ahora x est acotado por el
cuanticador existencial especial 91.
Cuando todas las variables que aparecen en un predicado estn acotadas por cuanticadores,
tenemos una proposicin. Por ejemplo en el
dominio de los nmeros naturales (8x)(8y)(x+ y = y+x) signica que para
4cualesquiera x; y la suma x + y es independiente del orden de los trminos. De la misma manera
(8x)(9y)(x < y) dice que para todo x existe un
y mayor que x, es decir que no existe un nmero mximo. Ntese que si
aplicamos los cuanticadores en orden inverso obtenemos la proposicin
(9y)(8x)(x < y) que dice que existe un y mayor que todo x. Evidentemente
esto es falso mientras que lo anteriores verdad, as que se debe prestar
atencin al orden en que se aplican los cuanticadores.
Ntese tambin que una variable acotada puede siempre renombrarse sin cambiar el signicado.
As (8x)P(x) signica exactamente lo mismo
que (8y)P(y); por esta razn una variable acotada se llama tambin variable muda. Con
frecuencia usamos esta libertad para evitar conictos de
notacin.
Por ejemplo en lugar de (a = x + y) ^ (8x)(a , 2x) es preferible (a =
x + y) ^ (8z)(a , 2z). Ambas formas signican lo mismo, pero la segunda
es menos propicia a las malas interpretaciones.
Los cuanticadores universal y existencial estn relacionados por las
equivalencias siguientes, que nos permiten denir uno de ellos en trminos
del otro:
:(9x):P(x) , (8x)P(x)
:(8x):P(x) , (9x)P(x)
Con ayuda de estas frmulas (y notando que ::A , A) es fcil escribir
la negacin de cualquier frmula con cuanticadores. Por ejemplo
:((8x)(9y)(8z)F(x; y; z)) , (9x)(8y)(9z)(:F(x; y; z))
1.4. Demostraciones
En cualquier teora matemtica hay axiomas de los que se derivan los
teoremas mediante deducciones lgicas (demostraciones) usando tambin
los teoremas lgicos (tautologas). No es necesario ni apropiado describir
en detalle la forma que tendra una tal demostracin. La presentacin
usual de las demostraciones, lgicamente informal pero matemticamente
rigurosa, se asimila mejor estudiando diversos ejemplos. Pero puede ser
til exponer rpidamente los principales mtodos de demostracin.
Una demostracin directa usualmente tiene la forma: A es verdad y
A ) B es verdad, luego B es verdad. En la lgica escolstica este proceso
se llama modus ponens.
5Es importante distinguir entre A ) B por un lado y A, de donde B
por otro. La distincin puede parecer pedante cuando A es verdad, pero
ignorarla puede llevar a confusin.
A partir del enunciado A ) B podemos formar otros tres:
El recproco o inverso B ) A.
El contrario :A ) :B.
El contrarrecproco:B ) :A.
El contrarrecproco es lgicamente equivalente al enunciado original
(comprubense las tablas de verdad correspondientes). Por ello otra forma
de demostracin es el modus tolens: A es verdad y :B ) :A es verdad,
luego B es verdad.
Hay que observar que el recproco no es equivalente al enunciado dado
(comprobar tambin las tablas de verdad), por lo que un razonamiento del
tipo A es verdad y B ) A es verdad, luego B es verdad no es correcto. Por
ejemplo, supongamos que queremos demostrar (8x)(x
2 par ) x es par).
No es correcto argumentar Si x es par, x
2
es par, de donde el resultado,
pero s es correcto decir Si x es impar, x
2
es impar, de donde el resultado.
Otra forma de prueba indirecta es por contradiccin tambin llamado
reductio ad absurdum: Para demostrar A mostramos que (:A) ) F, es
decir demostramos que (no A) lleva a una contradiccin.
Tambin existe la demostracin por contraejemplo. Muchos enunciados
tienen la forma (8x)P(x). Si queremos demostrar que un tal enunciado es
falso, debemos demostrar su negacin, es decir (9x):P(x) y esto se hace
hallando un c tal que :P(c) sea cierto.
Finalmente, en matemticas hay demostraciones de existencia no constructivas. Esto puede sonar
raro, pero es un tipo de razonamiento que
tambin se da en la vida diaria: En un grupo de 400 personas debe haber
dos que tengan el mismo cumpleaos, aunque para hallar un tal par es
preciso un examen mas detallado del grupo.
Con frecuencia un teorema tiene la forma de una implicacin o una
equivalencia. Citamos unas cuantas formas de expresarlo:
A ) B : Se verica A slo si se verica B; A es suciente para B.
A ( B : Se verica A si se verica B; A es cierto siempre que B sea cierto;
A es necesario para B.
A , B : Se verica A si y slo si se verica B; A es necesario y suciente
para B.
6En la prctica aparece con frecuencia la frase si y slo si. Muchas
veces se abrevia por sii (en ingls i
).
Tambin es til tener un signo para indicar el nal de una demostracin.
Tradicionalmente se utilizaban las abreviaturas QED (quod erat demostrandum) o CQD (como
queramos demostrar). Pero en la literatura
matemtica mas moderna se usa

o .
2. Conjuntos, Aplicaciones, Relaciones
2.1. Conjuntos
Un conjunto ser una coleccin de objetos; a cada uno de estos objetos
lo llamaremos elemento del conjunto. Si x es un elemento del conjunto X
escribimos x 2 X y si no es un elemento del conjunto X, entonces x < X.
Llamaremos conjunto vaco, y lo escribiremos ;, al conjunto que no tiene
elementos.
Dos conjunto X e Y son iguales si tienen los mismos elementos, esto
es, x 2 X , x 2 Y. Dados dos conjunto X e Y, decimos que X es un
subconjunto de Y si se verica: para cada x 2 X se tiene x 2 Y, y lo
escribimos X Y. Un subconjunto X de Y se llama propio si es un
subconjunto y no es igual a Y (a veces se escribe X * Y).
Lema 2.1. La igualdad de conjuntos verica las siguientes propiedades:
1. Para cada conjunto X se tiene X = X. (Propiedad reexiva).
2. Si X = Y entonces Y = X. (Propiedad simtrica).
3. Si X = Y e Y = Z, entonces X = Z. (Propiedad transitiva).
Lema 2.2. La inclusin de conjuntos verica las siguientes propiedades:
1. Para cada conjunto X se tiene X X. (Propiedad reexiva).
2. Si X Y e Y X, entonces X = Y. (Propiedad antisimtrica).
3. Si X Y e Y Z, entonces X Z. (Propiedad transitiva).
Si X es un conjunto y p es una propiedad que pueden o no pueden
vericar los elemento de X, podemos denir un subconjunto Y de X de
la siguiente forma: Y = fx 2 X=p(X)g (esto es, Y es el conjunto de los
elementos de X que verican la propiedad p). Otra forma de denir un
7conjunto es enumerando todos sus elementos, as el conjunto formado por
los elementos a;b; c;d y e lo representaremos por fa;b; c;d;eg.
A partir de un conjunto X podemos formar un nuevo conjunto P(X),
que es el formado por todos los subconjuntos de X. P(X)lo llamaremos el
conjunto potencia de X o el conjunto de las partes de X.
Lema 2.3. Para cada conjunto X se tiene ; X.
Dados A; B 2 P(X), denimos
La unin de A y B como
A [ B = fx 2 X=x 2 A x 2 Bg:
La interseccin de A y B como
A \ B = fx 2 X=x 2 A y x 2 Bg:
El complementario de A en X como
A = CX(A) = fx 2 X=x < Ag:
Dos subconjuntos A y B de X se llaman disjuntos si A \ B = ;. Evidentemente A y A son subconjuntos
disjuntos.
El teorema siguiente resume las propiedades principales de la unin,
interseccin y el complementario:
Teorema 2.4. Para A; B;C 2 P(X), se verica:
1. Propiedad Conmutativa:
A [ B = B [ A ; A \ B = B \ A:
2. Propiedad Asociativa:
A [ (B [ C) = (A [ B) [ C ; A \ (B \ C) = (A \ B) \ C:
3. Propiedad de Idempotencia:
A [ A = A ; A \ A = A:
4. Propiedad de Absorcin:
A [ (A \ B) = A ; A \ (A [ B) = A:
85. Propiedad Distributiva:
A [ (B \ C) = (A [ B) \ (A [ C) ; A \ (B [ C) = (A \ B) [ (A \ C):
6. Leyes de Morgan:
(A [ B) = A \ B ; (A \ B) = A [ B:
7.
A [ X = X ; A [ ; = A ; A \ X = A ; A \ ; = ;:
8.
A = A ; X = ; ; ; = X:
9.
A [ A = X ; A \ A = ;:
2.2. Producto Cartesiano
Dados dos conjuntos X e Y, se dene el producto cartesiano de X e Y
como el conjunto siguiente:
X Y = f(x; y)=x 2 X e y 2 Yg:
Anlogamente podemos denir el producto cartesiano de un nmero nito
de conjunto X1; X2; : : : ; Xn.
Proposicin 2.5. Dados dos conjunto X e Y y subconjuntos A y B de X y C y D
de Y, se verica:
1. A Y X Y.
2. (A [ B) Y = (A Y) [ (B Y).
3. (A \ B) Y = (A Y) \ (B Y).
4. A Y = (A Y).
5. (A C) \ (B D) = (A \ B) (C \ D).
92.3. Aplicaciones
Dados dos conjuntos X e Y, una aplicacin f : X ! Y (tambin
representada en la forma X
f ! Y) es una regla que asocia a cada elemento
x de X un nico elemento de Y, al que llamamos f(x). En una aplicacin
distinguimos los siguientes elementos y conceptos:
Dominio de f: es el conjunto X.
Codominio de f: es el conjunto Y.
Imagen del elemento x 2 X: es el elemento f(x) 2 X
Si f : X ! Y es una aplicacin y A es un subconjunto de X, llamamos
imagen imagen directa de A por f al siguiente subconjunto de Y:
f (A) = ff(a)=a 2 Ag Y:
En particular si A = X, el conjunto f (X) se denotaImg(f) = ff(x)=x 2
Xg Y
y lo llamamos imagen de la aplicacin f.
Si B es un subconjunto de Y, llamamos preimagen imagen inversa
de B por f al subconjunto de X
f

(B) = fx 2 X=f(x) 2 Bg:
Los dos lemas siguientes nos dicen el comportamiento de las funciones
f y f

respecto a la unin y la interseccin de subconjuntos.
Lema 2.6. Sea f : X ! Y una aplicacin y sean A; B subconjuntos de X. Se
verican las siguientes propiedades:
1. f (A [ B) = f (A) [
f (B).
2. f (A \ B) f (A) \
f (B).
3. A f

(f (A)).
Lema 2.7. Sea f : X ! Y una aplicacin y sean C; D subconjuntos de Y. Se
verican las siguientes propiedades:
1.
f (C [ D) = f (C) [
f (D).
2.
f (C \ D) = f C) \
f (D).
3.
f (f (C)) C.10Dos aplicaciones f; g : X
! Y son iguales si para cada x 2 X se verica
f(x) = g(x). Es importante destacar que para que dos aplicaciones sean
iguales han de tener el mismo dominio y el mismo codominio.
Destacamos a continuacin algunos ejemplos de aplicaciones que nos
aparecern con frecuencia a lo largo del curso:
Ejemplo 2.8. 1. Para cualquier conjunto X, la aplicacin identidad es
denida como sigue:
1X : X ! X ; 1X(x) = x; 8x 2 X:
2. Sea A un subconjunto de un conjunto X, la aplicacin inclusin de A
en X se dene por:
iA : A ,! X ; iA(a) = a; 8a 2 A:
3. Sea f : X ! Y una aplicacin y sea A X un subconjunto de X. Se
puede entonces denir entonces una nueva aplicacin de A en Y por
fjA : A ! Y ; fjA(a) = f(a); 8a 2 A;
que llamaremos la restriccin de f a A.
4. Sean X;Y y consideremos el producto cartesiano X Y = f(x; y)=x 2
X e y 2 Yg. Se tiene entonces las dos siguientes aplicaciones, llamadas
las proyecciones cannicas:
pX : X Y ! X ; pX(x; y) = x; 8(x; y) 2 X Y;
pY : X Y ! Y ; pY(x; y) = y; 8(x; y) 2 X Y:
A lo largo del curso nos aparecern numerosos ejemplos de aplicaciones.
Dada una aplicacin f : X ! Y, diremos que
f es inyectiva si siempre que f(x1) = f(x2) entonces x1 = x2, es decir,
si dos elementos tienen la misma imagen, entonces necesariamente
son el mismo elemento.
f es sobreyectiva si Img(f) = Y, o equivalentemente, si para cada
y 2 Y existe, al menos un x 2 X con f(x) = y.
f es biyectiva si es inyectiva y sobreyectiva.
11Supongamos dadas dos aplicaciones
f : X ! Y y g : Y ! Z;
donde el codominio de f coincide con el dominio de g. Podemos denir
entonces una nueva aplicacin, llamada la composicin de f y g, como
sigue: f : X ! Z ; (g f)(x) = g(f(x)); 8x 2 X:
Usualmente y por comodidad, omitiremos el smbolo de composicin,
escribiendo g f en lugar de g f.
La composicin de aplicaciones verica las siguientes propiedades:
Proposicin 2.9. 1. La composicin de aplicaciones es asociativa. Esto es dadas aplicaciones f : X !
Y, g : Y ! Z y h : Z ! W se verica que
h(g f) = (hg)f .
2. Para cada aplicacin f : X ! Y se tiene 1Y f = f = f1X.
3. Dadas aplicaciones f : X ! Y y g : Y ! Z, si f y g son ambas inyectivas (respectivamente,
sobreyectivas, biyectivas), entonces g f es inyectiva
(respectivamente, sobreyectiva, biyectiva).
2.4. Relaciones de Equivalencia
Sea X un conjunto. Una relacin binaria R sobre el conjunto X es un
subconjunto del producto cartesiano X X.
Una relacin binaria R X X sobre un conjunto X se llama una
relacin de equivalencia si se verican las tres siguientes propiedades:
Propiedad reexiva: Para todo x 2 X se tiene que (x;x) 2 R.
Propiedad Simtrica: Si (x; y) 2 R entonces (y;x) 2 R.
Propiedad Transitiva: Si (x; y) 2 R e (y; z) 2 R entonces (x; z) 2 R.
Sea R XX es una relacin de equivalencia sobre X, si el par (x; y) 2 R,
decimos que x es equivalente a y, por la relacin R y escribimos x y
xRy. Esto es
x y ( xRy) () (x; y) 2 R:
Con esta notacin las propiedades anteriores se escriben:
x x, 8x 2 X .
Si x y =) y x.
12Si x y e y z =) x z.
A lo largo del curso nos aparecern numerosos ejemplos de relaciones
de equivalencia. Destacamos ahora le siguiente ejemplo:
Ejemplo 2.10. Sea f : X ! X
0 una aplicacin. Entonces f dene la siguiente
relacin de equivalencia sobre el conjunto X
Rf = f(x; y) 2 X X=f(x) = f(y)
o bien, utilizando la notacin anterior, Rf es dada por:
x Rf y () f(x) = f(y):
Rf es llamada la relacin de equivalencia asociada a la aplicacin f.
Sea R() una relacin de equivalencia sobre un conjunto X. Para cada
elemento x 2 X denimos la clase de equivalencia de x (denotada x) como
el subconjunto de X formado por aquellos elementos que son equivalentes
a x, esto es:
x = fy 2 X=y xg:
El conjunto de todas las clases de equivalencia de equivalencia de los
elementos de X es denotado X=R y llamado el conjunto cociente de X por
la relacin de equivalencia R.
Destacamos las siguientes propiedades importantes:
Ya que R es reexiva, entonces x 2 x para cada x 2 X; por tanto
x , ; para todo x 2 X:Y adems [x2Xx = X =[x2X=Rx:Observamos tambin que, para x; y 2 X, se
tiene
x = y () x y: (2.1)
En efecto, si x = y entonces x 2 x =) x 2 y y por tanto, x y.
Recprocamente, supongamos que x y y sea z 2 x, entonces z x;
puesto que x y, por la propiedad transitiva deducimos que z y, y
por tanto z 2 y. As x y; un argumento simtrico muestra que y x
y por tanto x = y.
13Por ltimo, se tiene que
dados x; y 2 X entonces
8
>>>><
>>>>:
x \ y = ;

x = y
En efecto, si x\ y , ;, entonces existe un elemento z 2 x\ y. Entonces
z x y z y. Usando la propiedad simtrica, la propiedad transitiva
se tiene que x y, y entonces por (2.1) x = y:
Las tres propiedades anteriores se enuncian diciendo que el conjunto
cociente X=R constituye una particin del conjunto X.
Finalmente, si R() es una relacin de equivalencia sobre X denimos
la aplicacin proyeccin de X sobre el conjunto cociente de X por R como
pR : X ! X=R ; pR(x) = x 8x 2 X:
Evidentemente, esta aplicacin es sobreyectiva.

LGICA PROPOSICIONAL
- EJERCICIOS RESUELTOS -

1. Simboliza las siguientes proposiciones:
a. No vi la pelcula, pero le la novela: p q
b. Ni vi la pelcula ni le la novela: p q
c. No es cierto que viese la pelcula y leyese la novela: (p q)
d. Vi la pelcula aunque no le la novela: p q
e. No me gusta trasnochar ni madrugar: p q
f. O tu ests equivocado o es falsa la noticia que has ledo: p q
g. Si no estuvieras loca, no habras venido aqu: p q
h. Llueve y o bien nieva o sopla el viento: p (q r)
i. O est lloviendo y nevando o est soplando el viento: (p q) r)
j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras
violaciones de los derechos civiles: p (q r)
k. Roberto har el doctorado cuando y solamente cuando obtenga la licenciatura:
p q
l. Si viene en tren, llegar antes de las seis. Si viene en coche, llegar antes de las
seis. Luego, tanto si viene en tren como si viene en coche, llegar antes de las seis:
p q, r q |- (p r) q
2. Simboliza:
a. Si p, entonces q: p q
b. No es el caso que p y q: (p q)
c. p solamente si q y no-r: p (q r)
d. p o no-q: p q
e. Si p y q, entonces no-r o s: (p q) (r s)
f. Si p, entonces q, y si q, entonces p: (p q) (q p)
g. Si p y q, entonces r. p. Luego si q, entonces r: (p q) r, p |- q r
h. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:
(p q) r, (r s) t |- (p q s) t

DEDICATORIA:
Este trabajo va dedicado en primer lugar a mis padres por
apoyarme siempre en todos mis caprichos luego tambin a
todas las personas que me quieren y a esa personas que
cuando me vieron cado me dieron la mano para poderme
levantarme y as poder seguir adelante a todos ellos ahora
les dedico este trabajo con mucho amor y cario:

AGRADECIMIENTO:
Primeramente agradezco a Dios por darme la vida y darme la
fuerza necesaria para seguir adelante, luego tambin
agradezco a mis padres por apoyarme siempre y tambin a
todas las personas que estn a m alrededor gracias por esta
siempre cundo uno los necesita: