Este documento presenta conceptos básicos de lógica computacional, incluyendo la definición de lógica, su importancia para las ciencias de la computación, y los conectivos lógicos y tablas de verdad. También introduce conceptos como preposiciones, proposiciones simples y compuestas, y cómo aplicar la lógica para resolver problemas.

1. Primeros de Bachillerato
APLICACIONES INFORMÁTICAS
Fecha
: 20 de septiembre de 2013
U.T. 1
: Lógica Computacional
Conceptos: Conceptos de lógica computacional
Conectivos lógicos

2. Recordando
Métodos para configurar planes en la
resolución de problemas
Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

3. ¿ Qué es la Lógica?
Según Aristóteles "La lógica es la ciencia de la
demostración, porque se preocupa de dar
reglas para alcanzar la verdad de la evidencia
inmediata, que conocemos por medio de la
demostración".
Se puede decir que la lógica es la ciencia formal que estudia los
principios de la demostración e inferencia válida.
La inferencia es el proceso por el cual se derivan conclusiones
a partir de premisas
Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

4. La Lógica como fundamento de
las Ciencias Computacionales
Con la aparición de los computadores surge la necesidad de
determinar si es posible especificar formalmente programas y
definir sistemas de demostración automática de teoremas.
Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

5. La Lógica como fundamento de
las Ciencias Computacionales
La lógica computacional se puede aplicar en áreas como:




Unidad Educativa
Técnico Salesiano
Especificación y verificación de programas.
Demostración automática de teoremas.
Programación lógica.
Inteligencia artificial y sistemas basados en el conocimiento.
Ing. Wilson Cedillo P. Msc.

6. Lógica de
Programación
Qué es la Programación?
Conocimiento de técnicas e instrucciones de un determinado lenguaje de
programación a través de los cuales se nos hace sencillo lograr que el
computador obtenga unos resultados mucho mas rápido que nosotros
¿CÓMO? Instrucciones de las que se va a valer para escribir el código que
realice las acciones determinadas en el QUÉ
Qué es la lógica de Programación?
Conceptos que nos permiten diseñar en términos generales la
solución a problemas que pueden llegar a ser implementados a
través de un computador.
¿QUÉ acciones realizar para poder resolver el problema?
Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

7. La lógica aplicada para
resolver problemas
La principal aportación de la lógica para resolver problemas
es establecer un conjunto de reglas que permiten determinar
cuándo un argumento es correcto.
Preposición: Es un enunciado declarativo que puede ser
evaluado como FALSO o VERDADERO.
Por ejemplo: Ecuador ganó a Colombia 3 goles a cero.
Las preposiciones pueden ser simples o compuestas, las
compuestas están formadas de dos o más proposiciones
simples.
Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

8. La lógica aplicada para
resolver problemas
s: Si este año ahorro lo suficiente y me dan vacaciones,
entonces en diciembre iré de viaje o cambiaré de auto.
Ahora podemos dividir la preposición s en cuatro proposiciones
simples:
p: Este año ahorraré lo suficiente.
q: Me darán vacaciones.
r: En diciembre iré de viaje.
t: En diciembre cambiaré de auto.
Unidad Educativa
Técnico Salesiano
s: Si p y q, entonces r o t
Ing. Wilson Cedillo P. Msc.

9. Actividades en
clases
Fecha
Unidad Educativa
Técnico Salesiano
: 20 de septiembre de 2013
Ing. Wilson Cedillo P. Msc.

10. Actividades en
clases
Fecha
Unidad Educativa
Técnico Salesiano
: 20 de septiembre de 2013
Ing. Wilson Cedillo P. Msc.

11. Valores de Verdad
Conectivo
Lógico
Nombre
Símbolo
NO
Negación
~
Y
Conjunción
^
O
Disyunción
v
SI … ENTONCES
Implicación

Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

12. Tablas de Verdad
p
q
~p
~q
p^q
p˅q
p q
V
V
F
F
V
V
V
F
F
V
V
F
F
V
F
V
V
F
F
V
F
V
F
F
V
F
V
V
Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

13. Actividades en
clases
Fecha
q
r
s
V
V
V
F
F
V
F
F
V
F
V
(q^r)s
V
V
(s^~r)^q
V
F
s^(~q)
F
F
q˅(~s)
F
F
q^r
F
V
~s
V
V
~r
: 20 de septiembre de 2013
F
Unidad Educativa
Técnico Salesiano
Ing. Wilson Cedillo P. Msc.

14. Gracias !!!
Usted es libre de
: Copiar, distribuir y comunicar públicamente éstas diapositivas de resumen
Bajo las condiciones siguientes:
Reconocimiento: Debe reconocer los créditos del documento al autor
No comercial: No puede utilizar éste documento para fines comerciales
Sin obras derivadas: NO SE PUEDE ALTERAR, TRANSFORMAR O GENERAR UNA OBRA
DERIVADA A PARTIR DE ÉSTE DOCUMENTO
Comentarios o sugerencias a los correos: ing.wilsoncedillo@msn.com ó wilsoncp@uets.edu.ec