(UAPA)

PARTICIPANTE

Alexander Enrique Pérez Luciano

SECCIÓN

20

ASIGNATURA

Lógica Computacional

FACILITADOR

Gregorio De La Rosa

MATRICULA

2020-03454

TEMA

Lógica Computacional III

Santo Domingo, R.D.

 Resumen Lógica Computacional:
La lógica computacional tiene como área de experticia el contexto de las ciencias de la
computación, sus desarrollos son la base para elaborar soluciones informáticas, tanto
en software como en hardware. El razonamiento lógico es clave de éxito para las
personas que se ocupan en el área de la ingeniería e incluso en la vida personal, es bien
conocido que los profesionales que aplican adecuadamente el razonamiento lógico
tienen mayores posibilidades de éxito.

Diseñar, desarrollar y mantener software son procesos netamente creativos que se

sustentan fundamentalmente en la capacidad de razonamiento, en el pensamiento
computacional y algorítmico y en la habilidad para abstraer cualquier problema, por lo
que es necesario estructurar este curso para ofrecer una base sólida de la lógica en la
línea computacional para los futuros ingenieros de sistemas. Desde la publicación de los
trabajos de Herbrand en 1930 la lógica se ha convertido en un valioso instrumento
conceptual al servicio de las ciencias computacionales, en la que ayudan para
representar el conocimiento y para soportar el diseño de sistemas de información, es
decir, hoy la lógica computacional se aborda desde la perspectiva de aplicación a la
computación.

Mapa conceptual:

Proposiciones Compuestas

Son aquellas que están formadas por

dos Son aquellas que están formadas
por dos o más proposiciones simples
unidas por los operadores lógicos.
Cuadro  comparativo:
Proposición Expresión Símbolo Ejemplo
natural
Negación O ~ ~P(V) = F
Disyunción Y v P(V) ^ Q(V) = V
Conjunción No ^ P(F) v Q(F) = F
Equivalencia Si… entonces –> P(V) –> Q(F) = F
Doble Si y solo si <–> P(v) <–> Q(V) =
equivalencia V

Esquema:

Conector lógico cuyo valor de la verdad

LA resulta en cierto sólo si ambas
CONJUNCIÓN proposiciones son ciertas, y en falsa en
falso de cualquier otra forma.

Conector lógico, cuyo valor de la verdad

LA resulta en falso sólo si ambas
DISYUNCIÓN proposiciones son falsas, y en cierto de
cualquier otra forma.
Proposiciones
Compuestas

LA La negación de una proposición es

verdadera cuando dicha proposición es
NEGACION falsa, y viceversa.

Dos afirmaciones son equivalentes si

LA tienen el mismo valor de verdad en todos
EQUIVALENCIA los modelos.

Mapa Mental:
 ~P(V) = F

Negación

(O - ~)
P(V) ^ Q(V) = V P(V) –> Q(F) = F

Disyunción
Equivalencia
(Y - v) (Si… entonces - –>)

Proposiciones
Compuestas

Conjunción Doble
equivalencia
(NO - ^)
(Si solo si - <–>)

P(F) v Q(F) = F
P(v) <–> Q(V) = V