LGICA COMPUTACIONAL

Curso Propedutico:
del 2 al 20 de diciembre de 2013
Docente:
Ing. Irene Romn de Molina

OBJETIVOS
GENERAL:
Comprender los conceptos bsicos de

lgica computacional
ESPECIFICO:
Emplear lgica proposicional

CONTENIDO
LGICA PROPOSICIONAL

Lenguaje simblico de la

proposiciones
Usos propios de cada smbolo
Conectivos lgicos para simbolizar
las proposiciones compuestas

LGICA COMPUTACIONAL
La palabra lgica viene del griego y significa:

razn, tratado o ciencia. Y en computacin

es la ciencia que estudia la forma de razonar
correctamente, la que nos indica la forma
correcta de obtener conclusiones y los mtodos
conocidos para lograrlo.
La lgica como cualquier ciencia y como la

filosofa busca la verdad y es la que establece

las reglas para hacer un razonamiento
correcto.

LGICA PROPOSICIONAL

La lgica proposicional es una

herramienta para saber si un
desarrollo es correcto.

CONCEPTOS BSICOS
Enunciado:

Es toda frase u oracin que se

emite.

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.

Ejemplo 1: Las siguientes

afirmaciones son proposiciones.
Guacotec es un pueblo de Sensuntepeque

departamento de Cabaas.
Alfredo Espino poeta salvadoreo
1 + 1 =3
1 + 6 =7

ACTIVIDAD

Ejercicios
1)

1) Y + X = 6

F V

---------->_________
2) Z - 5 = 3
---------->_________
3) 9 * Y = 18---------->_________
4) (25-X) +2 = 12 ---------->_________

Conectivos Lgicos
En

lgica, una conectiva lgica, o

simplemente conectiva, es un smbolo
que se utiliza para conectar dos frmulas,
de modo que el valor de verdad de la
frmula compuesta dependa del valor de
verdad de las frmulas componentes.
En programacin se utilizan para combinar
valores de verdad y obtener nuevos
valores que determinen el flujo de control
de un algoritmo o programa.

Notacin
SIMBOLOGA

DESCRIPCIN

Para la negacin

Para
la
disyuncin
inclusiva)
Para
la
disyuncin
exclusiva)
Para la conjuncin

Para
la
condicional
implicacin
Para la bicondicional

p
pvq
p^q

Se lee no p

pq

Se lee si p, entonces q

Se lee p q
Se lee p y q

Se lee p si, y solo q

ACTIVIDAD

1-Dic-2011

Sean p, q y r las proposiciones siguientes:

P: est lloviendo
q: el sol est brillando
r: hay nubes en el cielo

Traducir las siguientes proposiciones simblicas a

oraciones en espaol:
No.

Enunciado

1.

Est lloviendo y el Sol brillando.

2.

Si est lloviendo, entonces hay

nubes en el cielo.

3.

Si est lloviendo, entonces el sol no

est brillando y hay nubes en el
cielo.

4.

El sol est brillando si, y slo si, no

est lloviendo.

5.

Si no hay nubes en el cielo, entonces

el Sol est brillando.

6.

O est lloviendo o el sol est

brillando.

Simblicamente
p^q

Uso de Tablas de Verdad

TABLAS DE VERDAD.pptx

Sean p, q y r del ejercicio 1. Traducir las siguientes

proposiciones simblicas a oraciones en espaol.