Anda di halaman 1dari 91

MATEMATICAS DISCRETAS

ING. INELDA MARTILLO A. MGS.


DA 1

Asignatura: Matemticas Discretas
1. DATOS GENERALES
FACULTAD INGENIERA
CARRERA INGENIERA EN
SISTEMAS
COMPUTACIONALE
S
REA MATEMTICAS
CICLO 1
SEMESTRE A 2013
PARALELO
HORAS SEMANALES 4 H
NMERO DE CRDITOS 4
NIVEL CURRICULAR BSICO X
BSI
CO
ESP
ECF
ICO
PRE
PROFE
SIONA
L
CAMPO DISCIPLINAR
PROFESIONAL
HUMANSTICO
INVESTIGATIVO
PROFESOR(A) ING. INELDA MARTILLO ALCIVAR
6. RESULTADOS DEL APRENDIZAJE
El estudiante al final del semestre :
Define, reconoce y utiliza las proposiciones, uso de
conectivos, tabla de verdad, condicionales, tautologas,
a travs de los circuitos lgicos que puedan plantear.
Identifica conjuntos y relaciones, operaciones de
conjuntos, dominios y rangos, funciones, operaciones
de funciones, principios de induccin matemtica,
sistemas algebraicos y los representa por medio de
lenguaje matemtico y de una representacin grfica
donde finalmente identifica sus propiedades.
7. ESTRUCTURA DE LA ASIGNATURA POR UNIDADES
UNIDAD OBJETIVOS RESULTADOS DEL APRENDIZAJE
I. LOGICA MATEMATICA Traducir proposiciones del lenguaje formal al lenguaje corriente y del
lenguaje corriente al formal
Identificar condiciones necesarias y suficientes en los razonamientos
Reconocer las leyes del algebra preposicional y aplicarlas
Analizar las validez de razonamientos utilizando las leyes de inferencia
Demostrar equivalencias de formas preposicionales, usando propiedades
Obtener el valor de verdad de proposiciones abiertas
Determinar el valor de verdad de preposiciones abiertas
Determinar el valor de verdad de preposiciones en cuantificadores
Obtener la negacin de preposiciones con cuantificadores
Obtener la negacin de preposiciones con cuantificadores
Dando un circuito representado simblicamente
Usando las leyes de equivalencia simplificar un circuito dado y hacer su
esquema
Traduce proposiciones del lenguaje formal al lenguaje corriente y
del lenguaje corriente al formal
Identifica condiciones necesarias y suficientes en los
razonamientos
Reconoce las leyes del algebra preposicional y aplica
Analiza las validez de razonamientos utilizando las leyes de
inferencia
Demuestra equivalencias de formas preposicionales, usando
propiedades
Obtiene el valor de verdad de proposiciones abiertas
Determina el valor de verdad de preposiciones abiertas
Usa leyes de equivalencia simplificar un circuito dado y hacer su
esquema
II.CONJUNTOS Y RELACIONES Reconocer conjuntos
Obtener el conjunto de partes de un conjunto dado
Definir las operaciones sobre conjuntos
Aplicar y graficar las propiedades del algebra de conjuntos
Demostrar propiedades del producto cartesiano
Representar grficamente el producto cartesiano de dos y tres subconjuntos
de R
Definir una relacin
Representar una relacin en un cuadro de doble entrada
Representar una relacin de un grafico cartesiano e identificar las
propiedades
Obtener el dominio y rango de una relacin
Obtener la composicin de relaciones dadas
Dada una relacin, demostrar si es de equivalencia
Dada una relacin, demostrar si es de orden
Definir conjunto cociente
Dado un conjunto y una relacin de equivalencia, encontrar la participacin
del conjunto en sus clases
Dada la participacin de un conjunto en clases, definir la relacin que
produjo dicha particin
Obtener las clases de congruencia mdulo n en Z
Definir elemento mnimo y elemento mximo
Dado un conjunto y una relacin determinar si est parcialmente ordenado
Dado un conjunto y una relacin, hacer el diagrama de Hasse
Reconoce conjuntos
Define las operaciones sobre conjuntos
Aplica y grafica las propiedades del algebra de conjuntos
Demuestra propiedades del producto cartesiano
Representa grficamente el producto cartesiano de dos y tres
subconjuntos de R
Define una relacin
Representa una relacin en un cuadro de doble entrada
Representar una relacin de un grafico cartesiano e identificar las
propiedades
Obtiene el dominio y rango de una relacin
Obtener la composicin de relaciones dadas
III. FUNCIONES NUMEROS
NATURALES Y CARDINALIDAD
Al finalizar el siguiente captulo el alumno ser capaz de:
Definir una relacin funcional
Obtener la imagen directa e inversa de un conjunto por una
funcin
Demostrar propiedades de las funciones
Aplicar los conceptos de inyectividad y sobreyectividad
Definir concepto de conjunto de funciones
Enunciar y demostrar propiedades de la funcin caracterstica
Dada una funcin, demostrar si es la restriccin de otra dada
Dada una operacin binaria sobre un conjunto, demostrar si se
cumple propiedades previamente especificadas
Definir una operacin unaria sobre un conjunto
Definir operaciones externas sobre un conjunto. Dar ejemplos
concretos
Obtener los nmeros naturales axiomticamente a partir de los
axiomas de Peano
Explicar el principio de induccin matemtica
Aplicar el principio de induccin matemtica en la
demostracin de propiedades sobre N
Dar ejemplos de conjuntos numerables y no numerables
Demostrar que Z es numerable
Demostrar que Q es numerable
Demostrar que N x N es numerable
Demostrar que dos intervalos cualquiera de R son equipotentes
Define una relacin funcional
Obtiene la imagen directa e inversa de un conjunto por una
funcin
Demuestra propiedades de las funciones
Aplica los conceptos de inyectividad y sobreyectividad
Define concepto de conjunto de funciones
Enuncia y demuestra propiedades de la funcin caracterstica
IV. ESTRUCTURAS ALGEBRAICAS Dada una operacin sobre conjunto, demostrar si tal operacin
es cerrada, tiene neutro, es conmutativa, es asociativa, etc.
Dados dos sistemas algebraicos, por ejemplo de tablas analizar
si existe un homomorfismo
Dar las definiciones de las estructuras algebraicas definidas
Dado un conjunto y una operacin, demostrar segn las
propiedades que cumpla de que estructura se trata
Realizar la tabla de cualquier grupo Zn, establecer si tal grupo
es cclico y cules son sus generadores
Realizar problemas con el grupo de simetras y el grupo de
permutaciones
Establecer isomorfismo de grupos y anillos
Demuestra si la operacin es cerrada, tiene neutro, es
conmutativa, es asociativa, etc.
Realiza problemas con el grupo de simetras y el grupo de
permutaciones
Establece isomorfismo de grupos y anillos
Qu es el
Razonamiento?
Operacin mental por la cual a partir de una
o varias premisas se deduce una nueva
premisa, tambin llamada conclusin.
Premisas:
a) Cristian es mayor que Vernica
b) Vernica naci dos aos antes que
Silvana.
Conclusin: Cristian es mayor que Silvana
Qu es la Lgica?
Es el anlisis formal de los razonamientos,
es decir si la conclusin del razonamiento
deriva de una secuencia lgica de las
premisas que la fundamentan.
Premisas:
a) Cristian es mayor que Vernica
b) Vernica naci dos aos antes que
Silvana.
Conclusin: Cristian es mayor que Silvana
La conclusin es Verdadera o Falsa?
Divisin de la Lgica
L
O
G
I
C
A

G
E
N
E
R
A
L
Lgica
Dialctica
Lgica
Formal
(Lgica Matemtica)
Estudia el contenido
Estudia la forma
Lgica
Proposicional
Qu es una Proposicin?
Es toda frase con sentido completo y que
puede ser valorada como verdadera o falsa.
Una proposicin puede identificarse a travs
de una variable proposicional (letras
minsculas)
Ejemplos: Variables Proposicionales
Letras minsculas de la p a la z
p: Los perros siempre tienen tres patas.
q: Miriam se casar con Ricardo.
Clases de proposiciones
Existen dos clases de proposiciones:
Proposiciones simples (no usan operadores
lgicos)
Proposiciones compuestas (si usan
operadores lgicos)
Ejemplos:
Juan juega en el patio (proposicin simple)
Juan juega en el patio y Carlos en el
Jardn (proposicin compuesta)
Operadores Lgicos
Son trminos funcionales que enlazan las
proposiciones simples para formar
proposiciones compuestas.
Mondicos
Didicos
Negador
Conjuntor
Disyuntor Dbil
Disyuntor Fuerte
Implicador
Replicador
Biimplicador
1.- Negador
Cambia el valor de verdad de una
proposicin simple.
~
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemtica
Aplicando el operador lgico resulta:
~p: Ricardo no juega en el patio
~q: Es falso que Eduardo estudia matemtica
2.- Conjuntor
Afirma que las dos proposiciones son
verdaderas.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemtica
Aplicando el operador lgico resulta:
pq: Ricardo juega en el patio y Eduardo
estudia matemtica.
qp: Eduardo estudia matemtica mientras
que Ricardo juega en el patio.

3.- Disyuntor dbil
Afirma que una o ambas proposiciones
pueden ser verdaderas.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemtica
Aplicando el operador lgico resulta:
pq: Ricardo juega en el patio o Eduardo
estudia matemtica.
qp: Eduardo estudia matemtica a menos
que Ricardo juege en el patio.

4.- Disyuntor fuerte
Afirma que slo una de las proposiciones
puede ser verdadera.

Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemtica
Aplicando el operador lgico resulta:
pq: O Ricardo juega en el patio o Eduardo
estudia matemtica.
rs: En el ltimo clsico gan Alianza
o gan Universitario
5.- Implicador
Indica una relacin de causa-efecto.
La proposicin de la izquierda condiciona a
la de la derecha.
Admite ms de un condicionante.

Ejemplo:
p: Eduardo estudia matemtica
q: Eduardo juega en el patio
Aplicando el operador lgico resulta:
pq: Si Eduardo estudia matemtica
entonces Eduardo jugar en el
patio.
6.- Replicador
Indica una relacin de efecto-causa
La proposicin de la derecha condiciona a
la de la izquierda.
Admite ms de un condicionante.

Ejemplo:
p: Eduardo estudia matemtica
q: Eduardo juega en el patio
Aplicando el operador lgico resulta:
pq: Eduardo jugar en el patio
siempre
que estudie matemtica
7.- Biimplicador
Indica una relacin de causa-efecto.
La proposicin de la izquierda condiciona a
la de la derecha.
Slo admite una y slo una condicionante.
Ejemplo:
p: Eduardo estudia matemtica
q: Eduardo juega en el patio
Aplicando el operador lgico resulta:
pq: Si y solo si Eduardo estudia matemtica
entonces jugar en el patio.

DA 2

Se dice que son proposiciones todas aquellas expresiones o
son verdadedras o son falsas, u no pueden tener
ambiguedades es decir un termino medio entre si y no.
PROPOSICIONES
a: Juan viene a comer
b: Pedro se queda en casa
Juan viene a comer y Pedro se queda en casa.
a^b
a: Rodrigo juega bsquet
b: Wilson observa el partido

Rodrigo juega bsquet si Wilson observa el partido
a b
Para armar oraciones matematicas logicas vamos a necesitar siempre
partir de expresiones que sean proposiciones, es decir que sean
verdaderas o falsas.
Como la gramatica castellana , la gramatica matematica necesita tener
sentido y expresar de forma concreta una oracion, es decir necesita
unirse mediante terminos logicos que le den sentido y que expresen
una idea completa lo que se quiere expresar
. Para ello nos valemos de denominados conectores que no son otra
cosa que la union que se hace de frases para expresar una idea, los
principales conectores u operadores logicos son:
CONECTORES


= Negacin
^ = Y (conjuncin)
= (disyuncin exclusiva)
v = O (disyuncin)
= entonces(condicional)
= si y solo si(bicondicional)


Este operador condicional se lo conoce tambin como enunciacin
hipottica o implicacin; relaciona dos proposiciones a la primera se
la conoce como antecedente, hiptesis o premisa y a la segunda se
la conoce como consecuente, tesis o conclusin, el valor de verdad
de su resultante ser falso cuando el antecedente sea verdadero y
su consecuente sea falso.
Ejemplo:
Si llueve, entonces voy al cine.
Voy al cine si llueve.
Cuando llueve, voy al cine.
Tabla de verdad

CONDICIONAL
a B a b
0 0 1
0 1 1
1 0 0
1 1 1
Este operador tambin se lo conoce como doble implicacin; la
proposicin resultante ser verdadera cuando los valores de verdad
en ambas proposiciones sean iguales.
Y se representa por el smbolo
Tabla de verdad
BICONDICIONAL
a b a b
0 0 1
0 1 0
1 0 0
1 1 1
a b a ^ b
0 0 0
0 1 0
1 0 0
1 1 1
TABLAS DE VERDAD
a b a v b
0 0 0
0 1 1
1 0 1
1 1 1
a B a b
0 0 1
0 1 1
1 0 0
1 1 1
a b a b
0 0 1
0 1 0
1 0 0
1 1 1
a b a b
0 0 0
0 1 1
1 0 1
1 1 0
Conjuncion
Proposiciones:
A: Obtengo buenas notas.
B: Gano una beca.
C: Trabajo mucho.
D: Recibo un sueldo bajo.
Disyuncion inclusiva
A: Tengo un libro de matematicas.
B: Tengo un libro de ingles.
Disyuncion exclusiva
A: Estoy en quito.
B: Estoy en guayaquil.
Condicional.
A: Pedro gana un concurso.
B: Pedro dona $10.000 .
Bicondicional
A: Es un triaungulo equilatero.
B: Es un triangulo equiangulo.
EJERCICIOS
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.
INFERENCIA LGICA
Se lo representa por el smbolo , no es un conectivo lgico, es un signo de relacin

Se dice que un esquema A implica a otro esquema B, cuando al unirlos por la
condicional nos da una tautologa. Simblicamente se lo representa as: A B.

Si la proposicin compuesta A implica a la proposicin compuesta B, entonces B se
deduce necesariamente de A, o tambin se dice que B se infiere lgicamente de A.

Ejemplo: Demostrar que el esquema A implica a B

A: p . q
B: p v q

Luego unimos con la condicional y construimos la tabla:
p . q p v q

p q p . q p v q
V
V
F
F
V
F
V
F
V
F
F
F
V
V
V
V
V
V
V
F
Como el resultado es una tautologa,
se ha demostrado que A implica a B.

Nota: la relacin de implicacin no
es recproca.
Como el resultado es una tautologa,
se ha demostrado que A implica a B.

Nota: la relacin de implicacin no
es recproca.

EQUIVALENCIAS LGICAS

Se lo representa por pero no es un operador lgico.

Decimos que dos proposiciones compuestas P y Q son equivalente, s al unir las
dos con la bicondicional nos da una tautologa, es decir que P y Q tienen los
mismos valores de verdad en su operador principal. Simblicamente se escribe as:

P Q P Q Se lee P es equivalente a Q Q es equivalente a P.

Si no son equivalentes se los escribe as: P Q
Si P y Q son equivalentes, entonces Q se deduce vlidamente a partir P, y a la vez
tambin P se deduce necesariamente a partir de Q.
Para demostrar que una proposicin compuesta es equivalente a otra, se lo puede
hacer por medio de las tablas de verdad o por medio de las leyes y reglas de
inferencia que veremos a continuacin.

A los esquemas moleculares compuestos se los representa con las letras
maysculas A, B, C,.. etc. con P, Q, R, etc.
Ejemplos:

Determinar si las proposiciones siguientes son equivalentes, por
medio de la tabla de verdad:

A : Si Pedro aprob el curso preuniversitario, entonces ingres a la
UNL.
Simblicamente: p q

B: No es el caso que: Pedro apruebe el curso preuniversitario y no
ingrese a la UNL

Simblicamente : ( p . q )

Luego demostramos que: p q ( p . q )
Seguidamente para demostrar que estos dos esquemas son
equivalentes, los unimos con la bicondicional as: ( p q ) ( p
. q ) y construimos una tabla de verdad:

Dado que el resultado de la tabla es una tautologa,
las proposiciones A y B son equivalentes.
Otro Ejemplo:

P: q p ; Q: ( q . p )

p q ( p q ) ( p . q )
V
V
F
F
V
F
V
F
V
F
V
V
V
V
V
V
V
F
V
V
F
V
F
F
p q ( q p ) ( q . p )
V
V
F
F
V
F
V
F
F
V
V
V
1
V
V
V
V
F
V
V
V
3
V
F
F
F
2
Aqu observamos que la columna 1 y 3 de los operadores principales de
las proposiciones P y Q son iguales, por lo tanto son equivalentes.

Tambin las proposiciones P y Q son equivalentes porque al unirlas con
la bicondicional nos dio una tautologa.

Ejercicios: Demostrar que los siguientes esquemas
moleculares son equivalentes

[ p . ( q v r ) ] [ ( p . q ) v ( p . r )|

| p v ( q . r ) ] | ( p v q ) . ( p v r )|

( p . ( q . r) (p . q ) . r

(p v (q v r) (p v q) v r

( p . q ) ( p v q )

( p v q ) ( p . q )

LEYES DEL LGEBRA
PROPOSICIONAL
En lgica, las tautologas son conocidas con el
nombre de leyes o principios lgicos. A
continuacin anotamos las principales leyes que
vamos a utilizarlos en el futuro y que usted de
familiarizarse:

L- 1: Leyes de Idempotencia para . y para v

Si p es una proposicin simple o compuesta,
entonces:
(p v p) p
(p . p) p

Segn estas leyes, las proporciones ( p v p) o (p
. p) pueden sustituirse por p.
L 2: Leyes de Identidad para . y para v

Si p es una proposicin simple o compuesta, entonces:

p v ( V ) ( V ); es decir, cuando formamos la disyuncin de
una proporcin p, cuyo valor de verdad es desconocido,
con otra cuyo valor de verdad de ( V ), el resultado es ( V ),
ya que la disyuncin es ( V ) cuando al menos una de las
proposiciones dadas es verdadera.

p v ( F ) p; es decir, el valor de verdad de la disyuncin de
una proposicin p, cuyo valor de verdad no conocemos,
con otra cuyo valor de verdad es ( F ), depende del valor de
p.

p . ( V ) p; en este caso el anlisis es similar a la parte b),
teniendo en cuenta que aqu el conector es

p . ( F ) ( F ); el anlisis es similar al de la parte a), teniendo
en cuenta aqu que el conector es .
L- 3: Leyes Conmutativas . y para
v

Si p y q son proposiciones, entonces:

( p v q ) ( q v p )
(p . q ) (q . p), es decir, dos
proporciones conectadas con v .
pueden escribirse en cualquier orden.

L - 4: Leyes Asociativas

Si p, q, , son proposiciones
cualesquiera, entonces:

( p . ( q . r) (p . q ) . r
(p v (q v r) (p v q) v r

L 5: Leyes Distributivas:

Si p, q, r son proposiciones cualesquiera,
entonces.

[ p . ( q v r ) ] [ ( p . q ) v ( p . r )|
| p v ( q . r ) ] | ( p v q ) . ( p v r )|

Estas leyes son similares a las que conocemos en
el lgebra para la suma y la multiplicacin.
Recordemos que:

4( x + y ) = (4x) + ( 4y)

L 6: Ley de la Doble Negacin:

Si p es una proposicin simple
cualquiera, entonces:
( p ) p

Al negar dos veces una proposicin
obtenemos una afirmacin.

L 7: Ley del Tercer Excluido:

Si p es una proposicin cualesquiera,
entonces:
( p v p) ( V )

Esta propiedad establece que independientemente
del valor de verdad que tenga p, la proposicin:
(p v p) siempre es verdadera. Por tanto, en un
esquema lgico complejo podemos reemplazar
(p v p), (q v q), (r v r), (a b) v (a
b), etc., por (v).


L 8: Ley de Contradiccin:

Si p es una proposicin
cualesquiera, entonces:
( p . p ) ( F )

Esquemas como (p . p), (q . q), (r
. r) pueden remplazarse por (F)

L 9: Leyes de De Morgan:

Si p, q son proposiciones simples o compuestas,
entonces:
( p . q ) ( p v q )
( p v q ) ( p . q )


Estas leyes nos indican cmo negar una disyuncin y una
conjuncin. La parte: a) establece que para negar una
conjuncin es necesario cambiar la conjuncin por
disyuncin (. por v) y negar las proposiciones dadas.

La parte b) establece que para negar una disyuncin
debemos cambiar la disyuncin por la conjuncin (la .
por v) y negar las proposiciones dadas.

Ejemplo:
Negar la proposicin: 7 es un nmero primo
y 30 es divisible por 5.
Solucin:
Cambiamos y por o y negamos las
proposiciones simples que forman el
enunciado, as:

7 no es un nmero primo o 30 no es
divisible por 5.

L 10: Ley de la condicional:

Usando tablas de verdad podemos
verificar que: p q equivale a p v
q .
La proposicin p q es una
abreviacin de la proposicin p v q;
es decir:
( p q ) ( p v q)
NOTA: Son muchos los esquemas lgicos
que ofrecen alguna complejidad y
pueden simplificarse utilizando esta
definicin alterna del condicional.

Ejemplo 1:
Escribamos sin condicional las proposiciones
siguientes:

( p . q) r
p ( q v )
p q


SOLUCIN:
| (p . q ) r ] ( p . q ) v r
| p ( q v r ) ] p v ( q v r )
( p q ) ( p ) v q p v ( q )

Ejemplo 2:
Escribamos una proposicin
equivalente a:
Si X es par entonces x es divisible por
2

SOLUCIN:
Usando la definicin alterna de la
implicacin tenemos:
x no es par o x no es divisible por 2

Ejemplo 3:
Comprobemos que ( p q) ( p v q)

SOLUCIN:
Elaboramos la tabla de verdad:

p q p ( p q) ( p v q)
V
V
F
F
V
F
V
F
F
F
V
V
V V V
F V F
V V V
V V V
(1) (3) (2)
L- 11 Ley de la Bicondicional

p q ( p q ) . ( q p )

L- 12 Conjuncin Negativa.-

p + q p . q

L-13 Disyuncin Exclusiva.-

p v q ( p v q ) . ( p . q )

Ejercicios: Demuestre las leyes mediante el uso de las
tablas de verdad.
APLICACIONES DE LAS LEYES DEL
ALGEBRA PROPOSICIONAL

Las leyes nos pueden servir para demostrar que un
esquema es equivalente a otro, tambin podemos
utilizar en la simplificacin de proposiciones etc.

Ejemplo 1:
Probemos que ( p q ) | p . q )]

SOLUCIN:

( P Q ) |( p ) v q | Definicin alterna de
implicacin
( p) . ( q ) Ley de De Morgan para v
p . ( q) Ley de la Doble Negacin
Luego: ( p q ) | p . (q)|

Ejemplo 2:

Probemos que la proposicin ( p . q) p es una tautologa.


SOLUCIN:

| ( p . q ) p ] ( p . q ) v p Definicin alterna de
( p v q) v p Ley de De Morgan para .
( p v p ) v ( q) Ley Asociativa de la v
( V ) v ( q ) Ley del Tercer excluido
( V ) Ley Idntica de la v
Por lo tanto, al ser |( p . q ) p| ( V ), concluimos que es
una tautologa.


Ejemplos:

Probemos que la proposicin [ ( p q) . ( q)] ( p) es una
tautologa.
Probemos que la siguiente proposicin es una contradiccin:
[ ( p . q ) v ( p v q ) ] [ ( p . q ) | . ( p v q )

Elaborar la tabla de verdad de las siguientes proposiciones y decir en
cada caso si se trata de una tautologa, una contradiccin o una
determinacin.

( p q) ( p . q )
( p . q) ( p v q)
p ( q . r )
p ( p . q)
( p . q ) ( p v q)
( p q ) p
( q . r ) v ( q . r)
( r . r ) v r

Los siguientes ejercicios deben resolverse aplicando las Leyes del
lgebra proposicional y no por tablas de verdad.-

Probar que las proposiciones siguientes son tautologas:

[ q . ( p q ) ] ( p )
[ ( p q ) . q ] ( p )
[ ( p ( q r ) ] [ ( p . q ) r ]
[ p . ( p v q ) ] q
p ( p v q )

Simplificar las siguientes proposicin utilizando leyes:

( p q ) . ( p . q )
p ( p . q )
m . ( m n )
[ t ( m . t ) |
| ( p . q ) ( p q ) ]

INFERENCIA LGICA:
La inferencia es el paso de un conjunto de premisas a la conclusin.

Simblicamente se lo representa as:
P
1

P
2

P
3

.
P
n

______
C

Al unir cada una de las premisas por el operador conjuntivo y estas a la vez con la
conclusin por medio del condicional, se obtiene la siguiente frmula inferencial:

P
1
. P
2
. P
3
. . P
n
C

Como las premisas y la conclusin estn constituidas por proposiciones, podemos decir
que la inferencia es una estructura de proposiciones, donde a partir de una o ms
proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin:

Ejemplos:

1. Vicente viajar al norte del pas o se quedar en la
capital. Por lo tanto, Si Vicente viaja al norte del pas
entonces no se quedar en la capital.

2. Si Juan gana el concurso de poesa entonces obtendr
una beca. Juan gan el concurso de poesa. Luego
Juan obtendr una beca.

La conclusin se puede distinguir de sus premisas porque
generalmente van precedidas por alguno de los
trminos como por lo tanto, luego, en
consecuencia, de ah que, etc. y las premisas
podemos distinguirlas casi siempre por los signos de
puntuacin como el punto seguido o por el sentido que
tiene el enunciado.
VALIDEZ Y VERDAD
La validez se refiere a la forma de pensamiento, mientras que la
verdad se obtiene del anlisis del contenido del pensamiento. En
todo razonamiento o inferencia hay que distinguir su validez de su
verdad.

El razonamiento o la inferencia son vlidos cuando la conjuncin
de premisas implica a la conclusin; y, si esto no sucede, la
inferencia es invlida.

La validez o invalidez de una inferencia depende nicamente de
su forma lgica, y la forma lgica depende de la funcin que
desempean las conectivas en la estructura del enunciado
inferencial.

Si una inferencia vlida tiene su premisa o conjunto de premisas
verdaderas, entonces se puede asegurar que la conclusin es
necesariamente verdadera; pero si la premisas o conjunto de
premisas no son verdaderas, as la inferencia sea vlida,
lgicamente no se puede saber la verdad o falsedad de la
conclusin. Entonces, el nico caso que se puede saber la verdad
de la conclusin es cuando la inferencia es vlida y tiene
premisas verdaderas.

MTODOS PARA DETERMINAR LA
VALIDEZ DE UNA INFERENCIA LGICA

Analizar la validez o invalidez de una inferencia
consiste en decidir si la frmula de la inferencia es
vlida o no, para esto conocemos dos mtodos:

1. POR LA TABLA DE VALORES

Se sugiere seguir los siguientes pasos:

a. Simbolizar las premisas y la conclusin:
b. Obtener la formula inferencial
c. Aplicar la tabla de valores. Si el resultado es
tautolgico, la conjuncin de premisas implica a la
conclusin, y por tanto la inferencia es vlida, pero
si el resultado no es tautolgico, la inferencia no es
vlida.
Ejemplos:

1. Vicente viajar al norte del pas o se quedar en la
capital. Por lo tanto, Si Vicente viaja al norte del
pas entonces no se quedar en la capital.
a. Simbolizamos:

p v q
_____________
p q

b. Obtenemos la formula inferencial:

( p v q ) ( p q )

c. Elaboramos la tabla de valores:





El esquema no es tautolgico, luego
la premisa no implica a la conclusin y
la inferencia no es vlida,

p q ( p v q ) ( p q )
V
V
F
F
V
F
V
F
V F F
V V V
V V V
F V V
2. Si Juan gana el concurso de poesa entonces obtendr
una beca. Juan gan el concurso de poesa. Luego Juan
obtendr una beca.

a. Simbolizando tenemos:

p q
p
__________
q

b. Obtenemos la formula inferencial:

[( p q ) . p ] q

c. Elaboramos la tabla de valores:

c. Elaboramos la tabla de
valores:





El esquema es tautolgico, luego
la conjuncin de premisas
implica a la conclusin y la
inferencia es vlida.


p q [( p q ) . p ] q
V
V
F
F
V
F
V
F
V V V
F F V
V F V
V F V
POR EL MTODO ABREVIADO
Es un procedimiento que evita estar
construyendo la tabla de valores de verdad
para determinar la validez de la inferencia.

Este mtodo consiste en suponer la
conjuncin de premisas verdaderas y la
conclusin falsa, nica posibilidad que
invalidad la implicacin.

P
1
. P
2
. P
3
. . P
n
C

V V V V F
Ejemplo:

1. Vicente viajar al norte del pas o se quedar en la capital. Por lo
tanto, Si Vicente viaja al norte del pas entonces no se quedar en
la capital.

a. Simbolizamos:
p v q
_____________
p q

b. Obtenemos la formula inferencial:

( p v q ) ( p q )

c. Suponemos valores, a las premisas verdaderas y la conclusin falsa

( p v q ) ( p q )

V F
Como cada una de las variables (p, q), cumplen una sola funcin
veritativa, decidimos que la inferencia no es vlida. Esto es, se ha
demostrado que la premisa es verdadera y la conclusin es falsa.
2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el
concurso de poesa. Luego Juan obtendr una beca.

a. Simbolizando tenemos:

p q
p
__________
q
b. Obtenemos la formula inferencial:
[(p q) . p] q

c. Suponemos valores, a las premisas verdaderas y la conclusin falsa:
[(p q) . p] q

V V F
d. Comprobamos:
[( p q ) . p ] q

F F
V V F

Como la variable p tiene dos valores: verdadero y falso a la vez. Por lo tanto, hay
implicacin y la inferencia es vlida.
Reglas de inferencia:
Para inferir un razonamiento a partir
de otros se requiere de un proceso en
el que se aplican propiedades o leyes
fijadas de antemano y que no hayan
sido obtenidas de casos particulares o
para casos particulares.

Estas leyes dan la certeza de que solo
es posible obtener conclusiones
ciertas de premisas ciertas.

MODUS PONENDO PONENS ( REGLA DE
SEPARACIN): Su abreviatura es PP.
Simblicamente tenemos:

p q (1)
p (1)
_______
q (1)

Su frmula inferencial es:
[ ( p q ) . p | q

Si una proposicin condicional es verdadera y si verdadero el antecedente, entonces necesariamente ser
verdadero el consecuente.

Ejemplo:

Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio.
Premisa 2: El est en el partido de ftbol
Conclusin: El est en el estadio.

Se simboliza de la siguiente manera el ejercicio anterior

p q (1)
p (1)
_______
q (1)
Simblicamente tenemos:

p q (1)
p (1)
_______
q (1)

Su frmula inferencial es:
[ ( p q ) . p | q

Si una proposicin condicional es verdadera y si verdadero el antecedente, entonces
necesariamente ser verdadero el consecuente.

Ejemplo:

Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio.
Premisa 2: El est en el partido de ftbol
Conclusin: El est en el estadio.

Se simboliza de la siguiente manera el ejercicio anterior

p q (1)
p (1)
_______
q (1)
Utilizando Modus Ponendo Ponens
sacar una conclusin de cada uno de los
conjuntos de premisas siguientes.
Escribir la conclusin en la lnea (3)

1) p v q r
2) p v q
3)

1) p r
2) p
3)

1) r
2) r q . p



Poner una C junto a cada ejemplo en el
que la conclusin es correcta segn el
Modus Poniendo Ponens. Poner una I
junto a cada conclusin incorrecta.

1. Premisas: s y s t: conclusin: t
2. Premisas: t v y t: conclusin v
3. Premisas: p q y q: conclusin r
4. Premisas: s y r s
5. Premisas: r y r s
DOBLE NEGACIN.
La regla de doble negacin es una regla simple que permite pasar de una premisa
nica a la conclusin.

Simblicamente tenemos:

p (1) p (1)
________ _______
p (1) p (1)

Ejemplo:

No ocurre que Mara no es estudiante
Simbolizando el ejemplo anterior tenemos:

p (1)
________
p (1)

La conclusin es que Mara es estudiante.

Ejercicios:
A. Qu conclusin podemos sacar de cada una de las
proposiciones siguientes por la doble negacin:
1. Todos los mamferos son animales de sangre
caliente
2. El granito es un tipo de mineral gneo
3. No ocurre que un quinto no es el veinte por cierto

B. Demostrar que las conclusiones son consecuencia de
las premisas dadas:
1. Demostrar: t 2. Demostrar: b
(1) s t (1) a
(2) s (2) a b
(3) (3)
(4) (4)

MODUS TOLLENDO
TOLLENS.
Su abreviatura es TT.

Simblicamente tenemos:

p q ( 1)
q (1)
p (1)
Su frmula es:
[ ( p q ) . q ] p
Si una proposicin condicional es verdadera y si
es verdadera la negacin del consecuente,
entonces necesariamente ser verdadera la
negacin del antecedente.
Ejemplo:

Premisa 1: Si tiene luz propia, entonces el
astro es una estrella
Premisa 2: El astro no es una estrella.
Conclusin: Por tanto no tiene luz propia
Se simboliza de la siguiente manera el ejercicio
anterior

p q P
q P
p TT 1, 2

Ejercicios:
Qu conclusin se puede deducir de cada uno de los
conjuntos de premisas siguientes utilizando TT? Escribir las
conclusiones es castellano.

Si la luz fuera simplemente un movimiento ondulatorio
continuo, entonces la luz ms brillante dar lugar siempre a
una emisin de electrones con mayor energa que los
originados por luz ms tenue. La luz ms brillante no siempre
emite electrones con mayor energa que los originados.

Si un ngulo de un tringulo es mayor de 90 grados,
entonces la suma de los otros dos ngulos es menor de 90
grados. La sima de los otros dos ngulos no es menor de 90
grados.

Si el arriendo se mantiene vlido, entonces el dueo es
responsable de las reparaciones. El dueo no es
responsable de las reptaciones.

Deducir una conclusin de cada uno de
los conjuntos de premisas siguientes,
aplicando la regla del Modus Tollendo
Tollens.

1. (1) q r 2. (1) q r 3. (1) ( p v q) r
(2) r (2) r (2) r
(3) (3) (3)

Demostrar que las conclusiones son
consecuencia de las premisas dadas.
Indicar la demostracin completa.

Demostrar: c Demostrar: r . s Demostrar:
(1) b (1) p q (1) f
(2) a b (2) q (2) e f
(3) a c (3) p r . s

MODUS TOLLENDO PONENS.
Su abreviatura es: MTP
Simblicamente tenemos:

p v q
P
q (1)


p v q
q
p (1)
Sus frmulas son:

| (p v q ) . p | q
| (p v q ) . q | p

Si una proposicin disyuntiva es verdadera y si es verdadera la
negacin de una de sus componentes, entonces necesariamente ser
verdadera la otra componente de la disyuncin.
Ejemplo:

Supngase que se tiene como premisa:

O esta sustancia contiene hidrgeno o contiene oxgeno
La segunda premisa dice: Esta sustancia no contiene oxgeno

Por medio del Modus Tollendo Ponens se puede concluir: Esta sustancia
contiene oxgeno

Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo:

p: Esta sustancia contiene hidrgeno
q: Esta sustancia contiene oxgeno

La demostracin de la conclusin es:

p v q P
p P
q TP 1, 2
TAUTOLOGA SIMPLIFICATIVA
Simblicamente tenemos:

p . q
p

p . q
q
Su frmula es:
(p . q) p
(p . q) q

Si una conjuncin de proposiciones es verdadera entonces necesariamente ser
verdadera cada una de sus componentes.

Ejemplo:
Apruebo los talleres y apruebo el mdulo 2

Premisa 1: apruebo los talleres
Premisa 2: apruebo el mdulo 2
Conclusin: 1) apruebo los talleres
Conclusin: 2) apruebo el mdulo 2

TAUTOLOGA ADJUNCIN
Simblicamente tenemos:

p
q
p . q

Su frmula es:
| ( p ) . ( q ) | ( p . q)

Si dos proporciones cualesquiera son verdaderas, entonces necesariamente
ser verdadera la conjuncin que con dichas proposiciones se forme.

Ejemplo:

Sal bien en el examen y tengo 10

p: sal bien en el examen
q: tengo 10
( p . q ) : sal bien en el examen y tengo 10
TAUTOLOGA ADICIN
Simblicamente tenemos:

p
p v q

Su frmula es:
p | p v q]

Si una proposicin cualesquiera es verdadera, entonces necesariamente
ser verdadera la disyuncin que se forme con dicha proposicin y
cualquier otra.

Ejemplo:

Estudio con responsabilidad o pierdo el mdulo
p: estudio con responsabilidad
q: pierdo el mdulo

p v q: estudio con responsabilidad o pierdo el mdulo.
SILOGISMO HIPOTTICO (LEY
TRANSITIVA).
SILOGISMO DISYUNTIVO (LEY DEL
DILEMA).
CONMUTATIVA
SIMPLIFICACION DISYUNTIVA
REGLA DE LA BICONDICIONAL
CONJUNCIN NEGATIVA
DISYUNCIN EXCLUSIVA
PROCESOS DE DEDUCCIN
MTODOS DE DEMOSTRACIN



DA 3
APLICACIONES DEL
TEOREMA DE
CIRCUITO.

CIRCUITOS LGICOS
El valor de verdad de una proposicin puede asociarse al pasaje de
corriente en un circuito elctrico controlado por un interruptor.
En efecto, para representar un interruptor mediante una
proposicin p, se tiene:

Es decir, el interruptor est cerrado (pasa corriente) si
V(p) = V, y est abierto (no pasa corriente) si V(p) = F. De
aqu establecemos una identificacin entre las
proposiciones y los interruptores de un circuito elctrico.
Las operaciones proposicionales (conjuncin, disyuncin,
etc.) pueden representarse mediante circuitos con tantos
interruptores como proposiciones componentes.
Considerando las clases de instalaciones: en serie y en
paralelo, es factible disear esquemas de circuitos
elctricos para representar a proposiciones compuestas o
viceversa.

CIRCUITOS EN SERIE:
Consideremos dos interruptores p y q conectados en serie:
p q


Se observa que este circuito admite poso de corriente cuando los dos (interruptores
p y q estn cerrados, en cualquier otro caso no hay paso de corriente. De aqu
tenemos el comportamiento de la conjuncin de las proposiciones p . q. Por
tanto:

a) p . q: representa un circuito cerrado en serie, que deja posar corriente solo si los
interruptores p y q estn cerrados a la vez. Diremos que solo en este estado p . q
es verdadera.

b) p . q: representa un circuito abierto en serie que deja pasar corriente. Diremos
entonces que en este estado p . q es falsa.

p q p q

p . q p . q
Circuitos en paralelo:
Consideremos ahora dos interruptores instalados en paralelo:

p
q

Se observa en el circuito que hay paso de corriente cuando uno de los
interruptores o ambos estn cerrados; no hay paso de corriente cuando los dos
interruptores estn abiertos. Tenemos, entonces, el comportamiento de la
disyuncin de las proposiciones p y q. La falsedad de p v q, es decir, el hecho de
que no pase corriente, solo se verifica en el caso de la falsedad simultnea de p v
q; Por tanto:
p v q: representa un circuito cerrado en paralelo que deja pasar corriente si por lo
menos uno de los interruptores elctricos est cerrado. Diremos que solo en
este estado p v q es verdadero.
b) p v q: representa un circuito abierto en paralelo que no deja pasar
corriente, polo que en este estado p v q es falsa.
p p

q q

p v q p v q

Las representaciones anteriores nos permiten disear o
simbolizar redes de circuitos elctricos conectados
en serie y en paralelo, o tambin simplificar circuitos
muy complicados haciendo uso de las ya conocidas
equivalencias notables.
Ejemplo:

Disertar circuitos lgicos de las siguientes
proposiciones:

a) (p v q) . r b) p q
c) p q
Solucin:

a) Vemos que (p v q) . r es la conjuncin de p v q y r, que deben estar
conectados en serie:



Pero, p v q se representa por: (1)
p
q

Luego sustituyendo en (1), tendremos la representacin pedida, esto es:
p r
q


b) Segn la condicional: p q p v
q

Luego, la representacin de p q, es
la disyuncin (conexin en paralelo)
de pv q. Esto es:
p

q


Hallar la proposicin

p q p

p q q p q

p q
p

q
r
p r
Construir el circuito lgico ms
simple equivalente a:


p q
p p

q r
r s t p
r s
s r s t
t





CLASE3-TEOREMA DE
CIRCUITOS.pdf

Anda mungkin juga menyukai