Elementos de la lgica computacional

La lgica computacional o lgica formal siempre ha sido una herramienta fundamental

para el progreso de las ciencias computacionales, y sus desarrollos son la base para
elaborar soluciones informticas, tanto en software como en hardware. Es bien conocido
que los profesionales que aplican adecuadamente el razonamiento lgico tiene mayores
posibilidades de xito, tanto en lo profesional como en lo personal, ya que analizar, saber
buscar posibilidades, demostrar o refutar afirmaciones diversas, le permite a quien tiene
ese conocimiento y manejo ser un mejor ser humano y por consiguiente un profesional
con mayores y mejores aptitudes y actitudes para vivir en una sociedad como la actual,
necesitada de ecuanimidad, raciocinio y capacidad de anlisis para solucionar sus cada
vez ms complejos problemas.
Disear, desarrollar y mantener software son procesos netamente creativos que se
sustentan fundamentalmente en la capacidad de razonamiento, en el pensamiento
computacional y algortmico y en la habilidad para abstraer cualquier problema, Desde la
publicacin de los trabajos de Herbrand en 1930 la lgica 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 diseo de sistemas de informacin, es
decir, hoy la lgica computacional se aborda desde la perspectiva de aplicacin a la
computacin.
Proposiciones lgicas simples
Proposicin
Es toda oracin o enunciado al que se le puede asignar un cierto valor (V o F). Si no
puede concluir que es verdadero o falso no es proposicin. Ejemplo

Hoy es lunes (falso). Si es proposicin ya que se puede verificar.

El rbol es grande. Como no se puede concluir si es verdadero o falso, no es una
proposicin.

Proposicin simple
En la proposicin simple, se da una afirmacin con el resultado implcito. Son aquellas
que no tienen oraciones componentes afectadas por negaciones ("no") o trminos de
enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces").

Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre

oraciones.

El gorro azul. Un caballo negro

l est dormido
Mi computadora

Negacin
Si p es una proposicin fundamental, de sta se puede formar otra proposicin, que se le
llama Negacin de p, escribiendo: Es falso que antes de p, , cuando es posible, se
inserta en p la palabra No, (p) Su smbolo es: , ~
EJEMPLOS:

No est lloviendo.
La seora no ceno.
Es falso que 52=12.
Es falso que Alemania se encuentra en Europa.

Disyuncin
Se representan dos enunciados separadas por la expresin o basta con que una sea
verdadera para que se cumpla la proposicin (pvq). Su smbolo es: V
EJEMPLOS:

Est lloviendo o es de noche.

Est feliz o est enojado.
Est caminando o est lloviendo.
Hay derivadas o hay integrales.

Conjuncin
Es cuando dos proposiciones simples se combinan mediante la expresin y
proposicin compuesta resultante se le llama conjuncin (pq). Su smbolo es: , &,
EJEMPLOS:

La puerta est vieja y oxidada.

Hace fro y est nevando.
Est lloviendo y es de noche.

, la

Tiene gasolina y tiene corriente.

Evaluacin de proposiciones lgicas

1. Cul de las siguientes oraciones es una proposicin lgica?
a) El rumor y el ir y venir incesante de las abejas.
b) No te vayas!
c) Hoy es martes.
SOLUCIN:

La opcin a) no es una proposicin lgica porque no se afirma nada que pueda

valorarse como verdadero o falso.

La opcin b) expresa simplemente un deseo. No es una proposicin.
La opcin c) s es una proposicin porque expresa algo de lo que puede decirse si
es verdadero o falso. Segn el da de la semana de que se trate, la oracin es
verdadera o falsa.

La opcin c) es la correcta.
2. Cul de las siguientes oraciones no es una proposicin lgica?
a) No aprenda estas oraciones de memoria.
b) Es un hombre rudo, pero noble.
c) Cuando vengas a casa, te ensear el album de fotos.
SOLUCIN:

La opcin a) es una oracin imperativa. Expresa u mandato pero no afirma nada

que pueda valorarse como verdadero o falso.

La opcin b) s es una proposicin lgica. Adems es compuesta ya que es

equivalente a decir es un hombre rudo y es un hombre noble

La opcin c) es una oracin de tipo condicional pero lo que se afirma s puede
valorarse como verdadero o falso. Es tambin una proposicin.

La opcin a) es la correcta.
Tautologa
Una proposicin compuesta es una tautologa si es verdadera para todas las asignaciones
de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su valor

V no depende de los valores de verdad de las proposiciones que la forman, sino de la

forma en que estn establecidas las relaciones sintcticas de unas con otras.
Contradiccin
Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en
todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma,
su valor F no depende de los valores de verdad de las proposiciones que la forman, sino
de la forma en que estn establecidas las relaciones sintcticas de unas con otras.

Reglas de indiferencia
Una regla de inferencia es un esquema para construir inferencias vlidas. Estos
esquemas establecen relaciones sintcticas entre un conjunto de frmulas llamados
premisas y una asercin llamada conclusin.
Estas relaciones sintcticas son usadas en el proceso de inferencia, por el que se llega a
nuevas aserciones verdaderas a partir de otras ya conocidas..
Como se mencion, la aplicacin de una regla de inferencia es un procedimiento
puramente sintctico. Sin embargo, debe tambin ser vlido, o mejor dicho, preservar la
validez. Para que el requisito de preservacin de la validez tenga sentido, es necesaria
una cierta forma semntica para las aserciones de las reglas de inferencia y las reglas de
inferencia en s mismas.
Si usted invierte en el mercado de valores, entonces se har rico.
Si se hace usted rico, entonces ser feliz.
Si usted invierte en el mercado de valores, entonces ser feliz