Академический Документы
Профессиональный Документы
Культура Документы
es
como sigue:
1. El smbolo de igualdad
2. los conectores
; el parntesis
, , , ;
existencial
vi i0 . .
C A .
f
Un conjunto de smbolos de relacin R
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.
Ejemplos.
Sean las siguientes proposiciones:
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.
Ejemplos.
h: "Ana come pizza y bebe refresco", es una proposicin compuesta, cerrada y afirmativa.
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.
r: Tengo dinero.
De tal manera que la representacin del enunciado anterior usando simbologa lgica es
como sigue:
p qr,
p qr
p qr
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).
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 qr
p qr
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:
Ejemplo.
Sean las proposiciones: p: Ya es tarde.
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:
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
pq
r
V
V
F
F
pq
Cuando
la casa.
p q 1 . Cuando p 0 y q 0 se interpreta
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:
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
Cuando
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
es el nmero
de variables distintas.
Ejemplo: Dada la siguiente proposicin:
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
p q q p
p
pq
q p
(p q) ( q p)
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
pq y
p q . En el ejemplo
Contradiccin es aquella proposicin que siempre es falsa para todos los valores de verdad, una
de las ms usadas y ms sencilla es
pp.
verdad.
p p
Ejemplo.
Si se tiene p: El auto es verde, la proposicin
pp
( p) p
p p p
p p p
p q r p q r
p q r p q r
p q q p
p q q p
p q q p
p q r p q p r
p q r p q p r
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
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
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)