LGICA MATEMTICA

Priscila Valdiviezo
pmvaldiviezo@utpl.edu.ec

FUNDAMENTOS DE LGICA
Introduccin a la Lgica
Es la que determina si un razonamiento es vlido
o no.
Algunos precursores de la lgica pudieron
verificar que esta ciencia casi expresada en su
totalidad en palabras no haca posible una fcil
aplicacin sobre temas matemticos cuyo
procedimiento y desarrollo se quera comprobar,
por lo que se introdujo smbolos que
representan las definiciones y reglas dadas por
la lgica, crendose por consiguiente la lgica
simblica, llamada lgica matemtica

FUNDAMENTOS DE LGICA
La lgica matemtica usa lenguajes
formales definidos artificialmente
para formular enunciados acerca del
mundo al que se refieran en un
momento dado nuestros
razonamientos, es por ello que en la
actualidad tambin se la conoce
como la lgica formal o matemtica.

Lgica Proposicional
Lgica Proposicional Sintaxis
Estudia los enunciados como un todo y
sus relaciones con otros enunciados.
Proposicin es aquel enunciado que
afirma o niega algo y que puede ser
verdadero (V) o falso (F).
slo tiene dos categoras de
clasificacin: las proposiciones
verdaderas y las proposiciones falsas.

Lgica Proposicional
Ejemplos

No son proposiciones, los enunciados donde no es posible

determinar el valor de verdad, es decir si son verdaderos o
falsos.
Ejemplo:
Cmo ests?
- Dios mo!

Lgica Proposicional
El lenguaje formal de la lgica de
proposiciones resulta de un anlisis
lgico simple del lenguaje natural,
basado en la distincin entre dos
clases de enunciados o
proposiciones: Simples o Compuestos

Lgica Proposicional

Lgica Proposicional
Conjunto de smbolos con los que
trabaja el lenguaje de la lgica
proposicional.
smbolos utilizados para representar
los enunciados, las principales
conectivas lgicas que se utilizan
para construir enunciados
compuestos y la jerarqua de las
mismas

Lgica Proposicional
Jerarqua de conectivas.
En trminos formales la negacin de p, deber ser ( p), as
como la conjuncin de p y q sera (p ^ q).
Con el uso de parntesis evitamos la ambigedad, por
ejemplo p ^ q podra significar dos cosas distintas
Por un lado podra significar: (( p) ^ q) O tambin: ( (p ^
q)).
En la prctica para no usar tantos parntesis se considera que
el operador tiene jerarqua sobre ^, v, , . Es decir va
desde menor jerarqua hasta el de mayor.
As: p ^ q significa (( p)^ q)

Lgica Proposicional
En algunos casos se considera ^, v
tienen mayor jerarqua que por lo
que:
p q v r sera (p (q v r)) y
tambin que ^ tiene prioridad sobre
v, por lo que:
p ^ q v r sera (p ^ q) v r

Lgica Proposicional
Ejemplo:
Considerando la jerarqua entre
conectivas, la frmula p v q p ^
r, se reconocera como:

Ejercicio:
Representar la frmula mediante
utilizando smbolos de
agrupacin/puntuacin

Lgica Proposicional
Conectivas Lgicas
Aquellas partculas de enlace del
lenguaje natural que permiten unir
enunciados simples.
stas tienen un significado en el
lenguaje de la lgica proposicional, y
los enunciados un valor de verdad.
Cinco conectivas principales
utilizadas para la construccin de
nuevas proposiciones.

Lgica Proposicional
Ejemplo:

Ejercicio:
Simbolice cada una de las proposiciones
sealadas en el ejemplo

Lgica Proposicional
Valor de verdad de la negacin,
conjuncin, disyuncin, condicional y
bicondicional.
Para formar expresiones compuestas
necesitamos conectivos lgicos,
empezaremos
por un conectivo unitario; esto es, se
aplica a una proposicin sola.

Lgica Proposicional
La Negacin
La operacin unitaria de negacin,
no es cierto que se representa por
y tiene la siguiente tabla de
verdad de verdad

Lgica Proposicional

Lgica Proposicional
Conjuncin
La conjuncin de las proposiciones p,
q es la operacin binaria que tiene
por resultado p y q, se representa
por p^q.

Lgica Proposicional
La conjuncin nos sirve para indicar que se
cumplen dos condiciones simultneamente.
Ejemplo, si tenemos el enunciado:
La funcin es creciente y est definida para
los nmeros positivos.
Simoblizamos como p ^ q, donde:
p: la funcin es creciente
q: la funcin esta definida para los nmeros
positivos

Lgica Proposicional
Ejemplo 2:
El nmero es divisible entre 3 y est
representado en base 2.
p: el nmero es divisible por 3
q: el nmero est representado en base 2
p^q

Para que la conjuncin p ^ q sea verdadera las

dos expresiones que intervienen deben ser
verdaderas y slo en ese caso como se indica
por su tabla de verdad.

Lgica Proposicional
Disyuncin
La disyuncin de dos proposiciones p,
q es la operacin binaria que da por
resultado p q, notacin p v q, y
tiene la siguiente tabla:

Lgica Proposicional
Basta con que una de las
proposiciones sea verdadera para
que la expresin p q sea
verdadera.
Ejemplo:
El libro se le entregar a Juan o el
libro se le entregar a Luis.
Simbolizando: p v q

Lgica Proposicional
Condicional
La condicional de dos proposiciones
p, q da lugar a la proposicin; si p
entonces q, se representa por p q.

Lgica Proposicional
El nico caso que resulta falso es
cuando el primero es verdadero y el
segundo falso.
Ejemplo:
Si llueve entonces hay nubes
p:llueve
q: hay nube
pq

Lgica Proposicional
Bicondicional
La bicondicional de dos proposiciones
p, q da lugar a la proposicin; p si y
slo si q, se representa por p q.

Lgica Proposicional
Construccin de Tablas de Verdad
Si P y Q son proposiciones atmicas unidas con conectivas lgicas de la
siguiente manera: p v q
Pasos:
1. Como se est trabajando con dos variables, entonces se tendrn
filas en la tabla de verdad, que son a la vez las combinaciones de los
valores de verdad de las variables.
2. Procedemos a dibujar la tabla separando hacia la izquierda las variables
que intervienen, como tienen que dar 4 filas, la primera proposicin
tendr dos valores de verdad con V y dos con F, y la proposicin q
tendr intercalado los valores de verdad de la siguiente manera:

Lgica Proposicional
Hallar las tablas de Verdad de:
a) [P ^ Q] [ P v Q]
b) [ P v ( Q ^ R)] [( P v Q) ^ (P v
R)]