Вы находитесь на странице: 1из 9

Prof.

Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

CONCEPTO DE LGICA MATEMTICA


La Lgica estudia la forma del razonamiento. La Lgica Matemtica es la disciplina que trata de
mtodos de razonamiento. En un nivel elemental, la Lgica proporciona reglas y tcnicas para
determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en Matemticas
para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad
en la vida.

Lenguajes y estructuras de primer orden


Un lenguaje de primer orden, notado como

es

una coleccin de distintos smbolos clasificados

como sigue:
1. El smbolo de igualdad
2. los conectores

; el parntesis

, , , ;

3. Los cuantificadores: universal

existencial

4. Un conjunto contable de smbolos de variable


5. Un conjunto de smbolos de constante

vi i0 . .

C A .

f
Un conjunto de smbolos de relacin R

6. Un conjunto de smbolos de funcin

7.

.
.

As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos
constantes, smbolos de funcin y smbolos relacionales, dado que el primer conjunto de smbolos
es estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte de
la estructura de las funciones y relaciones. Los smbolos carecen de significado por s solos. Sin
embargo, a este lenguaje podemos dotarlo de una semntica apropiada.

DEFINICIN Y CLASES DE PROPOSICIONES


Una proposicin o enunciado es una oracin que puede ser falsa o verdadera, pero no ambas a la
vez. Toda proposicin consta de tres partes: un sujeto, un verbo y un complemento referido al
verbo. La proposicin es un elemento fundamental de la Lgica Matemtica. A continuacin se
tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el por qu algunos
enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula,
dos puntos y la proposicin propiamente dicha.

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

Ejemplos.
Sean las siguientes proposiciones:

p : Bogot se encuentra en Europa.


q : 16 - 6 9
r : 2x - 3 7
t : los precios de los autos bajaran este ao
w : cmete el pan!
Los enunciados p y q pueden tomar un valor de falso o verdadero, por lo tanto, son proposiciones
vlidas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero
depende del valor asignado a la variable

en determinado momento. La proposicin del inciso s

tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que
esperar a que terminara el ao. Sin embargo, los enunciados t y w no son vlidos, ya que no
pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

En general, las proposiciones pueden ser:

Simples si slo tienen un sujeto, un verbo y un complemento. En caso contrario, son


proposiciones Compuestas.

Cerradas si tienen determinado el sujeto. Abiertas si no lo tienen determinado.

Afirmativas o Negativas. Segn lo afirmen o nieguen.

Verdaderas o Falsas segn correspondan o no a la realidad.

Ejemplos.
h: "Ana come pizza y bebe refresco", es una proposicin compuesta, cerrada y afirmativa.

j: "Ella no nada muy rpido", es una proposicin simple, abierta y negativa.

k: Bogot no est al norte de la Casanare y no hace fro", es una proposicin compuesta,


cerrada, negativa y verdadera.

l: 7 3 10 es una proposicin simple, cerrada, afirmativa y verdadera.

m: x - 2 x es una proposicin simple, abierta y negativa.

n: a b 6 es una proposicin compuesta, abierta y afirmativa.

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

CONECTIVOS LGICOS EN PROPOSICIONES COMPUESTAS 1


Existen conectivos u operadores lgicos que permiten formar proposiciones compuestas, es decir,
formadas por varias proposiciones. Los operadores o conectores bsicos son:

Conjuncin (operador and, se lee y). Se utiliza para conectar dos proposiciones que se
deben cumplir para que se pueda obtener un resultado verdadero. Se le conoce como
multiplicacin lgica y su smbolo es (and).

Ejemplo.

Sea el siguiente enunciado: "Voy al cine cuando hay una buena pelcula y cuando tengo
dinero
En estas condiciones sean:

p: Voy al cine.

q: Hay una buena pelcula.

r: Tengo dinero.

De tal manera que la representacin del enunciado anterior usando simbologa lgica es
como sigue:

p qr,

su tablas de verdad es como sigue en cualquiera de las dos

presentaciones. Su correspondencia es la misma.

p qr

p qr

Donde: 1 = verdadero, 0 = falso

Adems de los operadores bsicos (And, Or y Not) existe el operador Xor, cuyo funcionamiento es semejante al
operador Or con la diferencia de que su resultado es verdadero solamente si una de las proposiciones es cierta, y
cuando ambas son verdad, el resultado es falso. Por otro lado, con ayuda de los operadores bsicos se pueden formar
los operadores compuestos Nand (combinacin de los operadores Not y And), Nor (combina operadores Not y Or) y
Xnor (resultado de Xor y Not).

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

En la tabla anterior el valor de

q 1 significa que hay una buena pelcula, r 1 significa

p q r 1 significa que voy ir al cine. Se puede notar que con

que tengo dinero y

cualquiera de las dos proposiciones que valga cero implica que no asisto al cine.

Disyuncin (operador or, se lee o). Con este operador se obtiene un resultado
verdadero cuando alguna de las proposiciones es verdadera. Se conoce como suma lgica
y su smbolo es (or).
Ejemplo.
Sea el siguiente enunciado: Para ir al autdromo de Tocancip puedo tomar la carrera 7
o tomar la autopista norte Sean:

p ir al autodromo de Tocancip; q tomar la carrera sptima; r tomar la autopista norte;


la tabla de verdad es de cualquiera de las siguientes forma:

p qr

p qr

En la tabla anterior el valor de


tomar la autopista norte y

q 1 significa tomar la carrera sptima, r 1 significa


p q r 1 significa ir al autdromo de Tocancip. Se

puede notar que con cualquiera de las dos proposiciones que valga uno implica que llego
al autdromo de Tocancip.

Negacin (operador not, se lee no) Su funcin es negar la proposicin. Esto significa
que s alguna proposicin es verdadera y se le aplica el operador not se obtendr su
negacin (falso) y viceversa. Este operador se indica por medio del smbolo

Ejemplo.
Sea el siguiente enunciado: El len es el rey de la selva
Sean:

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

p El len es el rey de la selva; su negacion notada por p El len no es el rey de la selva


Su tabla de verdad es como sigue:
p

En la tabla anterior el valor de


significa que el len no lo es.

p 1 significa que el len es el rey de la selva, y p 0

Ejemplo.
Sean las proposiciones: p: Ya es tarde.

q: Tengo que dormirme.

r: Me levantar temprano. El

enunciado: "Ya es tarde y tengo que dormirme o no me levantar temprano. Se puede representar
simblicamente de la siguiente manera:

p q r.

PROPOSICIONES CONDICIONALES
Una implicacin o proposicin condicional, es aquella que est formada por dos proposiciones
simples (o compuesta) p y q. Se indica de la siguiente manera:

p q (se lee "si p entonces q")

Ejemplo.
Un hombre dice "Si ahorro me podr comprar una casa en tres aos". Una declaracin como esta
se conoce como condicional. Veamos otro ejemplo: Sean: p: Ahorro. q: Podr comprar una casa
en tres aos. De tal manera que el enunciado se puede expresar como:

pq

Su tabla de verdad es de la siguiente manera:

pq

r
V
V
F
F

pq

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

La interpretacin de los resultados de la tabla es la siguiente: Analizando si el hombre minti con


la afirmacin del enunciado anterior: Cuando p=1 significa que ahorr y q=1 que se compr la
casa en tres aos, por lo tanto

Cuando
la casa.

p q 1 (el hombre dijo la verdad).

p 1 y q 0 significa que p q 0 , el hombre minti, ya que ahorr y no se compr


Cuando

p 0 y q 1 significa que aunque no ahorr se compr la casa (ya tena los

recursos), as que no minti, de tal forma que

p q 1 . Cuando p 0 y q 0 se interpreta

que aunque no ahorr tampoco se compr la casa, por lo tanto

p q 1 ya que tampoco minti.

PROPOSICIN BICONDICIONAL
Sean p y q dos proposiciones. Una doble implicacin o proposicin es bicondicional cuando p es
verdadera si y solo si q es tambin verdadera. O bien p es falsa si y slo si q tambin lo es. Se
indica de la siguiente manera:

p q (se lee "p si y slo si q")

Ejemplo.
Sea el siguiente enunciado: "Una persona puede votar, si y slo si, tiene credencial de elector"
Dnde: p: Una persona puede votar. q: Tiene credencial de elector. Su tabla de verdad es.

pq

pq

p 1 significa que una


persona puede votar y q 1 que tiene credencial, al ser esto cierto p q 1 . Cuando p 1 y
q 0 significa que p q 0 , una persona puede no votar, ya que no posee la credencial.
Cuando p 0 y q 1 significa que una persona no puede votar aunque tenga credencial (por
ejemplo los residentes en el extranjero), esto es que p q 0 . Cuando p 0 y q 0 se
interpreta como que ni puede votar ni tiene credencial, por lo tanto es cierto p q 1 .
La interpretacin de los resultados de la tabla es la siguiente:

Cuando

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

Ejemplo.
Representar simblicamente el enunciado: "Si no pago la luz, entonces me cortarn la corriente
elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin
dinero y pido prestado, entonces no podr pagar la deuda, si y slo si soy desorganizado"

Solucin: p: Pago la luz. q: Me cortarn la corriente elctrica. r: Me quedar sin dinero. s: pedir
prestado. t: Pagar la deuda. w: Soy desorganizado.

p q p r s r s t w
El nmero de lneas de la tabla de verdad depende del nmero de variables de la expresin y se
n

puede calcular por medio de la siguiente formula: Nmero de lneas = 2 , donde

es el nmero

de variables distintas.
Ejemplo: Dada la siguiente proposicin:

p q q r r q . Elaborar su tabla de verdad.

Solucin.
p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

pq

qr

(p q) ( q r)

rq

p q q r r q

1
1
0
0
1
1
0
0

1
1
1
1
0
0
1
1

0
1
0
0
0
1
0
0

1
1
1
1
0
1
1
1

1
0
1
1
1
0
1
1

1
0
1
1
0
0
1
1

TAUTOLOGA, EQUIVALENCIA Y CONTRADICCIN


Tautologa es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de
sus variables. Un ejemplo tpico es la proposicin contrapositiva cuya tabla de verdad se indica a
continuacin.

p q q p
p

pq

q p

(p q) ( q p)

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

Ntese que en las tautologas para todos los valores de verdad el resultado de la proposicin es
siempre uno. Las tautologas son muy importantes en Lgica Matemtica ya que se consideran
leyes en las cuales se puede apoyar para realizar demostraciones.

Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes. Si coinciden
sus resultados para los mismos

valores de verdad. Se indican como

pq y

anterior, se puede observar que las columnas de

p q . En el ejemplo

q p son iguales para los mismos

valores de verdad, por lo tanto se puede establecer que ( p q ) ( q p)

Contradiccin es aquella proposicin que siempre es falsa para todos los valores de verdad, una
de las ms usadas y ms sencilla es

pp.

Como lo muestra su correspondiente tabla de

verdad.

p p

Ejemplo.
Si se tiene p: El auto es verde, la proposicin

pp

equivale a decir que "El auto es verde y

el auto no es verde". Por lo tanto se est contradiciendo, es decir, es una falacia.

LEYES NOTABLES EN LGICA


Las leyes de lgica ms notables son las que se enlistan a continuacin:
1.- Ley de doble negacin

( p) p

2.- Leyes de idempotencia

p p p
p p p

3.- Leyes asociativas

4.- Leyes conmutativas

p q r p q r
p q r p q r
p q q p
p q q p
p q q p

Prof. Enrique Mateus Nieves


Doctorando en Educacin Matemtica.

5.- Leyes distributivas

p q r p q p r
p q r p q p r

6.- Leyes de De Morgan

p q p q
p q p q
MTODOS DE DEMOSTRACIN
Todo enunciado puede ser planteado en trminos de teoremas. Un teorema por lo general es
resultado de un planteamiento de un problema, que normalmente presenta el siguiente formato:

p1 p2 pn q

Como se establece

p1 , p2 ,, pn

son hiptesis (o premisas) derivadas

del mismo problema y que se consideran vlidas. Pero adems debern conectarse con el
operador And (), lo cual implica que
cierta entonces

p1

es cierta y ()

p2

es verdad y ()...... y

pn

tambin es

la conclusin q es cierta.

Para realizar la demostracin formal del teorema se deber partir de las hiptesis, y despus
obtener una serie de pasos que tambin deben ser vlidos, ya que son producto de reglas de
inferencia. Sin embargo no solamente las hiptesis y reglas de inferencia pueden aparecer en una
demostracin formal, sino tambin tautologas conocidas. En el teorema anterior cada uno de los
pasos

p1 , p2 ,, pn son escalones que debern alcanzarse hasta llegar a la solucin.

Bibliografa:

Jos A. Amor M., (1993). Compacidad en la Lgica de Primer Orden y su Relacin con el
teorema de completud. UNA. Mxico

Boole G. (1954). An Investigation of the Laws of Thougth on Which are Founded the
Mathematical Theories of Logic and Probabilities. Reedicin Dover (1958)

Crossley J. et al., (1983). Qu es la <Lgica Matemtica?. Tcnos. USA.

Mates B. (1971). Lgica Matemtica Elemental. Tecnos. USA.

Mendelson E. (1987). Introduction to Mathematical Logic, Wadsworth & Brooks/Cole


Advance Books and Software 3 Ed. USA.

Вам также может понравиться