Cindy Arely Nava Nava 11 de FEBRERO del 2014

Grupo I4
Profesora: MARIA MANUELA CAMACHO MARINO
MATEMATICAS DISCRETAS
TAREA Numero 1

Fuente: http://www.monografias.com/trabajos4/logica/logica.shtml



LOGICA MATEMATICA
1. Proposiciones
Una proposicion es una expresion ideomatica susceptible a adquirir un valor de verdad, es decir
una idea de la cual tiene sentido decir que es verdadera o falsa.
Es una expresin que deba ser verdadera o falsa pero que no pueda ser ambas.
Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la
vez. La proposicin es un elemento fundamental de la lgica matemtica


Proposiciones abiertas
Existen algunas afirmaciones de las cuales no podemos decir inicialmente si son falsas o
verdaderas por intervenir en ellas una variable; se les llaman proposiciones abiertas, son
expresiones que contienen una variable y que al ser sustituidas dicha variable por un valor
determinado, hace que la expresin se convierta en una proposicin, pero sin alterar el orden.
Dominio de la variable
El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposicin
abierta, lo llamaremos el Dominio de la variable. El conjunto formado por aquellos elementos del
dominio de la variable que hacen verdadera la proposicin abierta p(x), lo llamaremos el conjunto
solucin de la proposicin abierta p(x). ==
Proposicin conjuntiva
A la proposicin que resulta de unir dos proposiciones por medio del conectivo conjuncin ( ), la
llamaremos proposicin conjuntiva; p q, teniendo un valor de verdad verdadero, slo cuando
ambas componentes sean verdaderas, es decir, si al menos una de las componentes es falsa,
entonces la proposicin p q es falsa.

Sean A y B dos conjuntos cualesquiera, entonces definiremos el conjunto A interseccin B, que
anotaremos por A B al conjunto formado por los elementos que pertenecen al conjunto A y al B,
o sea, los elementos que tienen en comn:
A B = { x / x A x B }
Si P es el conjunto solucin de la proposicin p(x) y Q el de la proposicin q(x), entonces el
conjunto solucin de p(x) ( ) q(x) es P Q.
El conjunto vaco que anotaremos es el conjunto que no tiene elementos.
Pudindose anotar: = { x / x A x A }
Proposicin disjuntiva
Para indicar que dos proposiciones estn conectadas con la letra "o" se utiliza el smbolo ,
llamado conectivo disyuntivo. A la proposicin que resulta de unir dos proposiciones por medio
del conectivo disyuncin ( ), la llamaremos proposicin disyuntiva p q. p q tendr un valor
de verdad falso slo cuando ambas componentes sean falsas, es decir, si al menos una de las
componentes es verdadera, entonces p q es verdadera.
Sean A y B dos conjuntos, entonces definimos el conjunto A unin B, que anotaremos por A B al
conjunto formado por todos los elementos que pertenecen al conjunto A o al conjunto B. A B = {
x / x A x B }
Un elemento del resultado puede pertenecer a uno solo de los dos conjuntos o a los dos conjuntos
dados, pero en este caso dicho elemento se considera una sola vez. Si P es el conjunto solucin de
la proposicin p(x) y Q el de la proposicin q(x), entonces el conjunto solucin de p(x) q(x) es P
Q.

2. Conectivos

Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos
valores de verdad, y devuelven un nico valor de verdad. En consecuencia, cada conectiva lgica
puede ser definida mediante una tabla de valores de verdad que indique qu valor devuelve la
conectiva para cada combinacin de valores de verdad. A continuacin hay una tabla con las
conectivas ms usuales y su definicin mediante tablas de verdad:

3. Orden de prioridad de los conectivos
1.

Tautologa
2.

Disyuncin lgica
3.

Condicional material inverso
4.

Proposicin
5.

Condicional material
6.

Proposicin
7.

Bicondicional
8.

Conjuncin lgica
9.

Negacin alternativa
10.

Disyuncin exclusiva
11.

Negacin lgica
12.

Negacin del condicional material
13.

Negacin lgica
14.

Negacin del condicional inverso
15.

Negacin conjunta
16.

Contradiccin

4. Proposiciones Condicionales
Para indicar que dos proposiciones estn conectadas, la primera implicando la segunda se utiliza
el smbolo , llamado conectivo condicional, la primera proposicin es llamada antecedente o
hiptesis y la segunda es consecuente o conclusin. A la proposicin que resulta de unir dos
proposiciones por medio del conectivo condicional, le llamaremos proposicin condicional. p q
tendr un valor de verdad falso solamente cuando el antecedente (p) es verdadero y el
consecuente (q) es falso; en los dems casos diremos que p q es verdadero.
Bicondicionales
A la proposicin que resulta de unir dos proposiciones por medio del conectivo bicondicional ( ),
la llamaremos proposicin bicondicional.
Recordemos que p q significa ( p q ) ( q p ) Si p y q tienen el mismo valor de verdad,
entonces p q es verdadera.
Y si p y q tienen valor de verdad opuestos, entonces p q es falsa.
La proposicin x, p(x) q(x) es verdadera si y solo si P Q y Q P


5. Tautologa y Contradiccin

Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de
sus variables. Un ejemplo tpico es la contrapositiva cuya tabla de verdad se indica a continuacin.


p q p q pq qp (pq)(qp)
0 0 1 1 1 1 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 0 0 1 1 1

Note que en las tautologas para todos los valores de verdad el resultado de la proposicin es
siempre 1. Las tautologas son muy importantes en lgica matemtica ya que se consideran leyes en las cuales nos
podemos apoyar para realizar demostraciones.

1.- Doble negacin.
a). p''p

2.- Leyes conmutativas.
a). (pq)(qp)
b). (pq)(qp)
c). (pq)(qp)

3.- Leyes asociativas.
a). [(pq)r][p(qr)]
b. [(pq)r][p(qr)]

4.- Leyes distributivas.
a). [p(qr)][(pq)(pr)]
b. [p(qr)][(pq)(pr)]

5.- Leyes de idempotencia.
a). (pp)p
b). (pp)p

6.- Leyes de Morgan
a). (pq)'(p'q')
b). (pq)'(p'q')
c). (pq)(p'q')'
b). (pq)(p'q')'

7.- Contrapositiva.
a). (pq)(q'p')

8.- Implicacin.
a). (pq)(p'q)
b). (pq)(pq')'
c). (pq)(p'q)
d). (pq)(pq')'
e). [(pr)(qr)][(pq)r]
f). [(pq)(pr)][p(qr)]


9.- Equivalencia
a). (pq)[(pq)(qp)]

10.- Adicin.
a). p(pq)

11.- Simplificacin.
a). (pq)p

12.- Absurdo
a). (p0)p'


13.- Modus ponens.
a). [p(pq)]q

14.- Modus tollens.
a). [(pq)q']p'

15.- Transitividad del
a). [(pq)(qr)](pr)

16.- Transitividad del
a). [(pq)(qr)](pr)

17.- Mas implicaciones lgicas.
a). (pq)[(pr)(qs)]
b). (pq)[(pr)(qs)]
c). (pq)[(qr)(pr)]

18.- Dilemas constructivos.
a). [(pq)(rs)][(pr)(qs)]
b). [(pq)(rs)][(pr)(qs)]

Contradiccin es aquella proposicin que siempre es falsa para todos los valores de verdad, una de las mas
usadas y mas sencilla es pp . Como lo muestra su correspondiente tabla de verdad.

p p pp
0 1 0
1 0 0
6. Equivalencia de las Proposiciones

Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes. Si coinciden sus
resultados para los mismo valores de verdad. Se indican como p q.

Considero que un buen ejemplo es el que se estableci para ilustrar la tautologa en donde se puede observar
que las columnas de (pq) y (q p ) para los mismo valores de verdad, por lo tanto se puede establecer
que (pq) (q p )


7. Ley de Dualidad

Todo problema de optimizacin (primal), tiene un problema asociado (dual) con numerosas
propiedades que los relacionan y nos permiten hacer un mejor anlisis de los problemas.
A continuacin se describen los resultados que se ocuparan en la resolucin de los
problemas.Bastante en general, para encontrar el dual de un problema lineal:

1. Si es problema de minimizacin el dual ser de maximizacin y viceversa.
2. En el dual habr tantas variables como restricciones 2 en el primal.
3. En el dual habr tantas restricciones como variables en el primal.
4. Los coeficientes de la funcin objetivo del dual vendrn dados por los coeficientes del lado
derecho de las restricciones del primal.
5. Los coeficientes del lado derecho del dual vendrn dados por los coeficientes de la funcin
objetivo del primal.
6. Los coeficientes que acompaaran a las variable en una restriccin del dual correspondern a
aquellos coeficientes que acompaan a la variable primal correspondiente a la restriccin dual 3.
7. Para saber si las restricciones duales son de , = o , se recurre a la tabla de relaciones primal-
dual.
9. lgebra de proposiciones

LEYES DEL ALGEBRA DE PROPOSICIONES
Leyes del Algebra de Proposiciones
Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden demostrar con el
desarrollo de las tablas de verdad del bicondicional. Las leyes del algebra de proposiciones son las
siguientes:

1. EQUIVALENCIA
PP
2. INDEPOTENCIA
PP P
P P P
3. ASOCIATIVA
PQ R (PQ) R P(QR)
PQ R (PQ) R P(QR)
4. CONMUTATIVA
PQ QP
PQ QP
5. DISTRIBUTIVAS
P(QR) (PQ)(PR)
P(QR)(PQ)(PR)
6. IDENTIDAD
PF F
PV P
PF P
PVV
7. COMPLEMENTO
PPF
PPV
(P)P
FV
VF

8. DE MORGAN
(PQ) PQ
(PQ)PQ
9. ABSORCION
P(PQ)P
P(PQ)P