Unidad II

UNIDAD II
Lgica
Proposicional
El razonamiento es un tipo especial de pensamiento en el cual se
realizan inferencias (deducciones): es decir, en el que se
derivan conclusiones a partir de premisas o
proposiciones.
La lgica, al igual que las matemticas estudia las relaciones
abstractas formales.
Ejemplo 1:
Premisas. Si soy presidente, entonces soy famoso.
Yo no soy famoso.
Conclusin. Por lo tanto, no soy presiente
Ejemplo 2:
Premisas. Todos los hombres son mortales.
Yo soy un hombre.
Conclusin. Por lo tanto, yo soy mortal.
1 Matemticas Discretas I Ingeniera en TICs

Elaborado por: M.C. Elizabeth Santiago Morales
En este ejemplo, en realidad no importo Yo, ni los hombres, ni su
mortalidad. Lo que se quiere es mostrar la relacin entre las
proposiciones.
Las matemticas y la programacin de computadoras

dependen de la claridad de los razonamientos. El
lenguaje es a tal punto complejo que, en ocasiones, es
difcil seguir los razonamientos.
La lgica permite estudiar los mtodos para distinguir
los razonamientos correctos de los incorrectos.
Por lo tanto
Una PROPOSICION es un enunciado que puede ser

verdadero o falso, pero no ambas cosas. La conclusin de un
razonamiento es la proposicin que se afirma en base con otras
proposiciones.
Los enunciados siguientes son proposiciones:
Dos ms tres es igual a cinco (VERDADERO)
Cuatro es menor que cuatro (FALSO)
Tres es raz cuadrada de nueve (VERDADERO)
Los enunciados siguientes NO son proposiciones
Cuatro ms cinco. (no es una proposicin)
Tres es igual a uno? (no es afirmativo)

Una PROPOSICIN SIMPLE es aquella que
no se puede descomponer en dos proposiciones. Expresa un solo
pensamiento afirmativo.
Las PROPOSICIONES se denotan con letras

minsculas p, q, r, s, t
Ejemplo 3:
Premisa Solucin
1) 5+6 es mayor que 2+15 Proposicin falsa
2) La E.S.I.M.E. Culhuacan es una Proposicin verdadera
escuela de ingeniera
3) Es ms fcil el estudio de la msica No es proposicin, no se
que el de las matemticas puede establecer su
veracidad.
PROPOSICIN.
Sea p una proposicin, entonces, ~p (se lee no p, no es
p) y a esto se le conoce tambin como
cierto que la negacin
de p (not).
p ~p
VERDADERO FALSO
FALSO VERDADERO

Una PROPOSICIN COMPUESTA se
forma relacionando dos o ms proposiciones simples mediante
conectivos lgicos como son: y u o para unir dos

proposiciones o ms.
Estas pueden ser de dos tipos: CONJUNTIVA, DISYUNTIVA o

CONDICIONAL.
PROPOSICIN CONJUNTIVA (Y, and).

Es la que resulta de la UNIN de dos proposiciones mediante el
conectivo conjuncin ( ^): p ^ q (se lee p y q) .
La conjuncin es VERDADERA si ambas p y q son

verdaderas.
La conjuncin es FALSA si una de ellas pyq es falsa.
Esta proposicin da la idea de simultaneidad.
p q p ^ q
VERDADERO VERDADERO VERDADERO
VERDADERO FALSO FALSO
FALSO VERDADERO FALSO
FALSO FALSO FALSO

PROPOSICIN DISYUNTIVA (O, or).
Es la que resulta de la UNION de dos proposiciones con el
conectivo disyuntivo ( v): p v q (se lee como p o q) .
La disyuncin es VERDADERA si p, q o ambas son

verdaderas.
La disyuncin es FALSA solo si pyq son falsas.
Esta proposicin da la idea de alternancia.
P q p v q
VERDADERO FALSO VERDADERO
FALSO VERDADERO VERDADERO
FALSO FALSO FALSO

Ejemplo 4:
Escribir como proposicin en forma simblica: X es un entero
negativo o X es un nmero racional positivo
SOLUCION:
n: X es un nmero negativo.
p: X es un nmero racional positivo.
X es un entero negativo o X es un nmero racional positivo
Se escribe: n V p
Las letras que se usan en la lgica simblica suelen ser p, q y r.

Pero tambin pueden elegirse de tal modo que recuerden la
proposicin en s. En el ejemplo 4 se uso la letra n de
negativo y la p de positivo.
Es conveniente hacer que la letra represente una proposicin en
su forma afirmativa.
Por ejemplo.- Si se quiere decir X no es igual a cinco,
Se hace que p represente X es igual a cinco y se usa ~p para
representar X no es igual a cinco.
Escribir como proposicin en forma simblica:

Hay dos soluciones, y no son racinales.
t: hay dos soluciones

r: son racionales.
Solucin: se escribe t ^ r.

Es necesario comprender la intencin del enunciado. No siempre
es posible encontrar un enunciado asertivo la letra Y puede
estar representado por
1. la , (coma)
2. la palabra pero
EJEMPLO 1:
2 es un nmero natural, entero y racional.

n = 2 es un numero natural
e = 2 es un numero entero
r = 2 es un numero racional
Solucin: n ^ e ^ r
EJEMPLO 2:
Cero no es positivo ni negativo.

p = Cero es positivo
q = cero es negativo
Solucin: ~p ^ ~q
La palabra no ni se usa en ocasiones para expresar la

negacin de una disyuncin exclusiva.
En la lgica simblica es necesario el uso de parntesis. Una

coma en un enunciado en lenguaje comn con frecuencia ayuda a
colocar los parntesis.

EJEMPLO 3:
X es un entero negativo, o es un entero mayor que 3 y es un

cuadrado perfecto.
p = X es un entero negativo
q = X es un entero mayor que 3
r = X es un cuadrado perfecto
Solucin: p v ( q ^ r)
EJERCICIOS:
a) Escribir de forma simblica los enunciados siguientes:
p = Pedro cursa PHP

r = Pedro cursa VISUAL BASIC
d = Pedro cursa DELPHI
a = Pedro cursa ASP
1. Pedro puede cursar PHP o ASP

2. Pedro puede cursar VISUAL y DELPHI
3. Pedro puede cursar PHP y ASP
4. Pedro debe cursar PHP y VISUAL BASIC o DELPHI
5. Pedro debe cursar PHP y VISUAL BASIC, o DELPHI
6. Pedro puede no cursar VISUAL BASIC o DELPHI

b) Escribir de forma simblica los enunciados siguientes:
a = El solicitante tiene 25 aos o ms

m = El solicitante es hombre
v = El solicitante ha tenido una infraccin de transito en los 3
aos anteriores
t = El solicitante asegurara 2 automviles o ms
1. El solicitante es mujer y tiene mas de 25 aos

2. El solicitante no ha sido infraccionado o asegurara 2 autos o
mas
3. El solicitante es hombre y tiene mas de 25 aos, y no ha sido
infraccionado en los 3 aos anteriores
4. El solicitante es mujer y asegurara 2 autos o mas, y tiene 25
aos o ms.
5. El solicitante es mujer y tiene 25 aos o ms, pero tiene
asegurado solo un auto.
6. El solicitante no es hombre no tiene 25 aos o mas.

C) Escribir de forma simblica los enunciados siguientes
utilizando las letras indicadas.
s = El artculo est en existencia.

o = El artculo est agotado.
r = El artculo est perdido.
d = El artculo est descontinuado.
P = El artculo est pedido.
1. El artculo est agotado, pero ya se pidi.

2. El artculo se ha descontinuado o esta agotado.
3. El artculo est agotado y se ha perdido, pero esta
descontinuado.
4. El artculo est en existencia o agotado, pero no se ha
descontinuado.
5. El artculo est en existencia, o est agotado y se ha
descontinuado.
6. El artculo no est agotado ni descontinuado.

d) Escribir de forma simblica los enunciados siguientes
w = El pasajero quiere un asiento de ventanilla.

f = El pasajero quiere la seccin de primera clase.
s = El pasajero quiere la seccin de fumadores
a = El pasajero viajara solo.
r = El pasajero quiere un boleto de ida y vuelta.
1. El pasajero viajara solo y quiere un boleto de de ida y vuelta.

2. El pasajero quiere un asiento de ventanilla o en la seccin de
fumadores.
3. El pasajero quiere de primera clase, pero no un asiento de
ventanilla ni la seccin de fumadores.
4. El pasajero quiere un asiento de ventanilla o la seccin de
fumadores, pero no en la seccin de primera clase.
5. El pasajero no quiere un asiento de ventanilla ni la seccin de
fumadores.
e) Escribir de forma simblica los enunciados siguientes

t=X>-2
f=X< 5
z=X= 0
1. X>-2 yX<5
2. X>-2 pero X 0
3. X>-2 o X=0
4. X<5 o X 0
TABLAS DE VERDAD
Recurdese las tablas que se vieron en la seccin anterior
Tabla de verdad de una conjuncin

p q p ^ q
FALSO VERDADERO FALSO
FALSO FALSO FALSO
Tabla de verdad de una disyuncin

P q p v q
VERDADERO FALSO VERDADERO
FALSO FALSO FALSO
Puesto que la negacin se aplica a una sola proposicin, su

tabla de verdad consta de dos renglones
p ~p
VERDADERO FALSO
FALSO VERDADERO

Las tres tablas de verdad que se han visto constituyen los
cimientos a partir de los cuales se constituyen las tablas de
verdad de las proposiciones compuestas. Considrese ~p V q. El
valor de verdad de la proposicin compuesta depende de los
valores de verdad de p y q. Se enlistan las cuatro combinaciones
posibles de los valores de verdad de p y q.
Pueden estar representadas por otras letras, sin
EJEMPLO 1: embargo siempre tendrn el mismo principio que p , q.
P q ~p v q
V V F v V = V
V F F v F = F
F V V v V = V
F F V v F = V
Para construir la tabla de verdad de una proposicin compuesta

de dos letras:
1.- se anotan las letras empleadas y la proposicin compuesta
como cabeza de columna.
2.- se enlistan las combinaciones posibles de los valores de
verdad
a) bajo la PRIMERA letra se enlista dos V seguida de dos F.
b) bajo la SEGUNDA letra se enlista alternada V y F,
empezando con V.
3.- se resuelve la primera combinacin de acuerdo a las tablas de
verdad que se vieron en la seccin anterior. Y as sucesivamente
hasta encontrar los valores de verdad de p y q de la proposicin
compuesta.

Ejemplo 1:
Construir una tabla de verdad para ~(p ^ q)
Paso 1:
Se enlistan los valores de verdad posibles en p y q.
p Q ~(p^q)
V V
V F
F V
F F
Paso 2:
Los valores de verdad de (p^q) se conocen, de modo que se
enlistan abajo del smbolo.
p Q ~(p^q)
V V (V)
V F (F)
F V (F)
F F (F)
Paso 3:
Por ultimo, se conocen los valores de verdad de una negacin.
Abajo del smbolo ~ se enlistan los valores de verdad contrarios
a los de (p ^ q).
p Q ~(p^q)
V V F
V F V
F V V
F F V

Se dice que dos proposiciones son lgicamente
equivalentes si tienen los mismos valores de verdad para
cualquier combinacin de valores de verdad de las proposiciones
simples que la integra. El smbolo de equivalencia lgica es
Ejemplo 2:
Demostrar que ~p v ~q ~ (p ^ q).
p q ~(p^q) p q ~p v ~q
V V F V V FvF=F
V F V V F F v V= V
F V V F V VvF=V
F F V F F VvV=V
Se concluye que ~(p ^ q) es lgicamente equivalente a ~p V ~q, ya

que los valores de verdad de la columna final son idnticos lnea
por lnea. A todo esto se le conoce como ley de DE MORGAN.
Ejemplo 3.
Determinar si los dos enunciados son lgicamente equivalentes.
t: seis es divisible entre 2

f: seis es divisible entre 5
(a) Seis no es divisible entre 2 y entre 5 =se escribe ~(t ^f)

(b) Seis no es divisible entre 2 o no es divisible entre 5 = se escribe ~t
V ~f
No es necesario construir las tablas de verdad, puesto que los

dos enunciados son lgicamente equivalentes por la ley de DE
MORGAN.

Ejemplo 4.
Determinar si los dos enunciados son lgicamente equivalentes.
c: El programador sabe PHP.

f: El programador sabe DELPHI.
(c) El programador no sabe PHP y DELPHI.

=se escribe ~(c ^f)
11) El programador no sabe PHP ni DELPHI.
=se escribe ~c ^f
Se construyen las tablas de verdad.
c f ~(c ^f) c f ~c ^f
V V F^F=F
V V V = F
V F F ^ V= F
V F F = V
F V V^F=F
F V F = V
F F V^V=V
F F F = V
Al comparar los valores de verdad de ~(c ^f) de la primera

tabla con los dos de ~c ^f de la segunda tabla, se ve que las
dos proposiciones no son lgicamente equivalentes.

EJERCICIOS 1:
a) Construir la tabla de verdad de las proposiciones siguientes:
1) r^s 2) rVs 3) r
4) (p V q) 5) p ^ q 6) p V q
7) u V ~w 8) u V w 9) u ^ w
b) Demostrar que (p) es lgicamente equivalente a p.
c) Demostrar que p ^ q es lgicamente equivalente a (p V q)
d) Determinar si los enunciados son lgicamente equivalentes.

a. El cliente no tiene cuenta de ahorros y de cheques.
b. El cliente no tiene cuenta de ahorros o no tiene de
cheques.

TABLAS DE VERDAD con proposiciones
compuestas:
A fin de evitar ambigedades en una proposicin compuesta, se
sigue el orden establecido para los conectivos:
a) Las expresiones dentro de parntesis tiene prioridad

respecto de las expresiones restantes.
b) Los parntesis pueden utilizarse para fines de claridad, aun

cuando no sean necesarios. En ausencia de parntesis, o en
las expresiones que aparecen entre parntesis.- su orden es
el siguiente:
a. Las negaciones se efectan primero.
b. En seguida las conjunciones y
c. Luego las disyunciones.
c) Si en una expresin se repite un conectivo, stos se

consideran de izquierda a derecha.
Ejemplo 1:
Colocar parntesis en las expresiones siguientes para indicar el
orden de los conectivos.
Proposiciones Solucin
(a) qVr^p ------------ q V (r ^ p)
(b) p ^ q V r ----------- ((p) ^ q) V r
(c) p ^ q V r ----------- (p ^ q) V (r)
(d) p^q^r ----------- (p ^ q) ^ r

Para construir tabla de verdad de una proposicin
la
formada con tres proposiciones simples es necesario
considerar ocho posibilidades: como ejemplo (p ^ q) V r.
1) Se enlistan las letras y la proposicin compuesta como

encabezados de columnas.
2) Se enlistan las ocho combinaciones posibles de los

valores de verdad.
a. Se enlistan cuatro V seguidas de cuatro F en la
primera columna.
b. Se enlistan dos V y dos F de manera alternada en la
segunda columna.
c. Se enlistan V y F alternadas en al tercera columna.
3) Siguiendo el orden convencional de los conectivos, se

enlista el valor de verdad de cada proposicin compuesta
debajo de su conectivo.
4) Los valores de verdad enlistados en la columna final son

los valores de verdad de la proposicin compuesta.

Ejemplo 1:
Construir la tabla de verdad de (p ^ q) V r.
1.- Se resuelve primero lo que esta entre parntesis (p ^ q).

2.- en segundo lugar se resuelve la negacin r.
3.- y en tercer momento se realiza la disyuncin.
p q r (p ^ q) V r
V V V V v F = V
V V F V v V = V
V F V F v F = F
V F F F v V = V
F V V F v F = F
F V F F v V = V
F F V F v F = F
F F F F v V = V

Tautologa griego: , discurso o razonar
(del
autoexplicativo) es una redundancia "explicativa" debido a una
calificacin dada. Repeticin de la misma idea expresada en formas
diferentes.
Una TAUTOLOGIA es una proposicin que es

verdadera para cualquier combinacin de valores de verdad
de las proposiciones simples que la combinen.
Ejemplo 1:
Determinar si la proposicin (p ^ q) V (p V q) es una tautologa.
Paso 1: se construye la tabla de verdad.
p q (p ^ q) V (p V q)
V V V v (F v F)= F = V
V F F v (F v V)= V = V
F V F v (V v F)= V = V
F F F v (V v V)= V = V
Se llega a la conclusin de que la proposicin es una tautologa

porque es verdadera en todos los renglones de la tabla de
verdad.
Cuando son falsas en todos los renglones es una tautologa
negativa y por lo tanto, es una CONTRADICCIN.

EJERCICIOS 2:
Construir la tabla de verdad de las proposiciones siguientes.
1) (p Vq) V r 2) p ^ (q V r)
3) P V (q ^ r) 4) (p V q) ^ r
5) (p ^ q) V r 6) p V (q V r)
7) Son lgicamente equivalentes las proposiciones anteriores

demostrndolo de los problemas 1 y 2?
10) Demostrar si las siguientes proposiciones son tautolgicas.

a. (p V q) ^ (p ^ q)
b. (p V q) ^ (q V p)

LA CONDICIONAL.
Es el resultado de la unin de proposiciones mediante el

conectivo condicional ( ) significa si entonces;
p q (se lee si p entonces q). En donde p es el
antecedente (o hiptesis) y q se le denomina
consecuente (o conclusin).
Ejemplo 1:
Sea z el divisor es cero y d la divisin est definida. El

enunciado si el divisor es cero, entonces la divisin no est
definida se escribe de forma simblica como z d.
Escribir en forma simblica:
s: Los factores tienen el mismo signo.

p: El producto es positivo.
(a) Si los factores tienen el mismo signo, entonces el

producto es positivo.
Se escribe: s p
(b) Si los factores no tienen el mismo signo, entonces el

producto no es positivo.
Se escribe: s p

NOTA para observar:
(1) La palabra entonces puede omitirse en la condicional.
Como ejemplo:
a. Si p, q significa si p, entonces q.
b. q si p hay que darse cuenta que p sigue siendo el
antecedente (ya que esta despus de si) y q el
consecuente.
(2) Muchos enunciados pueden estar formulados en la forma

condicional aun cuando no incluyan el conectivo
sientonces. Por ejemplo:
a. El enunciado donde hay humo, hay fuego podra

escribirse si hay humo, entonces hay fuego.
b. La frase slo si suele interpretarse errneamente.

El programa funcionara slo si la computadora esta
conectada
se dice que el programa funciona, entonces la
computadora esta conectada
no dice que si la computadora esta conectada, el
programa funcionara.
La componente que esta despus de

slo si es la conclusin.

Formas Alternativas de la Condicional.
(1) Si p, entonces q.
(2) Si p, q.
(3) p slo si q. (despus del slo si, est la conclusin) .
(4) q si p.
(5) q siempre que p. (siempre que = si)
Ejemplo 2:
l: se puede tener acceso al programa.

p: se conoce la contrasea.
Escribir de forma simblica:
(a) Se puede tener acceso al programa si se conoce la

contrasea.
Se escribe: p l
(b) Se puede tener acceso al programa slo si se conoce la

contrasea.
Se escribe: l p

Ejemplo 3:
m: se perder el contenido de la memoria.

p:se interrumpe la energa elctrica.
Escribir de forma simblica:
(a) Se perder el contenido de la memoria siempre que se

interrumpa la energa elctrica.
Se escribe: p m
(b) Se perder el contenido de la memoria slo si se

interrumpe la energa elctrica.
Se escribe: m p
En ausencia de parntesis, la negacin, la conjuncin y la

disyuncin se consideran antes que la condicional.
Orden de los conectivos

(1) Se determina primero el valor de verdad de las expresiones
entre parntesis. Dentro de stos, los conectivos se
consideran en el orden siguiente:
(2) Negaciones (de izquierda a derecha)
(3) Conjunciones (de izquierda a derecha)
(4) Disyunciones (de izquierda a derecha)
(5) Condicionales (de izquierda a derecha)

Ejemplo 3:
Colocar parntesis en las expresiones siguientes para indicar el

orden correcto:
(a) p^q rVs = (p ^ q) (r V s)

(b) p q = (p) q
Las condiciones RECIPROCA, INVERSA,

CONTRAPUESTA Y NEGACIN.
Si las componentes de p q se le llama
p q se intercambian
q
a
p
reciproca
Si se hace la negacin p q se le llama la
de las componentes de
p
a
q
inversa
p q
Si las componentes de p q se le llama
p q se intercambian
q
a
p
contrapuesta
y se niegan a la vez.
a la proposicin de
(p q). Con p q se le llama
frecuencia, en este tipo
de negacin se indica
a
negacin
empezando la proposicin (p q)
p q con la frese No
ocurre que

Ejemplo 4:
Considrese la proposicin Si se puede aprender PASCAL,

entonces se puede aprender BASIC. Escribir la:
p: se puede aprender PASCAL.

b: se puede aprender BASIC.
p b
(a) Recproca.
(b) Inversa.
(c) Contrapuesta.
(d) Negacin.
(a) Recproca: Si se puede aprender BASIC, entonces se

puede aprender PASCAL. b p
(b) Inversa: Si no puede aprender PASCAL, entonces no
puede aprender BASIC. p b
(c) Contrapuesta: Si no puede aprender BASIC, entonces no
se puede aprender PASCAL. b p
(d) Negacin: No ocurre que si se puede aprender PASCAL,
entonces pueda aprenderse BASIC. (p b)

EJERCICIOS 3:
Escribir la forma simblica de los enunciados siguientes

utilizando las letras dadas.
f : el lector puede construir un diagrama de flujo.

p : el lector puede escribir un programa de computadora.
1) Si el lector puede construir un diagrama de flujo, entonces

puede escribir un programa de computadora.
2) Si el lector puede escribir un programa de computadora,
entonces puede construir un diagrama de flujo.
s : el programa del lector es estructurado.

e : el programa del lector puede seguirse con facilidad.
3) Si el programa del lector es estructurado, entonces puede

seguirse con facilidad.
4) Si el programa del lector no es estructurado, entonces no
podr seguirse con facilidad.
d : el lector quiere daar un disco flexible.

b : el lector dobla un disco flexible.
h : el lector lo toma en el sitio donde estn los agujeros.
5) Si el lector no quiere daar un disco flexible, no debe doblarlo

o tomarlo en el sitio donde estn los agujeros.
6) Si el lector dobla un disco flexible o lo toma en el sitio donde
estn los agujeros, debe daarlo.

7) Colocar parntesis en las expresiones siguientes para indicar
el orden correcto de los conectivos.
a). p V q r b). p qVr c). p ^ r qVs

d). p V q r e). p ^ q r f). p V q ^ s r
8) Escribir la reciproca, la inversa, la contrapuesta y la negacin

de los enunciados siguientes. Las premisas ya se especificaron
al inicio de este ejercicio 3:
a. Si el lector puede construir un diagrama de flujo,
entonces puede escribir un programa de computadora.

TABLA DE VERDAD CON LA CONDICIONAL
Tabla de verdad de la condicional

P q p q
FALSO FALSO VERDADERO
Las tablas de verdad pueden usarse para estudiar la lgica de un

juicio.
Un JUICIO es una serie de proposiciones, una de las cuales

(llamada conclusin) se infiere, supuestamente, de las otras
(llamadas premisas).
Un JUICIO consta de premisas o proposiciones y de la conclusin

C es VALIDO si (las premisas o proposiciones) resultantes en
C sea una TAUTOLOGA. Si una o ms de las premisas son
falsas, entonces la conjuncin es Falsa.
Por lo tanto, puede decirse que un JUICIO es VALIDO

si la conclusin es verdadera, siempre que todas las
premisas son verdaderas.

La conclusin suele anunciarse con la expresin
especfica, tal como:
por lo tanto, de donde, as o por

consiguiente.
Para determinar si un juicio es vlido:
1. Se construye una tabla de verdad con todas las componentes,
todas las premisas y la conclusin como encabezado de
columna.
2. Se determinan los valores de verdad de las premisas.
3. Se tachan los renglones que tengan una o ms premisas falsas.
4. Si la conclusin es verdadera en los renglones que quedan, el
juicio es valido.

Ejemplo 5:
Determinar si el juicio siguiente es valido.
Si la suma de los dgitos de un nmero es divisible entre 3,
entonces el nmero es divisible entre 3. 7 (es la suma de 1+6)
no es divisible entre 3, por lo tanto, el nmero 16 no es divisible
entre 3.
p: la suma de los dgitos de un nmero es divisible entre 3.

q: el nmero es divisible entre 3.
Se escribe: p q
~p
~q
Se construye la tabla:
Premisas conclusin
p q (p q) ~p ~q
V V V F F
V F F F V
F V V V F
F F V V V
La segunda premisa es falsa de la primera fila: se tacha.
Ambas premisas son falsas de la segunda fila: se tacha.
En el tercer rengln la conclusin es falsa de modo que el

JUICIO NO ES VALIDA.

Ejemplo 6:
Determinar si el juicio siguiente es valido.
Si el ltimo dgito de un nmero es 5, entonces el nmero es
divisible entre 5. El nmero 10 es divisible entre 5. Por lo tanto,
el ltimo dgito del numero 10 es 5.
p: el ltimo dgito de un nmero es 5.

q: El nmero es divisible entre 5.
la premisa se escribe: p q
q
p
Se construye la tabla de verdad:

Premisas conclusin
p q (p q) q p
V V V V V
V F F F V
F V V V F
F F V F F
Ambas premisas son falsas de la segunda fila: se tacha.

La segunda premisa es falsa de la cuarta fila: se tacha.
En el tercer rengln la conclusin es falsa de modo que el

argumento (JUICIO) NO ES VALIDO.

EJERCICIOS 4:
a) Construir las tablas de verdad de las expresiones siguientes:
1) ~p q 2) p ~q
4) ~q p
3) q ~p
b) Construir las tablas de verdad de las expresiones siguientes:
5) (p ^ q) r 6) p ^ (q r)
7) p V (q r) 8) (p V q) r
c) Determinar si los juicios siguientes son Vlidos.
9) Si el escritorio del lector est desordenado,

entonces es un genio. El esritorio del lector est
desordenado. Por lo tanto, el lector es un genio.
10) Si el escritorio del lector est desordenado,
entonces es un genio. El escritorio del lector no est
desordenado. Por lo tanto, el lector no es un genio.
11) Si la casa del lector est inmaculada, entonces es

una persona descuidada. El lector no es una persona
descuidada. Por lo tanto, la casa del lector no es
inmaculada.


Unidad II - Logica - Tics

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Unidad II - Logica - Tics

Enviado por

Direitos autorais:

Formatos disponíveis

1 Matemticas Discretas I Ingeniera en TICs

Las matemticas y la programacin de computadoras

Una PROPOSICION es un enunciado que puede ser

Los enunciados siguientes son proposiciones:

Dos ms tres es igual a cinco (VERDADERO)

Cuatro es menor que cuatro (FALSO)

Tres es raz cuadrada de nueve (VERDADERO)

Los enunciados siguientes NO son proposiciones

Cuatro ms cinco. (no es una proposicin)

Tres es igual a uno? (no es afirmativo)

2 Matemticas Discretas I Ingeniera en TICs

Las PROPOSICIONES se denotan con letras

3 Matemticas Discretas I Ingeniera en TICs

conectivos lgicos como son: y u o para unir dos

Estas pueden ser de dos tipos: CONJUNTIVA, DISYUNTIVA o

PROPOSICIN CONJUNTIVA (Y, and).

conectivo conjuncin ( ^): p ^ q (se lee p y q) .

La conjuncin es VERDADERA si ambas p y q son

Esta proposicin da la idea de simultaneidad.

VERDADERO FALSO FALSO

FALSO VERDADERO FALSO

FALSO FALSO FALSO

4 Matemticas Discretas I Ingeniera en TICs

conectivo disyuntivo ( v): p v q (se lee como p o q) .

La disyuncin es VERDADERA si p, q o ambas son

Esta proposicin da la idea de alternancia.

VERDADERO FALSO VERDADERO

FALSO VERDADERO VERDADERO

FALSO FALSO FALSO

5 Matemticas Discretas I Ingeniera en TICs

Las letras que se usan en la lgica simblica suelen ser p, q y r.

Escribir como proposicin en forma simblica:

t: hay dos soluciones

6 Matemticas Discretas I Ingeniera en TICs

2 es un nmero natural, entero y racional.

Cero no es positivo ni negativo.

La palabra no ni se usa en ocasiones para expresar la

En la lgica simblica es necesario el uso de parntesis. Una

7 Matemticas Discretas I Ingeniera en TICs

X es un entero negativo, o es un entero mayor que 3 y es un

p = Pedro cursa PHP

1. Pedro puede cursar PHP o ASP

8 Matemticas Discretas I Ingeniera en TICs

a = El solicitante tiene 25 aos o ms

1. El solicitante es mujer y tiene mas de 25 aos

9 Matemticas Discretas I Ingeniera en TICs

s = El artculo est en existencia.

1. El artculo est agotado, pero ya se pidi.

10 Matemticas Discretas I Ingeniera en TICs

w = El pasajero quiere un asiento de ventanilla.

1. El pasajero viajara solo y quiere un boleto de de ida y vuelta.

e) Escribir de forma simblica los enunciados siguientes

Tabla de verdad de una conjuncin

VERDADERO VERDADERO VERDADERO

VERDADERO FALSO FALSO

FALSO VERDADERO FALSO

FALSO FALSO FALSO

Tabla de verdad de una disyuncin

VERDADERO VERDADERO VERDADERO

VERDADERO FALSO VERDADERO

FALSO VERDADERO VERDADERO

FALSO FALSO FALSO