Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Programa de Estudio
COMPUTACIÓN E INFORMÁTICA
MATERIAL DE ESTUDIO
Chepén – Perú
2021
IESTP
“Ciro Alegría Bazán” LÓGICA Y FUNCIONES
PRESENTACIÓN
En ese sentido y por la situación actual que se vive a nivel mundial en el ámbito de la
salud por la pandemia, las clases en los distintos niveles son hasta el momento no
presenciales, con el objetivo de reducir los efectos del Covid-19. Por ello, el material de
estudio permitirá facilitar al estudiante el logro y desarrollo de aprendizajes significativos,
competencia y capacidades propuestos en la Unidad Didáctica.
El Autor
LÓGICA PROPOSICIONAL
Disyuntor: Es un operador diádico, cuyo enlace es el término “o”, se denota por “˅” , “+”
La proposición clásica es: “p o q” su formalización p ˅ q (disyunción)
Existen dos tipos: el disyuntor débil o incluyente y el disyuntor fuerte o excluyente.
Entre las formas verbales, se tiene:
Disyuntor débil
poq p a menos que q p salvo que q
p o también q p excepto que q p o a la vez q
p o en todo caso q p o de lo contrario q p o en su defecto q
Disyuntor fuerte : p Δ q , p ˅ q
opoq o bien p o bien q p o q (en sentido excluyente)
p excluye a q p se contrapone a q p no equivale a q
p no es igual a q p no se define como q Ya bien p ya bien q
Implicador: Operador diádico, cuyo enlace es “ Si ... entonces ...”, se denota por “⟶”.
La proposición clásica es: “Si p entonces q” su formalización p ⟶ q (implicación o
condicional). Donde p recibe el nombre de antecedente y q consecuente.
Entre otras formas verbales, se tiene:
Si p entonces q Ya que p bien se ve que q
Cuando p así pues q Siempre que p por consiguiente q
Dado p por eso q Toda vez que p en consecuencia q
En cuanto p por tanto q En la medida que p de allí q.
Con tal que p es obvio que q Como quiera que p por lo cual q
De p inmediatamente q En el caso de que p en tal sentido q -
En virtud de que p es evidente q De p deviene q
p impone q En el caso de que p en este caso q
De p derivamos q De p deducimos (inferimos, concluimos) q
p es condición suficiente para q Al suceder p, q
Replicador: Es un operador diádico, tiene como enlace “porque”, se denota por “⟵”.
La proposición clásica es: “p porque q” su formalización p ⟵ q.
Entre otras formas verbales, se tiene:
p porque q p siempre que q
p si q p es condición necesaria para q
Es condición necesaria p para q p cada vez que q
p dado que q p puesto que q
p supone que q p a condición de que q
p pues q p en vista de que q
Biimplicador: Operador diádico, tiene como enlace “si y sólo si”, se denota por “⟷”.
La proposición clásica es: “p si y sólo si q” su formalización p ⟷ q (doble implicación o
bicondicional). Entre otras formas verbales, se tiene:
p si y sólo si q p es equivalente a q
p siempre que y sólo cuando q p por lo cual y según lo cual q
p se define como q p es lo mismo que q
p si de la forma q p es idéntico a q
p es igual entonces a q p cada vez que y sólo si q
p es equipotente a q
Formalización
Dado una proposición compuesta en lenguaje natural, es posible descomponer y
simbolizar utilizando variables (proposiciones simples) y los conectivos o enlaces entre
ellas, así como los signos de agrupación ( ) , [ ] , { }.
Para ello es importante identificar las proposiciones simples a las cuales se les asigna
variables y cambiar los conectivos lógicos por su símbolo correspondiente.
Al proceso de simbolizar mediante variables y conectivos lógico, se llama formalización.
Ejemplo:
Es completamente falso que vaya a la reunión y luego a una fiesta. Además mañana
no viajo a Trujillo porque estaré cansado.
Sea: p: voy a la reunión q: después de la reunión voy a una fiesta
r: mañana viajo a Trujillo s: mañana estaré cansado
Formalización: ~ (p ˄ q) ˄ (~ r ← s)
LABORATORIO 1
I. De las siguientes oraciones o enunciados, escriba una “x” en los
recuadros según corresponda:
Proposición
N° Oración o enunciado
Si No
1 ¿Ingresaré al Instituto?
2 Ningún número par es divisible por dos.
3 Mi deseo es trabajar por el Perú.
4 El Perú es un país de América del Norte.
5 Pienso que debemos salir de la crisis.
6 ¡Hoy es un día maravilloso!
7 En tus ojos veo mi futuro.
8 Abre la puerta, inmediatamente.
9 Toda revista tiene páginas bellas.
10 A grandes males, grandes remedios.
11 Algún día seré profesional.
12 El carbono 14 se usa en los restos arqueológicos.
13 César Vallejo no fue escritor peruano.
14 x + 5 = 13
Tablas de Verdad
Se utiliza para determinar los valores de verdad de una proposición compuesta o esquema
molecular. Valores de verdad de las proposiciones simples desconocidas.
Se consideran todas las combinaciones posibles de los valores de verdad de las
proposiciones simples que las componen.
Tiene la siguiente estructura:
Variables
(p, q, …) Esquema molecular
Desarrollo conectivos
Combinaciones Resultado
posibles (Matriz principal)
Observaciones:
Se respeta el orden de los signos de agrupación ( ) [ ] { }
Jerarquía de los conectivos
Ejemplos:
a) q ˄ ~ p ~q
b) (~ q ˄ p) (p q)
c) ~ (c ˄ ~ b) ˄ (b a) (~ a ~ c)
Observación
En el caso de utilizar las tablas para el diseño de circuitos digitales, es posible
utilizar la siguiente estructura equivalente, a partir del algebra booleana:
V: 1 Encendido / Activado / Alto
F : 0 Apagado / Desactivado / Bajo
Además para las combinaciones de los valores de las variables, iniciamos con
“0”, el cual facilitara la conversión de números binarios a decimales.
Ejemplos:
Construir tablas de verdad de los siguientes esquemas moleculares
a) q ˄ ~ p ~q b) (~ q ˄ p) (p q)
c) ~ (c ˄ ~ b) ˄ (b a) (~ a ~ c)
Equivalencias Lógicas
p: Hoy es viernes.
q: Hoy tengo clases de lógica.
A: 𝒑 → 𝒒 B: 𝒒 → 𝒑
Leyes de Equivalencias
(p ˄ q) ˄ r ≡ p ˄ (q ˄ r) (p ˅ q) ˅ r ≡ p ˅ (q ˅ r) Asociativa
p ˄ (q ˅ r) ≡ (p ˄ q) ˅ (p ˄ r) p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r) Distributiva
~ (p ˅ q) ≡ ~ p ˄ ~ q ~ (p ˄ q) ≡ ~ p ˅ ~ q D’ Morgan
p→ q≡ ~p ˅ q De la condicional
p ˄ (p ˅ q) ≡ p p ˅ (p ˄ q) ≡ p Absorción
p ˄ (~ p ˅ q) ≡ p ˄ q p ˅ (~ p ˄ q) ≡ p ˅ q Absorción generalizada
p ↔ q ≡ (p → q) ˄ (q→ p) Bicondicional
p Δ q ≡ ~ (p ↔ q) Disyunción excluyente
Pk:
Q
Inferencias válidas
Adición: Simplificación:
p pq
pq p
Ejemplos:
Dado los siguientes razonamientos demostrar si son válidos o falacias:
1. “Si llueve, el patio se moja. El patio se encuentra mojado. Por lo tanto llovió”.
2. “Si el directivo no cumple con el compromiso entonces el sistema tendrá problemas.
Si los ingenieros terminan el trabajo, no hay problemas con el sistema. Se sabe que
los ingenieros terminaron el trabajo. Por lo tanto los directivos cumplieron con el
compromiso.
Desarrollo
En cada caso, primero formalizamos el razonamiento y luego demostrar si el esquema es
tautológico. Es posible también aplicar las leyes de la equivalencia y de inferencias
notables para demostrar su validez o no.
Caso 1. [(p → q) ˄ q] →p Uso de la tabla de verdad, no es tautológico el esquema.
Por lo tanto el razonamiento es una falacia
Caso 2. Formalizamos las premisas y luego aplicamos las leyes:
1. ~ p → q
2. r → ~ q
3. r
4. ~ q MPP (2) y (3)
5. ~(~ p) MTT (1) y (4)
6. p Doble negación (5)
LABORATORIO N° 2
01. De acuerdo a las proposiciones siguientes:
p: "está lloviendo" q: "el Sol está brillando" r: "hay nubes en el cielo"
Formalizar las siguientes proposiciones:
a) Está lloviendo y el Sol brillando
b) Si está lloviendo, entonces hay nubes en el cielo
c) Si no está lloviendo, entonces el Sol no está brillando y hay nubes en el cielo
d) Si no hay nubes en el cielo, entonces el Sol está brillando
e) O está lloviendo o el Sol está brillando
04. Si p: Ana vendrá, q: Ana ha recibido la carta y r: Ana está interesado todavía en el
asunto. Formalizar los siguientes enunciados:
a) Ana vendrá, si ha recibido la carta y está interesado todavía en el asunto.
b) O Ana vendrá porque ha recibido la carta o no está interesado todavía en el asunto.
c) Ana vendrá si y sólo si ha recibido la carta, o vendrá porque está interesado todavía
en el asunto".
08. De la premisa: “Es imposible que Platón sea materialista e idealista”, se concluye:
a) Platón no es materialista o también nunca fue idealista.
b) Es falso que idealista tal como materialista sea Platón.
c) Si Platón es materialista es obvio que no es idealista.
d) Si Platón es idealista, entonces no es materialista.
e) Todas las anteriores.
10. De la premisa: “No es innegable que al no haber calor entonces hay energía”, se
concluye:
1. Es falso que hay calor más energía.
2. Es mentira que hay calor salvo que exista energía.
3. No hay calor, ni hay energía.
4. No hay calor o no hay energía.
5. Es inadmisible que hay energía excepto que calor.
Son falsas:
a) 1, 2, 3 b) 2 y 5 c) 1 y 4 d) 3 y 5 e) 1 y 3
Ejemplos de proposiciones
7. La orina es un líquido biológico filtrado por los riñones y que sale al exterior, es de color amarillo
claro y contiene gran proporción de agua y materias,
puede servir para determinar la presencia de algunas
enfermedades. La orina normalmente es estéril debido
a su vaciado constante y su pH ácido que inhibe el
desarrollo de microorganismos; por ello está desprovista
de gérmenes infecciosos. Su colonización por bacterias
puede provocar reacciones que provoquen un cierto olor
en la orina. El examen de orina es la parte más esencial
del examen físico de cualquier paciente, según Thomas
Addis.
.
11. Urocultivo: Es el análisis que se le realiza a la orina para detectar con exactitud y precisión
cual es el agente microbiano que está causando una infección en un organismo.
La estimación cuantitativa de las colonias en exámenes de orina.
Criterio Colonias por ml.
12. Una pantalla táctil (en inglés, touch screen), en algunos lugares
también llamada tóuch, es una pantalla que mediante un toque directo
sobre su superficie permite la entrada de datos y órdenes al dispositivo;
actúa como periférico de entrada y salida de datos. Se puede realizar
también por medio de un lápiz óptico o de otras herramientas similares.
Hay pantallas táctiles que pueden instalarse sobre una pantalla común,
de cualquier tipo o denominación (LCD, monitores y televisores CRT,
plasma, etc.). Desde finales del siglo XX y especialmente en los
comienzos del XXI, alcanzaron un uso habitual en la mayoría de los
dispositivos con pantalla: por ejemplo, monitores de computadora,
teléfonos móviles, tabletas.
Según la tecnología que usen, hay tres tipos de pantallas táctiles de
uso habitual: Resistivas, Capacitivas y de onda acústica de superficies.
15. Dentro de las 15 empresas más grandes del mundo en el año 2017 según Forbes, el sector
de tecnología y los grandes bancos resaltaron en la lista,
ubicándose en el primer lugar el Banco Industrial y
Comercial de China – ICBC de propiedad estatal. (El
Comercio 17/11/2017).
Forbes es una revista especializada en el mundo de los
negocios y las finanzas, publicada en Estados Unidos.
Fundada en 1917 por B. C. Forbes, cada año publica
listas que despiertan gran interés en el ámbito de los
negocios como Forbes 500.
https://tratamientoyenfermedades.com/definicion-enfermedad-oms-concepto-salud/
https://clinic-cloud.com/cualidades-de-una-enfermera-enfermero/.
http://www.mentalhealthamerica.net/conditions/%C2%BFqu%C3%A9-es-la-
depresi%C3%B3n.
http://www.miraflores.gob.pe/Gestorw3b/files/pdf/6445-7381-
fechas_civicas_abril2013.pdf.
https://www.who.int/campaigns/world-health-day/2021
https://es.wikipedia.org/wiki/H%C3%ADgado.
http://salud.ccm.net/faq/10031-orina-definicion
https://es.wikipedia.org/wiki/Pantalla_t%C3%A1ctil
https://es.wikipedia.org/wiki/Machu_Picchu
https://es.wikipedia.org/wiki/Neum%C3%A1tico
https://elcomercio.pe/economia/negocios/15-empresas-grandes-mundo-forbes-noticia-
472839?foto=16