Módulo 2. Simbolización, Leyes, Circuitos

UNIVERSIDAD NACIONAL “HERMILIO VALDIZÁN” HUÁNUCO
FACULTAD DE CIENCIAS DE LA EDUCACIÓN
ASIGNATURA: LÓGICA MATEMÁTICA
☺ SIMBOLIZACIÓN Y FORMALIZACIÓN DE PROPOSICIONES

☺ LEYES LÓGICAS
☺ CIRCUITOS LÓGICOS
Joel Tarazona Bardales
MóduloN°
Módulo
Módulo N° 22
N°
Módulo
Módulo
Módulo N°
N°
N° 222
MóduloN°
Módulo
Módulo N° 222
N°
HUÁNUCO -:- PERÚ Módulo N° 22
1
SIMBOLIZACIÓN Y FORMALIZACIÓN DE PROPOSICIONES.
LEYES Y CIRCUITOS LÓGICOS
2.1 Simbolización de proposiciones

La simbolización de proposiciones consiste en la representación
del lenguaje ordinario mediante el lenguaje simbólico. Para ello se
debe tomar en cuenta que cada proposición simple debe ser
simbolizada por una variable proposicional, y que los términos de
enlace deben ser simbolizados por operadores proposicionales
que las interpreten.
Los signos de agrupación (paréntesis, corchetes, llave) se usan en
lógica cuando se trata de obtener esquemas lógicos más
complejos con el fin de evitar la ambigüedad de las fórmulas.
Cuando no se usan correctamente los signos de agrupación las
fórmulas carecen de sentido.
Otra finalidad de los signos de agrupación es darle mayor o
menor jerarquía a los conectivos. En general “~” es la conectiva de
menor jerarquía, le siguen “  ”, “  ” que son de igual jerarquía y
luego “→” que es el de mayor jerarquía. Sin embargo, cada
conectiva puede ser de mayor jerarquía si así lo indica el signo de
colección.
2.2 Formalización de proposiciones

Consiste en la representación de las proposiciones y sus enlaces
mediante variables (p, q, r,…).
Ejemplos 1: Huánuco es una región y Ambo una provincia.
p:
q:
Formalización:
Ejemplo 2: Los estudiantes del primer año de la facultad de Ciencias

de la Educación - UNHEVAL aprenden matemática si y sólo si
asisten a las clases puntualmente.
p:
q:
Formalización:
2
Ejemplo 3: Si Hilario Mendoza Tarazona no aprueba o no resuelve
los problemas asignados, entonces es falso que, haya estudiado o
domine la deducción lógica.
p:
q:
r:
s:
Formalización:
2.3 Equivalencia lógica
Dos proposiciones p y q se llaman equivalentes si sus tablas de
verdad son idénticas, en cuyo caso se simboliza p  q.
Ejemplo Nº 3: Las fórmulas (p → q) y [q → p)] son lógicamente
equivalentes, es decir:
(p → q)  [q → p)], tal como veremos en la tabla de verdad
adjunta.
p q p → q q → p
2.4 Leyes de la Lógica Proposicional

1) Principios lógicos clásicos
1.1 Ley de identidad (Reflexiva)
Una proposición sólo es idéntica así mismo
p→p
p↔p
1.2 Ley de no contradicción

Una proposición no puede ser verdadera y falsa a la vez.
~ (p  ~ p)
1.3 Ley del tercio excluido

Una proposición o es verdadera o es falsa, no hay una tercera
posibilidad.
p ~p
3
2) Equivalencias notables
2.1 Doble negación (DN)

(Ley de Involución)
a) ~ (~ p) ≡ p
2.2 La idempotencia (Lid)

a) p  p ≡ p b) p  p≡p
2.3 Leyes conmutativas (LC)

a) p  q ≡ q  p
b) p  q ≡ q  p
c) p ↔ q ≡ q ↔ p
2.4 Leyes asociativas (Las)

a) p  (q  r) ≡ (p  q)  r
b) p  (q  r) ≡ (p  q)  r
c) p ↔ (q ↔ r) ≡ (p ↔ q) ↔ r
2.5 Leyes distributivas (LD)

a) p  (q  r) ≡ (p  q)  (p  r)
b) p  (q  r) ≡ (p  q)  (p  r)
c) p → (q  r) ≡ (p → q)  (p → r)
d) p → (q  r) ≡ (p → q)  (p → r)
2.6 Leyes de morgan (LM)

a) ~ (p  q) ≡ (~ p  ~ q)
b) ~ (p  q) ≡ (~ p  ~ q)
2.7 Elementos neutros (EN)

a) V  p ≡ p c) F  p≡F
b) V  p ≡ V d) F  p≡p
2.8 Ley del complemento (LCom)

a) p  ~ p ≡ V c) ~ p  ~ p ≡ ~ p
b) p  ~ p ≡ F d) ~ p  ~ p ≡ ~ p
4
2.9 Leyes de la absorción (LAb)
a) p  (p  q) ≡ p
b) p  (p  q) ≡ p
c) ~ p  (~ p  q) ≡ ~ p
d) ~ p  (~ p  q) ≡ ~ p
e) ~ q  (p  ~ q) ≡ ~ q
f) ~ q  (~ p  ~ q) ≡ ~ q
g) p  (~ p  q) ≡ p  q
g) p  (~ p  q) ≡ p  q
2.10 Leyes del condicional (LCd)

a) p → q ≡ ~ p  q
b) ~ (p → q) ≡ p  ~ q
2.11 Leyes del bicondicional (Lb)

a) p ↔ q) ≡ (p → q)  (q → p)
b) (p ↔ q) ≡ (p  q)  (~ p  ~ q) ≡ ~ (p ∆ q)
2.12 La disyunción exclusiva (DE)

a) p ∆ q ≡ (p  ~ q)  (q  ~ p)
b) p ∆ q ≡ (p  q)  ~ (p  q)
Ejemplo Nº 04: Simplifica los siguientes esquemas moleculares

utilizando las Leyes de la Lógica Proposicional:
M = (~p  q) → (q→p) R= ~ [~(p  q) →~q]  q
M≡ R≡
Ejemplo Nº 05: Simplifica [(p → q)  ~ p] → ~ q

Solución:
5
Esto significa qué: {[(p → q)  ~ p] → ~ q} ≡
Verificación:
Es una tautología (Ley), por lo tanto está demostrado que la

simplificación es correcta
Ejemplo Nº 5: Determina el esquema más simple de la proposición:

[(p  q)  (p  ~ q)]  (~ p  ~ q)
Solución:
Por lo tanto [(p  q)  (p  ~ q)]  [(~ p  ~ q) ≡
Ejemplo Nº 6: Analiza e identifica la negación del siguiente

enunciado: “Si Luis Castañeda Losio es aceptado por Jenny
Palacios Quispe, se casará”
A) Si Luis no es aceptado por Jenny, no se casará
B) Luis no es aceptado por Jenny o no se casará
C) Luis no se casará o es aceptado por Jenny
D) Luis no se casará y es aceptado por Jenny
E) Más de una es correcta
Análisis:
6
2.5 Circuitos lógicos
Las proposiciones lógicas se pueden expresar empleando el
lenguaje de los circuitos eléctricos. Para determinar la verdad o
falsedad de razonamiento propicia se tendrá en cuenta que el paso
de la corriente identifica a la verdad, y la interrupción de la
corriente identifica un hecho falso. Cuando el interruptor está
cerrado, pasa corriente que equivale a un dato verdadero (V), pero
cuando el interruptor está abierto, no pasa la corriente que
equivale a un dato falso (F). Es decir:
Circuito cerrado: V  V = V (pasa corriente)
Circuito abierto: F  F = F ( no pasa corriente)
Ahora podemos construir los circuitos, que es el procedimiento que
se sigue en la construcción de computadoras electrónicas.
Armando Venero B. plantea que estos circuitos son de dos clases:
a) Circuitos en serie
Son aquellos provistos de dos interruptores p y q, conectados en
serie:
p q No pasa corriente
De modo que en todo el circuito pasará la corriente solamente en

el caso en que ambos p y q se encuentren cerrados (ambos tienen
el valor 1) como sigue:
p q
. Pasa corriente
Pero precisamente esto corresponde a la tabla de verdad de la

conjunción p  q :
P q p  q
1 1 1
1 0 0
0 1 0
0 0 0
7
De donde vemos que basta que uno de ellos esté abierto (0)
para que no circule la corriente en todo el circuito:
p=1
q=0
p q
A la expresión p  q se le llama la FUNCIÓN BOOLEANA del

circuito en serie.
b) Circuitos en paralelo
Son aquellos circuitos provistos de dos interruptores p y q
conectados en paralelo:
De modo que para que circule la corriente en el circuito es

suficiente que alguno de los interruptores p o q esté cerrado (1);
y solamente dejará de circular la corriente si ambos están abiertos
(ambos: 0)
Esto precisamente corresponde a la tabla de verdad de la

disyunción p  q.
P q p  q
1 1 1
1 0 1
0 1 1
0 0 0
A la expresión p  q se le llama la FUNCIÓN BOOLENA del circuito

en paralelo.
8
Ejemplo 7: Diseña circuitos lógicos de las siguientes proposiciones
a) p e) p → q
b) p  q f) p  q
c) p  q g) p  q
d) (p  q )  r
Solución:
a) p :
b) p  q :
c) p  q:
d) (p  q )  r:
e) p → q  :
f) p  q  :
g) p  q  :
9
Ejemplo 8: Expresa mediante funciones Booleanas los siguientes
circuitos
a) b)
Solución:
a) b)
Ejemplo 9: Simplifica los siguientes circuitos lógicos:

a)
Solución:
b)
Solución:
10
Ejemplo 10: Dado el circuito correspondiente a la función Booleana
[(p  q)  (~q  p)]  p
. Identifica y discrimina el circuito equivalente:
a) c)
b) d)
Solución:
Por lo tanto, el circuito dado es equivalente al circuito ( ).
Ejemplo 9: Si el costo de cada llave en la instalación adyacente es

de S/. 50,00. Analiza y evalúa la reducción del costo de la instalación
si se reemplaza este circuito por uno equivalente más simple.
Solución:
Luego el circuito más simple es:

El cual por contener solamente…….. llaves, hará que se
ahorren……. de las…… llaves, lo que corresponde a un ahorro de S/.
300,00. Así, el costo del circuito será tan solo de S/…………...
11
EJERCICIOS DE APLICACIÓN
1) Dadas las proposiciones:

p: Aldo Castro López es cantante.
q: Aldo Castro López es un buen estudiante
r: Aldo Castro López es médico.
Analiza y simboliza, “si no es el caso que Aldo Castro López sea
un cantante y un buen estudiante entonces es médico o no es
cantante”
A)  ( p  q) → (r   q) B) (p  q) → (r   p)
C)  ( p  q) → (r   p) D) (p  q) → (r   p)
E) (p  q) → (r   p)
2) “Fernando Loyola Tello está melancólico porque vive alejado de su

familia”. Al negar la proposición anterior, su equivalente es:
A) No es cierto que Fernando Loyola Tello vive alejado de su
familia porque no está melancólico
B) Fernando Loyola Tello vive alejado de su familia y está
melancólico
C) Fernando Loyola Tello no está melancólico y vive alejado de su
familia
D) Fernando Loyola Tello está melancólico pero no vive alejado de
su familia
E) Más de uno es correcto
3) Dadas las siguientes fórmulas:

I) (p  q) → p
II) (p → q)  (p  q)
III) (p  q) → (p  q)
Señala cuáles son lógicamente equivalentes.
A) I y II B) I y III C) II y III
D) I, II y III E) Ninguna
4) Halla una proposición equivalente a: [(p  q) → (r  r)]  (q)

A) p  q B) p  q C) p
D) p  q E) q
12
5) Halla la proposición que representa el siguiente circuito:
A) p  q B) p  q C) p → q
D) p  q E) p  q
6) Dado el circuito correspondiente a la función Booleana (p  q).

Identifica y discrimina el circuito no equivalente:
A) B)
C) D)
AUTOEVALUACIÓN
1) Simplifica la siguiente proposición utilizando las leyes del álgebra

proposicional:
 [(p)  (p  q)]
A) p  q B) (p  q) C) (p  q)
D) (p  q) E) p → q
2) Dada las siguientes fórmulas:

I) [(p  q)  q] → p
II) (p  q) → r
III) p → (q → r)
Indica las que son lógicamente equivalentes.
A) I y II B) I y III C) II y III
D) I, II y III E) Ninguna
13
3) El enunciado: “Ni eres artista de cine ni estrella del fútbol”, su
forma negada equivale a:
A) No es cierto que seas artista de cine y estrella del fútbol.
B) Eres artista de cine y estrella del fútbol.
C) No eres artista de cine o no eres estrella del fútbol.
D) Eres artista de cine o estrella del fútbol.
E) Eres artista de cine o no eres estrella del fútbol.
4) Dado el siguiente circuito:
Su equivalente es:
A) p  q B) p  q C) r D) p E) p  r
5) Analiza y evalúa la menor expresión que representa el circuito

lógico equivalente a:
A) p  q B) p  q C) r D) p E) p  r
6) Infiere e identifica el circuito lógico equivalente del siguiente

esquema:
[( p → q)  p]  [( p → q)   p ]
A) p B) p  q C) p  r
D) Tautología E) Contradicción
"No dejes que termine el día
sin haber crecido un poco..."
(Walt Whitman)
14

Módulo 2. Simbolización, Leyes, Circuitos

Cargado por

Copyright:

Formatos disponibles

Módulo 2. Simbolización, Leyes, Circuitos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Módulo 2. Simbolización, Leyes, Circuitos

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL “HERMILIO VALDIZÁN” HUÁNUCO

FACULTAD DE CIENCIAS DE LA EDUCACIÓN

ASIGNATURA: LÓGICA MATEMÁTICA

☺ SIMBOLIZACIÓN Y FORMALIZACIÓN DE PROPOSICIONES

Joel Tarazona Bardales

2.1 Simbolización de proposiciones

2.2 Formalización de proposiciones

Ejemplo 2: Los estudiantes del primer año de la facultad de Ciencias

2.4 Leyes de la Lógica Proposicional

1.2 Ley de no contradicción

1.3 Ley del tercio excluido

2.1 Doble negación (DN)

2.2 La idempotencia (Lid)

2.3 Leyes conmutativas (LC)

2.4 Leyes asociativas (Las)

2.5 Leyes distributivas (LD)

2.6 Leyes de morgan (LM)

2.7 Elementos neutros (EN)

2.8 Ley del complemento (LCom)

2.10 Leyes del condicional (LCd)

2.11 Leyes del bicondicional (Lb)

2.12 La disyunción exclusiva (DE)

Ejemplo Nº 04: Simplifica los siguientes esquemas moleculares

Ejemplo Nº 05: Simplifica [(p → q)  ~ p] → ~ q

Es una tautología (Ley), por lo tanto está demostrado que la

Ejemplo Nº 5: Determina el esquema más simple de la proposición:

Por lo tanto [(p  q)  (p  ~ q)]  [(~ p  ~ q) ≡

Ejemplo Nº 6: Analiza e identifica la negación del siguiente

De modo que en todo el circuito pasará la corriente solamente en

Pero precisamente esto corresponde a la tabla de verdad de la

A la expresión p  q se le llama la FUNCIÓN BOOLEANA del

De modo que para que circule la corriente en el circuito es

Esto precisamente corresponde a la tabla de verdad de la

A la expresión p  q se le llama la FUNCIÓN BOOLENA del circuito

Ejemplo 9: Simplifica los siguientes circuitos lógicos:

. Identifica y discrimina el circuito equivalente:

Por lo tanto, el circuito dado es equivalente al circuito ( ).

Ejemplo 9: Si el costo de cada llave en la instalación adyacente es

Luego el circuito más simple es:

1) Dadas las proposiciones:

2) “Fernando Loyola Tello está melancólico porque vive alejado de su

3) Dadas las siguientes fórmulas:

4) Halla una proposición equivalente a: [(p  q) → (r  r)]  (q)

6) Dado el circuito correspondiente a la función Booleana (p  q).

1) Simplifica la siguiente proposición utilizando las leyes del álgebra

2) Dada las siguientes fórmulas:

4) Dado el siguiente circuito:

5) Analiza y evalúa la menor expresión que representa el circuito

6) Infiere e identifica el circuito lógico equivalente del siguiente

También podría gustarte