ESTRUCTURA DISCRETA

ASIGNACIN 1

LUIS FELIPE OLIVEIRA DE FREITAS

CI 14591916

Proposicin
La proposicin o aseveracin es el significado de 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 (F)
q: Soy estudiante de Ingeniera. (V)
r: El nmero 15 es divisible por 3. (V)
s: 8 es factor de 2. (F)
Expresiones No Proposicionales
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 qu universidad estudias?
Prohibido entrar
Asiste a clases
Notacin: Las proposiciones se notarn con letras minsculas p, q, r, s , t ya que
las letras maysculas las usaremos para denotar los conjuntos.
Ejemplos
p: la matemtica
q: 2 es un nmero impar
r. maana es 27 de junio
Denominaremos Valor Lgico de una proposicin, el cual denotaremos por VL, al
valor 1 si la proposicin es verdadera; y 0 si es falsa Como ejemplo de las
proposiciones anteriores, podemos decir que VL (p)=1 , VL(q)= 0
OPERACIONES VERITATIVAS
Los conectivos u operadores Lgicos son smbolos que nos permiten construir otras
proposiciones, o unir dos o ms proposiciones, a partir de proposiciones dada.
Adems si una proposicin no contiene conectivos lgicos se pude denominar que
es una proposicin atnica o simple; caso contrario, diremos que es una proposicin
molecular o compuestas.
Ejemplo

Carlos trabajo o estudia (ambas cosa)

Coro es un municipio de caracas
El argn es un gas

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:
Smbolo

Operacin asociada

Significado

Negacin

no p o no es cierto que p

Conjuncin o producto lgico

pyq

Disyuncin o suma lgica

p o q (en sentido incluyente)

condicional

si p entonces q

Bicondicional

p si y slo si q

Operaciones Proposicionales
Negacin
Dada una proposicin p, se denomina la negacin de p a otra proposicin
denotada por ~ p (se lee "no p") que le asigna el valor veritativo opuesto al de p.
Por ejemplo:
p: 2 es nmero par
~ p: no, 2 es nmero par
~ p: 2 no es nmero par
~ p: 2 es nmero impar
Por lo que nos resulta sencillo construir su tabla de verdad:
p
V
F

~p
F
V

Observamos aqu que al valor V de p, la negacin le hace corresponder el valor F,

y viceversa.
Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene
otra, que es su negacin.

Ejemplo: La negacin de " p: todos los alumnos estudian matemtica" es

~ p: no todos los alumnos estudian matemtica
o bien:
~ p: no es cierto que todos los alumnos estudian matemtica
~ p: hay alumnos que no estudian matemtica
Observaciones :
a) Al negar una proposicin verbal es conveniente procurar la mejor
construccin.
b) La negacin de la negacin de una proposicin dada es la proposicin
dada.
c) La negacin ante una proposicin compuesta generalmente se lee : no es
verdad que o no es cierto que

Conjuncin
Dadas
dos proposiciones
p py q,q (se
se lee
denomina
deverdad
estas es:
proposiciones
a la proposicin
"p y q"), conjuncin
cuya tabla de
p
V
V
F
F

Q
V
F
V
F

p q
V
F
F
F

La tabla que define esta operacin, establece que la conjuncin es verdadera slo
si lo son las dos proposiciones componentes. En todo otro caso, es falsa.

Disyuncin
Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es
la proposicin p q cuya tabla de valor de verdad es:
p
q
p q
V
V
F
F

V
F
V
F

V
V
V
F

la tabla precedente, nos muestra que la disyuncin slo es falsa cuando ambas
proposiciones son falsas.

Condicional
Condicional de las proposiciones p y q es la proposicin (si p entonces q)
cuya tabla de valores de verdad es:
p
V
V
F
F

Q
V
F
V
F

p q
V
F
V
V

La proposicin p se llama antecedente, y la proposicin q se llama consecuente

del condicional. La tabla nos muestra que el condicional slo es falso si el
antecedente es verdadero y el consecuente es falso.

Doble Condicional o Bicondicional

El bicondicional de las proposiciones p y q es la proposicin p q (se lee
"p si y slo si q") cuya tabla de valores de verdad es
p
V
V
F
F

p q
V
F
F
V

q
V
F
V
F

El doble condicional o bicondicional slo es verdadera si ambas

proposiciones tienen el mismo valor de verdad.
Observacin:
El
doble condicional
debeladefinirse
la conjuncin
de puncondicional
y su
recproca.
De este modo,
tabla decomo
valores
de verdad de
q puede obtenerse
mediante la tabla de (p q) (q p), como vemos:
p
V
V
F
F

q
V
F
V
F

(p q)
V
F
V
V

(q p)
V
V
F
V
2

Ejemplo: Sea i) a = b si y slo si a = b

(p q) (q p)
V
F
F
V
2

El enunciado est compuesto por las proposiciones:

p: a = b
2
2
q: a = b
Este bicondicional es falso pues si p es F , q puede ser
V ( a=2, b= -2) En los dems casos es V.

Implicacin lgica:
Diremos que una proposicin p implica q y denotaremos

pq

cuando el

condicional p q es siempre verdadero, es decir, nunca se da que siendo el

antecedente verdadero el consecuente es falso.
Ejemplo: Si consideramos (p q) (p q) notamos que ella es siempre
verdadera. Luego decimos que (p q) implica (p q) y escribimos:

( p q ) ( p q)
Proposiciones lgicamente equivalentes
Dos
proposiciones
q se
llaman
equivalentes
si sus
idnticas.
De ser a psyse
denota:
p
q o bien p
q tablas de verdad son
Ejemplo: Sea a: p q, recordamos su tabla de verdad:
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

Ahora bien , si analizamos la proposicin b: ~ p q, su tabla de verdad resulta:

p
V
V
F
F

~p
F
F
V
V

q
V
F
V
F

~p q
V
F
V
V

Como vemos, luego de realizar las tablas de valor veritativo encontramos que
ambas proposiciones tienen el mismo resultado final. Con esto, decimos que
ambas proposiciones son lgicamente equivalentes, y en este caso particular lo
simbolizamos:
(p q) (~ p q) o bien

(p q) (~ p q)

Tautologa, contradiccin y contingencia

Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo
denominamos frmula lgica o proposicin compuesta. Por ejemplo:
~{ (p (s t) }
q)
Si al evaluar una frmula lgica, resulta que todos los valores de verdad
resultantes son siempre V para cualquier combinacin de sus valores veritativos,
decimos que dicha frmula es una Tautologa o Ley lgica.

Ejemplo: Si analizamos la proposicin t: p ~ p realizando su tabla de verdad:

p
V
F

~p
F
V

p ~p
V
V

Vemos que para cualquier combinacin de las proposiciones p y su negacin ~ p,

la proposicin t: p ~ p es siempre verdadera. Entonces, la proposicin t es una
tautologa.
Ejemplo: Analicemos ahora la frmula lgica { ( p q ) p } q
p

(p q)

(p q) p

V
V
F
F

V
F
V
F

V
F
V
V

V
F
F
F

{(p q) p} q
V
V
V
V

En este caso comprobamos tambin que independientemente de la

combinacin de valores de verdad de las proposiciones p y q, el resultado de la
frmula lgica es siempre V. Decimos, aqu tambin, que esta frmula es una
tautologa o ley lgica.
Si al estudiar una frmula lgica, a diferencia de los ejemplos anteriores resulta
que para cualquier valor de verdad de las proposiciones que intervienen el
resultado de dicha frmula es siempre falso, decimos que dicha frmula es una
Contradiccin.
Ejemplo: Analicemos la frmula lgica p ~ p
p
V
F

~p p ~p
F
F
V
F

Encontramos que
la
frmula
es siempre falsa, es entonces una
Contradiccin.
Si una proposicin no es una tautologa ni una contradiccin (es decir que
contiene al menos un valor V y otro F) es una contingencia.

Observaciones:
1) La implicacin es un condicional que es tautologa.
2) La equivalencia es un bicondicional que es tautologa.

Leyes del lgebra proposicional

Como bien dijimos arriba, aquellas frmulas lgicas que resultan ser siempre
verdaderas no importa la combinacin de los valores veritativos de sus
componentes, son tautologas o leyes lgicas. En el clculo proposicional existen
algunas tautologas especialmente tiles cuya demostracin se reduce a la
confeccin de su correspondiente tabla de verdad, a saber:

Involucin
~ (~ p) p (se lee "no, no p, equivale a p")

Idempotencia
(p ~ p) p
(p ~ p) p

Conmutatividad
a) de la disyuncin: p q q p
b) de la conjuncin: p q q p

Asociatividad
a) de la disyuncin: (p q) r p (q r)
b) de la conjuncin: (p q) r p (q r)

Distributividad:
De la conjuncin respecto de la disyuncin: (p q) r (p r)

De la disyuncin respecto de la conjuncin: (p q) r (p

(q r)

r) (q r)

Leyes de De Morgan
~(p q) ~p ~q
"La negacin de una disyuncin equivale a la conjuncin de las negaciones"

~(p q) ~p ~q
"La negacin de una conjuncin equivale a la disyuncin de las negaciones"

Negacin de una Implicacin

Las proposiciones p q y ~ (p ~ q) son equivalentes, como vemos realizando
la tabla de valores correspondientes:
p

(p q)

(p ~ q)

V
V
F
F

V
F
V
F

V
F
V
V

F
V
F
F

~(p ~ q) p q ~(p ~ q)
V
F
V
V

V
V
V
V

Con esto, comprobamos que la negacin de la primera equivale a la negacin de

la segunda, es decir
~ (p q) ~{ ~(p ~ q)}, y podemos concluir entonces que:
~ ( p q ) ( p ~ q)
Es decir, la negacin de una implicacin no es una implicacin sino la conjuncin
del antecedente con la negacin del consecuente.
Ejemplo: Sea la implicacin p: hoy es viernes entonces maana es domingo
Su negacin es ~ p: hoy es viernes y maana no es domingo.

Circuitos lgicos o booleanas

La verdad de una proposicin puede asociarse al pasaje de corriente en un
circuito elctrico con un interruptor.
As, para representar a p, si es F, se tiene: p

y para p, si es V, se tiene: p

Es decir, el interruptor se cierra si p es V y se abre si p es F.

Podemos, as, representar las operaciones proposicionales mediante circuitos con

tantos interruptores como proposiciones componentes, combinados en serie o
paralelamente.
Veremos, a continuacin, como representar en forma booleana las operaciones
que surgen de operar con dos proposiciones mediante los conectivos lgicos que
conocemos.

Conjuncin

Este circuito admite el pasaje de corriente, es decir la verdad de p q, slo si

ambas son V (comprobar en la tabla de verdad de la conjuncin).

Disyuncin
Est representada por un circuito en paralelo.

Como vemos, admite el pasaje de corriente cuando al menos una de las dos es V
(comprobar en la correspondiente tabla de verdad).

Implicacin
Dado que la representacin mediante circuitos booleanos slo es posible
en caso de la conjuncin o disyuncin, para todas las dems operaciones
necesitamos convertirlas en combinacin de stas. As, puesto que
( ~ ( p ~ q ), aplicando una ley de De Morgan y la doble negacin, se
p q)
tiene ( p q ) ( ~ p q )
Es decir, convertimos la implicacin en una disyuncin para poder representarla
mediante un circuito booleano. Tenemos, as:
Ejemplo: Dibujar el circuito booleano de la siguiente proposicin:
(p q) r

Funciones proposicionales y cuantificadores

Funcin Proposicional
Supongamos los enunciados abiertos:
" x es la capital de Chile"
" y + 4 = 11"
Estos no tienen un valor veritativo. Pero si en el primero de ellos hacemos
x = Santiago, tenemos:
"Santiago es la capital de Chile" (V)
Asimismo, si en el segundo hacemos x = 9, resulta: 9 + 4 = 11 (F)
Podemos, entonces, dar la siguiente definicin: "Una funcin proposicional es un
enunciado abierto de la forma P(x) que se convierte en una proposicin cuando se
le asigna un valor especfico a la variable".
Ejemplos:
p(x) : 2x + 5 > 11 ,

si x = 4 \ 13 > 11 (Verdadero)

q(x) : 3x + 7 = 11 ,

si x = 5 \ 22 = 16 (Falso)

r(x) : 2x + 1 = 5 ,

si x = 2 \ 5 = 5 (Verdadero)

s(x) : x es un animal,
t(x) : x es un ave,

si x = mesa se tendr : mesa es un animal (Falso)

si x = flamenco se tiene: el flamenco es un ave (Verdadero)

Cuantificadores
A partir de funciones proposicionales es posible obtener proposiciones
generales mediante un proceso llamado de cuantificacin. Asociados a la

indeterminada x, introducimos los smbolos x y x, llamados cuantificador

universal y cuantificador existencial respectivamente. Las expresiones
Para todo x, se verifica p(x) se denota por x : p(x)
Existe x, tal que se verifica p(x) se denota por x / p(x)
Corresponden a una funcin proposicional p(x) cuantificada universalmente en el
primer caso, y existencialmente en el segundo.
Tambin podemos destacar el cuantificador unicidad simbolizado por: ! x
Su expresin ser: Existe un nico x que verifica p(x).
! x : p(x)
sta es verdadera cuando un slo x cumple la propiedad.

Observacin:
Una funcin proposicional cuantificada universalmente es V si y slo si son V
todas las proposiciones particulares asociadas a aquella.
Una funcin proposicional cuantificada con la unicidad verdadera lo es tambien
con el cuantificador existencial.
Un problema de inters es la negacin de funciones proposicionales cuantificadas.
Por ejemplo, La negacin de "Todos los enteros son impares" es "Existen enteros
que no son impares" y en smbolos: x / ~ p(x)
Entonces, para negar una funcin proposicional cuantificada universalmente se
cambia el cuantificador en existencial, y se niega la funcin proposicional.
Ejemplo: Supongamos la proposicin: Todos los alumnos de mi facultad son
aplicados.
La vamos a escribir en lenguaje simblico, negarla y retraducir la negacin al
lenguaje ordinario.
Nos damos cuenta pronto que se trata de la implicacin de dos funciones
proposicionales:
p(x) : es alumno de la facultad
q(x) : es aplicado
Tenemos: x : p(x) q(x)
Teniendo en cuenta la forma de negar una funcin proposicional cuantificada
universalmente y una implicacin resulta:
x / p(x) ~ q(x)

Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi facultad que no

son aplicados.
Si negamos una funcin proposicional con el cuantificador existencial
( x : p( x) ) tendremos que es equivalente a decir que todos no tienen la
propiedad. Simblicamente tenemos x : p ( x )
Importante es destacar que para poder asignarle un valor de verdad a una
proposicin con cuantificador, debemos tener en consideracin en que conjunto
trabajamos la variable, es decir en que Universo tomamos los valores de x.
Ejemplo :
Consideremos como universo el conjunto de los enteros Z.
Si afirmamos: x Z: x > 0
es una proposicin falsa.
Si la misma funcin proposicional x > 0 con el mismo cuantificador universal la
consideramos otro universo N, conjunto de los enteros positivos:
: x N: x > 0
es una proposicin verdadera.

Enunciados, Teoremas
Cuando a partir de una o varias proposiciones, supuestamente verdaderas
(Hiptesis) podemos obtener proposiciones tambin verdaderas (Tesis) decimos
que tal enunciado es un teorema.
Teorema directo: H T
A
partir derecproco:
el podemos
obtener
:
Teorema
T
H
Teorema Contrario: ~ H ~ T
Teorema Contra recproco: ~ T ~ H

Obsevacin:
Por las equivalencias dadas anteriormente podemos concluir que:
Teorema directo es equivalente al contra recproco, lo cual nos permite demostrar
con facilidad algunos enunciados. Este mtodo se llama reduccin al absurdo.
Ejemplo: Demostrar que siendo a es un nmero natural (entero positivo)
2
Si a es impar, entonces a es impar.
Demostracin:
2

H: a es
impar.
T: a es impar.
Debemos
probar
que: H T
Por ser imposible esta demostracin, hacemos uso del contra reciproco.
~T ~H
Demostracin: a no es impar a es par a = 2n , n natural
2
2
2
2
a = (2n) = 4 n = 2 (2n )

a es par a no es impar

Como el teorema contra reciproco se cumple concluimos que el

directo tambin se cumple.