Nociones de Lgica

Unidad I

Universidad de Carabobo FaCyT Departamento de Computacin

 Nociones de Lgica
Concepto de Lgica

Lgica y La lgica es la ciencia del razonamiento, el estudio de los

Razonamiento mtodos y principios usados para distinguir el razonamiento
Tipos de correcto del incorrecto.
Razonamientos Razonamiento
Lgica
Simblica Es cualquier grupo de oraciones declarativas tal que una de
ellas se afirma que deriva de las otras, las cuales se
Proposicin consideran evidencia de la verdad de la primera.

Construccin
del Lenguaje de Implican
la Lgica Premisas o Hiptesis Conclusin
Simblica

13/10/2016 2
 Nociones de Lgica

Lgica y
Razonamiento Tipos de Razonamiento
Tipos de
Razonamientos
Lgica
Simblica
Proposicin Razonamiento Deductivo Razonamiento Inductivo

Construccin Por analoga, sin

Evidencia para concluir
del Lenguaje de evidencias concluyentes
la Lgica
Simblica

13/10/2016 3
 Nociones de Lgica
Razonamiento Deductivo

Lgica y Sus premisas ofrecen una evidencia concluyente de la

Razonamiento verdad de la conclusin.
Tipos de
Razonamientos Razonamiento Inductivo

Lgica No aspira demostrar la verdad de su conclusin como

Simblica
derivada necesariamente de sus premisas, sino que slo
Proposicin afirma su probabilidad, o sea, cierta evidencia de ella. El
ms comn es la analoga.
Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 4
 Nociones de Lgica
Ejemplos

Lgica y Ustedes son estudiantes de Razonamiento Deductivo

Razonamiento FACYT. Estn en el primer
semestre. Estudian computacin.
Tipos de Entonces deben tener como
Razonamientos
materia a Elementos Discretos I.
Lgica
Simblica Este cantante siempre tiene Razonamiento Inductivo
buenas canciones. Ha salido al
Proposicin
mercado un nuevo CD de ese
Construccin cantante. Varios amigos me lo
del Lenguaje de han recomendado. Como todos
la Lgica sus CDs anteriores me han
Simblica gustado, entonces este CD debe
gustarme.
13/10/2016 5
 Nociones de Lgica

Lgica y Esta asignatura se enfocara en el estudio de los

Razonamiento Razonamientos Deductivos solamente.
Tipos de
Razonamientos Pero antes veamos el concepto de Proposicin
Lgica
Simblica
Proposicin

Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 6
 Nociones de Lgica
Proposicin

Lgica y Es el contenido o significado de una oracin declarativa, del

Razonamiento cual se puede decir inequvocamente que es verdadero o
Tipos de falso.
Razonamientos
Lgica El valor de verdad de una proposicin es el valor verdadero
Simblica o valor falso que adquiere la proposicin.
Proposicin

Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 7
 Nociones de Lgica
Algunas Consideraciones

Lgica y Oraciones de igual significado (an escritas de

Razonamiento diferentes formas) son la misma proposicin.
Tipos de
Razonamientos Quedan excluidas del concepto de proposicin aquellas
Lgica expresiones: admirativas, interrogativas e imperativas
Simblica que no encierren ningn significado asociable a un valor
de verdad.
Proposicin

Construccin Una proposicin admite slo un valor de verdad (v f).

del Lenguaje de
la Lgica
Simblica

13/10/2016 8
 Nociones de Lgica
Proposiciones Simples

Lgica y Son aquellas que representan hechos atmicos, no se

Razonamiento pueden dividir en otras ms sencillas.
Tipos de
Razonamientos
Proposiciones Compuestas
Lgica
Simblica Son aquellas formas de enunciados que constan de dos
Proposicin ms proposiciones simples vinculadas mediante conectivos
lgicos.
Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 9
 Nociones de Lgica
Ejemplos

Lgica y Indique si las siguientes expresiones son proposiciones, en

Razonamiento caso de serlo diga si son simples o compuestas:
Tipos de
Razonamientos 1. Bolvar fue el vencedor de Carabobo. (P)

Lgica 2. Vallase de aqu! (NP)

Simblica 3. Te ruego que me perdones mis estupideces. (NP)
Proposicin 4. Si los deseos fueran caballos, los mendigos (P)
cabalgaran.
Construccin
del Lenguaje de 5. Si llueve maana, no voy a la playa. (P)
la Lgica 6. x + y 10 (NP)
Simblica

13/10/2016 10
 Nociones de Lgica
Ejemplos

Lgica y Indique si las siguientes expresiones son proposiciones, en

Razonamiento caso de serlo diga si son simples o compuestas:
Tipos de
Razonamientos 7. Qu pasa con el equipo de ftbol de Venezuela? (NP)
8. Est lloviendo. (P)
Lgica
Simblica It's raining. (P)
Estuvo lloviendo. (P)
Proposicin Va a llover. (P)
Construccin 9. No me grites, por favor. (NP)
del Lenguaje de
la Lgica 10.Deseo que te vaya bien en el viaje. (NP)
Simblica 11.Es cierto que Luis participar en el prximo (NP*)
maratn?
13/10/2016 11
 Nociones de Lgica

Lgica y La Lgica Simblica es el estudio de la lgica mediante la

Razonamiento matemtica, es la matematizacin de la lgica.
Tipos de
Razonamientos Se necesita construir un lenguaje simblico y la formulacin
Lgica de reglas de operacin precisas.
Simblica
Proposicin Primero que nada, estudiaremos algunos conceptos bsicos
tales como:
Construccin
del Lenguaje de
la Lgica Premisa Conclusin Inferencia
Simblica

13/10/2016 12
 Nociones de Lgica
Premisa

Lgica y Es cualquier proposicin que admitimos como cierta.

Razonamiento Cualquier enunciado considerado como fuente de una
Tipos de inferencia.
Razonamientos
Conclusin
Lgica
Simblica Es otra proposicin, la cual se trata de deducir lgicamente
a travs de las premisas.
Proposicin

Construccin Inferencia
del Lenguaje de
la Lgica Paso discursivo de una proposicin o grupo de
Simblica proposiciones a otra llamada conclusin.

13/10/2016 13
 Nociones de Lgica
Razonamiento

Lgica y Un razonamiento est formado por proposiciones, entre las

Razonamiento cuales se encuentran las premisas y la conclusin.
Tipos de
Razonamientos Forma general de un razonamiento:
Lgica P1
Simblica
P2
Proposicin P3 Premisas

Construccin Pn
del Lenguaje de
la Lgica ___
Simblica Q Conclusin

13/10/2016 14
 Nociones de Lgica

Construccin del Lenguaje

13/10/2016 15
 Nociones de Lgica
Elementos de la Lgica Proposicional

Lgica y
Razonamiento
Alfabeto
Tipos de (Letras y Smbolos)
Razonamientos
Reglas de
Lgica
Simblica Formacin
Axiomas o
Proposicin
Cadenas Iniciales
Construccin Reglas de
del Lenguaje de Transformacin
la Lgica
Simblica

13/10/2016 16
 Nociones de Lgica
Alfabeto
Lgica y Proposiciones simples:
Razonamiento
Minsculas del alfabeto castellano comenzando
Tipos de convencionalmente con p. Representan una proposicin
Razonamientos simple. Ejemplo: p, q, r, s.

Lgica Proposiciones Compuestas:

Simblica Maysculas del alfabeto castellano y comienzan
Proposicin convencionalmente con P. Generalmente representan una
proposicin compuesta.
Construccin Ejemplo: P, Q, R, S.
del Lenguaje de
la Lgica Valores de verdad:
Simblica Dos constantes: 'v' y 'f'. Una para verdadero: 'v' y la otra
para falso: 'f'.
13/10/2016 17
 Nociones de Lgica
Alfabeto
Lgica y Proposiciones y Valores de verdad:
Razonamiento
Ejemplos
Tipos de 1. Bolvar fue el vencedor de Carabobo
Razonamientos
p: Bolvar fue el vencedor de Carabobo. p v
Lgica
Simblica 2. Los deseos son caballos y los mendigos cabalgan.
p: Los deseos son caballos
Proposicin
q: Los mendigos cabalgan P: p q ?
Construccin
del Lenguaje de 3. 5 + 2 10
la Lgica
Simblica p: 5 + 2 10. p f

13/10/2016 18
 Nociones de Lgica
Alfabeto
Lgica y
Razonamiento Conectivos lgicos
Tipos de Para identificar los conectivos lgicos se emplearn los
Razonamientos siguientes smbolos:
Lgica
Simblica Negacin.
y, conjuncin.
Proposicin
o, o inclusivo, disyuncin.
Construccin o exclusivo.
del Lenguaje de Condicional, implicacin material.
la Lgica
Simblica Bicondicional.

13/10/2016 19
 Nociones de Lgica
Alfabeto
Lgica y
Razonamiento Otros conectivos:
Tipos de
Razonamientos Implicacin lgica.

Lgica = Tautologa.
Simblica
Proposicin Equivalencia lgica.

Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 20
 Nociones de Lgica
Conectivos Lgicos

Lgica y Negacin ()
Razonamiento Niega la proposicin. Al negar una proposicin, se est
Tipos de afirmando la contraria.
Razonamientos La negacin de una proposicin verdadera es falsa.
Lgica La negacin de una proposicin falsa es verdadera.
Simblica
Ejemplos:
Proposicin p: Bolvar es el vencedor de Carabobo.
p: Bolvar no es el vencedor de Carabobo.
Construccin
del Lenguaje de p es verdadero, esto es: p v. Por lo tanto: p f
la Lgica
Simblica p: Luis sale alguna vez con Rosa.
p: Luis nunca sale con Rosa.
13/10/2016 21
 Nociones de Lgica
Conectivos Lgicos

Lgica y Negacin ()
Razonamiento
Tipos de Nota:
Razonamientos Convencionalmente, al traducir del lenguaje natural al
lenguaje de lgica simblica, las proposiciones negadas se
Lgica
Simblica extraen en su forma afirmativa; y luego cuando se proceda
a simbolizar, recurrimos al conectivo negacin para
Proposicin
expresar la proposicin original.
Construccin Ejemplo:
del Lenguaje de
la Lgica Mara no hizo sus deberes
Simblica p: Mara hizo sus deberes. Simbolizacin: p

13/10/2016 22
 Nociones de Lgica
Conectivos Lgicos

Lgica y Tabla de verdad de la Negacin ()

Razonamiento La negacin de una proposicin verdadera es falsa.
Tipos de La negacin de una proposicin falsa es verdadera.
Razonamientos
Lgica
Simblica p p
Proposicin v f
Construccin f v
del Lenguaje de
la Lgica
Simblica

13/10/2016 23
 Nociones de Lgica
Conectivos Lgicos

Lgica y Conjuncin ()
Razonamiento Consiste en afirmar como equivalente en una sola
Tipos de proposicin (compuesta), un grupo de proposiciones
Razonamientos afirmadas por separado. En el lenguaje natural en
castellano, reconocemos las conjunciones cuando vemos
Lgica
Simblica en un prrafo nexos como: y, sin embargo, no obstante,
pero, aunque, , (coma), ., y combinaciones de ellos.
Proposicin

Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 24
 Nociones de Lgica
Conectivos Lgicos

Lgica y Conjuncin () Ejemplos:

Razonamiento 1. El cielo est despejado, 2. Algunas personas nacen
pero el sol no calienta grandes, otras consiguen la
Tipos de
Razonamientos mucho. grandeza, y a otras les ha sido
impuesta.
Lgica p: El cielo est despejado.
p: Algunas personas nacen
Simblica
q: El sol calienta mucho. grandes.
Proposicin q: Algunas personas
(Note que la proposicin se consiguen la grandeza.
Construccin extrae afirmativamente) r: A algunas personas se les
del Lenguaje de impone la grandeza.
la Lgica simbolizacin:
simbolizacin:
Simblica p q (se lee: p y no q)
pqr

13/10/2016 25
 Nociones de Lgica
Conectivos Lgicos

Lgica y Tabla de verdad de la Conjuncin ()

Razonamiento Una conjuncin de proposiciones, cada una de las
cuales es verdadera, la conjuncin es verdadera.
Tipos de
Razonamientos Una conjuncin de proposiciones no todas verdaderas,
Lgica es falsa. (basta que una sea falsa, para que la
Simblica conjuncin de todas sea falsa).
p q pq
Proposicin
v v v
Construccin
del Lenguaje de v f f
la Lgica f v f
Simblica
f f f
13/10/2016 26
 Nociones de Lgica
Conectivos Lgicos

Lgica y Disyuncin () ()
Razonamiento Es la proposicin formada por la conexin de proposiciones
Tipos de mediante las palabras o, o bien. Existen dos tipos: 'o'
Razonamientos inclusivo: , y l 'o' exclusivo: . Por Ejemplo:
Lgica 1. La tienda abre en la 2. La tienda abre slo en la
Simblica maana o en la tarde. maana o slo en la tarde.
p: La tienda abre en la p: La tienda abre en la
Proposicin maana. maana.
q: La tienda abre en la tarde. q: La tienda abre en la tarde.
Construccin
del Lenguaje de simbolizacin:
la Lgica simbolizacin:
pq p q (slo admite una de las dos
Simblica Normalmente trabajaremos con posibilidades, pero no ambas al
el 'o' inclusivo. mismo tiempo)

13/10/2016 27
 Nociones de Lgica
Conectivos Lgicos

Lgica y Tabla de verdad de la Disyuncin Inclusiva ()

Razonamiento Establece que entre 2 proposiciones se da una de ellas o
Tipos de ambas a la vez; esto es, la disyuncin es verdadera si al
Razonamientos menos una de sus proposiciones es v.
Lgica
Simblica p q pq

Proposicin v v v
v f v
Construccin
del Lenguaje de f v v
la Lgica
Simblica f f f

13/10/2016 28
 Nociones de Lgica
Conectivos Lgicos

Lgica y Tabla de verdad de la Disyuncin Exclusiva ()

Razonamiento Establece que entre 2 proposiciones se da una de ellas,
Tipos de pero no ambas al mismo tiempo; esto es, la disyuncin es
Razonamientos verdadera slo cuando una de sus dos proposiciones es
falsa.
Lgica
Simblica p q pq

Proposicin v v f
v f v
Construccin
del Lenguaje de f v v
la Lgica
Simblica f f f

13/10/2016 29
 Nociones de Lgica
Conectivos Lgicos

Lgica y Condicional ()
Razonamiento Es una proposicin de la forma: Si ... entonces ...
Tipos de
Razonamientos antecedente consecuente
Lgica
Simblica Si <antecedente> entonces <consecuente>
Proposicin se conoce como implicacin material, o simplemente
implicacin; existe otro tipo de condicional llamado
Construccin implicacin lgica (ser discutido luego).
del Lenguaje de
la Lgica
Simblica

13/10/2016 30
 Nociones de Lgica
Conectivos Lgicos

Lgica y Condicional ()
Razonamiento En el lenguaje natural (castellano), la simbolizacin p q,
Tipos de donde p y q son proposiciones, se identifica en las
Razonamientos siguientes frases:
Lgica GRUPO 1: GRUPO 3:
Simblica s p entonces q p slo si q p solamente si q
si p, q p es condicin suficiente para q
Proposicin p implica q una condicin suficiente para q es p
q es condicin necesaria para p
Construccin GRUPO 2: una condicin necesaria para p es q
del Lenguaje de q s p
la Lgica q siempre que p
q cuando p PILAS! Todas las frases
Simblica
q se deduce de p anteriores se simbolizan p q

13/10/2016 31
 Nociones de Lgica
Conectivos Lgicos

Lgica y Condicional () Ejemplo:

Razonamiento Si existiera un control efectivo de la contaminacin
Tipos de ambiental, entonces el Lago de Valencia estara en mejores
Razonamientos condiciones.
Lgica p: Existe un control efectivo de la contaminacin ambiental.
Simblica q: El Lago de Valencia est en mejores condiciones.
simbolizacin: p q
Proposicin
Si se vota en las elecciones venideras, se debe tener 18
Construccin aos. Nota1: Es importante
del Lenguaje de p: Se vota en las elecciones venideras. identificar claramente que
la Lgica q: Se debe tener 18 aos. proposicin es consecuencia
inequvoca de cual. Es decir,
Simblica
simbolizacin: p q saber distinguir bien entre
antecedente y consecuente.

13/10/2016 32
 Nociones de Lgica
Conectivos Lgicos

Lgica y Tabla de verdad del Condicional ()

Razonamiento La nica combinacin que hace falso a un condicional, es
Tipos de cuando el antecedente es verdadero y el consecuente es
Razonamientos falso. En los dems casos, el condicional es verdadero.
p q pq
Lgica
Simblica v v v
Proposicin v f f

Construccin f v v
del Lenguaje de f f v
la Lgica
Simblica Nota2: Para el condicional o implicacin material, existe la
expresin lgica: p q, que es equivalente a p q.
13/10/2016 33
 Nociones de Lgica
Conectivos Lgicos

Lgica y Equivalencia entre p q y p q

Razonamiento Expresando la relacin que existe entre p q y p q.
Tipos de p q p p q p v q
Razonamientos
v v f v v
Lgica
Simblica v f f f f
Proposicin f v v v v

Construccin f f v v v
del Lenguaje de
la Lgica Tanto p q como p q tienen los mismos valores de
Simblica verdad.
A la proposicin p q se le llama Definicin del Condicional.

13/10/2016 34
 Nociones de Lgica
Conectivos Lgicos

Lgica y Bicondicional ()
Razonamiento Es la conjuncin de dos condicionales: s p entonces q y
Tipos de si q entonces p.
Razonamientos (p q) (q p)
Lgica
Simblica que se escribe en una sola expresin como:
Proposicin pq se lee: p si y slo s q
Construccin
del Lenguaje de Se detecta por la presencia de expresiones como:
la Lgica
Simblica Si y solo si o si y solamente si

13/10/2016 35
 Nociones de Lgica
Conectivos Lgicos

Lgica y Bicondicional () Ejemplos:

Razonamiento Se puede estudiar en la universidad si y solo si se es
Tipos de bachiller.
Razonamientos p: Se puede estudiar en la universidad.
q: Se es bachiller.
Lgica Si se puede estudiar en la universidad entonces se es bachiller: p q
Simblica
Si se es bachiller entonces se puede estudiar en la universidad: q p.
Proposicin simbolizacin: p q

Construccin Luis obtendr el empleo si y slo si es graduado en qumica.

del Lenguaje de p: Luis obtiene el empleo.
la Lgica q: Luis es graduado en qumica.
Simblica
simbolizacin: p q

13/10/2016 36
 Nociones de Lgica
Conectivos Lgicos

Lgica y Regla del Bicondicional ()

Razonamiento Un bicondicional es verdadero si y solo si las dos
Tipos de proposiciones que lo forman son ambas verdaderas o
Razonamientos ambas falsas.
Lgica p q pq qp pq
Simblica
v v v v v
Proposicin
v f f v f
Construccin f v v f f
del Lenguaje de
la Lgica f f v v v
Simblica

13/10/2016 37
 Nociones de Lgica
Ejemplo Completo
O el ladrn atraves la puerta, o el delito fue cometido desde adentro y uno
Lgica y de los sirvientes debe estar implicado en l. El ladrn slo pudo atravesar
Razonamiento 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
Tipos de alzado desde el interior. Luego, uno de los sirvientes se halla implicado en
Razonamientos el delito.

Lgica p: El ladrn atraviesa la puerta. Simbolizacin de las premisas:

Simblica q: El delito se comete desde P1: p (q r)
adentro.
P2: p s
r: Uno de los sirvientes debe estar
Proposicin implicado en el delito. P3: s r
s: El cerrojo es levantado desde Simbolizacin de la conclusin:
Construccin adentro. Q: r
del Lenguaje de
la Lgica Simbolizacin del razonamiento de manera horizontal:
Simblica (P1 P2 P3) Q, entonces:
( [ p (q r) ] [ p s ] [ s r ] ) r
13/10/2016 38
 Nociones de Lgica
Tabla de Verdad

Lgica y Es una forma de representar y calcular el valor de verdad

Razonamiento de una expresin proposicional para cada una de las
Tipos de combinaciones posibles de valores de verdad de las
Razonamientos proposiciones simples que la conforman.
Lgica
Simblica En la seccin anterior, las reglas del valor de verdad de
cada conectivo lgico, se expresaron a travs de una tabla
Proposicin de verdad.

Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 39
 Nociones de Lgica
Tabla de Verdad

Lgica y Ejemplo: Construir la tabla de verdad de (p q) (p q)

Razonamiento
p q p q p q p q (p q) (p q)
Tipos de
Razonamientos v v f f v f v

Lgica v f f v f f f
Simblica f v v f v f v
Proposicin f f v v v v v

Construccin Dada una expresin lgica cualquiera, el nmero de

del Lenguaje de combinaciones de valores de verdad que puede tomar es
la Lgica
Simblica 2n, con 'n', el nmero de proposiciones simples
involucradas en la expresin.
13/10/2016 40
 Nociones de Lgica
Agrupacin y Parntesis

Lgica y Son smbolos que usaremos para eliminar la ambigedad

Razonamiento cuando se trata de agrupar proposiciones. Para esto
Tipos de hacemos uso de parntesis segn ciertas convenciones con
Razonamientos relacin a los conectivos lgicos:
Lgica
Simblica 1.- Una proposicin negada ser tratada como una
proposicin simple.
Proposicin

Construccin 2.- Si contiene slo conectivos de un mismo tipo,

del Lenguaje de agruparemos de izquierda a derecha.
la Lgica
Simblica

13/10/2016 41
 Nociones de Lgica
Agrupacin y Parntesis

Lgica y 3.- Si posee varios conectivos diferentes agrupamos por el

Razonamiento siguiente orden de prioridad:
Tipos de
Razonamientos Mayor prioridad
Lgica
Simblica
Proposicin
Menor prioridad
Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 42
 Nociones de Lgica
Agrupacin y Parntesis
Ejemplos:
Lgica y (1) pqrst
Razonamiento (((p q r) s) t

Tipos de (2) p q t p q r
Razonamientos
Paso 1: (p) (q) t p q (r)
se agrupan primero las proposiciones negadas, sin embargo no
Lgica mantendremos los parntesis por asuntos de legibilidad.
Simblica
Paso 2: (p q) t p (q r)
Proposicin se agrupan por las conjunciones.
Paso 3: (p q) (t p) (q r)
Construccin se agrupan por las disyunciones.
del Lenguaje de
Paso 4: [ (p q) (t p) ] (q r)
la Lgica se agrupan por los condicionales.
Simblica
Falta el bicondicional pero ya todo quedo agrupado y no hay ambigedad,
no es necesario colocar parntesis.
13/10/2016 43
 Nociones de Lgica
Proposiciones y
Lgica y razonamientos
Razonamiento en lenguaje natural. Traduccin:
Tipos de
Razonamientos Abstraer su
Proposiciones y contenido,
Lgica razonamientos mediante una
Simblica en lenguaje simblico.
traduccin de
smbolos de la
Proposicin lgica simblica.
Determinacin de
Construccin la validez o invalidez
del Lenguaje de de los razonamientos
la Lgica mediante las leyes lgicas
Simblica y/o de transformacin.

13/10/2016 44
 Nociones de Lgica
Reglas de
Formacin
Lgica y Son procedimientos usados en la obtencin de expresiones
Razonamiento del lenguaje de lgica proposicional.
Tipos de I. Una proposicin simple es una frmula bien formada (f.b.f.).
Razonamientos II. Si P es una f.b.f. entonces P tambin lo es.
III. Si P y Q son f.b.f. entonces PQ, PQ, PQ y PQ, son
Lgica tambin frmulas bien formadas.
Simblica
Toda f.b.f. puede obtenerse aplicando reiteradamente (i) al
Proposicin (iii).

Construccin
del Lenguaje de Nota: Recordemos que las letras maysculas: P, Q, R, S,...
la Lgica pueden denotar tanto una proposicin simple como una
Simblica cadena de proposiciones unidas por los conectivos lgicos
(proposicin compuesta).
13/10/2016 45
 Nociones de Lgica
Axiomas o
Cadenas Iniciales
Lgica y Son frmulas bien formadas que se aceptan como
Razonamiento verdaderas. Sean P, Q y R f.b.f., entonces los axiomas
Tipos de sern:
Razonamientos
Lgica i. PQQP
Simblica ii. P (Q R) (P Q) R
iii. PfP
Proposicin iv. Pvv
v. P P v
Construccin
del Lenguaje de
la Lgica
Simblica

13/10/2016 46
 Nociones de Lgica
Reglas de
Transformacin
Lgica y Regla de Dualidad: Si en una equivalencia lgica (donde
Razonamiento no aparezcan los conectivos ni ) se intercambian
Tipos de simultneamente los conectivos de disyuncin y conjuncin,
Razonamientos y las constantes 'v' y 'f', seguir siendo equivalencia.
Lgica
Simblica Regla de Sustitucin: Si en una equivalencia lgica,
sustituimos una proposicin P en todos los lugares donde
Proposicin aparezca por otra proposicin Q, la equivalencia lgica

Construccin sigue mantenindose.

del Lenguaje de Ejemplo: P P v, sustituyendo P por (P Q)
la Lgica
Simblica (P Q) (P Q) v

13/10/2016 47
 Nociones de Lgica

Simplificacin, Demostracin,
Pruebas de Invalidez y
Pruebas de Validez

13/10/2016 48
 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 p siempre es verdad. Simbolizacin: p 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

13/10/2016 49
 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 q. En efecto, pudimos comprobar que sus
tablas de verdad son iguales. Verifiquemos que (p q) (p q) es una
tautologa. (1) (2)
p q p pq pq p q p q
v v f v v v
Entonces como (1) (2)
v f f f f v = decimos que p q
f v v v v v p q
f f v v v v

13/10/2016 50
 Nociones de Lgica
PQQP Ley conmutativa de
01
PQQP Ley conmutativa de
P (Q R) (P Q) R Ley asociativa de
02
P (Q R) (P Q) R Ley asociativa de
Tautologias o P (Q R) (P Q) (P R) Ley distributiva de con respecto a por la izquierda
Leyes P (Q R) (P Q) (P R) Ley distributiva de con respecto a por la izquierda
03
(P Q) R (P R) (Q R) Ley distributiva de con respecto a por la derecha
Lgicas (P Q) R (P R) (Q R) Ley distributiva de con respecto a por la derecha
P (P Q) P Ley de absorcin de
04
P (P Q) P Ley de absorcin de
(P Q) P Q Ley de De Morgan de
Sean P, Q y R 05
(P Q) P Q Ley de De Morgan de
f.b.f. y 'v' y 'f', 06 P Q Q P Ley del contrarrecproco
las constantes PPP Ley de idempotencia de
07
PPP Ley de idempotencia de
verdadero y
P P v
falso, entonces: 08 Ley de complementacin o tercero excluido
P P f
09 (P) P Ley de doble negacin
Pvv
PfP
10 Leyes de identidad
Pf f
PvP

13/10/2016 51
 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.

13/10/2016 52
 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

13/10/2016 53
 Nociones de Lgica
1. Simplificacin de Proposiciones Compuestas
Simplificar la expresin:
[(p p) q] [q (r q)] [p (p q)]

[(p p) q] [q (r q)] [p (p q)] (1) Justificaciones:

[(p p) q] [q (r q)] [p (p q)] (2) (1) Def. del condicional.
[(p p) q] [q (r q)] [(p p) q] (3) (2) Ley asociativa de .
(v q) [q (r q)] (v q) (4) (3)Ley de
v [q (r q)] v (5) complementacin.
v v [q (r q)] (6) (4) Ley de identidad.
v [q (r q)] (4) (5) Ley conmutativa de la .
q (r q) (7) (6) Ley de idempotencia.
(q r) (q q) (3) (7) Ley distributiva de la
(q r) v (4) respecto de la por la izq.
q r

13/10/2016 54
 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.

13/10/2016 55
 Nociones de Lgica
2. Demostracin de Equivalencias Lgicas
Demostrar que [(p q) (p q)] (p q) p v q
Se proceder desarrollando el lado izquierdo
para llegar a p v q
Justificaciones:
[(p q) (p q)] (p q) (1) (1) Ley de De Morgan de la .
[(p q) (p q)] (p q) (2) (2) Ley distributiva de la
[p (q q)] (p q) (3) respecto de la v por la izq.
(p v) (p q) (4) (3) Ley de complementacin.
p (p q) (5) (4) Ley de identidad.
(p) (p q) (6) (5) Def. del condicional.
p (p q) (7) (6) Ley de doble negacin.
(p p) (p q) (3) (7) Ley distributiva de la
v (p q) (4) respecto de la por la izq.
pq

13/10/2016 56
 Nociones de Lgica
El Condicional Directo y Sus condicionales Asociados

Veamos esquemticamente:
Siendo P y Q, dos proposiciones cualesquiera; al
condicional
P Q se le llama comnmente condicional directo.
PQ recproco QP
Existen asociados a l los siguientes condicionales:

contrario
contrario
P Q llamado contrario del directo.
Q P llamado recproco del directo.
Q P llamado contrarecproco.

P Q recproco Q P

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.

13/10/2016 57
 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.

13/10/2016 58
 Nociones de Lgica
Implicacin Lgica

P Q PQ
v v v
---v--- ---f--- ---------f--------- No ocurre
f v v
f f v

Si P implica lgicamente a Q, se dice igualmente que

Q es consecuencia lgica de P.

13/10/2016 59
 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:
(P1 P2 ... Pn) Q (P1 P2 ... Pn) Q

Si P1 y P2 y... y Pn implican lgicamente a Q, se dice que Q es consecuencia lgica de P1 y P2

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

Afirmar que: (P1 P2 ... Pn) Q es una tautologa, significa que cada vez que P1 P2
... Pn v, entonces Q v.

13/10/2016 60
 Nociones de Lgica
Implicacin Lgica
EJEMPLO: Determinar si P es consecuencia lgica de P Q y Q
Una forma de probar lo anterior es demostrando que el condicional
[(P Q) Q] P es una tautologa. Justificaciones:
[(P Q) Q] P (1) (1) Def. del condicional.
[(P Q) Q] P (2) (2) Ley de De Morgan de la .
[(P Q) (Q)] P (3) (3) Ley de De Morgan de la .
[((P) Q) (Q)] P (4) (4) Ley de doble negacin.
[(P Q) Q] P (5) (5) Ley distributiva de la respecto
[(P Q) (Q Q)] P (6) de la por la der.
[(P Q) v] P (7) (6) Ley de complementacin.
(P Q) P (8) (7) Ley de identidad.
(Q P) P (9) (8) Ley conmutativa de la .
Q (P P) (6) (9) Ley asociativa de la .
Qv (7)
v 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.

13/10/2016 61
 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 =

13/10/2016 62
 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

13/10/2016 63
 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.

13/10/2016 64
 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.

13/10/2016 65
 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 Simbolizacin: (p q) r

q: Y es un nmero entero P1: p
r: X + Y es un nmero entero par P2: q
Q: r

p q r

v v f

13/10/2016 66
 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.

He hallado una combinacin

de valores de verdad que hace
todas las premisas verdaderas
Simbolizacin:
v y la conclusin falsa, luego he
P1: p ( q r) q s p t r
hallado un contraejemplo para
P2: (p s) v
v la supuesta tautologa y por lo
P3: (p t) r v f f v f
f tanto el razonamiento es
Q: q s
invlido.

13/10/2016 67
 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
Inferencia lgica Demostracin de teoremas

Programacin lgica (PROLOG)

13/10/2016 68
 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 Modus tollens Silogismo hipottico Silogismo disyuntivo:

P1: P Q P1: P Q P1: P Q P1: P v Q
P2: P P2: Q P2: Q R P2: P

Q: Q Q: P Q: P R Q: Q

13/10/2016 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

Silogismo constructivo Conjuncin Exportacin Simplificacin

P1: P Q P1: P P1: (P R) Q P1: P Q
P2: R S P2: Q
P3: P v R Q: P (R Q) Q: P
Q: P Q
Q: Q v S

Silogismo destructivo Adicin Importacin Reduccin al absurdo

P1: P Q P1: P P1: P (R Q) P1: P (Q Q)
P2: R S
P3: Q v S Q: P v Q Q: (P R) Q Q: P

Q: P v R

13/10/2016 70
 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

2. Prueba por Tautologa

Pruebas de 3. Mtodo Directo o Argumentacin Directa

Validez
4. Prueba por Condicional

5. Argumentacin indirecta o Reduccin al Absurdo

13/10/2016 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

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.

13/10/2016 72
 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.

13/10/2016 73
 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.

13/10/2016 74
 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.

13/10/2016 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

Probar la validez de (P1 P2 ... Pn) Q

P1 P2 ... Pn Q f
Q f, luego Q v

13/10/2016 76