UNIVERSIDAD NACIONAL DEL ALTIPLANO

MAESTRA EN INFORMTICA

ESTRUCTURAS DISCRETAS:
Unidad I: Lgica y conjuntos

Lgica

M.Sc. Donia A. Ruelas Acero

donializ7@gmail.com
 PRIMER TRABAJO ENCARGADO:

Investigar sobre las aplicaciones de las

matemticas discretas
 LGICA
El ser humano, a travs de su vida diaria se comunica con sus
semejantes a travs de un lenguaje determinado que puede ser
verbal, escrito u otros; esto se da a travs de las denominadas
frases u oraciones, las cuales tienen diferentes significados que
se resumen en verdaderas o falsas, siento este el precedente
fundamental para el desarrollo humano.
Que es la Lgica?
Disciplina que estudia los principios formales del conocimiento
humano, es decir, las formas y las leyes mas generales del
pensamiento humano considerado puramente en si mismo, sin
referencia a los objetos
Proposiciones y enunciados logicos
Es el significado de cualquier frase declarativa que puede ser
verdadero o falso.
A las proposiciones o enunciados se les puede asignar un de
los valores 1 si es verdadero o 0 si es falso, por ese
motivo se le denomina lgica bivalente.
Ejemplos
La frase 234 = 234 es un enunciado, puesto que puede
ser verdadero o falso.
Llover maana es una proposicin, para conocer su
valor de verdad tenemos que esperar hasta maana.
El cielo es azul y las rosas son rojas, es un enunciado
compuesto, dado que este contiene dos enunciados: El
cielo es azul y las rosas son rojas
X + 6 98 = 15 es una ecuacin que adquiere un valor de
verdad o falsedad cuando a X se le asignan diferentes valores,
esto se conoce como proposicin condicional
Ejemplos
La frase 234 = 234 es un enunciado, puesto que puede
ser verdadero o falso.
Llover maana es una proposicin, para conocer su
valor de verdad tenemos que esperar hasta maana.
El cielo es azul y las rosas son rojas, es un enunciado
compuesto, dado que este contiene dos enunciados: El
cielo es azul y las rosas son rojas
X + 6 98 = 15 es una ecuacin que adquiere un valor de
verdad o falsedad cuando a X se le asignan diferentes valores,
esto se conoce como proposicin condicional
Actividad Nro. 1
 Tablas de verdad
Es una herramienta
desarrollada por: Charles
Peirce en los aos 1880,
siento sin embargo mas
popular el formato de
LudwingWittgenstein
desarrollo en su Tractatus
lgico-philosophicus.
Tablas de verdad
Son empleadas para
determinar los posibles
valores de verdad de una
expresin o proposicin.
Que son los conectivos lgicos?
Son operadores entre
proposiciones que
permiten construir
proposiciones de mayor
complejidad, en base a
otras proposiciones
simples o atmicas
Conectivos lgicos
Negacin: ~ P
Conjuncin: P ^ Q
Disyuncin: P v Q
Condicional: P -> Q
Bicondicional: P<-> Q
Orden de prioridad
Negacin
Conjuncin
Disyuncin
Condicional
Bicondicional
Negacin (~)
Ley de doble negacin
Proposiciones compuestas
Conjuncin
Disyuncin (OR)
Disyuncin exclusiva (XOR)
Condicional (->)
Equivalencia
Ejemplo
Actividad Nro. 2
Leyes del algebra de proposiciones
Leyes del algebra de proposiciones
Idempotencia
Asociativa
Conmutativa
Distributiva
Identidad
Complemento
D Morgan
Argumentos y reglas de inferencia
Qu es argumento?
Ejemplo
Actividad Nro. 3
Argumentos y reglas de inferencia