UNIDAD # 1

INTRODUCCIN A LA LGICA SIMBLICA

1.1 INTRODUCCIN
En muchos algoritmos (conjunto ordenado y finito de operaciones que permite hallar la
solucin de un problema) y demostraciones se usan expresiones lgicas como:
SI p Entonces o Si P1 y P2, Entonces q1 o q2
Es necesario conocer los casos en que estas expresiones son VERDADERAS o FALSAS; es
decir, conocer el valor de verdad de tales expresiones. Estos temas se analizan en este
captulo.
Tambin se investiga el valor de verdad de declaraciones cuantificadas, que son
proposiciones en las que se usan los cuantificadores lgicos para todo y existe.
1.2. CLCULO PROPOSICIONAL
Es el estudio de las relaciones lgica entre objetos llamados proposiciones, que
frecuentemente pueden interpretarse como afirmaciones que tienen algn significado en
contextos de la vida real.
1.2.1. PROPOSICIN
Una proposicin es cualquier frase que tenga un valor de verdad bien definido, es
decir, que sea verdadera o falsa.
Una proposicin (o declaracin) es una oracin declarativa que es verdadera o falsa,
pero no ambas.
Aquellas oraciones aseverativas de las cuales tenga sentido decir si son verdaderas
o falsas.
Una proposicin es una oracin o sentencia la cual puede ser nicamente verdadera
(V) o falsa (F). Una funcin o forma proposicional es una expresin que se convierte
en proposicin al asignarle valor a las indeterminadas.
Consideremos los siguientes ejemplos:
a) 5 es nmero primo, es una proposicin verdadera.
b) El nmero natural x es tal que x>10, es una funcin proposicional b(x), que se
transformar en una proposicin cuando reemplacemos la variable x por un elemento
del conjunto N de los nmeros naturales, pudiendo entonces adjudicrsele un valor
de verdad, N es el conjunto universal o referencial considerado.

c) El par ordenado de nmeros reales (x,y) satisface la ecuacin x2+y2=4, es una

funcin proposicional c(x,y) en dos variables x,y; este par de variables puede
considerarse como una variable bidimensional (x,y) siendo el conjunto universal
considerado R2.
d) Cul es la altura del monte Aconcagua?, se enuncia una pregunta, por lo tanto no
es proposicin ni funcin proposicional.
e) Por favor, necesito que me prestes ese libro hasta maana, se enuncia un pedido,
por lo tanto no es proposicin ni funcin proposicional.
f) La cordillera de los Andes se encuentra en Europa, es una proposicin falsa.
g) En el Universo hay seres inteligentes en otras galaxias, es una proposicin si bien
an no se conoce su valor de verdad.
h) Hoy es martes, es una proposicin.
i) Todos los nmeros son positivos, es una proposicin.
j) Las rosas son rojas, es una proposicin.
k) Estudio ingeniera de sistemas, es una proposicin.
l) New York es llamada la capital del mundo, es proposicin.
m) 4+3=10 es una proposicin.
n) 15-6 no es una proposicin.
LGICA DE PROPOSICIONES
1. PROPOSICIN.- Es toda oracin declarativa de la cual tiene sentido decir sin
ambigedad verdadera o falsa, pero no ambas simultneamente.
2. Cules de las siguientes expresiones son proposiciones y cules no?
a) Hoy es viernes V SI
b) (-2) + (-3) = 5 V SI
c) (-2) + (-5) =
F NO
d) -3, -2 es nmero entero V SI
e) Qu hora es? F NO
f) Qu estudias? F NO
g) 3x+2x = 5x
F NO
h) He decidido viajar F NO
i) Quiero trabajar F NO
j) Estudie lgebra F NO
k) 15-6 F NO
l) -5<-3<0 F SI
3. Las proposiciones se simbolizan con letras minsculas del alfabeto latino, tales
como p,q,r, llamadas VARIABLES.
4. En la lgica proposicional bsica, los valores de verdad son: VERDADERO Y FALSO,
y se usan V (inicial de la palabra Verdad) y F (inicial de la palabra Falsedad)
5. El valor de verdad de una proposicin se denota por (p) y se lee: Valor de la
verdad de la proposicin p.

1.2.2. VALOR DE VERDAD DE UNA PROPOSICIN.

El valor de verdad de una proposicin se denota por:
p.

(p) y se lee: Valor de la proposicin

Hallar el valor de verdad de cada una de las proposiciones siguientes:

p = (-5)2 = -5
q = antilog 2 = 100
r = el inverso aditivo de -5 es 5
s = la palabra remplazar est bien escrita
t = 2/5 es nmero irracional.
SOLUCIN:

(p)

= F;

(q)

= V;

(r)

= V;

(s)

= V;

(t)

=F

PROPOSICIN.- En general, no son proposiciones las siguientes:

a) Las oraciones interrogativas -> Qu es lgica?
- Imperativas o exhortativas.- Expresan mandato, exhortacin o simple ruego:
Debemos Honrar el bicentenario; Ven aqu, treme el pan
- Desiderativas o optativas.- Expresan contenidos cuya relacin se desea. Se en
hora buena, Ojal apruebe, Descanse en Paz.
- Exclamativas o admirativas.- Expresan emociones directas: Se acerca el
momento! Qu alegra! Qu suerte! Casi me saco el monobingo!
- Dubitativas y de posibilidad o probabilidad.- En las que el hablante cree que su
juicio corresponde a la realidad objetiva: Quizs llueva maana, Acaso est en
Madrid; Quizs lo haga.
b) Los juicios de valor -> Mariano es Bueno.
c) Los Pseudoproposiciones -> El cuadrado es inteligente.
d) Las funciones proposicionales -> 2x + 6 = 14
e) Las descripciones definidas -> El actual Presidente del Banco Central
f) Los filosofemas -> La materia se mueve en un ciclo eterno.
1.2.3. PROPOSICIONES ATMICAS (SIMPLES) Y MOLECULARES (COMPUESTAS)
Las proposiciones atmicas.- Es verdadera o falsa, y su verdad o falsedad no depende de
otras proposiciones, sino de cmo es la realidad. Ejemplo:

Todos los hombres son morales.

NOTA: Si hubiera algn hombre inmortal, la proposicin del ejemplo sera falsa.
Las proposiciones moleculares.- Son aquellas que estn compuestas por proposiciones
atmicas. Ejemplo:
Voy a comprar pan y a tomar un caf
NOTA: Es molecular porque se compone de dos proposiciones atmicas:
- Voy a comprar pan.
- Voy a comprar un caf
Estas dos proposiciones atmicas estn conectadas mediante la partcula y. Una
proposicin molecular ser verdadera o falsa, pero a diferencia de lo que ocurre con las
proposiciones atmicas, su verdad o falsedad no depende directamente de la realidad, sino
que depende o es funcin de la verdad o falsedad de las proposiciones atmicas que la
compone.
Pueden ser simples (o atmicas) y compuestas (o moleculares). Las simples carecen de
conectivas mientras que las compuestas si los tienen (al menos una)
CONECTIVOS
Es una simbologa en el lenguaje verbal, que nos ayuda a conectar una expresin con otra.
Los ms usados son:
Y - O - NO - SI - S Y SOLO SI
-

Hoy no es martes.
Si hoy es martes, entonces voy al cine.
Hoy llueve o sale el sol.
Llueve y voy a la universidad.

CUANTIFICADORES
Un cuantificador es una palabra que se le agrega al inicio de una proposicin, por lo tanto al
inicio de una frase:
- Existe un nico nmero que
Los ms usados son:

TODO - EXISTE - EXISTE UN NICO - PARA TODO.

PREDICADOS.- Se define un predicado cuando nosotros a uno de los conceptos (o palabra)
de la proposicin la cambiamos por una letra llamada: Variables como la x-y-z
- 4 es un nmero par
X es un nmero par PREDICADO
- X es positivo
- Para todo Z,Z es positivo.
- X es mayor que Y.
1.2.4. CONECTIVOS LGICOS.
Los Conectivos lgicos nos van a ir diciendo cuando una proposicin es verdadera o cuando
es una proposicin falsa. Es una disposicin que permite asignar a cada variable
proposicional dos valores de verdad (V) o (F) cuando es simple, y 2 valores de verdad
cuando se tienen variables distintas.

P
V
F

p
V
V
F
F

q
V
F
V
F

NEGACIN: ( ) Es una funcin que asigna una veracidad cuando la proposicin es falsa o
ser falsa cuando la proposicin es verdadera, lo que implica que el resultado lo cambia
totalmente contrario a la proposicin y se lee no p.
A
V
F

A
F
V

SMBOLOS AUXILIARES
La lgica proposicional, para evitar confusiones y poder determinar con claridad la conectiva
que es dominante utiliza: parntesis, corchete y llaves, dependiendo del caso de la
proposicin.
CONECTIVA
NO

SMBOLO

FUNCIN
Negacin

EJEMPLO

~p

Y
O
OO
SI ENTONCES
S Y SOLO SI

v
v

Conjuncin

p q

Disyuncin Exclusiva

p v q

Disyuncin Excluyente

Condicional

Bicondicional

v q

q
q

LENGUAJE DE LA LGICA
- Lenguaje Natural (Corriente, comn, ordinario, espaol)
- Lenguaje Formal (Lenguaje Artificial)
NIVELES EN EL LENGUAJE FORMAL
- Lgica proposicional (lgica de orden cero)
- Lgica de predicador (lgica de 1er orden)
- Lgica de orden superior.
ESTRUCTURA FORMAL DE LA LGICA
Todo lenguaje formal, est formado por su:
- Sintaxis
- Semntica
- Sistema de Demostracin
Sintaxis.- Es la correcta combinacin de variables proposicionales y colectivos lgicos, para
obtener una frmula proposicional o frmula bien formada (fbf).
Semntica.- Se refiere a la interpretacin de fbfs a partir de la asignacin de valores de
verdad a c/u de las variables proposicionales.
Sistema de Demostracin.En el contexto de la sintaxis se denomina teora de demostracin.
En el contexto de la semntica se denomina teora interpretativa.
Alfabeto de la Lgica Proposicional
- Variables Proposicionales: p,q,r
- Conectivos Lgicos

CONECTIVA
NO
Y
O
OO
SI ENTONCES
S Y SOLO SI
NI. NI.
NO O NO
SMBOLOS AUX.

SMBOLO

v
v

( )

Reglas de formacin (reglas puramente sintcticas)

- Toda variable proposicional: p,q,r. es fbf
- Si y son fbfs, entonces ~,~,^,v,v,,, y son
tambin fbfs.
Operaciones con proposiciones.
- Unaria
- Binaria (Conjuncin, Disyuncin inclusiva o dbil, Disyuncin exclusiva o fuerte,
Condicional, Bicondicional).

Tabla de Verdad
En toda tabla de verdad hay 2n posibles combinaciones de valores de verdad, o filas donde
n, es el nmero de variables proposiciones.
Si n = 1, entonces la tabla tiene 21 = 2 filas
Si n = 2, entonces la tabla tiene 22 = 4 filas
Si n = 3, entonces la tabla tiene 23 = 8 filas

Tablas de verdad
- De las operacin unaria: ~p
p
V
F

~p
F
V

- De las operaciones binarias.

p
V
V
F
F

q
V
F
V
F

Conjuncin

Disy. Incl.

Disy. Excl.

Condicional

pq
V
F
F
F

pvq
V
V
V
F

pvq
F
V
V
F

pq
V
F
V
V

En p q, p es el antecedente y q es el consecuente.

Bicondiciona
l
pq
V
F
F
V