Biomedicina

PROGRAMACIÓN
RENATO CUMBAL
JCUMBAL@UPS.EDU.EC
2022
Temas:

Algebra de Boole
MATEMATICA Teoría de proposiciones

Formas de representar algoritmos

ALGORITMOS Estructuras de control (decisión y repetitivas)

LENGUAJE DE Fundamentos (generalidades, tipos de datos, operadores,

expresiones y variables)
PROGRAMACIÓN

ARREGLOS Vectores y Matrices

Objetivo
Principal:
 DESARROLLAR LA LÓGICA DE
PROGRAMACIÓN.
 PROGRAMAR MEDIANTE EL
LENGUAJE C.
Material:
 Bibliografía
 Fundamentos de Programación - Joyanes
 Diseño de Algoritmos y su codificación en
Lenguaje C (2012)
 Software
 PseInt (Pseudocódigo)
 Lenguaje C (Editor, compilador – Dev-C)
 Adicional
 Ejercicios resueltos y propuestos
 Videos de ejercicios resueltos
Teoría de Proposiciones

Lógica Proposicional

La lógica proposicional estudia proposiciones,

afirmaciones u oraciones, los métodos de vincularlas
mediante conectores, y las relaciones y propiedades que se
derivan de esos procedimientos.
Lógica proposicional

Que es la lógica?
 El Diccionario de la RAE define lógica como “ciencia que expone las leyes,
modos y formas de las proposiciones en relación con su verdad o falsedad”.
 Algo que es lógico es coherente, bien estructurado.
 La lógica nos permite saber si un pensamiento es correcto o incorrecto.
 La lógica estudia el razonamiento humano
Lógica proposicional

Podemos distinguir dos tipos de lógica:

 La lógica aristotélica que estudia los conceptos, en especial los predicables y las
categorías. Se ocupa del razonamiento: deductivo, categórico o de silogismos,
como formas de conocimiento científico.
 La lógica matemática o proposicional consiste en utilizar símbolos a través de
tablas de verdad que nos indican lo verdadero o falso.
Lógica
proposicional
La proposición
 El Diccionario RAE define
proposición como “enunciación de
una verdad demostrada o que se trata
de demostrar”, su análisis es el
fundamento de la lógica
proposicional que, a través de este
método de análisis, utiliza un
lenguaje exacto que no da lugar a
imprecisiones.
 La proposición sólo puede ser
verdadera o falsa
Lógica proposicional

Para que un enunciado que hacemos sea una proposición el único requisito es que
podamos definirla como verdadera o falsa.
Por ejemplo son proposiciones:
 son las 8:00 pm.
 la luz está apagada.
 Guayaquil es la capital del Ecuador
 1+2=8.
En todos estos casos lo que se dice es verdadero o falso.
Lógica proposicional

No serían proposiciones las preguntas como:

 ¿a dónde vas?
 ¿cómo estás?
Expresiones que no enuncian realidades verdaderas o falsas como:
 buenos días
 te deseo lo mejor.
Lógica proposicional

Clases de proposiciones
Existen dos clases de proposiciones:
PROPOSICIONES SIMPLES: Son aquellas proposiciones que no se pueden
dividir.
Ejemplos:
 El cielo es azul.
 José es futbolista
 María es tenista
Lógica proposicional

PROPOSICIONES COMPUESTAS: Son aquellas que están formadas por dos o

más proposiciones simples unidas por los operadores lógicos.
Ejemplos:
 Fui al doctor, pero el doctor aun no llegaba.
 Si depositaron la quincena entonces comprare víveres.
Lógica proposicional

A estas afirmaciones verdaderas o falsas las

llamamos proposiciones simples y, para
trabajar con ellas, las representamos con letras
del alfabeto (p,q,r,s,t…etc).
Los conectores lógicos del que hablamos suele
consistir en una palabra que las relaciona
(vincula) como “y”, “además de”, “entonces”,
etc.
Lógica proposicional

Conectores lógicos
Como hemos dicho enlazan dos o más proposiciones simples,
dependiendo de cómo realizan esta vinculación pueden ser:
 Conjunción (Λ): la letra “y”, en este caso para que la
proposición compuesta sea verdad las dos proposiciones simples
deben ser verdaderas.
Lógica proposicional

Conectores lógicos
Disyunción (V): la letra “o”, para que la proposición
compuesta sea verdad una de las dos proposiciones será
verdadera o las dos, la proposición compuesta sólo será falsa
si las dos proposiciones simples que la componen son falsas.
Lógica proposicional

Conectores lógicos
 Disyunción exclusiva (∆): con la combinación “o...o...” como
en la frase “o comes carne o comes pescado”; en este caso para
que la proposición compuesta sea verdadera una de las dos
simples que la componen debe ser verdadera y la otra falsa, si
las dos fueran verdaderas o las dos falsas la proposición
compuesta sería falsa.
Lógica proposicional

Conectores lógicos
 Condicional (→): por la expresión “sí … entonces ...”: la
primera proposición simple es el antecedente y el segundo
consecuente. En este caso la proposición será verdadera
salvo que la primera sea verdadera y la segunda falsa, en
cuyo caso la compuesta será falsa.
Lógica proposicional

Conectores lógicos
 Bicondicional (↔) por la expresión “sí y sólo sí”, como en la
frase “el animal ladra sí y sólo sí es un perro”: en este caso la
proposición compuesta es verdadera si las dos simples son, a la
vez, verdaderas o las dos falsas, si una fuera verdadera y la otra
falsa la compuesta sería falsa.
Lógica proposicional

Conectores lógicos
 Negación (~ ¬): Puede ser con la
expresión “no” o “no es cierto que”, para
que la compuesta sea verdadera al menos
una de las dos que la componen ha de ser
falsa.
 Tablas de verdad
Para saber si una proposición compleja es verdadera o falsa
necesitamos saber si las proposiciones simples que la
componen son verdaderas o falsas.

Lógica
proposicional
Lógica proposicional

Dependiendo del resultado final según la combinación de estas proposiciones

simples la tabla de verdad de la compleja puede ser de tres tipos:
 Tautológica: cuando cualquier combinación de verdadero o falso de sus
componentes da siempre como resultado que la proposición compleja es
verdadera.
 Contradictoria: si cualquier combinación de verdadero o falso de los
componentes da siempre como resultado que la proposición compleja es falsa.
 Contingente: cuando existen distintas posibilidades de resultados según la
combinación de verdadero y falso de los componentes.
Lógica proposicional

Para formalizar proposiciones se debe seguir dos pasos:

1. Definir las proposiciones simples (p,q,r,s,t…etc).
2. Formalizar la jerarquía de las proposiciones.

NOTAS:
 La coma (,) y el punto y coma (;) son de menor jerarquía.
 El punto (.) dos signos de puntuación son de mayor jerarquía
Lógica proposicional

 Formalización de proposiciones
Ejemplo:
Es falso que si usted pasa bajo una escalera entonces tendrá mala suerte.
1. Definir proposiciones:
 Usted pasa bajo la escalera =p
 Tendrá mala suerte =q
2. Formalizar identificar la jerarquía
 Si usted pasa bajo una escalera entonces tendrá mala suerte.
(p→q)
 Es falso que
~(p→q)
Lógica proposicional
 Formalización de proposiciones
Ejemplo:
Eres Ing. electrónico o Ing. mecánico, pero no eres Ing. Mecánico. Por lo tanto, eres Ing. Electrónico.
1. Definir proposiciones:
 Eres Ing. electrónico =p
 Eres Ing. mecánico =q

2. Formalizar identificar la jerarquía

 Eres Ing. electrónico o Ing. Mecánico = (pVq)
 …, pero no eres Ing. Mecánico. Λ ~q
(pVq) Λ ~q
 ….. Por lo tanto, eres Ing. Electrónico. →p
(pVq) Λ ~q → p
Lógica proposicional
 Leyes, Axiomas y teoremas

Leyes del condicional: Leyes del Morgan :

p → q = ~pVq ~(pVq)=~pΛ~q
~(p → q) = p Λ~q
~(pΛq)=~pV~q
Leyes del bicondicional:
p ↔ q = (p → q) Λ (q → p)
~p ↔ q = (p Λ q) V (~p Λ ~q)
Lógica proposicional

 Leyes, Axiomas y teoremas

Leyes de absorción:
p Λ (p V q) = p
p Λ (~p V q) = p Λ q
p V (p Λ q) = p
p V (~p Λ q) = p V q
Lógica proposicional

 Leyes, Axiomas y teoremas

Leyes de transposición:
(p → q) = (~q → ~p)
(p ↔ q) = (~q ↔ ~p)

Leyes de tercio excluido:

p V ~p = V
p Λ ~p = F
Lógica proposicional

 Leyes, Axiomas y teoremas

Formas Normales
v Λv=V
v Λp=p
F Λp=p
F VF=F
F Vp=p
v Vp=V
Lógica proposicional

 Ejemplo:
[ (~p Λ q) → (s Λ ~s) ] Λ ~q
Lógica proposicional

 Ejemplo:
[ (~p Λ q) → (s Λ ~s) ] Λ ~q
[ (~p Λ q) → (F) ] Λ ~q : Ley tercio excluido
[ ~(~p Λ q) V (F) ] Λ ~q : Ley condicional p → q = ~pVq
[ (p V ~q) V (F) ] Λ ~q : Ley de Morgan
(p V ~q) Λ ~q : Formas normales F V P = P
~q : ley de absorción: p Λ (p V q) = P
Lógica proposicional

 Ejemplo:
(p ↔ q) ν (p ν q)
Lógica proposicional

Resolución ejercicio:
 (p ↔ q) ν (p ν q) Definición Bicondicional
 [(p → q) ^ (q → p)] ν (p ν q) Definición de Implicación
 [(~ p ν q) ^ (~ q ν p)] ν (p ν q) Ley Distributiva
 [(~ p ν q) ν (p ν q)] ^ [(~ q ν p) ν (p ν q)] Ley Asociativa
 [q ν (~ p ν p)] ^ [p ν (~ q ν q)] Condición de Negación
 (q ν V) ^ (p ν V) Condición de Tautología
 V