Misin

Formar profesionales con excelencia

acadmica, consientes del servicio a
sus semejantes y con una tica
cristiana basada en las sagradas
escrituras para responder a las
necesidades y cambios de la
sociedad.

Visin

Ser la Institucin de Educacin

Superior Regional por su
excelencia acadmica e
innovacin, reconocida por su
naturaleza y practica evanglica

Materia: Lgica
Computacional

Evaluacin

Primero y Segundo Registro

30%
Tercer Registro
40%
Para cada registro se evaluar
Una Guas Grupal 20%
Corto 20
Asistencia 10%
Parcial 50%

Objetivo:

Desarrollar algoritmos, diagramas

de flujo, pseudocdigo y luego
codificarlo haciendo uso de un
lenguaje de programacin para la
solucin de un problema que
permitirn comprender la lgica
computacional

Desde pocas remotas, el hombre

tuvo la necesidad de hacer clculos y
resolver problemas para subsistir.
Usando la lgica Intent encontrar
mtodos y reglas para su rpida
resolucin manual.
Hasta nuestros tiempos, que logr
que mquinas inventadas por l, los
resuelvan.

Qu es lgica?
La lgica como cualquier
ciencia y como la filosofa
busca la verdad y es la que
establece las reglas para hacer
un razonamiento correcto.

Conceptos Bsicos de Lgica

a) Enunciado:
*Es toda frase u oracin que se
emite.
b) Proposicin:

*Es un enunciado o afirmacin al

que se le puede asignar el valor de
verdad o verdadero o el valor de
verdad falso, pero no ambos.

Conceptos Bsicos de Lgica

a) Enunciado:
*Es toda frase u oracin que se
emite.

En la lgica de enunciados la unidad

mnima es el enunciado, es decir, un
segmento de informacin que tiene sentido
completo por s mismo:
Esta fiesta es muy divertida
Esta fiesta es muy divertida y la msica es
buena
Para que un enunciado sea lgico, tiene que
poder atribursele valores de verdad o
falsedad.

En el caso de las dos oraciones anteriores, la

verdad o falsedad habr de determinarse,
comprobando si, de hecho, la fiesta es
divertida y buena la msica.
Podemos decir, por lo tanto, que la lgica
de enunciados se dedica a formalizar las
proposiciones del lenguaje natural en un
lenguaje simblico y a definir los
conectores, estudiando las leyes de
combinacin o deduccin de los
enunciados que las contienen

LOS CONECTORES de los enunciados

moleculares son:
NEGACIN:
se representa por el smbolo .
As, el enunciado p se leera como:
" no p"; "no es cierto que p"; "ni p".
El enunciado
no es verdad que no sea puntual se
formulara:
p, donde p es la variable que
representa a ser puntual.

CONJUNCIN: su smbolo es una v

mayscula al revs()
El enunciado :
viajo a la India y a China
Se formulara:
ic
donde i es la variable que representa a
viajar a India y c es la variable que
representa a viajar a China.

DISYUNCIN:

Su smbolo es v (se traduce por o).

El enunciado :
Llegar en tren o en avin
se formulara:
tva
donde t es la variable que
representa llegar en tren y a la
variable que representa llegar en
avin.

CONDICIONAL:

Su smbolo es ->
y se traduce por: si....entonces.
El enunciado: si vienes pronto,
iremos al cine
se formulara:
p -> c ,
donde p es la variable que
representa al antecendente venir
pronto y c a la variable ir al cine.

BICONDICIONAL:

Su smbolo es <-> y se lee: si y slo si

o tambin: cuando y solamente cuando.
El enunciado
si y slo si respetas el deber eres moral
se formulara:
r <-> m
Donde r es la variable que representa
respetar el deber y m la variable ser
moral.

Formaliza las siguientes proposiciones:

a. No es cierto que no me guste bailar
b. Me gusta bailar y leer libros de ciencia ficcin.
c. Si los gatos de mi hermana no soltaran tanto
pelo me gustara acariciarlos.
d. Si y slo si viera un marciano con mis propios
ojos, creera que hay vida extraterrestre.
e. Una de dos: o salgo a dar un paseo, o me pongo
a estudiar como un energmeno.
f. Si los elefantes volaran o supieran tocar el
acorden, pensara que estoy como una regadera
y dejara que me internaran en un psiquitrico.
g. Prefiero ir de vacaciones o estar sin hacer nada
si tengo tiempo para ello y no tengo que ir a
trabajar.

Resolucin a las proposiciones anteriores:

a. [b me gusta bailar]. (b)
b. [b me gusta bailar. c me gusta leer libros de ciencia
ficcin]. b c
c. [ g los gatos de mi hermana sueltan pelo. a me gusta
acariciar los gatos ]. g -> a
d. [ m ver un marciano con mis propios ojos. e creer en los
extraterrestres ]. m <-> e
e. [ p salir a dar un paseo. e estudiar como un
energmeno]. p V e
f. [ v los elefantes vuelan. t los elefantes tocan el acorden.
l estar loco. p internar en un psiquitrico ].
( v V t ) -> ( l p)
g. [ v ir de vacaciones. n no hacer nada. t tener tiempo.
i ir a trabajar ]. (t i ) -> (v V n )