FACULTAD DE INGENIERÍA EN INFORMÁTICA Y SISTEMAS

CURSO : MATEMÁTICA DISCRETA

DOCENTE : REYES AYALA, YESSICA

ALUMNOS : LABAN GUPIOC, Orlando

ESPINOZA FLORES, Van Luis
VENTURA PIÑAN, Isai Obed

SEMESTRE : 2013 - I

Tingo María - Perú

 PROPOSICIÓN
Son aquellas expresiones u oraciones que pueden ser calificadas bien como VERDADERAS
o FALSAS, sin ambigüedades.

NOTACION:

Las proposiciones lógicas son denotadas generalmente con letras minúsculas p, q, r, s, t,

etc.

A la veracidad o falsedad de una proposición se denomina valor de verdad.

Ejemplo de proposiciones:

 La capacidad de memoria RAM es uno de los factores que influye para que el
proceso de información en un computador sea rápido. (VERDADERO)…. V.
 C++ es el único lenguaje de programación que existe. (FALSO)… F.
 El sistema operativo gestiona y coordina el aspecto físico y lógico del
computador.(VERDADERO)…. V.
 El hardware es la parte lógica del computador. (FALSO)…. V.

DEFINICION:

Se suele llamar valores de verdad de una proposición a sus dos valores posibles,
verdaderos o falsos; estos posibles valores se puede esquematizar en una tabla de
verdad en la forma:

P
V
F
CONECTIVOS LOGICOS

Son expresiones que sirven para unir dos o más proposiciones; entre los más
importantes conectivos lógicos tenemos:

La conjunción, disyunción, implicación, bicondicional, negación, contradicción.

Expresión y símbolos de los conectivos lógicos:

NOMBRE EXPRESION SIMBOLO LOGICO

Conjunción ….y…….. Λ
Disyunción ……..o…. ν
 Implicación … si entonces.. →
Bicondicional, equivalencia …si y solo si……. ↔
doble implicación ≅

Negación ~
contradicción …….no equivalente ≠

CLASIFICACIÓN DE PROPOSICIONES:

a) PROPOSICIONES SIMPLES O ATÓMICAS: Son aquellas que se pueden representar

por un sola variable; son aquellas que no se pueden descomponer en partes que a
su vez sean proposiciones. Ejemplo:
 p : Windows es el Sistema Operativo más común en Latinoamérica.
 Q : 𝑠𝑒𝑛2 𝛼 + 𝑐𝑜𝑠 2 𝛼 = 1
 P : Oracle es un gestor de base de datos.
b) PROPOSICIONES COMPUESTAS O MOLECULARES: Son aquellas que están
compuestas por proposiciones simples unidas. Ejemplo:
 Windows es el Sistema Operativo más común en Latinoamérica, pero Linux
es el Sistema Operativo más seguro.
 Los algoritmos se pueden expresar en lenguaje natural,
pseudocódigo, diagramas de flujo y lenguajes de programación.
 La programación es el proceso de diseñar, codificar, depurar y
mantener el código fuente de programas computacionales.
PROPOSICIONES COMPUESTAS BASICOS

a) LA NEGACION

Dado una proposición P, llamaremos la negación de P, a otra proposición que denotaremos

por ~p, y que se le asigna el valor opuesto o P, y su tabla de verdad es:
 p ~p

F V
V F

El principio lógico de la negación es:

Si una proposición es verdadera V, su negación es falsa F y de igual forma, si dicha proposición

es falsa F, su negación es verdadera.

La negación ~p se lee “no P”, “no es cierto que P”.

Ejemplos:

 Sea la proposición P: el lenguaje propio de la maquina (computador) es el

ensamblador.

Su negación seria: ~p: no es cierto que el lenguaje propio de una maquina es el

ensamblador.

 Dada la proposición P: 5x7=35

Su negación es: ~p: no es cierto que 5x7=35

 p : Los puertos USB son la parte principal del computador. (F)

Su negación seria ~p : Los puertos de USB no son la parte principal del
computador. (V)

 La fórmula general de la recta es Ax+By+C=0

Su negación es: ~p: no es cierto que la ecuación general de la recta es Ax+By+C=0

b) LA DISYUNCION INCLUSIVA
 La disyunción es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones P y q, devolviendo el valor de verdad verdadero
cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando
ambas son falsas. La tabla de verdad para la disyunción es:

p q pvq
V V F
V F V
F V V
F F V

Ejemplos:
 p : FIFA 13 no es compatible con Sistemas Operativos de 32 bits. (V)
q : FIFA 12 solo es compatible con Sistemas Operativos de 64 bits. (F)
hallar su valor de verdad de p v q.
p v q : FIFA 13 no es compatible con Sistemas Operativos de 32 bits o FIFA 12
solo es compatible Sistemas Operativos de 64 bits.

P q pνq
V F V

 Hallar el valor de p o q donde p: 7 es mayor que 9; q:4 es menor que 5;

P q pνq
F V V

c) LA DISYUNCION EXCLUSIVA

La disyunción exclusiva de dos proposiciones p y q es la proposición compuesto mediante

conectivo lógico “o” y se simboliza p Δ q, donde ambas proposiciones p y q tengan valores de
verdad opuestos y es falsa si ambas tiene idénticos valores. Su tabla de verdad es:

p q pΔq
 V V F
V F V
F V V
F F F

Ejemplos:

 Sea p:k es par; q:k es impar. Hallar el valor de verdad pΔq

Solución

Para calcular el valor de verdad de pΔq, primero hacemos:

1.-Si k es par, si puede ser impar (si p es V ; q es F)

2.-si k es impar, no puede ser par (si p es F ; q es V)

Luego en efecto tenemos:

p Q pΔq
V F V
F V V

d) LA CONJUNCION

La conjunción es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones p y q, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son
P q pΛq verdaderas, y falso en cualquier otro caso. Es decir es
verdadera cuando ambas son verdaderas.
 V V V
V F F
F V F
F F F

Ejemplo:

 Sea la proposición p: el punto medio de un segmento, equidista de los

extremos del segmento y q: │-x │=x. Calcular el valor de verdad de pΛq.

Solución

p q pΛq
V V V
 Sean las proposiciones p : Microsoft Office Word es un software estadístico.
(F) y q : Java es un lenguaje de programación. (V)
Hallar el valor de verdad de:
 p ᴧ q : Microsoft Word es un software estadístico y Java es un lenguaje de
programación.
Solución

p q pΛq
F V F

e) LA CONDICIONAL(Implicativa)

El condicional material es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.

La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se

representa por p → q
 p q p→q
v V V
v F F
F V V
F F V
OBSERVACION:

La proposición p es llamado antecedente y la proposición q es llamado consecuente.

p q

ejemplo:

 Dadas las proposiciones p : Redes y Telecomunicaciones no es una

especialidad de Informática. (F)
q : Programación es una especialidad de Informática. (V)
Hallar el valor de verdad de:
p → q : Redes y Telecomunicaciones no es una especialidad de Informática
entonces Programación es una especialidad de Informática…(V)
solución

P Q p→q
V F F

 Sea la proposición p: la pendiente de dos rectas paralelas siempre suelen ser iguales y
q:un numero par no es divisible por 2.Hallar el valor de verdad de p→q

Solución

Para calcular el valor de verdad de estas proposiciones primero se tiene que calcular su valor de
cada una de ellas.

P: las pendientes de dos rectar paralelas siempre suelen ser iguales es V.

Q: un numero par no es divisible por 2 es F.

P Q p→q
V F F

 Si la discriminante de una ecuación es menor que cero entonces la ecuación tiene

solución compleja.

Solución
P: discriminante.

Q: solución.
p q p→q
V V V

f) LA BICONDICIONAL(Equivalente o doble implicacion)

El bicondicional o doble implicación es un operador que funciona sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso
cuando sus valores de verdad difieren.

Su tabla de verdad es:

P q p↔q
V V V
V F F
F V F
F F V

Ejemplos:

1.- sabrás resolver las integrales cuando y solo cuando sepas derivar.

Solución

P: saber resolver integrales.

Q: saber derivar.

p q p↔q
V V V
PROPOSICIONES COMPUESTAS

Mediante los conectivos lógicos se pueden combinar cualquier numero finito de proposiciones
cuyos valores de verdad pueden ser conocidos, construyendo su tabla de verdad, en dicha tabla se
puede indicar los valores resultantes de estas proposiciones compuestas, para todas las
combinaciones posibles de valores de verdad de las proposiciones compuestas.

Ejemplo:

TAUTOLOGIA, CONTRADICIONES Y CONTINGENCIAS

a) TAUTOLOGIA
Son proposiciones compuestas que siempre son verdaderos cualquiera que sea el valor de
las proposiciones componentes.
Ejemplos:
1.-Dadas la siguientes proposiciones:
- p : El microprocesador del computador es de 64 bits.
- q : el Sistema Operativo del computador es Windows 8.
- r : la pantalla del computador es táctil.
Averiguar si la siguiente composición es tautología.

Si el microprocesador del computador no es de 64 bits o el Sistema Operativo es Windows

8, y el Sistema Operativo es Windows 8; entonces el microprocesador es de 64 bits.

[ ( (~p) v q ) ᴠ ~q ] → ~p

Solución

p Q ~p ~q (~p) ᴠ q [ ( (~p) ᴠ q) ᴧ ~q ] → ~p
V V F V F F V F
V F F F F F V F
F V V V F F V V
F F V V V V V V
Tautologia ..

2.- El Minitab es un software estadístico o el Microsoft Excel no es un

programa para estadística entonces el Microsoft Excel es un programa para
estadística puesto que el Minitab es un software estadístico.

p: El Minitab es un software estadístico.

q: El Microsoft Excel es un programa para estadística.

 ( p v ~q )  ( q  p )

P q ( p v ~q ) (qp) ( p v ~q )  ( q  p )
V V V V V
V F V V V
F V F F V
F F V V V

b) CONTRADICCIONES

Son proposiciones compuestas que siempre son falsas, cualquiera que sea el valor de las
proposiciones compuestas.
Ejemplos:

1.- Dadas las proposiciones siguientes

- p: el firewall de Windows está activado.

- q: la red de la señal inalámbrica es segura.
Hallar la tabla de verdad de la siguiente expresión:

El firewall de Windows está activado y la señal inalámbrica es segura, o la señal

inalámbrica es segura; y la señal inalámbrica es insegura.

Solución

[(pqq]~q

P Q ~q p q (p  q) v q [ ( p q) v q ]  ~q
V V F V V F
V F V F F F
F V F F V F
F F V F F F
Contradictorio

2.- En el computador la zona de trabajo es el CPU y el sistema operativo controla el

acceso al hardware pero no es cierto que, en el computador la zona de trabajo no
sea el CPU puesto que el sistema operativo controla el acceso al hardware.

p: En el computador la zona de trabajo es el CPU.

q: El sistema operativo controla el acceso al hardware.

 (pq)~(~pq)

P q (pq) (~pq) (pq)~(~pq)

V V V V F
V F F V F
F V F V F
F F F F F

c) CONTINGENCIA:
Son proposiciones compuestas que no son ni tautología ni contradicciones,
es decir, son proposiciones que en algunos casos es F, y en otros V.
Ejemplos:

1.- Dadas las proposiciones: p: la placa madre no tiene tarjeta, q: el grimping arreglo el conector
RJ45, r: los Reuters del switch no funcionan. Hallar la tabla de verdad de la siguiente oración y
demostrar si es contingencia.

El grimping daño el conector RJ45 o la placa madre no tiene tarjeta de red, entonces los Reuter
del switch no funcionan y el grimping arreglo el conector RJ45.

Solución

[(~p ν q) ] → ( r Λ p)

P Q r ~p (~p νq) (r p) [ (~p νq) ] →(r p)

V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F F
F V V V V F F
F V F V V F F
F F V V V F F
F F F V V F F

Contingencia

2.- El Microsoft Access es un programa para base de datos y el CmapTools es un

software para mapas conceptuales o es falso que, el Microsoft Access es un
programa para base de datos entonces una red no es una unión de dos o más Pc´s
conectadas entre sí.
p: El Microsoft Access es un programa para base de datos.

q: El CmapTools es un software para mapas conceptuales.

r: Una red es una unión de dos o más Pc´s conectadas entre si.

( p  q)   ( p   r)

P Q r ( p  q) ( p   r) ( p  q)   ( p   r)
V V V V F V
V V F V V V
V F V F F V
V F F F V F
F V V F V F
‘F V F F V F
F F V F V F
F F F F V F

3.- Si no apruebas o no resuelves este problema, entonces es falso que, hayas

estudiado o domines la programación. Pero no dominas la programación aunque
has estudiado.

p: Apruebas.

q: Resuelves este problema.

r: Hayas estudiado.

s: Domines la programación.

[(~p ∨ ~q) → ~(r ∨ s)] ⋀ (~s ⋀ r)

p Q r s (~p∨~q) (r ∨ s) (~s⋀r) [(~p ∨ ~q) → ~(r ∨ s)] ⋀ (~s ⋀ r)

V V V V F V F V F F
V V V F F V V V V V
V V F V F V F V F F
V V F F F F F V F F
V F V V V V F F F F
V F V F V V V F F V
V F F V V V F F F F
V F F F V F F V F F
F V V V V V F F F F
F V V F V V V F F V
F V F V V V F F F F
F V F F V F F V F F
F F V V V V F F F F
F F V F V V V F F V
F F F V V V F F F F
F F F F V F F V F F

PRINCIPALES LEYES LOGICAS O TAUTOLOGICAS

Las llamadas leyes lógicas o principios lógicos viene a ser formas proposicionales tautológicas de
carácter general y que a partir de estas leyes lógicas se puede generar otras tautológicas de igual
forma cualquier tautología se puede reducir a una de las leyes lógicas.

En esta oportunidad les mencionamos las más principales leyes lógicas:

1° LOS TRES PRINCIPIOS LOGICOS CLASICOS.-

1. Ley de identidad.

pp “una proposición solo son idénticos a sí mismo”

pp

2. ley de no contradicción

~ (p∧~p) “una proposición no puede ser verdadero y falso a la vez”

3. Ley del tercio excluido

pV~p ”una proposición es verdadera o falsa no hay una tercera posibilidad”

2° EQUIVALENCIAS NOTABLES.-
1. Ley de Involución (doble negación): ~(~p) ≡p

2. La idempotencia: a) p ∨p ≡p;

b) p ∧p ≡p;

3. Leyes conmutativas: a) p ∧q ≡q ∧p

b) p ∨q ≡q ∨p

c) p ⇔p ≡q ⇔p

4. Leyes asociativas: a) (p ∧q) ∧r ≡p ∧(q ∧r)

b) (p ∨q) ∨r ≡p ∨(q ∨r)

c) (p ⇔q) ⇔r ≡p ⇔(q ⇔r)

5. Leyes distributivas: a) r ∨(p ∧q) ≡(r ∨p) ∧(r ∨q)

b) r ∧(p ∨q) ≡(r ∧p) ∨(r ∧q)

c) p ⇒(q ∧r) ≡(p ⇒q) ∧(p ⇒r)

d) p ⇒(q ∨r) ≡(p ⇒q) ∨(p ⇒r)

6. Leyes de Morgan a) ~ (p ∧q) ≡(~p ∨~q)

b) ~ (p ∨q) ≡(~p ∧~q)

7. Leyes del Condicional a) p ⇒q ≡~p ∨q

b) ~ (p ⇒q) ≡p ∧~q

8. Leyes del Bicondicional a) p ⇔q ≡(p ⇒q) ∧(q ⇒p)

b) p ⇔q ≡(p ∧q) ∨(~p ∧~q)

9. Leyes de la Absorción a) p ∧(p ∨q) ≡p

b) p ∧(~p ∨q) ≡p ∧q

c) p ∨(p ∧q) ≡p

d) p ∨(~p ∧q) ≡p ∨q
10. Leyes de Transposición a) (p ⇒q) ≡(~q ⇒~p)

b) p ⇔q ≡(~q ⇔~p)

11. Ley de Exportación (p ∧q) ⇒r ≡p ⇒(q ⇒r)

12. Elementos Neutros para la Conjunción y Disyunción:

P ∧V ≡p: V neutro de la Conjunción.

P ∨F ≡P: F neutro de la Disyunción.

13. Elementos Neutros para la Contradicción y Tautología:

P ∧C = C; C ∨T = T; P ∨T = T; C ∧T = C

Dónde: T= Tautología (Verdad),

C = Contradicción (Falso),

P = Esquema Molecular Cualquiera

14. también:

a) (p ν q) Λ (p ν ~q) Ξ p

b) (p Λ q) ν (p Λ ~q) Ξ p

Observación.- Estas leyes son muy útiles para simplificar los problemas, puesto que es valido
reemplazar una proposición por su equivalente sin alterar el resultado.

SIMPLIFICACION

Para la simplificación usaremos las leyes proposicionales.

Ejemplos:

1. Sean las proposiciones:

P: Jcreator es un lenguaje de programación más interactivo que c++.
q: Java trabaja con una máquina virtual.
r: el sistema binario es el más complicado para programar
Utilizando las leyes lógicas simplificar las siguientes expresiones:
a) [~ (~p Λ q) ν(r Λ ~r )] Λ ~q
Solución
 [~ (~p Λ q) ν(r Λ ~r ) ] Λ ~q …………..por negación.
[(p ν ~q) ν(r Λ ~r ) ] Λ ~q ………………. Condicional
[(p ν ~q) ν F] Λ ~q ……………………..neutro de la disyunción
(p ν ~q) Λ ~q …………………………absorción
~q

b) [ (p → q) ν ~p ] Λ( ~q→ p)
Solución
[ (p → q) ν ~p ] Λ( ~q→ p) ………condicional
[~p ν q ν ~p ] Λ( q ν p)…………idempotencia
(~p ν q) Λ( q ν p)………………….asociativa
~p ν (q Λ( q ν p))……………..absorcion
~p ν q

2.-dadas las proposiciones:

p : Los mejores programadores del Perú son de la FIIS – UNAS

q : Los procesadores i7 son mejores que los i5

Determinar los esquemas más simples de las siguientes expresiones:

a) ~ [ ~ ( p q )  ~q ] v p

Solución:

~ [ ~ ( p q )  ~q ] v p por la condicional

~ [ ~ ( ~ (p q ) ) v ~q ] v p por la negación

~ [ ( p qv ~q ] v p por conmutatividad en la conjunción

~ [ ~q v ( p  q ) ] v p por absorción

~ ( ~q v p ) v p por Morgan

(~pq)vp por absorción

pvq

b) [ [ ~q  ~q ]  ( ~p  ~q ) ]  ~ ( p  q )
Solución:
[ [ ~q  ~q ]  ( ~p  ~q ) ]  ~ ( p  q ) ………….. condicional
[ ( q v ~q )  ( p v ~q ) ]  ~ ( p  q ) ………….. negación
 V  ( p v ~q )  ~ (p  q)…………… condicional
( F v ( p v ~ q ) )  ~ ( p  q )……… neutro de la disyunción
~ ( p v ~q ) v ~ (p q) ……………….. condicional
~ ( p v ~q ) v ~p v ~q ………….. negación
( ~p  q ) v ~p v ~q ………. absorción
~p v ~q

CIRCUITOS LÓGICOS

Entre algunas aplicaciones de la lógica aparece la construcción de circuitos lógicos

en la Electrónica y al Cibernética. Para cualquier fórmula proposicional podemos
construir un circuito eléctrico basándose en 3 conectores u operadores: (∧, ∨, ~).
Los circuitos eléctricos están formados por conmutadores o interruptores que son
los órganos que impiden o dejan pasar la corriente eléctrica.

Los interruptores .- también llamados conmutadores son los elementos que

participan en la instalación eléctrica: son de dos tipos:

• Conmutador cerrado: permite el paso de la corriente eléctrica y equivale a un

dato verdadero que numéricamente toma el valor de 1.

• Conmutador abierto: impide el paso de la corriente y equivale a un dato falso

que numéricamente toma el valor de 0.

TIPOS DE CIRCUITOS

• Circuito en serie: constan de dos o más interruptores, donde un interruptor

está a continuación de otro y así sucesivamente, el grafico de un circuito en

Serie es la representación de una formula proposicional conjuntiva, cuya

Expresión más simple es “p ∧ q”

Se representa:

p q p q

1 1 1
1 0 0
0 1 0
0 0 0

• Circuito en Paralelo: consta de dos o más interruptores, donde un interruptor

está sobre otro o en la otra línea y así sucesivamente. El grafico de un circuito

en paralelo es la representación de la fórmula proposicional disyuntiva, cuya

expresión mas simple es: “p ∨ q”.

Se representa:

p q p ∨ q

1 1 1
1 0 1
0 1 1
0 0 0

Ejemplos de circuitos lógicos:

1.- Este sistema es un programa dividido en 8 subprogramas, cada uno compuesto por 10 líneas de
código, ¿en cuánto se reducirán las líneas de código del programa si se reemplaza este circuito por
uno equivalente más simple?
Solución:

[(p ν q) Λ p Λ q] ν [r Λ p Λ( ~r ν q)]

Ξ (p Λ q) ν [p Λ ( r Λ q)]

Ξ (p Λ q)

Con este nuevo circuito ahorramos 60 líneas de código así el programa funcionara con 20 líneas de
código.

2.- simplificar el siguiente circuito lógico a su forma más simple.

Solución

[(~p Λ ~q) ν( p ν q)] Λ [p ν (q Λ ( ~r ν ~p)] Λ ~q

[((~p Λ ~q) ν p) ν q] Λ [p ν (q Λ ( ~r ν ~p)] Λ ~q

(p ν ~q ν q) Λ [p ν (q Λ ~r) ν (qΛ ~p)] Λ ~q

(p ν V) Λ [p ν (~p Λ q) ν (qΛ ~r)] Λ ~q

V Λ [(p ν q) ν (qΛ ~r)] Λ ~q

[p ν q ν (qΛ ~r)] Λ ~q

(p ν q) Λ ~q

p Λ ~q