UNIVERSIDAD ABIERTA PARA ADULTOS

(UAPA)

MATERIA:
Lógica computacional

TEMA:
Tarea 2

NOMBRE:

Jose Lorenzo diaz mendez

Matricula:
201804984

FACILITADOR:
JUAN FRANCISCO AZCONA REYES
 La lógica computacional.

La lógica computacional cubre todos

los tipos de aplicaciones de la lógica
en la informática, sin embargo, esta se
centra en la definición: Algoritmo =
Lógica + Control.

Los algoritmos tratan la descripción de

un problema y la estrategia para llevar
a cabo las computaciones utilizadas
en su descripción.

La lógica computacional tiene como objetivo concentrarse en la descripción de un

problema y no invertir ningún tiempo en el mecanismo de computación necesario

La lógica computacional tiene un papel importante en la comprensión de los

problemas clave del software. La lógica computación tiene una importancia En el
área de la ingeniería y existe un conjunto de procesos de vital en los cuales la lógica
computacional brinda la capacidad de razonamiento necesario para resolver
cualquier problema mediante los siguientes pasos: diseñar, desarrollar y
sostenimiento del software.

LA CONJUNCIÓN:
una conjunción lógica entre
dos proposiciones es un
conector lógico cuyo valor
de la verdad resulta en
cierto sólo si ambas
proposiciones son ciertas, y
en falso de cualquier otra
forma.
Se representa: ^ AND
Ejemplos:
 P (El 2 es divisor de 48), Q (el
3 es divisor de 48) = P^Q
 P (El 14 es factor del 42), Q
(el 7 también es factor del 42)
= P^Q: El 14 es factor del 42 y
el 7 también es factor del 42
Las proposiciones compuestas
Son aquellas que están formadas por dos o
más proposiciones simples unidas por los
operadores lógicos. Los tipos de preposiciones
compuesta son:
LA DISYUNCIÓN: LA NEGACIÓN: LA EQUIVALENCIA:
En lógica, las
Esta es también llamada
En razonamiento formal, una declaraciones p y q son
complemento lógico, es una
disyunción lógica (en lógicamente equivalentes si
operación sobre
específico, una disyunción proposiciones, valores de tienen el mismo contenido
inclusiva) entre dos verdad, o en general, valores
lógico. Este es un concepto
proposiciones es un conector semánticos. Intuitivamente, la semántico, dos
lógico, cuyo valor de la negación de una proposición afirmaciones son
verdad resulta en falso sólo si es verdadera cuando dicha equivalentes si tienen el
ambas proposiciones son proposición es falsa, y
mismo valor de verdad en
falsas, y en cierto de viceversa.
todos los modelos.
Ejemplos:
Ejemplos: Ejemplos:
 P (Pedro juega básquet) Q:
(María juega futbol)  Si Lisa está en Francia,
 P: Hoy está lloviendo.
PVQ: Pedro juega básquet o ~P: Hoy no está entonces ella está en
María juega futbol. lloviendo. Europa.
 P (Voy al cine) Q (Veo una
película en mi casa)  P: La tierra es redonda.  Si Lisa no está en
PVQ: voy al cine o veo una ~P: La tierra no es Europa, entonces ella no
película en mi casa. redonda. está en Francia.
Bibliografía

https://castrodev.wordpress.com/2

https://es.wikipedia.org/wiki/L%C3%B3gica_computacional

http://cliplab.org/mastercl/cl.html