ASIGNATURA: MATEMATICA PARA LA INFORMATICA Lic.

JIMMY SIRPA CHOQUE

LÓGICA FORMAL O SIMBÓLICA

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas
determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas,
física, informática.
- En las matemáticas para demostrar teoremas e inferir resultados matemáticos que puedan ser
aplicados en investigaciones.
- En la informática su uso es fundamental a varios niveles: en los circuitos computacionales, en la
programación lógica, en la inteligencia artificial, en el análisis y optimización (de recursos
temporales y espaciales) de algoritmos.

En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un
procedimiento lógico, por el ejemplo:
a) Para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento
lógico que permita realizar dicha tarea.
b) Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que
no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si
antes no pintó la parte alta porque se mancharía lo que ya tiene pintado.

Lógica Formal

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal se dedica al estudio de
la inferencia (deducir algo) mediante la construcción de lenguajes formales (asignación de
significados a sus símbolos, y de condiciones de verdad). La lógica formal o simbólica, utiliza un
lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el tiempo y es
universal.

Argumento o razonamiento:

Un argumento o deducción es aquel razonamiento mediante el cual de unos enunciados iniciales

llamados premisas se deduce un enunciado final llamado conclusión. Por ejemplo:

o Quien trabaja tiene un salario. Yo trabajo. Entonces yo tengo un salario

o Si está soleado, entonces es de día. No es de día. Por lo tanto, no está soleado.

La Lógica Formal se divide en tres partes: Lógica Proposicional, Lógica de Predicados y Lógica de
Clases

La lógica proposicional.

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples
representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan
operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

Una proposición o enunciado es una oración que puede ser falso o verdadero, pero no ambas a la
vez.
ASIGNATURA: MATEMATICA PARA LA INFORMATICA Lic. JIMMY SIRPA CHOQUE

La lógica proposicional sólo muestra interés por aquellas oraciones a las que se les puede
atribuir valor de verdad (pueden ser verdaderas o falsas) Ej. “Hoy el cielo está nublado y hay riesgo
de lluvia”. Por lo tanto, una proposición es un enunciado en modo indicativo, es decir, una
aseveración afirmativa o negativa que puede ser calificada como verdadera o falso. Algunos
enunciados que tienen otra modalidad no son considerados proposiciones, como son los enunciados
imperativos ¡Tráemelo el periódico! Exclamativos ¡Qué bonito! e interrogativos ¿a qué hora vas por
pan? Su veracidad es difícil de juzgar. No todo enunciado es una proposición lógica mucho menos
toda oración.

Hay dos clases de proposiciones: Proposiciones simples y compuestas.

a. Proposiciones Simples. - También denominadas atómicas. Son aquellas proposiciones que no se

pueden dividir (indivisibles). No se puede descomponer en otra más simple, y de la que tiene
sentido predicar su verdad o falsedad. Ejemplo:
o El Instituto Tecnológico Bolivia Mar tiene 2 carreras
o El cielo es azul.
o 4 es un número impar
b. Proposiciones Compuestas. - También denominadas moleculares. Son aquellas que están
formadas por dos o más proposiciones simples o atómicas unidas por los operadores lógicos. Su
valor de verdad depende del valor de verdad de las proposiciones atómicas que lo conformen.

Ejemplo:

o Fui al banco, pero el banco estaba cerrado.

o 2 + 7 es 9 y 9 es impar
o La raíz cuadrada de 25 es 5, o -5

Proposiciones Abiertas

Una proposición abierta (o función proposicional) es una expresión que contiene una variable y que,
al ser sustituida dicha variable por un valor determinado, hace que la expresión se convierta en una
proposición V ó F.

o En el banco tengo X cantidad de dinero.

o X es un divisor de 8

Proposiciones Cerradas

Si dentro del enunciado de una proposición no aparece ninguna variable, y por consiguiente tiene
un valor de verdad definido, la proposición es cerrada.

o Hoy se suspendió la clase de matemática

o 2 es divisor de 8