Introduccin

El camino que vamos a recorrer a lo largo de este tiempo tiene como objetivo
introducirnos en el mundo de la matemtica discreta, es importante entonces
conocer el significado de matemtica y de discreta .
La matemtica es una ciencia que permite a las personas comprender y resolver
problemas, muchas veces se cree que simplemente es un compendio de
conocimientos aislados que se adquieren ligados a una aplicacin tipo pero no,
muy por el contrario es una actividad dinmica de conceptos que se entrelazan y
a partir de su comprensin se puede hacer matemtica actividad que est muy
lejos de favorecer la memorizacin de los conceptos sino que intenta entender
la manera en la que un matemtico profesional puede arribar a un resultado:
buscando relaciones, haciendo conjeturas, analizando casos particulares, es una
ciencia intensamente dinmica y cambiante: de manera rpida y turbulenta en
sus contenidos propios y an en su propia concepcin profunda, aunque de
modo mas lento.
Todo ello sugiere que, efectivamente, la actividad matemtica no puede ser una
realidad de abordaje sencillo, sin embargo si miramos a nuestro alrededor nos
daremos cuenta que la matemtica forma parte de nuestra vida cotidiana. En
efecto est en el mapa que consultamos para hacer un recorrido turstico, est
en las encuestas, en las estadsticas y en la ms sofisticada tecnologa utilizada
en distintos mbitos. Es importante entonces desmitificar la mala prensa que
tiene y hurgar para conocer sus muchas fortalezas. Qued ms claro?Pero
vayamos de a poco, qu ser discreta?, ah tenemos otra cuestin a entender.
Vamos a intentar otra aclaracin, la matemtica puede encarar problemas
continuos o discretos, falta, cuando representamos en el plano real una funcin
para estudiar, por ejemplo su continuidad, tenemos en cuenta que entre dos
puntos distintos existen infinitos otros aunque nos parezca que estn muy
juntos, ese problema lo estudia la matemtica del diferencial o del continuo,
pero si queremos saber cuantas posibilidades tenemos para elegir un helado de
tres gustos distintos en una heladera donde hay disponibles 18 sabores, este ya
es un problema discreto, hay un nmero finito de gustos y quiero elegir 3.
Parecera ser que algo se entiende, por lo menos se que si quiero saber cual es el
nmero que saldr en la lotera para ganar el premio mayor ese problema lo
puedo resolver usando herramientas que me ofrece la matemtica discreta.
Si entendimos el campo de accin de esta asignatura, podemos empezar a
estudiar algunos de los temas de los cuales se ocupa: lgica, lgebra booleana y
circuitos combinatorios , algoritmos , relaciones de recurrencia, mtodos de
conteo y grafos, dgrafos, rboles. Las bases de la matemtica (incluso la discreta)

1
La matemtica se construye a partir de la definicin, el teorema y la
demostracin, ojo que tambin estn los axiomas y los postulados !!!!!!!!!!.
Los axiomas son bases a partir de las cuales se construye la teora y su conjunto
constituye un Sistema axiomtico, en geometra existen infinitos punto es un
axioma.
Las definiciones caracterizan a los objetos, es decir los describen, de la misma
forma que en la vida cotidiana, por ejemplo cmo podemos definir al objeto
silla?, tal vez podemos decir que es un mueble que se utiliza para sentarse , que
usualmente tiene cuatro patas y un respaldo y que se pueden encontrar distintos
modelos y calidades.
Los teoremas son propiedades que tienen los objetos y las demostraciones
irrefutablemente nos muestran la validez de dichas propiedades.
Pensemos en los teoremas, quien no se acuerda del Teorema de Pitgoras , ah
va: En todo tringulo rectngulo el cuadro de la hipotenusa es igual a la suma
de los cuadrados de los catetos, como en la vida usual, hay cosas ms
importantes que otras, por distintas razones, el teorema de Pitgoras es muy
importante, pero cualquier propiedad que pueda demostrarse es un teorema,
por ejemplo sin un nmero es par entonces su cuadrado tambin lo es es una
propiedad que se puede demostrar y por lo tanto es un teorema.
Veamos que hay distintas categora de teoremas, algunos son las siguientes
Resultado es un teorema no muy importante, por ejemplo: Si la suma de 2 de
los ngulos interiores de un tringulo es 115 entonces el tercer ngulo vale 65
Lema es un teorema que se utiliza para demostrar otro, por ejemplo: Si x es un
nmero entero positivo, entonces x-1 es entero positivo o es 0
Corolario es una propiedad que surge como consecuencia de otra, Si un
tringulo tiene los tres lados iguales entonces sus tres ngulos tambin son
iguales.
Puede pasar que despus de muchas pruebas se suponga un resultado, en ese
caso tenemos una conjetura, por ejemplo Todo nmero entero para mayor de 2
es suma se dos nmeros primos, esta es famosa y se dice conjetura de
Goldbach.
Si alguien demuestra que es verdadera pasa a ser un teorema, pero si se
demuestra que no se cumple es un error, un ejemplo de error: Fermat infiri
que los nmeros Fn = 2n +1 eran primos, pero result errnea ya que Euler
demostr que si n= 5, el nmero era divisible por 641

Lgica

La lgica tiene un papel muy importante en distintas disciplinas, en particular

en matemtica y en ciencias de la computacin y se ocupa de analizar la validez
del razonamiento en forma independiente que sea verdadero. Veamos el
siguiente caso:

2
Todos los mdicos son rubios
Cualquier rubio es cardilogo
Por lo tanto todos los mdicos son cardilogos

La lgica nos dir que si los dos primeros enunciados son verdaderos, la
conclusin tambin lo es. Podemos preguntarnos para qu se usan los mtodos
de la lgica en matemtica?, la respuesta es para demostrar propiedades, en
que se usa la lgica en ciencias de la computacin?, la respuesta es para que los
programas hagan lo que deben hacer. Podemos ahora ver algunas definiciones
y empezaremos por la de la base de la lgica.

Proposicin

Llamaremos proposicin a una oracin a la que se le puede asignar un valor de

verdad, pongamos algn caso: La tierra es un satlite de la luna el enunciado
es claramente falso, pero es una proposicin porque le pudimos dar un valor de
verdad, si la oracin es: Debes quedarte en casa esta noche no le podemos dar
un valor de verdad, luego no es una proposicin.

Las proposiciones deben tener un valor de verdad, pueden ser verdaderas o

falsas pero nunca pueden ser al mismo tiempo verdaderas y falsas. Para indicar
el valor de verdad de la proposicin p, ponemos v(p) que puede ser verdadero
falso, usaremos siempre esa notacin.:

Pensemos en el siguiente caso: Est ventoso y hace fro, es una proposicin?,

parecera que si, ya que le puedo asignar un valor de verdad, para eso debera
pensar cuando ser verdadera y, el sentido comn me indica, que lo ser
cuando est ventoso y adems haga fro. La diferencia con los casos anteriores
es que puedo encontrar esa proposicin usando las proposiciones Est
ventoso y Hace fro combinadas con y que llamaremos conectivo y no es
ms que un operador. El resultado que obtuvimos es una proposicin
compuesta.

Hilemos un poco ms, una proposicin puede ser simple o atmica o bien
puede ser compuesta. Las proposiciones compuestas las obtenemos a partir de
las simples usando operadores que se denominan conectores o conectivos. Qu
pasa con el valor de verdad de las proposiciones compuestas?, depende de la
forma que acten los operadores, que no estn divorciados de la realidad ni del
sentido comn y est dado por las tablas de verdad. Es decir una tabla de verdad
me dice cmo acta cada conectivo u operador.

Cuales son los operadores ?, vamos de a poco, comencemos con la conjuncin,

la disyuncin y la negacin que los indicaremos como , , respectivamente
y la leeremos y, o, no. Aqu vale la pena tener en cuenta que la o es en sentido

3
inclusivo, es decir admite y/o. Por ejemplo si digo hoy desayun una tostada o
un alfajor, eso ser cierto si com la tostada o com el alfajor, o si com la
tostada y el alfajor.

Veamos ahora si, la tablas de verdad de esos operadores. Cmo armamos la

tabla?, ac tenemos que pensar cuales son los casos que se nos pueden
presentar, pude pasar que ambas sean verdaderas, ambas falsas o que tengan
distinto valor de verdad. Quedara algo como la tabla que sigue, aunque puede
variar el orden en el que aparezcan los valores de p, q, lo que no puede variar es
el nmero de filas

p q pq pq
V V V V
V F F V
F V F V
F F F F

Tabla 1

Es importante tener en cuenta dos cosas, estos conectivos, para poder actuar
necesitan de, por lo menos dos proposiciones, iguales o distintas, pero siempre
al menos deben ser dos (igual que cuando sumamos, necesitamos dos nmeros,
iguales o distintos pero siempre , por lo menos ,dos); puede ocurrir que la
proposicin compuesta tenga ms de dos proposiciones simples, como para dar
su valor de verdad necesitamos considerar todos los casos debemos
preguntarnos cuantas filas debe tener nuestra tabla de verdad, bueno si
tuviramos p1, p2, p3, ,pn el nmero de filas de la tabla es 2n. Veamos que si
n=1, deberamos tener 21=2 filas y eso tiene sentido porque si tengo una
proposicin puede ser verdadera o puede ser falsa y la tabla es la siguiente:

p
V
F

Tabla 2

Podemos preguntarnos si hay algn operador que pueda trabajar con

solamente una proposicin, la respuesta es s y no es un operador binario sino
unitario y es la negacin y su efecto es cambiar a cada proposicin su valor de
verdad, queda entonces:

p p
V F
F V
Tabla 3

4
Hasta ac vimos tres operadores: la conjuncin que, de acuerdo a su
definicin dada por la tabla1 es verdadera cuando las proposiciones simples
son verdaderas, la disyuncin , que de acuerdo a la tabla 1 es falsa cuando las
proposiciones simples lo son y la negacin que cambia el valor de verdad de las
proposiciones.
Veamos algunos ejemplos: Si se sabe que la proposicin p es falsa, la
proposicin q es falsa y la proposicin r es verdadera indicar si los siguientes
resultados son correctos, justificar en cada caso:
a) V(p(r)) = V
b) V(r (r))=F
c) V(qr)=F

Las respuestas son:

a) el valor dado para la proposicin compuesta es incorrecto ya que como p es

falsa y r es verdadera , resulta que la negacin de r es falsa y como la
conjuncin es verdadera si ambas son verdaderas el resultado correcto es F
b) el valor de verdad correcto es V ya que la proposicin r es verdadera y por lo
tanto su negacin es falsa , luego nunca van a ser ambas falsas y la
proposicin ser siempre verdadera
c) el valor dado es correcto ya que las proposiciones tienen distinto valor de
verdad y la conjuncin es verdadera si ambas proposiciones lo son.

Distintos tipos de o

Al presentar los operadores hablamos de la disyuncin y dijimos que en el

lenguaje usual es la o pero en sentido inclusivo, dimos un ejemplo y ahora
retomamos la idea de la o, pero en sentido exclusivo es decir es una o que no
permite ambas cosas, que digo?, pongamos un ejemplo:Hoy a las 18 hs. ir al
cine o ir al teatro es una proposicin y por lo tanto tiene un valor de verdad,
cul?, cuando ser verdadera?, es claro que el mismo da en el mismo horario
no podr estar en dos lugares al mismo tiempo, por lo tanto ah se ve que el o
no admite el y/o del lenguaje usual , es una cosa o la otra, es decir ser
verdadera si hago una de las dos cosas si voy al cine y no voy al teatro a o al
revs.

Por lo tanto ser verdadera cuando las proposiciones tengan distinto valor de
verdad. Ah va la tabla de verdad !!!!!!!!!!!!!!, es decir la definicin formal de este
operador que llamaremos o en sentido exclusivo e indicaremos est dada
por la siguiente tabla de verdad.

5
 p q pq
V V F
V F V
F V V
F F F
Tabla 4

Antes de definir otros operadores consideremos la siguiente proposicin

compuesta y demos su valor de verdad sabiendo que p es verdadera, q es falsa y
t es falsa:

V (p q t) ?, el problema que se presenta es que no hay parntesis es decir

nadie nos indica por donde empezar a operar, para eso debemos tener la
precedencia de los operadores, es decir por donde empezar si no est indicado,
ah va: primero trabajamos con la negacin, queda V(F q t), luego
trabajamos con la conjuncin , por lo tanto queda V(FF), finalmente se trabaja
con la disyuncin y se obtiene que el valor de verdad buscado es F.

Anotemos y recordemos la precedencia

1, 2,3

El condicional y la equivalencia lgica

Supongamos ahora que un profesor dice a sus alumnos Si ustedes estudian

entonces yo les firmo los trabajos prcticos, podemos observar que es una
proposicin porque se le puede asignar un valor de verdad y que el profesor
impone una condicin para llevar a cabo una accin, en este caso firmar los
trabajos prcticos.
Podemos pensarla como una proposicin compuesta por las proposiciones
simples p= Ustedes estudian, q = Yo les firmo los trabajos prcticos.
El operador que se utiliz es Si..entonces., quedara: Si p entonces q.
Este operador se llama condicional, la proposicin p es el antecedente y la
proposicin q es el consecuente y se simboliza
Pensemos ahora el valor de verdad de la proposicin, ms an podemos
preguntarnos cuando el profesor miente a sus alumnos?, para poder responder
esa pregunta vamos a analizar los casos posibles:
1) si los alumnos estudian y el profesor firma los trabajos prcticos, el profesor
no ha mentido
2) si los alumnos estudian y el profesor no firma los trabajos prcticos, el
profesor ha mentido ya que el antecedente, es decir al condicin se ha ejecutado
pero la consecuencia no se implement

6
3) si los alumnos no estudian y el profesor firma los trabajos prcticos no ha
mentido, porque la condicin no era no estudiar sino estudiar
4) si los alumnos no estudian y el profesor no firma los trabajos prcticos,
como en el caso anterior no ha mentido, porque la condicin no era no estudiar
sino estudiar
Por lo tanto, si la condicin se cumpli es decir es verdadera y la consecuencia
no se implementa, es decir es falsa la proposicin condicional si el antecedente
es falso y el consecuente es verdadero.
La tabla de verdad que define al condicional es la siguiente

p q pq
V V V
V F F
F V V
F F V
Tabla 5

Este operador, como la conjuncin () y la disyuncin () es un operador

binario, recuerden que para poder actuar necesita dos proposiciones, iguales o
distintas pero dos.
Algo para tener en cuenta es que el condicional se usa cuando queremos
demostrar una propiedad, claro !!!!!!!!!!!!!!!!!!, debemos tener datos ( es decir la
hiptesis, el antecedente) y queremos llegar a algn resultado es decir a una
conclusin ( el consecuente) que ser nuestra tesis ( lo que queremos
demostrar!!!!!!!!!!!!!!!!!!!!).
Veamos un caso: Si la suma de los ngulos interiores de un tringulo es 180,
entonces el polgono es un tringulo
Cmo lo podemos poner como condicional?, p= la suma de los ngulos
interiores de un tringulo es 180, q= el polgono es un tringulo, es decir si
p es la hiptesis y la indicamos H y q es la tesis que indicamos T, queda:
HT, como el valor de verdad de H es verdadero y el de T tambin lo es se tiene
V (HT)= V , se llama implicacin tautolgica y es en el nico caso que
podemos decir ( correcta y formalmente hablando ) que H implica T.
Por otra parte H es condicin suficiente para T, en general una condicin
suficiente es una condicin que basta para lograr una resultado, si se cumple el
resultado est garantizado
Al mismo tiempo T es condicin necesaria para H, es decir es algo que se
necesita para alcanzar un resultado, es decir para que H sea verdadera T debe
ser verdadero

Vamos a hacer la tabla de verdad de las siguientes proposiciones

7
 p q pq pq qp qp
V V V V V V
V F F V F V
F V V F V F
F F V V V V
Tabla 6

Vemos que ( pq) y (qp) tienen la misma tabla de verdad lo mismo que
(qp) y(pq).

En este caso particular se llaman proposicin directa y contrarrecproca para el

primer caso y recproca y contraria o inversa en el segundo.
Ahora dos cosas importantes, cada vez que encontremos proposiciones distintas
que tengan el mismo valor de verdad se dice que son equivalentes, para que
sirven?, para usarlas en forma indistinta, lo mismo que cuando hacemos una
cuenta y en vez de poner 4 ponemos 2+2 , cuando en lgebra en vez de poner
x2-y2 ponemos (x-y).(x+y).
Hagamos ahora las tablas de verdad para los siguientes casos para identificar
proposiciones equivalentes

P q pq pq (pq) pq (pq) pq
V V V V F F F F
V F F F V V F F
F V V V V V F F
F F V V V V V V

Tabla 7

De acuerdo a los resultados obtenidos y a las definiciones dadas son

equivalentes:

1 (pq) y (pq)

2(pq) y (pq)

3(pq) y (pq)

El ltimo operador

La proposicin compuesta ((pq) (qp)) la llamamos bicondicional y la

indicamos (pq), su tabla de verdad, de acuerdo a la definicin es la siguiente:

8
 p q pq qp (pq) ( qp)
V V V V V
V F F V F
F V V F F
F F V V V

Tabla 8

Algo para tener en cuenta !!!!!!!!!!!!!!!!!!!! el bicondicional es tambin un

operador binario ( necesita dos proposiciones, por lo menos para poder actuar),
en este caso p es condicin necesaria y suficiente para q

Si ahora recordamos la definicin del operador o excluyente nos daremos

cuenta que (pq) tiene la misma tabla de verdad que ( p q) o sea que son
equivalentes.

Una cuestin de notacin

Si dos proposiciones p y q son equivalentes escribiremos

(pq) (pq).

Antes de seguir pensemos cmo evaluamos el valor de verdad de

pqr

1r, 2 pq 3el condicional

Algunas otras cuestiones revisar

Llamamos TAUTOLOGA (V) a aquella proposicin compuesta cuyo valor de

verdad es siempre verdadero en forma independiente del valor de verdad de
las proposiciones simples que la componen; llamamos ANTITAUTOLOGA
(F) o CONTRADICCIN (F) a aquella proposicin compuesta cuyo valor de
verdad es siempre falso. Si el valor de verdad de una proposicin compuesta
depende del valor de verdad de las proposiciones simples que la componen se
dice que es una CONTINGENCIA.

9
Las reglas de juego

Estamos transitando un nuevo camino y queremos ver cmo podemos

movernos, es fundamental, entonces conocer las reglas de las cuales
disponemos para avanzar sin problemas que llamamos equivalencias lgicas,
ah van en la tabla que se da a continuacin; tenemos que saber que si no nos
convencen debemos demostrarlas y para eso debemos usar las tablas de verdad,

pp INVOLUCIN
(p p) p (p p) IDEMPOTENCIA
(p q) (q p) CONMUTATIVIDAD
(p q) (q p)
(p q) (q p)
p (p q) p p (p q) ABSORCIN
pVp IDENTIDAD
pFF
pVV
pFp
(p q) p q LEYES de DE MORGAN
(p q) p q
p (q r) (p q) r ASOCIATIVIDAD
p (q r) (p q) r
p (q r) (p q) (p r) DISTRIBUTIVIDAD
p (q r) (p q) (p r)
Tabla 9

Principio de dualidad

Algo importante para tener en cuenta, si observamos la Tabla 9, podemos ver

que la ( disyuncin) y la ( conjuncin) tienen las mismas propiedades, esto se
cumple en el conjunto de las proposiciones, de los conjuntos y en general en
cualquier estructura algebraica que tenga dos operaciones binarias y cerradas
que cumplan con las propiedades enunciadas en la Tabla 9. Este hecho se
conoce como Principio de dualidad y significa que toda propiedad vlida para
una operacin automticamente es vlida para la otra.

Los cuantificadores

Trabajaremos con los cuantificadores universal y existencial ()

10
El cuantificador universal (), significa para todo (es decir cualquiera). As x
A se lee para todo x que est en A. El cuantificador existencial significa existe
al menos uno ... Concretando:

" : significa que todos los elementos del conjunto cumplen con la propiedad.
$ : significa que hay por lo menos un elemento del conjunto que cumple con los
requerimientos.

Consideremos el enunciado: Todos los nmeros naturales son pares, se

declara que todos los nmeros naturales tiene la propiedad de ser pares

Formalmente se escribe:

x, p(x), donde p(x) es la propiedad a la que se hace referencia.

La negacin de x, p(x) es x, p(
x)x , p( x)

Consideremos ahora el siguiente enunciado: Existen nmeros naturales que no

son pares, que formalmente podemos escribir

x,p(x)donde p(x) es la propiedad a la que se hace referencia.

La negacin de x,
p(x)es x, p(
x) x, p( x)

Los cuantificadores y las proposiciones

Consideremos ahora el siguiente enunciado:

Todos los nmeros naturales son pares
Es una proposicin? .Pensemos si es posible darle un valor de verdad, vemos
que puedo decir que es falso, me alcanza con pensar que el nmero 3 es natural
y no es par, luego el enunciado puedo indicarlo, p=Todos los nmeros
naturales son pares y poner V(p)=F.

El enunciado Algunos nmeros naturales no son divisibles por 2, es tambin

una proposicin, que es la negacin de la anterior.

Estas proposiciones las obtuvimos por cuantificacin, es decir usamos los

cuantificadores existencial y universal

11
Equivalencias e implicaciones lgicas para proposiciones
p(x), q(x), cuantificadas de una variable

( ) ( )
xpxqx ( ) q( x)
px

( ) ( )
xpxqx ( ) qx
px ( )

( ) ( )
xpxqx ( ) ( )
pxqx

( ) ( )
xpxqx ( ) ( )
pxqx

( ) ( )
x pxqx ( x) px
( ) q( x)

( ) ( )
x pxqx ( ) qx
x px ( )

Tabla 10

Negacin de proposiciones cuantificadas

( )
xpx ( )
x px

( )
xpx ( )
x px

( )
x px ( )
xpx
( )
x px ( )
xpx
Tabla 11

12
Las proposiciones abiertas

Analicemos ahora la siguiente oracin r es un nmero natural impar

pienso que si r=2 es falso pero si r= 5 es verdadero, por lo tanto es algo como
una proposicin, pero depende del caso para decir si es verdadera o si es falsa,
eso que encontramos se llama proposicin abierta.
Una proposicin abierta puede recibir distintos nombres: esquema
proposicional, predicado, o funcin proposicional, tantos nombres para algo que
an no sabemos que es..
De a poco llegaremos a la definicin, en principio observamos que hay una
variable, r, y un conjunto al que r pertenece, entonces podemos decir lo
siguiente:
Una proposicin abierta es un enunciado sobre un conjunto que al reemplazar
la variable por cada elemento del conjunto se transforma en una proposicin ,
algo as , faltara decir que debe haber por lo menos una variable; formalmente
podemos decir que una frase declarativa es una proposicin abierta si
contiene por lo menos una variable, no es una proposicin pero se convierte en
proposicin cuando las variables involucradas se reemplazan por elementos del
dominio ( conjunto en el que est definida).

Si consideramos el enunciado x + 2 es un nmero divisible por 2 es una

proposicin abierta ya que cumple con los requerimientos.

La indicaremos p(x) = x + 2 es un nmero divisible por 2 . Si nos referimos al

conjunto de los nmeros naturales, para cualquier elemento de ese conjunto se
obtiene una proposicin.

13
Proposicin Cuando es verdadera? Cuando es falsa?

x,( )
px Para , al menos, un a del Para cada a del universo, p(a)
universo, p(a) es verdadera es falsa

x,( )
px Para cada reemplazo de a del Existe , al menos, un
universo, p(a) es verdadera reemplazo de a para el que
p(a) es falsa

( )
x,px Para , al menos, una eleccin de a Para cada a del universo, p(a)
del universo, p(a) es falso, de es verdadera
modo que la negacin , p(a), es
verdadera

( )
x,px Para cada reemplazo de a del Existe , al menos, un
universo, p(a) es falsa, de modo reemplazo de a para el que
que la negacin , p(a), es p(a) es falsa y p(a)
verdadera es verdadera

Tabla 12

Otra cosa a tener en cuenta es que si p(x) y q(x) son dos proposiciones abiertas
definidas en un determinado Dominio, decimos son lgicamente equivalentes y
escribimos xpx ( ) q(x) cuando la bicondicional es verdadera para todo
elemento del dominio.

Veamos el siguiente caso teniendo como dominio el conjunto de los tringulos

p(x): x es equiangular
q(x): x es equiltero,

( ) q(x)
La directa es xpx
( ) q(x) esxqx
La contrarrecproca de xpx ( ) p(x)
( ) q(x) esxq( x) p(x)
La recproca de xpx
( ) q(x) esxpx
La contraria de xpx ( ) q(x)
Olvidemos los tringulos y pensemos en el conjunto de los nmeros reales R

Donde se definen las siguientes proposiciones abiertas:

( ) :x3
px ( ) :x3
qx

14
 ( ) qx
xpx ( ) esunaproposi
cinf
alsa
( ) px
xqx ( ) esunaproposi cinver
dader
a
xp ( x) q ( x) esunapr
oposi
cinver
dader
a
( ) px
xqx ( ) esunaproposi
cinf
alsa

( ) x 3
Si se adiciona la proposicin abierta rx:

( ) ( rxq
Para la proposicin xpx ( ) ( x) ) enunciar las proposiciones
asociadas y dar, en cada caso el valor de verdad.

15