Nociones de Lgica Nociones de Lgica

Unidad I
Universidad de Carabobo FaCyT Departamento de Computacin
30/10/12 2
Nociones de Lgica
La lgica es la ciencia del razonamiento, el estudio de los
mtodos y principios usados para distinguir el razonamiento
correcto del incorrecto.


Es cualquier grupo de oraciones declarativas tal que una de
ellas se afirma que deriva de las otras, las cuales se
consideran evidencia de la verdad de la primera.


Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Concepto de Lgica
Razonamiento
Premisas o Hiptesis Conclusin
Implican
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
30/10/12 3
Nociones de Lgica
Tipos de Razonamiento
Razonamiento Deductivo Razonamiento Inductivo
Evidencia para concluir
Por analoga, sin
evidencias concluyentes
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
30/10/12 4
Nociones de Lgica
Sus premisas ofrecen una evidencia concluyente de la
verdad de la conclusin.



No aspira demostrar la verdad de su conclusin como
derivada necesariamente de sus premisas, sino que slo
afirma su probabilidad, o sea, cierta evidencia de ella. El
ms comn es la analoga.

Razonamiento Deductivo
Razonamiento Inductivo
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
30/10/12 5
Razonamiento Inductivo
Razonamiento Deductivo
Nociones de Lgica
Ustedes son estudiantes de
FACYT. Estn en el primer
semestre. Estudian computacin.
Entonces deben tener como
materia a Elementos Discretos I.

Este cantante siempre tiene
buenas canciones. Ha salido al
mercado un nuevo CD de ese
cantante. Varios amigos me lo
han recomendado. Como todos
sus CDs anteriores me han
gustado, entonces este CD debe
gustarme.
Ejemplos
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
30/10/12 6
Nociones de Lgica
Esta asignatura se enfocara en el estudio de los
Razonamientos Deductivos solamente.

Pero antes veamos el concepto de Proposicin

Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
30/10/12 7
Nociones de Lgica
Es el contenido o significado de una oracin declarativa, del
cual se puede decir inequvocamente que es verdadero o
falso.

El valor de verdad de una proposicin es el valor verdadero
o valor falso que adquiere la proposicin.

Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Proposicin
30/10/12 8
Nociones de Lgica
Oraciones de igual significado (an escritas de
diferentes formas) son la misma proposicin.

Quedan excluidas del concepto de proposicin aquellas
expresiones: admirativas, interrogativas e imperativas
que no encierren ningn significado asociable a un valor
de verdad.

Una proposicin admite slo un valor de verdad (v f).
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Algunas Consideraciones
30/10/12 9
Nociones de Lgica
Son aquellas que representan hechos atmicos, no se
pueden dividir en otras ms sencillas.



Son aquellas formas de enunciados que constan de
dos ms proposiciones simples vinculadas mediante
conectivos lgicos.
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Proposiciones Simples
Proposiciones Compuestas
30/10/12 10
Nociones de Lgica
Indique si las siguientes expresiones son proposiciones, en
caso de serlo diga si son simples o compuestas:
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Ejemplos
1. Bolvar fue el vencedor de Carabobo. (P)
1. Vallase de aqu!
1. Te ruego que me perdones mis estupideces.
1. Si los deseos fueran caballos, los mendigos
cabalgaran.
1. Si llueve maana, no voy a la playa.
1. x + y > 10
(NP)
(NP)
(P)
(P)
(NP)
30/10/12 11
Nociones de Lgica
Indique si las siguientes expresiones son proposiciones, en
caso de serlo diga si son simples o compuestas:
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Ejemplos
1. Qu pasa con el equipo de ftbol de Venezuela?
1. Est lloviendo.
It's raining.
Estuvo lloviendo.
Va a llover.
1. No me grites, por favor.
1. Deseo que te vaya bien en el viaje.
1. Es cierto que Luis participar en el prximo
maratn?
(NP)
(P)
(P)
(P)
(P)
(NP)
(NP)
(NP*)
30/10/12 12
Nociones de Lgica
La Lgica Simblica es el estudio de la lgica mediante la
matemtica, es la matematizacin de la lgica.

Se necesita construir un lenguaje simblico y la formulacin
de reglas de operacin precisas.

Primero que nada, estudiaremos algunos conceptos
bsicos tales como:

Inferencia Premisa Conclusin
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
30/10/12 13
Nociones de Lgica
Es cualquier proposicin que admitimos como cierta.
Cualquier enunciado considerado como fuente de una
inferencia.


Es otra proposicin, la cual se trata de deducir lgicamente
a travs de las premisas.


Paso discursivo de una proposicin o grupo de
proposiciones a otra llamada conclusin.
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Premisa
Conclusin
Inferencia
30/10/12 14
Nociones de Lgica
Un razonamiento est formado por proposiciones, entre las
cuales se encuentran las premisas y la conclusin.

Forma general de un razonamiento:

P1
P2
P3

Pn
___
Q
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Razonamiento
Premisas
Conclusin
30/10/12 15
Nociones de Lgica
Construccin del Lenguaje


30/10/12 16
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Elementos de la Lgica Proposicional
Alfabeto
(Letras y Smbolos)
Reglas de
Formacin
Axiomas o
Cadenas Iniciales
Reglas de
Transformacin
30/10/12 17
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Alfabeto
Proposiciones simples:
Minsculas del alfabeto castellano comenzando
convencionalmente con p. Representan una proposicin
simple. Ejemplo: p, q, r, s.

Proposiciones Compuestas:
Maysculas del alfabeto castellano y comienzan
convencionalmente con P. Generalmente representan una
proposicin compuesta.
Ejemplo: P, Q, R, S.

Valores de verdad:
Dos constantes: 'v' y 'f'. Una para verdadero: 'v' y la otra
para falso: 'f'.
30/10/12 18
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Alfabeto
Proposiciones y Valores de verdad:
Ejemplos
1. Bolvar fue el vencedor de Carabobo
p: Bolvar fue el vencedor de Carabobo. p v

1. Los deseos son caballos y los mendigos cabalgan.
p: Los deseos son caballos
q: Los mendigos cabalgan P: p . q ?

1. 5 + 2 > 10
p: 5 + 2 > 10. p f
30/10/12 19
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Alfabeto
Conectivos lgicos
Para identificar los conectivos lgicos se emplearn los
siguientes smbolos:

Negacin.
. y, conjuncin.
v o, o inclusivo, disyuncin.
v o exclusivo.
Condicional, implicacin material.
Bicondicional.
30/10/12 20
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Alfabeto
Otros conectivos:

Implicacin lgica.

|= Tautologa.

Equivalencia lgica.
30/10/12 21
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Negacin ()
Niega la proposicin. Al negar una proposicin, se est
afirmando la contraria.
La negacin de una proposicin verdadera es falsa.
La negacin de una proposicin falsa es verdadera.

Conectivos Lgicos
Ejemplos:
p: Bolvar es el vencedor de Carabobo.
p: Luis sale alguna vez con Rosa.
p: Bolvar no es el vencedor de Carabobo.
p: Luis nunca sale con Rosa.
p es verdadero, esto es: p v. Por lo tanto: p f
30/10/12 22
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Negacin ()

Nota:
Convencionalmente, al traducir del lenguaje natural al
lenguaje de lgica simblica, las proposiciones negadas se
extraen en su forma afirmativa; y luego cuando se proceda
a simbolizar, recurrimos al conectivo negacin para
expresar la proposicin original.
Ejemplo:
Mara no hizo sus deberes
p: Mara hizo sus deberes. Simbolizacin: p
Conectivos Lgicos
30/10/12 23
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Tabla de verdad de la Negacin ()
La negacin de una proposicin verdadera es falsa.
La negacin de una proposicin falsa es verdadera.

Conectivos Lgicos
p p
v
f v
f
30/10/12 24
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Conjuncin (.)
Consiste en afirmar como equivalente en una sola
proposicin (compuesta), un grupo de proposiciones
afirmadas por separado. En el lenguaje natural en
castellano, reconocemos las conjunciones cuando vemos
en un prrafo nexos como: y, sin embargo, no obstante,
pero, aunque, , (coma), ., y combinaciones de ellos.
Conectivos Lgicos
30/10/12 25
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Conjuncin (.) Ejemplos:
Conectivos Lgicos
1. El cielo est despejado,
pero el sol no calienta
mucho.
(Note que la proposicin se
extrae afirmativamente)
p: Algunas personas nacen
grandes.
1. Algunas personas nacen
grandes, otras consiguen la
grandeza, y a otras les ha sido
impuesta.
p: El cielo est despejado.
q: El sol calienta mucho.
simbolizacin:
simbolizacin:
p . q (se lee: p y no q)
q: Algunas personas
consiguen la grandeza.
r: A algunas personas se les
impone la grandeza.
p . q . r
30/10/12 26
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Tabla de verdad de la Conjuncin (.)
Una conjuncin de proposiciones, cada una de las
cuales es verdadera, la conjuncin es verdadera.

Una conjuncin de proposiciones no todas verdaderas,
es falsa. (basta que una sea falsa, para que la
conjuncin de todas sea falsa).

Conectivos Lgicos
p q p . q
v v
v f
f v
f f
v
f
f
f
30/10/12 27
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Disyuncin (v) (v)
Es la proposicin formada por la conexin de proposiciones
mediante las palabras o, o bien. Existen dos tipos: 'o'
inclusivo: v, y l 'o' exclusivo: v. Por Ejemplo:
Conectivos Lgicos
1. La tienda abre en la
maana o en la tarde.
p: La tienda abre en la
maana.
p: La tienda abre en la
maana.
1. La tienda abre slo en la
maana o slo en la tarde.
q: La tienda abre en la tarde.
simbolizacin:
p v q
q: La tienda abre en la tarde.

simbolizacin:
p v q (slo admite una de las dos
posibilidades, pero no ambas al
mismo tiempo)
Normalmente trabajaremos con
el 'o' inclusivo.
30/10/12 28
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Tabla de verdad de la Disyuncin Inclusiva (v)
Establece que entre 2 proposiciones se da una de ellas o
ambas a la vez; esto es, la disyuncin es verdadera si al
menos una de sus proposiciones es v.
Conectivos Lgicos
p q p v q
v v
v f
f v
f f
v
v
v
f
30/10/12 29
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Tabla de verdad de la Disyuncin Exclusiva (v)
Establece que entre 2 proposiciones se da una de ellas,
pero no ambas al mismo tiempo; esto es, la disyuncin es
verdadera slo cuando una de sus dos proposiciones es
falsa.

Conectivos Lgicos
p q p v q
v v
v f
f v
f f
f
v
v
f
30/10/12 30
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Condicional ()
Es una proposicin de la forma: Si ... entonces ...
Conectivos Lgicos
antecedente consecuente
Si <antecedente> entonces <consecuente>
se conoce como implicacin material, o simplemente
implicacin; existe otro tipo de condicional llamado
implicacin lgica (ser discutido luego).
30/10/12 31
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Condicional ()
En el lenguaje natural (castellano), la simbolizacin p q,
donde p y q son proposiciones, se identifica en las
siguientes frases:
Conectivos Lgicos
GRUPO 1:
s p entonces q
si p, q
p implica q
GRUPO 3:
p slo si q p solamente si q
p es condicin suficiente para
q
una condicin suficiente para q es p
q es condicin necesaria para
p
una condicin necesaria para p es q
GRUPO 2:
q s p
q siempre que p
q cuando p
q se deduce de p
PILAS! Todas las frases
anteriores se simbolizan p q
30/10/12 32
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Condicional () Ejemplo:
Si existiera un control efectivo de la contaminacin
ambiental, entonces el Lago de Valencia estara en mejores
condiciones.
Conectivos Lgicos
p: Existe un control efectivo de la contaminacin ambiental.
Si se vota en las elecciones venideras, se debe tener 18
aos.
p: Se vota en las elecciones venideras.
simbolizacin: p q
q: El Lago de Valencia est en mejores condiciones.
q: Se debe tener 18 aos.
simbolizacin: p q
Nota1: Es importante
identificar claramente que
proposicin es consecuencia
inequvoca de cual. Es decir,
saber distinguir bien entre
antecedente y consecuente.
30/10/12 33
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Tabla de verdad del Condicional ()
La nica combinacin que hace falso a un condicional, es
cuando el antecedente es verdadero y el consecuente es
falso. En los dems casos, el condicional es verdadero.
Conectivos Lgicos
p q p q
v v
v f
f v
f f
v
f
v
v
Nota2: Para el condicional o implicacin material, existe la
expresin lgica: p v q, que es equivalente a p q.
30/10/12 34
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Equivalencia entre p q y p v q
Expresando la relacin que existe entre p q y p v q.
Conectivos Lgicos
v
f
v
v
p q p p q p v q
v v f
v f f
f v v
f f v
v
f
v
v
Tanto p q como p v q tienen los mismos valores de
verdad.
A la proposicin p v q se le llama Definicin del Condicional.
30/10/12 35
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Bicondicional ()
Es la conjuncin de dos condicionales: s p entonces q y
si q entonces p.
(p q) . (q p)

que se escribe en una sola expresin como:

p q se lee: p si y slo s q

Se detecta por la presencia de expresiones como:

Si y solo si o si y solamente si

Conectivos Lgicos
30/10/12 36
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Bicondicional () Ejemplos:
Se puede estudiar en la universidad si y solo si se es
bachiller.
Conectivos Lgicos
q: Se es bachiller.
p: Se puede estudiar en la universidad.
Si se puede estudiar en la universidad entonces se es bachiller: p q
Si se es bachiller entonces se puede estudiar en la universidad: q p.
simbolizacin: p q
Luis obtendr el empleo si y slo si es graduado en qumica.
p: Luis obtiene el empleo.
q: Luis es graduado en qumica.
simbolizacin: p q
30/10/12 37
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Regla del Bicondicional ()
Un bicondicional es verdadero si y solo si las dos
proposiciones que lo forman son ambas verdaderas o
ambas falsas.
Conectivos Lgicos
p q p q q p p q
v v
v f
f v
f f
v
f
v
v
v
v
f
v
v
f
f
v
30/10/12 38
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
O el ladrn atraves la puerta, o el delito fue cometido desde adentro y uno
de los sirvientes debe estar implicado en l. El ladrn slo pudo atravesar
la puerta si el cerrojo fue levantado desde adentro; pero uno de los
sirvientes seguramente se halla implicado en el delito, si el cerrojo fue
alzado desde el interior. Luego, uno de los sirvientes se halla implicado en
el delito.
Ejemplo Completo
p: El ladrn atraviesa la puerta.
Simbolizacin de las premisas:
(P
1
. P
2
. P
3
) Q, entonces:
q: El delito se comete desde
adentro.
r: Uno de los sirvientes debe estar
implicado en el delito.
s: El cerrojo es levantado desde
adentro.
P
2
: p s
P
1
: p v (q . r)
P
3
: s r
Simbolizacin de la conclusin:
Q: r
( [ p v (q . r) ] . [ p s ] . [ s r ] ) r
Simbolizacin del razonamiento de manera horizontal:
30/10/12 39
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Es una forma de representar y calcular el valor de verdad
de una expresin proposicional para cada una de las
combinaciones posibles de valores de verdad de las
proposiciones simples que la conforman.

En la seccin anterior, las reglas del valor de verdad de
cada conectivo lgico, se expresaron a travs de una tabla
de verdad.
Tabla de Verdad
30/10/12 40
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Ejemplo: Construir la tabla de verdad de (p q) v (p . q)

Tabla de Verdad
p q p q p q p . q (p q) v (p . q)
v v f f
v f f v
f v v f
f f v v
v
f
v
v
f
f
f
v
v
f
v
v
Dada una expresin lgica cualquiera, el nmero de
combinaciones de valores de verdad que puede tomar es
2
n
, con 'n', el nmero de proposiciones simples
involucradas en la expresin.
30/10/12 41
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Son smbolos que usaremos para eliminar la ambigedad
cuando se trata de agrupar proposiciones. Para esto
hacemos uso de parntesis segn ciertas convenciones con
relacin a los conectivos lgicos:

1.- Una proposicin negada ser tratada como una
proposicin simple.

2.- Si contiene slo conectivos de un mismo tipo,
agruparemos de izquierda a derecha.
Agrupacin y Parntesis
30/10/12 42
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
3.- Si posee varios conectivos diferentes agrupamos por el
siguiente orden de prioridad:

Mayor prioridad
.
v

Menor prioridad
Agrupacin y Parntesis
30/10/12 43
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Agrupacin y Parntesis
Ejemplos:
(1) p q r s t
(((p q ) r) s) t

(2) p . q t v p q . r

Paso 1: (p) . (q) t v p q . (r)
se agrupan primero las proposiciones negadas, sin embargo no
mantendremos los parntesis por asuntos de legibilidad.

Paso 2: (p . q) t v p (q . r)
se agrupan por las conjunciones.

Paso 3: (p . q) (t v p) (q . r)
se agrupan por las disyunciones.

Paso 4: [ (p . q) (t v p) ] (q . r)
se agrupan por los condicionales.

Falta el bicondicional pero ya todo quedo agrupado y no hay ambigedad,
no es necesario colocar parntesis.
30/10/12 44
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Proposiciones y
razonamientos
en lenguaje natural.
Proposiciones y
razonamientos
en lenguaje simblico.
Determinacin de
la validez o invalidez
de los razonamientos
mediante las leyes lgicas
y/o de transformacin.
Traduccin:
Abstraer su
contenido,
mediante una
traduccin de
smbolos de la
lgica simblica.
30/10/12 45
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Son procedimientos usados en la obtencin de expresiones
del lenguaje de lgica proposicional.




Toda f.b.f. puede obtenerse aplicando reiteradamente (i) al
(iii).

Nota: Recordemos que las letras maysculas: P, Q, R, S,...
pueden denotar tanto una proposicin simple como una
cadena de proposiciones unidas por los conectivos lgicos
(proposicin compuesta).
I. Una proposicin simple es una frmula bien formada (f.b.f.).
II. Si P es una f.b.f. entonces P tambin lo es.
III. Si P y Q son f.b.f. entonces P.Q, PvQ, PQ y PQ, son
tambin frmulas bien formadas.
Reglas de
Formacin
30/10/12 46
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Son frmulas bien formadas que se aceptan como
verdaderas. Sean P, Q y R f.b.f., entonces los axiomas
sern:
i. P v Q Q v P
ii. P v (Q v R) (P v Q) v R
iii. P v f P
iv. P v v v
v. P v P v
Axiomas o
Cadenas Iniciales
30/10/12 47
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Regla de Dualidad: Si en una equivalencia lgica (donde
no aparezcan los conectivos ni ) se intercambian
simultneamente los conectivos de disyuncin y conjuncin,
y las constantes 'v' y 'f', seguir siendo equivalencia.

Regla de Sustitucin: Si en una equivalencia lgica,
sustituimos una proposicin P en todos los lugares donde
aparezca por otra proposicin Q, la equivalencia lgica
sigue mantenindose.
Ejemplo: P v P v, sustituyendo P por (P Q)
(P Q) v (P Q) v
Reglas de
Transformacin
30/10/12 48
Nociones de Lgica
Simplificacin, Demostracin,
Pruebas de Invalidez y
Pruebas de Validez


30/10/12 49
Nociones de Lgica
Tautologa, Contradiccin y Contingencia
Tautologa:
Se dice que una f.b.f. es tautologa, cuando su valor de verdad es verdadero para
todas las combinaciones de valores de verdad de sus proposiciones simples. Esta
se denota por |=
Ejemplo: p v p siempre es verdad. Simbolizacin: p v p |=

Contradiccin:
Una f.b.f. es una contradiccin, cuando su valor de verdad es falso para todas las
combinaciones de valores de verdad de sus proposiciones simples.
Ejemplo: p . p siempre es falso.

Contingencia:
Una f.b.f. es una contingencia, cuando su valor de verdad puede ser v f.
Ejemplo: p . q
30/10/12 50
Nociones de Lgica
Equivalencia Lgica
Dos proposiciones son lgicamente equivalentes cuando el bicondicional entre ellas
es una tautologa. Es decir:
P Q si se cumple que P Q es una |=

Cuando dos proposiciones son equivalentes, ellas tienen la misma tabla de verdad.
Anteriormente vimos que p q p v q. En efecto, pudimos comprobar que sus
tablas de verdad son iguales. Verifiquemos que (p q) (p v q) es una
tautologa.

p q p pq pvq p q p v q
v v f
v f f
f v v
f f v
Entonces como (1) (2)
|= decimos que p q
p v q
v
v
v
v
v
f
v
v
v
f
v
v
(1) (2)
30/10/12 51
Nociones de Lgica
Tautologias o
Leyes
Lgicas
Sean P, Q y R
f.b.f. y 'v' y 'f',
las constantes
verdadero y
falso, entonces:
01
P v Q Q v P
P . Q Q . P
Ley conmutativa de v
Ley conmutativa de .
02
P v (Q v R) (P v Q) v R
P . (Q . R) (P . Q) . R
Ley asociativa de v
Ley asociativa de .
03
P v (Q . R) (P v Q) . (P v R)
P . (Q v R) (P . Q) v (P . R)
(P . Q) v R (P v R) . (Q v R)
(P v Q) . R (P . R) v (Q . R)
Ley distributiva de v con respecto a . por la izquierda
Ley distributiva de . con respecto a v por la izquierda
Ley distributiva de v con respecto a . por la derecha
Ley distributiva de . con respecto a v por la derecha
04
P v (P . Q) P
P . (P v Q) P
Ley de absorcin de v
Ley de absorcin de .
05
(P v Q) P . Q
(P . Q) P v Q
Ley de De Morgan de v
Ley de De Morgan de .
06 P Q Q P Ley del contrarrecproco
07
P v P P
P . P P
Ley de idempotencia de v
Ley de idempotencia de .
08
P v P v
P . P f
Ley de complementacin o tercero excluido
09 (P) P Ley de doble negacin
10
P v v v
P v f P
P . f f
P . v P
Leyes de identidad
30/10/12 52
Nociones de Lgica
Aplicaciones de las Leyes Lgicas
1.Simplificar Proposiciones Compuestas.

1.Demostrar Equivalencias Lgicas.

1.Determinar la validez o invalidez de razonamientos lgicos.

30/10/12 53
Nociones de Lgica
1. Simplificacin de Proposiciones Compuestas
La simplificacin de una proposicin compuesta o expresin lgica, consiste en
reducir la expresin a una forma ms simple mediante el uso de los axiomas y/o
leyes lgicas.

La simplificacin consiste en ir desarrollando la expresin paso a paso mediante la
sustitucin de una expresin lgica equivalente hasta llegar a una expresin lgica
irreducible.

Usando simplificacin se puede determinar si una expresin lgica es una tautologa,
una contradiccin o una contingencia.

Tautologa ... cuando el resultado final de la simplificacin es v
Contradiccin ... cuando el resultado final de la simplificacin es f
Contingencia cuando el resultado final de la simplificacin es una expresin lgica
30/10/12 54
Nociones de Lgica
1. Simplificacin de Proposiciones Compuestas
Simplificar la expresin:
[(p p) v q] . [q v (r . q)] . [p (p v q)]
[(p p) v q] . [q v (r . q)] . [p (p v q)] (1)
[(p v p) v q] . [q v (r . q)] . [p v (p v q)] (2)
[(p v p) v q] . [q v (r . q)] . [(p v p) v q] (3)
(v v q) . [q v (r . q)] . (v v q) (4)
v . [q v (r . q)] . v (5)
v . v . [q v (r . q)] (6)
v . [q v (r . q)] (4)
q v (r . q) (7)
(q v r) . (q v q) (3)
(q v r) . v (4)
q v r
Justificaciones:
(1) Def. del condicional.
(2) Ley asociativa de v.
(3)Ley de
complementacin.
(4) Ley de identidad.
(5) Ley conmutativa de la ..
(6) Ley de idempotencia.
(7) Ley distributiva de la v
respecto de la . por la izq.
30/10/12 55
Nociones de Lgica
2. Demostracin de Equivalencias Lgicas
A travs de la simplificacin podemos demostrar una equivalencia lgica sin usar
tablas de verdad, esto se puede lograr de 3 formas:
1. Se desarrolla un lado de la equivalencia paso a paso mediante la
sustitucin hasta llegar a la expresin lgica del otro lado.
1. Se desarrollan ambos lados de la equivalencia lgica por separado
utilizando las leyes lgicas hasta llegar en ambos lados a la misma
expresin irreducible.
1. Se aplica la definicin de equivalencia lgica y se demuestra que el
bicondicional asociado es una tautologa simplificando la
expresin completa (ahora con el bicondicional) hasta llegar al valor
de verdad verdadero.
30/10/12 56
Nociones de Lgica
2. Demostracin de Equivalencias Lgicas
Demostrar que [(p v q) v (p . q)] (p . q) p v q
Se proceder desarrollando el lado izquierdo
para llegar a p v q

[(p v q) v (p . q)] (p . q) (1)
[(p . q) v (p . q)] (p . q) (2)
[p . (q v q)] (p . q) (3)
(p . v) (p . q) (4)
p (p . q) (5)
(p) v (p . q) (6)
p v (p . q) (7)
(p v p) . (p v q) (3)
v . (p v q) (4)
p v q
Justificaciones:
(1) Ley de De Morgan de la v.
(2) Ley distributiva de la .
respecto de la v por la izq.
(3) Ley de complementacin.
(4) Ley de identidad.
(5) Def. del condicional.
(6) Ley de doble negacin.
(7) Ley distributiva de la v
respecto de la . por la izq.
30/10/12 57
Nociones de Lgica
El Condicional Directo y Sus condicionales Asociados
Siendo P y Q, dos proposiciones cualesquiera; al
condicional
P Q se le llama comnmente condicional directo.
Existen asociados a l los siguientes condicionales:

P Q llamado contrario del directo.
Q P llamado recproco del directo.
Q P llamado contrarecproco.
Por ley del contrarrecproco, se tienen las siguientes equivalencias:
P Q Q P el condicional directo es equivalente al contrarrecpoco.
P Q Q P el condicional contrario es equivalente al recpoco.
recproco
recproco
c
o
n
t
r
a
r
i
o

c
o
n
t
r
a
r
i
o

P Q Q P
P Q Q P
Veamos esquemticamente:
30/10/12 58
Nociones de Lgica
Implicacin Lgica
Se dice que una proposicin P implica lgicamente una proposicin Q si y slo si
el condicional P Q es siempre verdadero, es decir, si P Q es una tautologa.

Se denota como: P Q P Q |=

Es de hacer notar que si el condicional P Q es una tautologa, no ocurre el nico
caso en que la valuacin de dicho condicional es falso, es decir, el caso cuando el
antecedente es verdadero y el consecuente falso nunca ocurre.

Siempre que P v ocurre que Q v, y nunca sucede que P v y Q f.
30/10/12 59
Nociones de Lgica
Implicacin Lgica
P Q P Q
v v v
---v--- ---f--- ---------f---------
f v v
f f v
Si P implica lgicamente a Q, se dice igualmente que
Q es consecuencia lgica de P.
No ocurre
30/10/12 60
Nociones de Lgica
Implicacin Lgica
Generalizacin de la definicin de implicacin lgica:
Sean las proposiciones P1, P2,..., Pn asumidas como ciertas y a las que se llama premisas,
y sea la proposicin Q, a la que se llama conclusin.
Se dice que P1, P2,..., Pn implican lgicamente a Q si y slo si el condicional
(P1 . P2 ..... Pn) Q es siempre verdadero, es decir, si es una tautologa.
Se denota como:
(P
1
. P
2
..... P
n
) Q (P
1
. P
2
..... P
n
) Q|=
Si P
1
y P
2
y... y P
n
implican lgicamente a Q, se dice que Q es consecuencia lgica de P
1
y P
2

y... y P
n
o sea, la conclusin es consecuencia lgica de la conjuncin de sus premisas.

Afirmar que: (P
1
. P
2
.... . P
n
) Q es una tautologa, significa que cada vez que P
1
. P
2

.... . P
n
v, entonces Q v.

30/10/12 61
Nociones de Lgica
Implicacin Lgica
EJEMPLO: Determinar si P es consecuencia lgica de P Q y Q
[(P Q) . Q] P (1)
[(P v Q) . Q] v P (2)
[(P v Q) v (Q)] v P (3)
[((P) . Q) v (Q)] v P (4)
[(P . Q) v Q] v P (5)
[(P v Q) . (Q v Q)] v P (6)
[(P v Q) . v] v P (7)
(P v Q) v P (8)
(Q v P) v P (9)
Q v (P v P) (6)
Q v v (7)
v
Justificaciones:
(1) Def. del condicional.
(2) Ley de De Morgan de la ..
(3) Ley de De Morgan de la v.
(4) Ley de doble negacin.
(5) Ley distributiva de la v respecto
de la . por la der.
(6) Ley de complementacin.
(7) Ley de identidad.
(8) Ley conmutativa de la v.
(9) Ley asociativa de la v.
Una forma de probar lo anterior es demostrando que el condicional
[(P Q) . Q] P es una tautologa.
Como se obtuvo la constante verdadero como
resultado, se concluye que [(P Q) . Q] P |=
Luego, P es consecuencia lgica de P Q y Q.
30/10/12 62
Nociones de Lgica
Doble Implicacin Lgica
Sean dos proposiciones P y Q, tales que P implica lgicamente a Q y, a su vez, Q
implica lgicamente a P, entonces se dice que existe una doble implicacin entre
P y Q, y se denota como:

P Q P Q |=
30/10/12 63
Nociones de Lgica
Condicin Necesaria y Suficiente
Dada una implicacin lgica, P Q, se tiene que:
P es condicin suficiente de Q y
Q es condicin necesaria de P

Cuando se da el caso de que P es condicin suficiente de Q y a su vez, Q es condicin
suficiente de P se dice que P es condicin necesaria y suficiente de Q y se simboliza como
una doble implicacin lgica entre P y Q: P Q.
Ejemplo:
Es suficiente con que un animal tenga branquias para que sea un pez y es
suficiente que sea un pez para tenga branquias.
p: Un animal es un pez.
q: Un animal tiene branquias.
Simbolizacin: (p q) . (q p) p q
30/10/12 64
Nociones de Lgica
Argumentos o Razonamientos Lgicos
Un argumento o razonamiento lgico es una secuencia de proposiciones P1, P2,..., Pn y Q,
tal que el valor de verdad de la proposicin Q se puede deducir a partir de las proposiciones
P1, P2,..., Pn asumidas como verdaderas.

(P1 . P2 ...Pn) Q

Si a partir de las premisas asumidas verdaderas, se obtiene una conclusin verdadera,
entonces se dice que el razonamiento es vlido, es decir, hay una implicacin lgica de las
premisas a la conclusin.
Si asumidas la premisas verdaderas, la conclusin es falsa, entonces el razonamiento es
invlido.

Una conjuncin falsa de premisas no conduce a conclusin alguna y por lo tanto se considera
mal formulado el razonamiento.
30/10/12 65
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Prueba de Invalidez

Un razonamiento es invlido cuando asumidas sus premisas verdaderas, se puede obtener
una conclusin falsa.

Si conseguimos al menos una combinacin de valores de verdad para las proposiciones
simples involucradas en el razonamiento, que haga las premisas verdaderas y la conclusin
falsa, podemos asegurar que el razonamiento es invlido.

En realidad, lo que estamos haciendo es construir un contraejemplo para el razonamiento
que permite demostrar que la implicacin no es tautolgica, ya que existe al menos un caso
para el cual la expresin toma valor falso.

Por lo tanto, la prueba de invalidez consiste en hallar al menos una combinacin de valores
que cumpla las caractersticas mencionadas.
30/10/12 66
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Prueba de Invalidez (Ejemplo)

Imaginemos que nos dan un cierto teorema que dice:

Si X es un nmero entero y Y es un nmero entero, entonces la suma de X y Y ser un
nmero entero par.

p: X es un nmero entero
q: Y es un nmero entero
r: X + Y es un nmero entero par
Simbolizacin: (p . q) r
P1: p
P2: q
Q: r
p q r
v v f
30/10/12 67
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Prueba de Invalidez: (Ejemplo)
Csar fue a Inglaterra o bien Pompeyo fue a Espaa o Craso march contra los patriotas. No
es el caso de que ambos, Csar fue a a Inglaterra y Craso no fue muerto por los patriotas. Si
Csar fue a Inglaterra y Cicern denunci a Catalina, entonces Craso march contra los
patriotas. Es por ello que Pompeyo fue a Espaa solo si Craso fue muerto por los patriotas.
Simbolizacin:
P1: p v ( q v r)
P2: (p . s)
P3: (p . t) r
Q: q s
q s p t r
v f f v f
He hallado una combinacin
de valores de verdad que hace
todas las premisas verdaderas
y la conclusin falsa, luego he
hallado un contraejemplo para
la supuesta tautologa y por lo
tanto el razonamiento es
invlido.
v
v
v
f
30/10/12 68
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos
Se denomina inferencia lgica al proceso que se aplica a un razonamiento lgico, para
obtener el valor de verdad de la conclusin Q, a partir de las premisas asumidas verdaderas.

Existen diversos mtodos para llevar a cabo la inferencia lgica y ellos hacen uso de las
reglas de inferencia y de las leyes lgicas.

Determinacin de la validez de
razonamientos

Demostracin de teoremas

Programacin lgica (PROLOG)
Inferencia lgica
30/10/12 69
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos
Reglas de Inferencia o Razonamientos Vlidos Elementales

La inferencia lgica hace uso de ciertos razonamientos vlidos que son elementales y que han
recibido el nombre de reglas de inferencia. El hecho de ser vlidos significa que al ser sus
premisas verdaderas, su conclusin tambin lo es.
Modus ponens
P
1
: P Q
P
2
: P

Q: Q
Modus tollens
P
1
: P Q
P
2
: Q

Q: P
Silogismo hipottico
P
1
: P Q
P
2
: Q R

Q: P R
Silogismo disyuntivo:
P
1
: P v Q
P
2
: P

Q: Q
30/10/12 70
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos
Reglas de Inferencia o Razonamientos Vlidos Elementales
Silogismo constructivo
P1: P Q
P2: R S
P3: P v R

Q: Q v S
Adicin
P
1
: P

Q: P v Q
Simplificacin
P
1
: P . Q

Q: P
Conjuncin
P
1
: P
P
2
: Q

Q: P . Q
Exportacin
P
1
: (P . R) Q

Q: P (R Q)
Importacin
P1: P (R Q)

Q: (P . R) Q
Reduccin al absurdo
P1: P (Q . Q)

Q: P
Silogismo destructivo
P1: P Q
P2: R S
P3: Q v S

Q: P v R
30/10/12 71
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos
1. Prueba por Tabla de verdad

1. Prueba por Tautologa

1. Mtodo Directo o Argumentacin Directa

1. Prueba por Condicional

1. Argumentacin indirecta o Reduccin al Absurdo
Pruebas de
Validez
30/10/12 72
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos

1. Prueba por Tabla de Verdad

Se evala la tabla de verdad asociada al razonamiento dado y se comprueba que el mismo es
tautologa


2. Prueba por Tautologa

Esta prueba consiste en probar que el condicional (P1 . P2 ..... Pn) Q, es una tautologa.
En el caso que se obtenga el valor de verdad falso, o una contingencia, el razonamiento es
invlido.

30/10/12 73
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos

3. Prueba por Argumentacin Directa o Mtodo Directo

En este mtodo se parte de las premisas P1, P2,..., Pn, asumidas como verdaderas, y se
construye una prueba formal de validez, la cual consiste en una sucesin de deducciones
intermedias, mediante reglas de inferencia y/o leyes lgicas, de tal manera que el ltimo
enunciado obtenido sea la conclusin Q del razonamiento que se est probando.

Debido a que las tautologas son siempre verdaderas, entonces los resultados que se obtienen
de su aplicacin son tambin verdaderos, en particular, la conclusin.
30/10/12 74
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos

4. Prueba por Condicional

Este mtodo es aplicable nicamente en el caso particular en que la conclusin del
razonamiento es un condicional, esto es, cuando se tiene un razonamiento de la forma: (P1 .
P2 .... . Pn) (Q1 Q2)

En este caso, adems de asumirse las premisas P1, P2, ...,Pn verdaderas, se asume que el
antecedente Q1 del condicional de la conclusin, es verdadero y se toma como una premisa
adicional. As, el razonamiento se convierte en:
(P1 . P2 .... . Pn . Q1) Q2

Si el razonamiento reformulado es valido el original tambin lo es.
30/10/12 75
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos

5. Prueba por Argumentacin Indirecta o Reduccin al Absurdo

La prueba por argumentacin indirecta, tambin conocida como prueba por contradiccin o
mtodo de reduccin al absurdo, consiste en asumir que Q no es verdadera sino que es
verdadera su negacin Q, la cual es agregada como una premisa mas.

Partiendo de este hecho y manteniendo la asuncin de que las premisas son verdaderas, se
desarrolla el proceso de inferencia en busca de una contradiccin.

En caso de alcanzar la contradiccin, dado que las premisas son verdaderas, el nico
elemento que puede haber hecho falsa la conjuncin de premisas es Q, lo que indica que
Q es falsa y por lo tanto Q es verdadera.
30/10/12 76
Nociones de Lgica
3. Determinar la validez o invalidez de razonamientos lgicos
Mtodos para Probar la Validez de Razonamientos Lgicos

5. Prueba por Argumentacin Indirecta o Reduccin al Absurdo
Probar la validez de (P1 . P2 ..... Pn) Q
P1 . P2 ..... Pn . Q . f
Q f, luego Q v
30/10/12 77
Nociones de Lgica
Lgica de Predicados
30/10/12 78
Nociones de Lgica
Concepto de Lgica de Predicados
Es la parte de la lgica que estudia las funciones proposicionales y su
cuantificacin.

Para definir funcin proposicional, se requiere considerar los siguientes elementos:
1. El universo del discurso, U, el cual consiste en un espacio fijo dado de
elementos, objetos, cosas, individuos, etc., a los cuales hace referencia la
funcin proposicional.

1. Una variable denotada x, y, z, ., que es la representacin simblica de los
elementos de U, es decir, dicha variable toma valores en U.
30/10/12 79
Nociones de Lgica
Funcin Proposicional
Una funcin proposicional se define como la expresin P(x) tal que se convierte
en proposicin cuando se sustituye x por un valor particular arbitrario perteneciente
al universo del discurso.

Ntese entonces que la funcin proposicional no es una proposicin en s
misma, por lo tanto, no se puede decir nada acerca de su valor de verdad hasta
tanto no se sustituya la variable por un valor del Universo. Ntese tambin que la
definicin anterior hace referencia a una funcin proposicional de una sola variable,
x; la definicin puede ser fcilmente generalizada a funciones proposicionales de
varias variables.
30/10/12 80
Nociones de Lgica
Funcin Proposicional
Ejemplo:

U = conjunto de los seres humanos.
P(x): x es habitante de Venezuela. (No es proposicin)

Sea x = Hctor, entonces:
P(Hector): Hector es habitante de Venezuela. (Proposicin)
30/10/12 81
Nociones de Lgica
Funcin Proposicional
De acuerdo al nmero de variables que intervienen en la definicin de la funcin
proposicional, sta recibe diferentes nombres:

p Proposicin simple, frmula bien formada, etc.
P Proposicin compuesta, frmula bien formada, etc.
P(x) Funcin proposicional de una variable, predicado o propiedad.
P(x, y) Funcin proposicional de dos variables, relacin binaria.
...
P(x1, x2, ..., xn) Funcin proposicional de n variables, relacin n-aria.

En una funcin proposicional hasta que no se sustituyan las variables que
intervienen en ella por valores particulares de U, no se puede decidir sobre su
veracidad o falsedad.
30/10/12 82
Nociones de Lgica
Funcin Proposicional
Ejemplos:


Sea el Universo de los humanos, entonces las
siguientes son funciones proposicionales
definidas en ese universo, la primera es un
predicado (o funcin proposicional) de una
sola variable y la segunda es una relacin
binaria entre los elementos de U:

P(x): x trabaja en la Universidad.
Q(x, y): x vive cerca de y.

Al tomar elementos particulares de U para x, y
y sustituirlos en P(x) y Q(x, y), se podr
concluir sobre la verdad o falsedad de las
proposiciones resultantes.
Sea U el conjunto de los nmeros enteros, las
siguientes son funciones proposicionales de
dos y tres variables respectivamente:

M(x, y): x es menor que y.
S(x, y, z): x+y=z

Se puede observar que:
M(4,8) verdadero
M(9,5) falso
S(3,4,10) falso
S(3,5,8) verdadero
30/10/12 83
Nociones de Lgica
Cuantificador y Proposicin Cuantificada
Hay otra forma de decidir sobre la veracidad de la funcin proposicional, y consiste
en formar proposiciones cuantificadas o categricas mediante el uso de
cuantificadores.






Un cuantificador es un "modificador" de la funcin proposicional. Ellos tienen la
propiedad de que al anteponerlos a una funcin proposicional, la convierten en
proposicin sin necesidad de sustituir sus variables por elementos del universo del
discurso U.

Universal: x[P(x)], (x) P(x): para todo x perteneciente a
U, se verifica P(x).

Existencial: -x[P(x)], (-x)/P(x): existe al menos un x
perteneciente a U, tal que verifica P(x).
Cuantificadores
30/10/12 84
Nociones de Lgica
Cuantificador y Proposicin Cuantificada
El cuantificador existencial que precede a P(x), indica que:
P(a1) v, o P(a2) v, o ..., o que P(an) v, lo que corresponde a la disyuncin de las
proposiciones P(ai), i = 1, ..., n.
i=1
x[P(x)] P(a1) . P(a2) . ... . P(an) = . P(ai)
n
As, si U={a1, a2, ..., an}, entonces x[P(x)] y -x[P(x)] tienen el siguiente desarrollo:
-x[P(x)] P(a1) v P(a2) v ... v P(an) =v P(ai)
i=1
n
El cuantificador universal que precede a P(x) indica que:
P(a1) v, y P(a2) v, y ..., y P(an) v. lo que corresponde a la conjuncion de las
proposiciones P(ai), i = 1, ..., n.
Nota: El cuantificador universal se detecta por la presencia en la oracin de palabras como "todo",
"cualquiera", "cada uno", entre otras, y el cuantificador existencial por las palabras "alguno", hay",
"existe", "algn", "al menos uno".
30/10/12 85
Nociones de Lgica
Cuantificador y Proposicin Cuantificada
Ejemplo:


Sea U = El conjunto de los estudiantes de
FACYT.
Las variables x, y e U.

B(x): x es bachiller.
F(x): x estudia Fsica.
E(x, y): x y y estudian el mismo ao.

Entonces se verifica que:
x[B(x)] v -x[B(x)] v
x[F(x)] f -x[F(x)] v
x[F(x)] v -x[F(x)] f
xy[E(x, y)] f x-y[E(x, y)] v
-xy[E(x, y)] f -x-y[E(x, y)] v
La negacin de una proposicin cuantificada
verifica las siguientes equivalencias:

x[P(x)]
Desarrollo del x.
( P(a1) . P(a2) . ... . P(an) )
Por la Ley de De Morgan de .
P(a1) v P(a2) v ...v P(an)
Desarrollo del -x.
-x|P(x)|

Por lo cual tenemos que:
x[P(x)] -x[P(x)]
-x[P(x)] x[P(x)]
30/10/12 86
Nociones de Lgica
Tipos de Proposiciones Cuantificadas
Sean S(x) y P(x) dos funciones proposicionales definidas en un universo dado U, las cuatro
formas tpicas de las proposiciones cuantificadas o categricas se representan como:


Proposicin universal afirmativa.
Todo S es P x [S(x) P(x)]
Proposicin universal negativa.
Ningn S es P x |S(x) P(x)|
Proposicin particular o existencial afirmativa.
Algn S es P -x |S(x) . P(x)]
Proposicin particular o existencial negativa.
Algn S es no P -x |S(x) . P(x)|

Nota: Es importante aclarar que una
proposicin cuantificada puede
tambin tomar otra forma,
dependiendo del contenido de las
funciones proposicionales que la
constituyan y del universo del
discurso que se defina. En la
prctica, las cuatro proposiciones
cuantificadas anteriores son las ms
comunes, para el caso de funciones
proposicionales de una sola
variable.
30/10/12 87
Nociones de Lgica
Ejemplos:


Todas las sustancias que tienen la facultad de
dar coloracin azul al papel rojo de tornasol
son cidas.

Esta proposicin es del tipo:
Todo S es P.

Sea U=el conjunto de las sustancias qumicas.
x e U.
C(x): x tiene la facultad de dar coloracin azul
al papel rojo de tornasol.
A(x): x es cido.

x|C(x) A(x)]
Algunos dirigentes del gobierno no son
graduados universitarios.

Esta proposicin es del tipo:
Algn S es no P.

Sea U=conjunto de los seres humanos. x e U.
D(x): x es dirigente del gobierno.
G(x): x es graduado universitario.

-x[D(x) . G(x)]
Tipos de Proposiciones Cuantificadas
30/10/12 88
Nociones de Lgica
Ejemplos:


Los buenos consejos nunca hacen dao.

Esta proposicin es del tipo:
Ningn S es P.

Sea U = el conjunto de los mensajes. x
e U.
C(x): x es un buen consejo.
D(x): x hace dao.

x|C(x) D(x)|
Sea U = el conjunto de los nmeros naturales.
x, y, z e U.
S(x, y, z): x + y = z
P(x, y, z): x. y = z
M(x, y): x < y
Simbolizar las siguientes proposiciones:

Para cualquier x y cualquier y, hay un z tal que
x + y = z

Ningn x es menor que 0

Para todo x, x + 0 = x

Hay un x tal que x. y = y para todo y
Tipos de Proposiciones Cuantificadas
xy-z[S(x, y, z)]
-x[R(x, 0)] x[R(x, 0)]
x[S(x, 0, x)]
-xy[P(x, y, y)]
30/10/12 89
Nociones de Lgica
Equivalencias e Implicaciones Lgicas con Cuantificadores
01 x[P(x)] -x[P(x)] 11 x[P(x)]vR x[P(x)vR]
02 -x[P(x)] x[P(x)] 12 -x[P(x)].R -x[P(x).R]
03 x[P(x)] -x[P(x)] 13 -x[P(x)]vR -x[P(x)vR]
04 x[P(x).Q(x)] x[P(x)] . x[Q(x)] 14 x[RP(x)] R x[P(x)]
05 x[P(x)] v x[Q(x)] x[P(x)vQ(x)] 15 xy[P(x, y)] yx[P(x, y)]
06 -x[P(x)vQ(x)] -x[P(x)] v -x[Q(x)] 16 -x-y[P(x, y)] -y-x[P(x, y)]
07 -x[P(x).Q(x)] -x[P(x)] . -x[Q(x)] 17 -yx[P(x, y)] x-y[P(x, y)]
08 -x[P(x)Q(x)] x[P(x)]-x[Q(x)] 18 -xy[P(x, y)] y-x[P(x, y)]
09 x[P(x)Q(x)] x[P(x)]x[Q(x)] 19 x[P(x)Q(x)] -x[P(x).Q(x)]
10 x[P(x)].R x[P(x).R] 20 -x[P(x).Q(x)] x[P(x)Q(x)]
Sean x, y e U,
P(x), Q(x) y P(x, y) funciones proposicionales y
R una proposicin cualquiera.
Las siguientes son equivalencias e implicaciones lgicas que usan cuantificadores: