Unidad 1 Nociones de Logica

Nociones de Lgica Nociones de Lgica
Unidad I
Universidad de Carabobo FaCyT Departamento de Computacin
18/07/2014 Elementos Discretos. 2007-2008 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
Nociones de Lgica
Tipos de Razonamiento
Razonamiento Deductivo Razonamiento Inductivo
Evidencia para concluir
Por analoga, cierta
evidencia para concluir.
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
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
Razonamiento Inductivo
Razonamiento Deductivo
Nociones de Lgica
Ustedes son estudiantes de
FACYT. Estn en el primer ao.
Estudian computacin. Entonces
deben tener como materia a
Elementos Discretos.

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
Nociones de Lgica
Esta asignatura se enfocara en el estudio de los
Razonamientos Deductivos solamente.

Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
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:

Proposicin Premisa Conclusin
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
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
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
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
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
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
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)
2. Vyase de aqu!
3. Te ruego que me perdones mis estupideces.
4. Si los deseos fueran caballos, los mendigos
cabalgaran.
5. Si llueve maana, no voy a la playa.
6. x + y > 10
(NP)
(NP)
(P)
(P)
(NP)
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
7. Qu pasa con el equipo de ftbol de Venezuela?
8. Est lloviendo.
It's raining.
Estuvo lloviendo.
Va a llover.
9. No me grites, por favor.
10.Deseo que te vaya bien en el viaje.
11.Es cierto que Luis participar en el prximo
maratn?
(NP)
(P)
(P)
(P)
(P)
(NP)
(NP)
(P*)
Nociones de Lgica
Construccin del Lenguaje

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
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Alfabeto
(Letras y Smbolos)
Letras
Minsculas del alfabeto castellano y comienzan
convencionalmente con p. Representan una proposicin
simple. Ejemplo: p, q, r, s.

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

Constantes
Dos constantes: 'v' y 'f'.
Una para verdadero: 'v' y la otra para falso: 'f'.
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Alfabeto
(Letras y Smbolos)
Smbolos
Empleados para identificar los conectivos lgicos y otros.

Algunos de estos smbolos son:

Negacin.
. y, conjuncin.
v o, o inclusivo, disyuncin.
v o exclusivo.
Condicional, implicacin material.
Bicondicional.
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Alfabeto
(Letras y Smbolos)
Smbolos Adicionales

Implicacin lgica.

|= Tautologa.

Equivalencia lgica.
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Negacin ()
Consiste en negar una 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
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Negacin ()

Nota:
Al momento de traducir del lenguaje natural al lenguaje de
lgica simblica, es necesario asociar las proposiciones
negadas a una letra (por ejemplo: p), pero en su forma
afirmativa; y luego cuando se proceda a simbolizar,
entonces recurrimos al conectivo negacin junto con la
letra, en ste caso p, para expresar la proposicin original.

Conectivos Lgicos
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
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
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
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.
2. 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
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Reglas 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
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.
2. 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.
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Reglas 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
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Reglas 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
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).
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
se obtiene de las siguientes frases:
Conectivos Lgicos
s p entonces q p implica q
si p, q 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
q s p q siempre que p
q cuando p q se deduce de p

, donde p y q son proposiciones.
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.
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Regla 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.
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
Regla del Condicional ()
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.
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
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
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
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:
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
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.
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.
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
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
i. P . Q Q . P
ii. P . (Q . R) (P . Q) . R
iii. P . v P
iv. P . f f
v. P . P f
Axiomas o
Cadenas Iniciales
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
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
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
Nociones de Lgica
Lgica y
Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin
Construccin
del Lenguaje de
la Lgica
Simblica
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.
Nociones de Lgica
Simplificacin, Demostracin,
Pruebas de Invalidez y
Pruebas de Validez

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
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)
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
Nociones de Lgica
Aplicaciones de las Leyes Lgicas
1.Simplificar Proposiciones Compuestas.

2.Demostrar Equivalencias Lgicas.

3.Determinar la validez o invalidez de razonamientos lgicos.

Nociones de Lgica
1. Simplificacin de Formulas Bien Formadas (f.b.f.)
La simplificacin de una f.b.f., o dicho de otra manera, la simplificacin de una
expresin lgica consiste en reducir la expresin lgica 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.
Nociones de Lgica
1. Simplificacin de Formulas Bien Formadas (f.b.f.)
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.
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.
2. Se desarrollan ambos lados de la equivalencia lgica por separado
utilizando las leyes lgicas hasta llegar en ambos lados a la misma
expresin irreducible.
3. 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.
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.
(6) Ley de doble negacin.
(7) Ley distributiva de la v
respecto de la . por la izq.
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:
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, se est
excluyendo 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.
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 se da
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.

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:
(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.
(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.
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 |=
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 sea un pez para que nade.
p: Un animal es un pez.
q: Un animal nada.
Simbolizacin: p q
Nociones de Lgica
Argumentos o Razonamientos Lgicos
Un argumento o razonamiento lgico es una secuencia de proposiciones (o
premisas) P1, P2,..., Pn y la proposicin conclusin Q, tal que P1, P2,..., Pn se
aceptan como verdaderas y a partir de ellas se puede deducir el valor de verdad de
la proposicin Q.

(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 se da que asumidas la
premisas verdaderas, la conclusin es falsa, entonces el razonamiento es
invlido.
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.

Luego, la prueba de invalidez consiste en encontrar una combinacin de valores de
verdad de las proposiciones simples involucradas en el razonamiento, que haga las
premisas verdaderas y la conclusin falsa.

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.

Nociones de Lgica
Prueba de Invalidez

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
Nociones de Lgica
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
Nociones de Lgica
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
Nociones de Lgica
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
Nociones de Lgica
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
Nociones de Lgica

1. Prueba por Tabla de verdad

2. Prueba por Tautologa

3. Mtodo Directo o Argumentacin Directa

4. Prueba por Condicional

5. Argumentacin indirecta o Reduccin al Absurdo
Pruebas de
Validez
Nociones de Lgica

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.

Nociones de Lgica

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.
Nociones de Lgica

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.
Nociones de Lgica

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.
Nociones de Lgica

5. Prueba por Argumentacin Indirecta o Reduccin al Absurdo

Probar la validez de (P1 . P2 ..... Pn) Q
[(P1 . P2 ..... Pn) . Q] (P . P)
f f
v
Q f, luego Q v
Como se llega a una expresin cuyo valor de verdad es falso (P . P f), se asume
que todo el proceso de inferencia ha sido falso, pero como sabemos que las
premisas son verdaderas, la expresin que nos hizo falso el proceso de inferencia
fue la negacin de la conclusin, por lo tanto:
Nociones de Lgica
Lgica de Predicados
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.

2. Una variable denotada x, y, z, ., que es la representacin simblica de
los elementos de U, es decir, dicha variable toma valores en U.
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.
Nociones de Lgica
Ejemplo:

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

Sea x = Hctor, entonces:
P(Hector): Hctor es habitante de Venezuela. (Proposicin)
Nociones de Lgica
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.
Nociones de Lgica
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
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
Nociones de Lgica
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".
Nociones de Lgica
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)]
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.
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.

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)]
Nociones de Lgica
Ejemplos:

Los buenos consejos nunca hacen dao.

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
xy-z[S(x, y, z)]
-x[M(x, 0)] x[M(x, 0)]
x[S(x, 0, x)]
-xy[P(x, y, y)]
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:
Nociones de Lgica
Prueba de Validez en Razonamientos Lgicos con
Proposiciones Cuantificadas

Se aplican los siguientes pasos:

1) Simbolizar en forma lgica el razonamiento, incluye:
1.1) Definicin del universo del discurso U.
1.2) Definicin de las funciones proposicionales respectivas.

2) Eliminar cuantificadores, usando Principios de Particularizacin.

3) Desarrollar una Prueba Formal de Validez.

4) Aadir cuantificadores, usando Principios de Generalizacin.
Nociones de Lgica
Principios de Particularizacin y Generalizacin
Sean U = {a, b, c, ..., n} y sea x e U

Particularizacin Universal (PU):
Este principio establece que si x[P(x)] es verdadera, entonces P(x) es verdadera
para cualquier valor de x.
Se puede entonces eliminar el cuantificador universal y trabajar con P(x) como
verdadera para cualquier x.
x [P(x)] P(x)

Generalizacin Universal (GU):
Si P(x) se cumple para todos y cada uno de los elementos del universo,
entonces se le puede anteponer a P(x) el cuantificador universal x, ya que
x[P(x)] resultara verdadera.
P(x) x [P(x)]
Nociones de Lgica
Principios de Particularizacin y Generalizacin

Particularizacin Existencial (PE):
Si -x[P(x)] es verdadera, entonces hay al menos un valor 'a' en el universo U,
tal que P(a) es verdadera.
-x |P(x)] P(a)

Generalizacin Existencial (GE):
Si existe al menos un elemento 'b' en el universo U, tal que P(b) es verdadera,
entonces, se puede inferir vlidamente la cuantificacin existencial porque
-x[P(x)] resultara verdadera.
P(b) -x |P(x)|
Nociones de Lgica
Instanciacin o Regla de la Especificacin Universal

Instanciacin:
Este principio establece que si una funcin proposicional P(x) es verdadera para
todos los reemplazos de x en un universo previamente definido, entonces esa
funcin proposicional es verdadera para cada miembro especfico de ese universo.

De una forma mas simblica tenemos:

Si P(x) es una funcin proposicional y x[P(x)] v, entonces P(a) es verdadera
para a e U.
Nociones de Lgica
Prueba de Invalidez en Razonamientos con Proposiciones
Cuantificadas
Es invlido:
Un razonamiento que use
cuantificadores es invlido
cuando se obtienen:

premisas verdaderas y
conclusin falsa

para algn universo del discurso,
siempre que el universo contenga
al menos un elemento.
No es invlido:
Un razonamiento que use
cuantificadores no es invlido
cuando no se dan:

premisas verdaderas y
conclusin falsa

para ningn universo del
discurso cuando dicho universo
contiene al menos un elemento.
Nociones de Lgica

Procedimiento:
Si para U conteniendo 1 elemento,
el razonamiento es invlido ya se demostr su invalidez.
Pero, si para U conteniendo 1 elemento,
el razonamiento no es invlido, se requiere verificar para U
conteniendo 2 elementos.
En general,
Si para U conteniendo n elementos
el razonamiento no es invlido, hay que verificar para U con n+1
elementos.

Nota: Se ha comprobado que en un razonamiento con n proposiciones, si en U
conteniendo 2
n
elementos, el razonamiento no es invlido, no es invlido en
general.
Prueba de Invalidez en Razonamientos con Proposiciones
Cuantificadas

Unidad 1 Nociones de Logica

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Unidad 1 Nociones de Logica

Transféré par

Droits d'auteur :

Formats disponibles

Nociones de Lgica Nociones de Lgica

Vous aimerez peut-être aussi