PROGRAMACION I

Estas presentaciones estn basadas en el libro de texto de la clase

CCC

201 Programacin I :
METODOLOGIA DE LA PROGRAMACION

Autores Lic. Alex R. Tbora R. Ing. Rosbinda Pacheco versin 2

Esperamos que este material y sus animaciones sean ilustrativos y de apoyo para el usuario ya sea docente o alumno, tanto en la modalidad presencial como a distancia. Atte. Ing. Rosbinda Pacheco Ing. Jessy Ayestas

Lic. Karla Ramirez,

PARCIAL I CAPITULO 1

El

Captulo

presenta y

nicamente terminologas

aquellos

conceptos

elementales de la lgica matemtica requeridas en los captulos siguientes.

ELEMENTOS DE LOGICA MATEMATICA Proposiciones Una proposicin es una sentencia de la cual tiene sentido hablar de su veracidad o falsedad. Es una aseveracin en la cual afirmamos o negamos algo que o bien es verdadero o bien es falso, pero no ambas cosas. Las computadoras se programan 2+24 (Valor de Verdad) V F

En estos ejemplos hemos afirmado algo, en la primera proposicin afirmamos algo verdadero y en la segunda algo falso. Otros ejemplos podran ser: La semana no tiene 14 das

4 no es un nmero par F En estos otros ejemplos hemos negado dos hechos o situaciones. En la primera proposicin negamos algo falso y en la segunda negamos algo verdadero.
CLASE # 2

Las siguientes frases u oraciones no son proposiciones:

De qu color es tu camisa? Qu lindo dia hace hoy Por favor, sume el primer nmero con el ltimo. es una oracin interrogativa oracin exclamativa y una apreciacin subjetiva oracin imperativa

___________ es mi hermano.

est incompleta

Proposiciones abiertas <<La moneda de Japon es el X>>, y diremos que la aseveracin es una proposicin abierta, representada por P(x). Si omitimos la palabra Yen, segn al concepto inicial, no sera una proposicin, por lo cual es necesario llenar el espacio en blanco, para que le podamos asignar un valor de verdad. El espacio en blanco lo llamamos variable y lo podemos representar por una letra (x, y, z, etc.).
CLASE # 2

El conjunto de todos estos elementos que al colocarse uno de ellos en el espacio en blanco o que puede sustituir a X en la proposicin abierta, y la trasforma en proposicin (que puede ser V o F), se denomina Universo de discurso de la variable, para nuestro ejemplo U es
U = {Peso, Euro, Lempira, Dlar, Yen, ....}

Conjunto solucin (CS): Lo conforman aquellos elementos de U que hacen que la proposicin sea verdadera. CS = { yen }
Ejemplos: 1. p(x): La unidad monetaria de Honduras es el x, para x = Lempira: p(lempira): La unidad monetaria de Honduras es el Lempira V para X= euro P(euro): La unidad monetaria de Honduras es el euro F 2. q(y) : El y es la moneda de Japn, Para y = Yen: V q(Yen) : El yen en es la moneda de Japn 3. r(z) : z es un nmero mayor que 20 Para z = 12: r(12) : 12 es un nmero mayor que 20 F
CLASE # 2

1. 2 OPERADORES LOGICOS Y TABLAS DE VERDAD La Negacin Si tenemos la proposicin p: La semana tiene 7 das (V ),

podemos, a partir de ella, construir una nueva proposicin negando su contenido, as: ~ p, que se leeria: La semana no tiene 7 das No es cierto que la semana tenga 7 das (F ) (F ) bien

Estas nuevas proposiciones (que se consideran equivalentes entre si), se denominan la negacin de p, que representamos por ~p (que se lee no p). Y si p es verdadera, su negacin es falsa; y viceversa, si p es falsa, ~p es verdadera. Esta situacin la representamos en la siguiente tabla, que llamamos una tabla de verdad, en donde consideramos todas las posibles combinaciones de valores de verdad para p y ~p.

CLASE # 2

Tabla de verdad de la negacin:

p V F

~p F V
( )

Ejemplos: p: Tegucigalpa est en Honduras

~p: Tegucigalpa no est en Honduras q: 2 +2 4 ~ q: ~ (2 +2 4) ~ q: 2 + 2 = 4 r: Pars no est en Alemania

( F) (F) (V) (V ) (V ) ( F) (Negacin de la Negacin)

CLASE # 2

en forma equivalente

~ r: No es cierto que Pars no est en Alemania en forma equivalente ~ r: Pars est en Alemania (F)

Considerando el ejemplo anterior, disearemos una tabla de equivalencias de negacin para smbolos matemticos: Smbolo = > Negacin = > / / / Equivalencia

<

<

<
>

Los smbolos en rojo que son la negacin de smbolos conocidos, no son utilizados en matemticas, se usan solamente sus equivalentes.

Ejemplo 1: p(x): 2 + 3 * x > 10

~ p(x): ~ (2 + 3 * x > 10) ~ p(x): 2 + 3 * x

Ejemplo 2: q(x, y): x < y

~ q(x,y): ~ q(x,y): ~ (x < y) x>y
CLASE # 2

< 10

OPERADORES LOGICOS Conjuncin Dadas las proposiciones p y q, se forma una nueva proposicin unindolas por medio de la conjuncin y , asi: p^q se lee p y q

Tabla de verdad Resume todos las posibles variantes, y ayuda a determinar valores de verdad de conjunciones. Nmero de reglones = 2n , n es el nmero de proposiciones simples n=2, Nmero de renglones = 22 = 2*2 = 4

CLASE # 2

Dadas las proposiciones p: Hoy es Martes Determine el valor de verdad de p ^ q:

q: est lloviendo

p ^ q:

Hoy es Martes ^ est lloviendo V ^ F F?

Usando la Tabla de Verdad:

p V V F F

q V F V F

p^q V F F F

La conjuncin solamente es verdadera si las dos (proposiciones) son verdaderas.

Se trabaja en forma tringulo invertido

de

CLASE # 2

Disyuncin Dadas las proposiciones p y q, se forma una nueva proposicin unindolas por medio de la disyuncin p v q y se lee p q Ejemplo: Dadas las proposiciones p: Hoy es Martes determine el valor de verdad de p v q: p v q : Hoy es Martes v est lloviendo V v F ? V y q: est lloviendo,

Usando la Tabla de Verdad:

p V V F F

q V F V F

pvq V V V F

La disyuncin solamente es falsa si ambas son falsas

CLASE # 2

Ejercicio: Elaborar la Tabla de verdad de las siguientes proposiciones:

a) ~q v ( q ^ ~ p) a) p V V F F q V F V F ~q F V F V ~p F F V V q ^ ~p F F V F ~ q v (q ^ ~p) F V V V b) ~((~ r v q) ^ ~p) )

Nmero de renglones= 2 2 = 2 * 2 = 4

Se colocan las proposiciones simples en orden alfabtico Negaciones de proposiciones simples

Desarrollar parntesis, conjuncin o disyuncin general con proposiciones compuestas
CLASE # 2

b) ~((~ r v q) ^ ~p) p V V V V F F F F q r V F V F V F V F ~r F V F V F V F V ~rvq V V F V V V F V ~p (~rvq) ^ ~p F F F F V V F V ~ ((~r v p) ^ ~p) V V V V F F V F

V V F F
V

F F F F
V V V V

V F F

Nmero de renglones= 2 3 = 2 * 2 * 2 = 8 Proposiciones simples en orden alfabtico Negaciones de proposiciones simples (optativos, todas de una sola vez) Se desarrollan parntesis, conjuncin o disyuncin de proposiciones compuestas La Negacin general
CLASE # 2

Ejercicios: Dadas las siguientes proposiciones abiertas, determinar el valor de verdad de la proposicin compuesta ~ p v (q ^ ~ r)
p(x) : x * x 36 q(x,y): y +1 < x Para los valores de x = 6 , y = 10 A. Mtodo Largo r(x,y) : 2 * x > y /2

~ p v (q ^ ~ r)
~(x * x 36) v ((y + 1 < x) ^ ~ (2 * x > y/2)) (x * x = 36) v ((y + 1 < x) ^ (2 * x < y/2)) Sustituyendo para x e y: (6 * 6 = 36) v ((10+1 < 6) (36 = 36) V V v ((11 < 6) v v V
CLASE # 2

^ ^ ^ F

(2*6 < 10/2) (12 <5)) ) F

(F