TRABAJO ENCARGADO

INTEGRANTES:

RAMREZ PORTOCARRERO, PAL

ESPINOZA GARAY, DAVIS
VILLANUEVA PONCE, WILMER
ARZAPALO OTINIANO, CRISTHIAN

PROFESORA:

REYES AYALA, JESSICA

CURSO:

MATEMTICAS DISCRETAS

ESPECIALIDAD:

INGENIERA EN INFORMTICA Y SISTEMAS

FECHA DE ENTREGA:

MATEMTICAS DISCRETAS
 ndice

Temas Pg.

Introduccin. 2

Lgica 3

Lgica proposicional.. 3

a) Conectivos
Lgicos 4
b) Tablas de verdad. 5
c) ejemplos 6

Lgica de Predicados 7

Inferencia Lgica.. 9

Inductiva 9
Deductiva.. 10
Transductiva. 10
Abductiva.. 10

Operadores Existenciales 11

Conclusin.. 13

MATEMTICAS DISCRETAS
 Introduccin

En el presente informe repasaremos los conceptos de lgica proposicional terica y

prcticamente con 5 ejercicios resueltos, tambin hablaremos del clculo del
predicado, inferencia lgica y por ultimo terminaremos con operadores existenciales.

MATEMTICAS DISCRETAS
 Lgica

Es una ciencia formal y una rama de la filosofa que estudia los principios de la
demostracin e inferencia vlida. La palabra deriva del griego antiguo logike, que
significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez
viene de logos, palabra, pensamiento, idea, argumento, razn o principio.

La lgica examina la validez de los argumentos en trminos de su estructura,

(estructura lgica), independientemente del contenido especfico del discurso y de la
lengua utilizada en su expresin y de los estados reales a los que dicho contenido se
pueda referir.

Lgica Proposicional

La lgica proposicional es un sistema diseado para analizar ciertos tipos de

argumentos. En lgica proposicional, las formulas representan proposiciones y los
conectivos lgicos son operaciones sobre dichas formulas, capaces de formar otras
formulas de mayor complejidad.
Se puede considerar argumento por ejemplo: maana es mircoles o maana es
jueves, maana no es jueves, por lo tanto, maana es mircoles.

Conectivos lgicos

Les presentaremos una tabla que contiene todos los conectivos lgicos que ocupan
a la lgica proposicional.

Conectivos Expresin en el Ejemplos smbolos

lenguaje natural
Negacin No No es de da
Conjuncin Y Es otoo y las Hojas caen
Disyuncin O Caminamos o corremos
Condicional Entonces Est lloviendo, entonces
ara frio
Bicondicional Si y solo si Saldrs si y solo si haces
t tarea

MATEMTICAS DISCRETAS
A continuacin le presentamos la tabla de verdad de los conectores ms
importantes:

MATEMTICAS DISCRETAS
Ejemplos:

1.-Si la proposicin compuesta: [(pr)(rq)] es verdadera, hallar el valor de la

verdad de las proposiciones p, q y r respectivamente.

Solucin:

[(pr)(rq)] V , entonces (pq)(rq) F , entonces:

pr V y rq F, Luego: P V, r V , Entonces: r F, como r y q
tienen valores de verdad iguales, entonces q V.

2.-Si no apruebas o no resuelves este problema, entonces es falso que, hayas

estudiado o domines la deduccin lgica. Pero ni dominas la lgica aunque has
estudiado.

Solucin:

p : Apruebas
q : Resuelves
r : Has estudiado
s : Dominas la deduccin lgica.
Formalizando:
[(p q) (r s)] s r, aplicando la ley de la condicional:
[(p q) (r s)] s r, aplicando la ley de Morgan:
[(p q) (r s)] r s, Distribuyendo:
{[(p q) r] [(r s) r]} s , asociando:
{[p q r] [(r r) s]} s, donde r r F, luego:
{[p q r] [F s]} s {[p q r] F} s [p q r] s p q r s
Luego: p q apruebas y resuelves el problema.

MATEMTICAS DISCRETAS
 Lgica de Predicados

La principal debilidad de la lgica proposicional es su limitada habilidad para

expresar conocimiento. Existen varias sentencias complejas que pierden mucho de
su significado cuando se las representa en lgica proposicional. Por esto se
desarroll una forma lgica ms general, capaz de representar todos los detalles
expresados en las sentencias, esta es la lgica de predicados.

La lgica de predicados est basada en la idea de que las sentencias realmente

expresan relaciones entre objetos, as como tambin cualidades y atributos de tales
objetos. Los objetos pueden ser personas, objetos fsicos, o conceptos. Tales
cualidades, relaciones o atributos, se denominan predicados. Los objetos se
conocen como argumentos o trminos del predicado.

Al igual que las proposiciones, los predicados tienen un valor de veracidad, pero a
diferencia de las preposiciones, su valor de veracidad, depende de sus trminos. Es
decir, un predicado puede ser verdadero para un conjunto de trminos, pero falso
para otro. Ejemplo:

Color (Madera, marrn)

El mismo predicado, pero con diferentes argumentos, puede no ser verdadero:

Color (Madera, azul) o color (Nube, verde)

Los predicados tambin pueden ser utilizados para asignar una cualidad abstracta a
sus trminos, o para representar acciones o relaciones de accin entre dos objetos.
Por ejemplo:

Al construir los predicados se asume que su veracidad est basada en su relacin

con el mundo real. Naturalmente, siendo prcticos, trataremos que los predicados
que definimos estn de acuerdo con el mundo que conocemos, pero no es
absolutamente necesario que as lo hagamos. En lgica de predicados el establecer
como verdadero un predicado es suficiente para que as sea considerado.

Demos el siguiente ejemplo, que indica que Ecuador est en Europa:

(Ecuador, Europa)

Obviamente, esto no es verdadero en el mundo real, pero la lgica de predicados no

tiene razn de saber geografa y si el predicado es dado como verdadero, entonces
MATEMTICAS DISCRETAS
es considerado como lgicamente verdadero. Tales predicados, establecidos y
asumidos como lgicamente verdaderos se denominan axiomas, y no requieren de
justificacin para establecer su verdad.

La lgica de predicados, se ocupa nicamente de mtodos de argumentacin

slidos. Tales argumentaciones se denominan Reglas de Inferencia. Si se da un
conjunto de axiomas que son aceptados como verdaderos, las reglas de inferencia
garantizan que slo sern derivadas consecuencias verdaderas.

Tanto los conectivos lgicos, como los operadores dados anteriormente para la
lgica proposicional, son igualmente vlidos en lgica de predicados. De hecho, la
lgica proposicional es un subconjunto de la lgica de predicados.

Cada uno de los argumentos en los ejemplos de predicados dados anteriormente,

representan a un objeto especfico. Tales argumentos se denominan constantes. Sin
embargo, en la lgica de predicados se pueden tener argumentos que en
determinado momento pueden ser desconocidos.
Estos son los argumentos tipo variable.

En el ejemplo: color (yerba, X), la variable X, puede tomar el valor de verde,

haciendo que el predicado sea verdadero; o puede tomar el valor de azul, dando
lugar a que el predicado sea falso.

Las variables, tambin pueden ser cuantificadas. Los cuantificadores que

tpicamente se utilizan en lgica de predicados son:

El cuantificador universal; indica que la frmula bien formada, dentro de su

alcance, es verdadera para todos los valores posibles de la variable que es
cuantificada. Por ejemplo:

X . . . .

Establece que "para todo X, es verdad que. . . "

El cuantificador existencial;, indica que la frmula bien formada, dentro de

su alcance, es verdadera para algn valor o valores dentro del dominio. Por
ejemplo:

X . . . .

Establece que "existe un X, tal que. . . "

MATEMTICAS DISCRETAS
A continuacin se dan algunos ejemplos de predicados cuantificados:

X, [Computador (X) => Tiene_Disco duro (X, i7)].

Y, [mamfero (Y) => nace (Y, vivo)].
Z, [cartero (Z) ^ mordi (Bobby, Z)].

Desde el punto vista de representacin, los cuantificadores son difciles de usar. Por
lo que es deseable reemplazarlos con alguna representacin equivalente, ms fcil
de manipular. El caso del cuantificador universal es ms simple ya que se asume a
todas las variables como universalmente cuantificadas.

El cuantificador existencial es ms difcil de reemplazar. El cuantificador existencial

garantiza la existencia de uno o ms valores particulares (instancias) de la variable
cuantificada, que hace a la clusula verdadera. Si se asume que existe una funcin
capaz de determinar los valores de la variable que hace la clusula verdadera,
entonces simplemente se remueve el cuantificador existencial y se reemplaza las
variables por la funcin que retorna dichos valores.

Inferencia lgica

Primero presentamos los tipos de inferencia, la inferencia vlida en computacin y

matemticas y al final una serie de reglas que se utilizan para la inferencia
deductiva.

La inferencia es la forma en la que obtenemos conclusiones en base a datos y

declaraciones establecidas.

Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o
expresiones conocidas y de ellas se desprende una conclusin.
Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una
conclusin. A su vez, razonar es pensar coherente y lgicamente; establecer
inferencias o conclusiones a partir de hechos conocidos o asumidos.

El proceso de razonamiento, por lo tanto, involucra la realizacin de inferencias, a

partir de hechos conocidos. Realizar inferencias significa derivar nuevos hechos a
partir de un conjunto de hechos conocidos como verdaderos. La lgica de
predicados proporciona un grupo de reglas slidas, con las cuales se pueden
realizar inferencias. Las principales Reglas de Inferencia son:

MATEMTICAS DISCRETAS
 Modus ponens.- Es la ms importante, en los sistemas basados en
conocimiento.
Establece que:

Si las sentencias p y (p q) se conocen que son verdaderas,

entonces se puede inferir que q tambin es verdadera.

Modus tolens.- Esta regla establece que:

Si la sentencia (p q) es verdadera y q es falsa,

entonces se puede inferir que p tambin es falsa.

Resolucin.-

Utiliza refutacin para comprobar una determinada sentencia. La refutacin

intenta crear una contradiccin con la negacin de la sentencia original,
demostrando, por lo tanto, que la sentencia original es verdadera. La
resolucin es una tcnica poderosa para probar teoremas en lgica y
constituye la tcnica bsica de inferencia en PROLOG, un lenguaje que
manipula en forma computacional la lgica de predicados. La regla de
resolucin, establece que:

Si (AB) es verdadero y (~B C) es verdadero,

entonces (A C) tambin es verdadero.

En lgica de predicados, existen tres mtodos bsicos de razonamiento:

deductivo, abductivo e inductivo.

Transductiva (de particular a particular o de general a general)

Con el mismo caso del computador recin comprado.El anterior sera de

particular a particular, un caso de general a general es por ejemplo de un
compaero maestro que la primera vez que imparti matemticas discretas
observ que todos los alumnos estudiaban, concluy que para el siguiente
semestre todos los alumnos iban a estudiar.

Este es un caso donde como en el caso inductivo, no podemos estar seguros

de que la conclusin es verdadera.

Deduccin.-

Es el razonamiento a partir de un principio conocido hacia un desconocido;

de lo general, a lo especfico, o de la premisa a la conclusin lgica. La
deduccin realiza inferencias lgicamente correctas. Esto significa que la

MATEMTICAS DISCRETAS
 deduccin a partir de premisas verdaderas, garantiza el resultado de
conclusiones tambin verdaderas.

La deduccin es el mtodo ms ampliamente comprendido, aceptado y

reconocido de los tres indicados. Es la base tanto de la lgica proposicional,
como de la lgica de predicados. A manera de ejemplo, el mtodo deductivo,
se puede expresar, utilizando lgica de predicados, como sigue:

A, B, C, [mayor (A, B) mayor (B, C) mayor (A, C)]

Abduccin.-

Es un mtodo de razonamiento comnmente utilizado para generar

explicaciones. A diferencia de la induccin, la abduccin no garantiza que se
puedan lograr conclusiones verdaderas, por lo tanto no es un mtodo slido
de inferencia. La forma que tiene la abduccin es la siguiente:

Si la sentencia (A B) es verdadera y B es verdadera,

entonces A es posiblemente verdadera.

En abduccin, se empieza por una conclusin y se procede a derivar las

condiciones que podran hacer a esta conclusin vlida. En otras palabras, se
trata de encontrar una explicacin para la conclusin.

Induccin.-

Se define como el razonamiento a partir de hechos particulares o casos

individuales, para llegar a una conclusin general. El mtodo inductivo es la
base de la investigacin cientfica. La forma ms comn del mtodo inductivo
es la siguiente:

Si se conoce que P(a), P (b),......, P(n) son verdaderos,

entonces se puede concluir que X, P(X) es tambin verdadero.

La induccin es una forma de inferencia muy importante ya que el

aprendizaje, la adquisicin de conocimiento y el descubrimiento estn
basados en ella. Al igual que la abduccin, la induccin no es un mtodo
slido de inferencia.

El razonamiento deductivo es una forma monotnica de razonar que produce

argumentos que preservan la verdad. En un sistema monotnico todos los
axiomas utilizados se conocen como verdaderos por sus propios mritos, o
pueden ser derivados de otros hechos conocidos como verdaderos. Los
axiomas no pueden cambiar, ya que una vez que se los conoce como
verdaderos, siempre permanecen as y no pueden ser modificados o
retractados. Esto significa que en el razonamiento monotnico el conjunto de
axiomas continuamente crece en tamao.

MATEMTICAS DISCRETAS
 Otro aspecto del razonamiento monotnico es que si ms de una inferencia
lgica puede ser hecha a un tiempo especfico y una de ellas se realiza, las
inferencias que quedan sern todava aplicables despus que dicha inferencia
haya sido hecha.

Ventajas y desventajas de la Lgica de Predicados

A continuacin se presentan algunos aspectos caractersticos de la lgica de

predicados y su implementacin computacional, el lenguaje de programacin
PROLOG:

Manejo de incertidumbre.- Una de las mayores desventajas de la lgica de

predicados es que slo dispone de dos niveles de veracidad: verdadero y
falso. Esto se debe a que la deduccin siempre garantiza que la inferencia es
absolutamente verdadera. Sin embargo, en la vida real no todo es blanco y
negro. En cierta forma el PROLOG ha logrado mitigar esta desventaja,
permitiendo la inclusin de factores de certeza.

Razonamiento monotnico.- La lgica de predicados al ser un formalismo

de razonamiento monotnico, no resulta muy adecuada para ciertos dominios
del mundo real, en los cuales las verdades pueden cambiar con el paso del
tiempo. El PROLOG compensa esta deficiencia, proporcionando un
mecanismo para remover los hechos de la base de datos. Por ejemplo, en
TURBO PROLOG se tiene la clusula retractall.

Programacin declarativa.- La lgica de predicados, tal como est diseada

en PROLOG, es un lenguaje de programacin declarativo, en donde el
programador slo necesita preocuparse del conocimiento expresado en
trminos del operador de implicacin y los axiomas. El mecanismo deductivo
de la lgica de predicados llega a una respuesta (si esto es factible),
utilizando un proceso exhaustivo de unificacin y bsqueda. A pesar que la
bsqueda exhaustiva puede ser apropiada en muchos problemas, tambin
puede introducir ineficiencias durante la ejecucin. Para lograr un cierto
control en el proceso de bsqueda, PROLOG ofrece la operacin de corte,
CUT. Cuando no se utiliza el CUT, PROLOG se convierte en un lenguaje
puramente declarativo

MATEMTICAS DISCRETAS