Bienvenido a este sitio web, en donde usted podr consultar temas sobre la

Lgica Matemtica de la Materia Matemticas Discretas para

la Ingeniera en Sistemas Computacionales. Esperamos que al navegar por
este sitio tenga una buena experiencia y que encuentre la informacin que busca.

La lgica matemtica es una parte de la lgica y las matemticas, que

consiste en el estudio matemtico de la lgica y en la aplicacin de
este estudio a otras reas de las matemticas. La lgica matemtica
tiene estrechas conexiones con la ciencias de la computacin y la
lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el
modo en el que codifican nociones intuitivas de objetos matemticos
como conjuntos, nmeros, demostracionesy computacin.

Para empezar a buscar los temas y sub-temas vaya al Men que estn a su
derecha y de clic en el que sea de su inters

Puede buscar algo en especifico poniendo una palabra clave en el buscador

que esta en la pestaa BUSCAR

Podr ver los meses en los que se han aadido nuevos conceptos

*El objetivo de esta pagina es que usted tenga una grata experiencia al navegar por
esta sencilla interfaz y encuentre los temas que busca de una forma fcil y rpida.*

Publicado en INICIOEtiquetadolgica matemtica

PREGUNTAS Y SUGERENCIAS
oct

25

Deja un comentarioPublicado

en Preguntas y Sugerencias

APLICACIN DE LA LGICA
MATEMTICA EN LA COMPUTACIN
oct

25
LGICA COMPUTACIONAL
Es la misma lgica matemtica aplicada al contexto de las ciencias de la
computacin. Su uso es fundamental a varios niveles: en los circuitos
computacionales, en la programacin lgica y en el anlisis y optimizacin (de
recursos temporales y espaciales) de algoritmos.
CIRCUITOS COMPUTACIONALES

El nivel menos abstracto dentro de una computadora est constituido por circuitos
electrnicos que responden a diferentes seales elctricas, siguiendo los patrones
de la lgica booleana; esto es, compuertas lgicas que devuelven un valor
dependiendo de las entradas que se le dan al sistema. Existen ocho compuertas
lgicas bsicas con las cuales se pueden formar sistemas muy complejos: AND, OR,
Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas son representadas
mediante un smbolo y una tabla de valores de verdad, que es simplemente un
cuadro donde se ubican todas las posibles entradas y los valores que devolvera la
compuerta dados dichos valores.

Todo sistema computacional, por muy complejo que sea, no est compuesto por
ms que circuitos electrnicos que nicamente entienden un lenguaje binario. La
lgica computacional se encarga de modelar y optimizar tales sistemas a este nivel.

Publicado en 3.5 APLICACIN DE LA LGICA MATEMTICA EN LA

COMPUTACINEtiquetadoAPLICACIN DE LA LGICA MATEMTICA
EN LA COMPUTACIN

INDUCCIN MATEMTICA
oct

24

La induccin es un razonamiento que permite demostrar una infinidad de

proposiciones, o una proposicin que depende de un parmetro n que toma una
infinidad de valores, usualmente en el conjunto de los enteros naturales N.
EJEMPLO
Demostraremos que:
1+2+3++n = n(n+1), n perteneciente a los naturales (*)
2
1= 1(1+1). Por lo tanto 1 satisface la proposicin (*)
2
Supongamos valida la proposicin (*) para k perteneciente a los Naturales, es decir
supongamos que:
1+2+3++k = k (k+1). (Hiptesis de induccin).
2
Demostremos que k 1 tambin satisface la proposicin (*), es decir, demostremos
que:
1+2+3++k+(k+1) = (k+1)(k+2).
2
Demostracin:
(1+2+3+.+k)+(k+1) = k(k+1) + (k+1)
2

= k(k+1)+2(k+1)
2
= (k+1)(k+2)
2
Ejemplo:
Demuestre usando induccin que:
2 + 4+ 6 + 8+.+ 2n = n (n+1)
n
2 i = n (n+1)
i =1
n=1
1
2*1 = 1(1+1)
i =1
= 1*2
=2
Suponer valido para n = k
k
2i = k (k+1) Esto es la hiptesis
i =1
Demostrar para n = k+1

K+1
2i = (k+1) (k+2)
i =1
k+1 k
2i = 2i + 2(k+1)
i =1 i =1
= k (k+1) + 2(k+1)
= (k+1) (k+2)

Publicado en 3.4 INDUCCIN MATEMTICAEtiquetadoINDUCCIN

MATEMTICA

LGEBRA DECLARATIVA
oct

24

Lo que algunos llaman lgebra declarativa no es otra cosa que el lgebra

proposicional, o sea, la estructura algebraica que se forma con expresiones
utilizando los conectivos lgicos.
Empezaremos por definir formalmente cmo se construye una frmula en lgica.
Una expresin sintcticamente correcta se le llama frmula bien formada (fbf) o
simplemente frmula y su definicin es:
Una frmula en lgica de proposiciones se obtiene al aplicar una ms veces las
siguientes reglas:
(B) si p es una proposicin lgica, es una fbf.
(R) si F es una frmula bien formada (fbf) tambin lo es (F).

(R) si p,q son fbf entonces tambin lo es (p*q) donde * es uno de los operadores
binarios, ^ v .
Las proposiciones p q y ~ (p ~ q) son equivalentes, como vemos realizando la
tabla de valores correspondientes:

(p ~
q)

~(p ~
q)

p q ~(p ~ q)

pq

Cmo simplificar en lgica?

Hay que utilizar equivalencias lgicas.
Por ejemplo, simplificar: ( p ^ q ) ^ q.
Para esto utilizamos las siguientes equivalencias lgicas:
( A ^ B ) ^ C <=> A^(B ^C)
A ^ A <=> F
A ^ F <=> F
( p ^ q ) ^ q <=> F

Se puede observar que no existe distincin entre la equivalencia lgica y el esquema

que la genera.
Ejemplo
Demostrar que una vez que p ^ q esta establecida, se puede concluir q.
Esta demostracin se puede hacer de dos formas:
A) Se demuestra que p ^ q q es una tautolgica, es decir p ^ q <=> q.
Demostracin
p V q V q <=> V
B) Se demuestra que ( p ^ q ) ^ q <=> F lo que nos lleva a que ( p ^ q ) ^ q F
debe ser una tautolgica

Publicado en 3.3 LGEBRA DECLARATIVAEtiquetadoLGEBRA

DECLARATIVA

Representacin y evaluacin
de predicados
oct

24

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.
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.

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.

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 . . .

ejemplos de predicados cuantificados:

X, [nio (X) => le_gusta (X, helados)].
Y, [mamfero (Y) => nace (Y, vivo)].
$ Z, [cartero(Z) ^ mordi (boby, Z)].

VIDEO TUTORIAL

Publicado en 3.2.2 Representacin y evaluacin de

predicadosEtiquetadoRepresentacin y evaluacin de predicados

Cuatificadores
oct

24

Cuantificadores
En lgica, teora de conjuntos y matemticas en general, los cuantificadores son
smbolos utilizados para indicar cuntos elementos de un conjunto dado cumplen
con cierta propiedad.
El cuantificador universal indica que algo es cierto para todos los individuos.
Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero
para todos los posibles valores de x, escribiremos (x) A.
Cuantificador Existencial
La cuantificacin existencial de P(x) Es la proposicin en que existe un
elemento x en el universo de discurso tal que P(x) es verdad.
Se denota con el smbolo x y se lee de las siguientes maneras: hay un x tal
que), hay al menos un x tal que o para algn x.
EJEMPLOS:
Todos los humanos respiran
( x) (H(x) R(x)) donde el predicado H significa humanos, R respiran y x es
un elemento de un dominio general que podra ser el de las personas o cualquier
subconjunto deseado.

Todos los alumnos son estudiosos

( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un

elemento de un dominio general que podra ser el de las personas o cualquier
subconjunto deseado.

Publicado en 3.2.1 CuantificadoresEtiquetadoCuatificadores

CREDITOS
oct

24
CREADORES DEL SITIO
HERNANDEZ NUEZ HECTOR JESUS
GARCIA RAMIREZ ALEJANDRO IVAN
LARA MARIN VICTOR
AGUIRRE RAMIREZ EDUARDO
TINOCO SAENZ RICARDO

LIBROS RELACIONADOS
MATEMATICAS DISCRETAS
Richard Johnsonbaugh
cuarta edicion
prentice hall

MATEMTICAS DIGITAL
Carlos Barco Gomez
German Barco Gomez
William Aristizabal Botero
McGrawHill

LGICA MATEMATICA
Jose Ferrater Mora
Hugues Leblanc

LIGAS DE PAGINAS WEB DE CONSULTA

http://www.monografias.com/trabajos/iartificial/pagina4_2.htm
http://www.mitecnologico.com/Main/EquivalenciaLogica
http://www.mitecnologico.com/Main/ArgumentosValidosYNoValidos

CANALES DE YOUTUBE EN DONDE SE ENCUENTRAN LOS VIDEOS

m9miguel1
31bogotano
MIPROFEoCOMoMX
alejitavacca
UTPL Videoconferencias LOJA EC

Publicado en CREDITOS

Tautologas, contradiccin
y contingencia

oct

18

Tautologa: Son aquellas frmulas que son ciertas para cualquier valoracin de
los smbolos proposicionales que contiene
Contradiccin: Son aquellas frmulas que son falsas para cualquier valoracin
de los smbolos proposicionales que contiene
Contigencia: Son aquellas frmulas cuyo valor de verdad o falsedad depende de la
valoracin de los smbolos proposicionales que contiene.

MAPA CONCEPTUAL HECHO EN PREZI

http://prezi.com/ivwpgshwihm7/tautologias-contradiccion-y-contigencia/

Publicado en 3.1.4 Tautologas, contradiccin y

contingenciaEtiquetadocontradiccin y contingencia, Tautologas

Tablas de Verdad
oct

18

Para empezar debemos de conocer los Smbolos de las conectivas:

NEGACION: ,

se lee No es cierto que

CONJUNCION:^,

se lee y

DISYUNCION: v,

se lee o

CONDICIONAL: ,

se lee si entonces

BICONDICIONAL: ,

se lee si y solo si

la negacin es una conectiva lgica que transforma un enunciado en su

opuesto lgico y se le llama conectiva singular porque se aplica sobre un solo
enunciado

Tabla de Verdad Negacin

la conjuncin es una conectiva lgica que enlaza dos enunciados dando

como resultado una frmula que ser verdadera solamente cuando sus
enunciados componentes son verdaderos

Tabla de verdad conjuncin

la disyuncin es una conectiva lgica que enlaza dos enunciados dando como
resultado una frmula que ser verdadera solamente cuando al menos uno
de sus enunciados componentes es verdaderos, siendo falsa cuando ambos
son falsos

Tabla de Verdad Disyuncin

la condicional es una conectiva lgica que enlaza dos enunciados dando

como resultado una frmula que ser verdadera cuando el segundo

enunciado sea verdadero o tenga el mismo valor de verdad que el primero. al

primer enunciado involucrado se le llama antecedente y al segundo se le
llama consecuente

Tabla de Verdad Condicional

la doble condicional o bincondicional es una conectiva lgica que enlaza dos

enunciados dando como resultado una frmula que ser verdadera
solamente cuando sus enunciados componentes tienen el mismo valor de
verdad

Tabla de Verdad Bicondicional

VIDEO TUTORIAL

Publicado en 3.1.3 Tablas de VerdadEtiquetadoTablas de Verdad

Proposiciones compuestas
(Disyuncin, Conjuncin, Negacin,
Condicional, Bicondicional)
oct

18
DISYUNCIN

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente

los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas
lo son, y falso cuando ambas son falsas.

Tabla de verdad de la disyuncin

(Ir a 3.1.3 Tablas de Verdad)

p v q (se lee: p o q)
EJEMPLOS:
p = El numero 2 es par
q = la suma de 2 + 2 es 4
entonces
pvq: El numero 2 es par o la suma de 2 + 2 es 4

p = La raz cuadrada del 4 es 2

q = El numero 3 es par
entonces
pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente

los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

Tabla de verdad de la conjuncin

(Ir a 3.1.3 Tablas de Verdad)

p ^ q (se lee: p y q)
EJEMPLOS:
p = El numero 4 es par
q = Siempre el residuo de los nmeros pares es 2
entonces
p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es 2

p = El numero mas grande es el 34

q = El triangulo tiene 3 lados

entonces
p^q: El numero mas grande es el 34 y El triangulo tiene 3 lados

NEGACIN

La negacin es un operador que se ejecuta. sobre un nico valor de verdad,

devolviendo el valor contradictorio de la proposicin considerada.

Tabla de verdad de Negacin

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS

p: 4 + 4 es igual a 9
-p: 4 + 4 no es igual a 9

p: El 4 es un numero par
-p: El 4 no es un numero par

CONDICIONAL

El condicional material es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa,
yverdadero en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces
q, se representa por p q

Tabla de Verdad Condicional

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS
p: llueve
q: hay nubes
pq: si llueve entonces hay nubes

p: Hoy es mircoles
q: Maana ser jueves
pq: Si Hoy es mircoles entonces Maana ser jueves

BICONDICIONAL

El bicondicional o doble implicacin es un operador que funciona sobre dos valores

de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad difieren.

Tabla de Verdad Bicondicional

(Ir a 3.1.3 Tablas de Verdad)

EJEMPLOS
p: 10 es un nmero impar
q: 6 es un nmero primo
pq: 10 es un nmero impar si y solo si 6 es un nmero primo

p: 3 + 2 = 7
q: 4 + 4 = 8
pq: 3 + 2 = 7 si y solo si 4 + 4 = 8

VIDEO TUTORIALES:

Publicado en 3.1.2 Proposiciones compuestas (Disyuncin, Conjuncin,

Negacin, Condicional,
Bicondicional)EtiquetadoBicondicional), Condicional, Conjuncin,Negaci
n, Proposiciones compuestas (Disyuncin

CONCEPTO DE PROPOSICIN

oct

18

Es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa.

Expresin verbal que afirma o niega algo.

Secuencia finita de signos con significado y sentido de ser calificado como

verdadero o falso.

Expresin lingstica susceptible de ser calificada de verdadera o falsa. hace

referencia explicita a las oraciones aseverativas o enunciativas.

EJEMPLOS:
CIERTOS

La raz cuadrada de 4 es 2.

Los bebes lloran.

Un cuadrado tiene 4 lados.

FALSOS

Todos los carros tiene 2 ruedas.

20 + 20 = 20.

Ningn hombre sabe leer.

Publicado en 3.1.1 Concepto de proposicinEtiquetadoCONCEPTO DE

PROPOSICIN

LGICA PROPOSICIONAL

oct

18

En lgica, la lgica proposicional es un sistema formal diseado para analizar

ciertos tipos de argumentos. En lgica proposicional, las frmulas
representan proposiciones y las conectivas lgicas son operaciones sobre dichas
frmulas, capaces de formar otras frmulas de mayor complejidad. Como otros
sistemas lgicos, la lgica proposicional intenta esclarecer nuestra comprensin de
la nocin de consecuencia lgica para el rango de argumentos que analiza.

VIDEO TUTORIALES

Publicado en 3.1 LGICA PROPOSICIONALEtiquetadolgica

proposicional
TEMAS

3.1 LGICA PROPOSICIONAL

3.1.1 Concepto de proposicin

3.1.2 Proposiciones compuestas (Disyuncin, Conjuncin,

Negacin, Condicional, Bicondicional)

3.1.3 Tablas de Verdad

3.1.4 Tautologas, contradiccin y contingencia

3.1.5 Equivalencias Lgicas

3.1.6 Reglas de inferencia

3.1.7 Argumentos vlidos y no vlidos

3.1.8 Demostracin Formal (Directa, Por contradiccin)

3.2 LGICA DE PREDICADOS

3.2.1 Cuantificadores

3.2.2 Representacin y evaluacin de predicados

3.3 LGEBRA DECLARATIVA

3.4 INDUCCIN MATEMTICA

3.5 APLICACIN DE LA LGICA MATEMTICA EN LA

COMPUTACIN
Archivos

octubre 2011

CALENDARIO

octubre 2015
L

oct

1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31
ITM MATEMTICAS DISCRETAS ISC

BUSCAR

Blog de WordPress.com. | El tema Quintus.

Seguir

Seguir MATEMTICAS DISCRETAS-UNIDAD 3-LGICA

MATEMTICA
Recibe cada nueva publicacin en tu buzn de correo electrnico.
Suscrbeme

Construye un sitio web con WordPress.com