Matemticas

MATEMTICAS

No me gusta estudiar. De hecho, me carga.

Me gusta aprender. Aprender es bello.

INTRODUCCION

MATEMTICAS

INTRODUCCION
Poseemos mentalidad lgica o no
Como llegar a ser mas lgicos
Lgica aristotelica
lgica base
Lgica

Lgica Simbolica.
Lenguaje Formal

MATEMTICAS

 Un reo est encerrado en una celda con dos

puertas: una conduce a la libertad, la otra a la
muerte. Cada una de ellas est custodiada por
un guardin. El reo sabe que uno de los
guardianes siempre dice la verdad, y que el otro
siempre miente. Pero no sabe quin es quin.
Para elegir la puerta por la que pasar, slo
puede hacer una pregunta a uno solo de los
guardianes. Cul es esa pregunta, y a quin
debe hacrsela?
A un palto sub, donde paltas haba, paltas no
com ni paltas deje Cuntas paltas dej en el
palto?.

 Daniel y su amigo Andres se han apostado una

cena, y la ganar el que consiga dejar cuatro
cuadrados perfectos eliminando slo dos x. Se
atreve Ud. a apostar tambin?... (respuesta
creativa)

Lgica y Conjuntos
La lgica es un mtodo de razonamiento que
no acepta conclusiones errneas.

Esto se puede lograr definiendo en forma estricta

cada uno de los conceptos.
Todo debe definirse de tal forma que no d lugar a
dudas o imprecisiones en la veracidad de su
significado. Nada puede darse por supuesto

Lgicas del Pensamiento

Lgica y Conjuntos Estructuras Semnticas

Oracon una palabra o grupo de palabras que

declara, pregunta, ordena, solicita o exclama
algo; unidad convencional del habla o escritura
coherente, que normalmente contiene un
sujeto y un predicado, que empieza con letra
mayscula y termina con un punto.
lgica simblica una oracin tiene un
significado mucho ms especfico y se llama
proposicin.

Lgica y Conjuntos
Una proposicin es una unidad semntica que, o
slo es verdadera o slo es falsa.
oraciones que no son falsas ni verdaderas, las que son
falsas y verdaderas al mismo tiempo, o las que
demuestran algn tipo de imprecisin carecen
desentido , no son objeto de estudio de la lgica.

Hola, cmo ests?

Aprate!
La conceptualizacin cambia lo
absurdo en azul.
x + 5= 9.
Maana se acabar el mundo!

5 es un nmero primo.
- 17 + 38 = 21.
Todos los nmeros enteros son
positivos.
Vicente Rocafuerte fue
Presidente del Ecuador.

Lgica y Conjuntos
Cuando deseamos establecer una verdad
Cuando queremos convencer a alguien de que
nuestra posicin o nuestras ideas son las
correctas, recurrimos a un razonamiento o
presentamos evidencia que respalda nuestras
opiniones.

Lgica y Conjuntos
Un argumento es un conjunto de una o mas
oraciones. La ltima de ellas se denomina
conclusin, las anteriores se llaman premisas.
Verdadero se lo asocia con: 1, V, T, True;
mientras que falso se lo asocia con: 0, F, False.
Verdad y falsedad pueden considerarse
simplemente como los valores lgicos

Lgica y Conjuntos

Lgica y Conjuntos

Tablas de Verdad
Una tabla de verdad es una representacin de
los posibles valores de verdad que podra
tomar una proposicin.
Las tablas de verdad sirven para mostrar los
valores, las relaciones y los resultados posibles
al realizar operaciones lgicas.

Tablas de Verdad
La cantidad de combinaciones (filas de la tabla
de verdad) depende de la cantidad de
proposiciones presentes en la expresin lgica.

Recordemos
Proposicin(oracin):

Es un enunciado que puede ser Verdadero o Falso

Proposicion Atomica o Simple

Forma mas simple,
Siempre afirmativas

Proposicion Molecular o compuesta

Varias Proposiciones simples

Enlazadas por medio de conectores (palabras o
expresiones)

"Ensear no es llenar un cntaro

sino encender un fuego".
William Yeats

Recordemos
Que es proposicin?

Es un enunciado que puede ser Verdadero o Falso

Cualquier afirmacin que sea verdadera o falsa, pero
no ambas cosas a la vez

Identifique, son proposiciones?

Gabriel Garca Mrquez escribi Cien

aos de soledad.
Te vas?
6 es un nmero primo.
1 es un nmero entero, pero 2 no lo
es.

Si
No
Si
Si

x+y> 5
No
Compra cinco azules y No
cuatro rojas.
x=2
No
3+2=6
Si

Recordemos
Desde el punto de vista lgico carece de importancia cual sea el
contenido material de los enunciados, solamente interesa su valor
de verdad.

Valor de Verdad
Llamaremos valor verdadero o de verdad de una proposicin a su
veracidad o falsedad.

Notacin
Las proposiciones se notan con letras minsculas: p,q,r.

Existen simples y compuestas

Mnima Expresin, Afirmativas
Compuestas combinacin de varias simples

Recordemos
Son proposiciones y cual es su valor de verdad?
p: Existe Premio Nobel de informtica.
q: La tierra es el nico planeta del Universo que tiene vida.
r: Teclee Escape para salir de la aplicacin.
s: Cinco ms siete es grande.

El es inteligente o estudia todos los das

Conectores
Negacion
Conjuncion
Disyuncion

Condicional

Negacin
Si p es una proposicin,
entonces no p es la
negacin de p y se
denota por:
~p
Ejemplo:
p: Hoy es martes
~ p: Hoy no es martes

Qu sucede con la
negacin de p, siendo
p verdadero?
Qu sucede con la
negacin de p, siendo
p falso?

Negacin
Esto lo podemos
escribir de una
manera
compacta,
utilizando una
tabla
A esta tabla se le
llama tabla de
certeza de la
negacin

Posibilidades para la proposicin p

~p

Negacin
Como sinnimos de no, se utilizan las
siguientes expresiones:
No es cierto que ..
No es el caso que
Es falso que
No sucede que.

LA NEGACIN.Es un tipo de proposicin compuesta

smbolo es , y se llama negador.

Nota: Cuando se niega una proposicin compuesta, se niega al

operador de mayor jerarqua en dicha proposicin.
Ejemplo: No es cierto que Pablo fue al banco y retir el dinero
q
r
Simbologa: ( q r )
Ejemplo: Todo nmero elevado al cuadrado es positivo

p
Negacin: No todo nmero elevado al cuadrado es positivo

Conjuncin
Si p y q son
proposiciones, se llama
conjuncin de p y q a la
proposicin compuesta
p y q y se denota por:
pq

Ejemplos:
p: Hoy es martes
q: La luna es cuadrada
r: maana es mircoles
p q :Hoy es martes y la
luna es cuadrada
p r :Hoy es martes y
maana es mircoles

Conjuncin
Para construir la
tabla de p q,
debemos considerar
las diferentes
alternativas de
valores de verdad
para p y para q:
Cules son ?
Ambas verdaderas
una V y la otra F
ambas falsas

pq

Conjuncin
SE TOMAN COMO SINNIMOS DE LA
CONJUNCIN:

Adems

Tambin

Pero

An

Sin embargo

A la vez

Aunque

No obstante

Conjuncin: p ^ q

Miguel estudia ,adems de trabajar

Miguel estudi pero no aprob
Miguel canta, sin embargo no baila
Miguel jug futbol aunque estaba lesionado
Miguel juega futbol , tambin Jos
Miguel sali, an no llega
Miguel cocina a la vez que canta
Miguel viajar no obstante est sin visa
Miguel canta , no baila.

LA CONJUNCIN
Es un enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo y , cuyo
smbolo es y se llama conjuntor.
Ejemplo: Jorge viaj a Madrid y Luis viaj a Quito
p
p : Jorge viaj a Madrid
q : Luis viaj a Quito

q
Simbologa: p q

Conjuncin: p ^ q
No siempre y denota una conjuncin
Ejemplo:
Jenny y Sandra son hermanas

Esta es una proposicin (simple), en donde el y

permite establecer la relacin entre los sujetos.

Disyuncin
Si p y q son
proposiciones,
se llama
disyuncin de p
y q a la
proposicin
compuesta p
o q y se
denota por:
p q

pq

Disyuncin

Ser chef o doctor

pq

p: Ser chef

q: Ser doctor

Simbolizacin:

p q

LA DISYUNCIN FUERTE O EXCLUSIVA

Enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo O..o. , cuyo smbolo es
y se llama disyuntor fuerte.
Ejemplo: O Ricardo radica en Cuenca
p
p : Ricardo radica en Cuenca
q : Ricardo radica en Machala

o en Machala
q

Simbologa: p q

DISYUNCIN FUERTEE

La disyuncin fuerte es verdadera,

slo si ambas proposiciones tienen
diferentes valores de verdad
La disyuncin fuerte es falsa, slo
si ambas proposiciones tienen
idnticos valores de verdad

Condicional
Si p y q son
Ejemplos:
proposiciones, se llama
Si no llueve (entonces)
condicional de p y q a la
iremos a la playa
proposicin compuesta
si p, entonces q y se Si me gano la lotera
(entonces) me voy de
denota por:
viaje
pq
Si no estudio (entonces)
no aprobar Lgica

Condicional
Veamos la tabla del
condicional:

pq

pq

Conviene pensar en
una promesa ..... Si
no llueve (entonces)
iremos a la playa

El aprendizaje y el propsito
deben pedalear al mismo tiempo.

Condicional
El condicional es
falso, slo cuando el
antecedente es
verdadero y el
consecuente es
falso; es decir,
cuando la promesa
no se cumple.

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Condicional - Implicador
Ejemplo: Si 12 es un nmero par entonces es divisible entre 2
q
p
p : 12 es un nmero par . (antecedente)
q : 12 es un nmero divisible entre 2 (consecuente)
La suma de las cifras de 426 es mltiplo de 3, por consiguiente es divisible entre 3

(antecedente) p

(consecuente) q

426 es divisible entre 3 porque la suma de sus cifras es mltiplo de 3

(consecuente) q

(antecedente) p
Simbologa: p q

Condicional
El condicional es muy
importante en
matemticas, porque
los Teoremas se
expresan en forma
condicional.
Un Teorema ser un
condicional verdadero
con hiptesis
verdadera

p
V

q
V

pq
V

Condicional
Algunas expresiones del lenguaje que indican la
presencia de un condicional (p q), son las
siguientes:
p es condicin suficiente para q
Si p, q

q si p
Que p supone que q
Cuando p, q

q es condicin necesaria para p

En caso de que p entonces q
q slo si p

Formas de expresar un condicional.

Si es Cuencano, es Morlaco (p q)
Es Morlaco, siempre que sea Cuencano
Es Morlaco si es Cuencano
Es suficiente que sea Cuencano para que sea
Morlaco
Siempre y cuando sea Cuencano, ser Morlaco.
Es necesario que sea Morlaco para ser
Cuencano
TODAS ESTAS EXPRESIONES SE SIMBOLIZAN
COMO: p q

Partes de un condicional

p q
antecedente
Condicin
suficiente

consecuente
Condicin
necesaria

Formas derivadas del condicional

Dado el condicional directo: p q, el condicional

~ p ~q se llama contrario y lo expresaramos:
si no p, entonces no q

Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Contrario: ~ p ~q
Si no repruebo el examen, entonces no me enojar
bastante

Formas derivadas del condicional

Dado el condicional directo: p q, el

condicional q p se llama recproco y lo
expresaramos:
si q, entonces p
Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Recproco: q p
Si me enojo bastante , entonces reprobar el
examen

Formas derivadas del condicional

Dado el condicional directo: p q, el

condicional ~ q ~p se llama
contrarrecproco y lo expresaramos: si no q,
entonces no p
Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Contrarrecproco: ~ q ~p
Si no me enojo bastante, entonces no repruebo
el examen

Formas derivadas
Directo

Recproco

~p

~q

~q

Contrario

~p

Contrarrecproco
recprocos
contrarrecprocos

contrarios

Condicional y Teoremas
En los Teoremas, al antecedente del condicional
(p) se le llama Hiptesis y al consecuente (q) se
le llama Tesis o Conclusin
Los Teoremas requieren de una demostracin;
es decir, partiendo de una hiptesis verdadera,
hay que demostrar que la Conclusin es
verdadera.

El Bicondicional
Enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo ..si y slo si.,
cuyo smbolo es llamado doble implicador.

Ejemplo: Baltra es una isla si y slo si est rodeada de agua

p
p : Baltra es una isla
q : Baltra est rodeada de agua

q
Simbologa: p q

Bicondicional
p

El bicondicional es verdadero, slo si

ambas proposiciones poseen idnticos
valores de verdad

El bicondicional es falso, slo si ambas

proposiciones poseen diferentes valores
de verdad

Tablas de verdad
Recordemos que el valor de certeza de una
proposicin compuesta depende de los valores
de certeza de las proposiciones simples que la
componen
Para analizar los valores de certeza de una
proposicin compuesta, representamos todas
las posibilidades de valores de verdad de las
proposiciones simples, en un arreglo de tabla

Ejemplo con 2 proposiciones simples

Construyamos la tabla de verdad para la siguiente
proposicin :(pq)(p~q)
4 filas de posibilidades

p
V
V
F
F

q
V
F
V
F

~q
F
V
F
V

pq
V
F
F
F

p~q
F
V
V
V

(pq)(p~q)

F
F

F
F

En resumen
Una tabla de verdad para
proposiciones compuestas que
contienen:
1 proposicin simple tendr 2 filas
2 proposiciones simples
3 proposiciones simples
4 proposiciones simples

4 = 22 filas
8 = 23 filas
16= 24 filas

razonando inductivamente..
n proposiciones simples

2n filas

Evaluacin Tabla de Verdad

La caracterstica tabular de una frmula lgica es la

columna de valores de verdad debajo del operador de
mayor jerarqua. Esta columna puede presentar los
siguientes casos:

1.

Cuando todos los valores de verdad son verdaderos, el

esquema es una TAUTOLOGA.

2.

Cuando todos los valores de verdad son falsos, el

esquema es una CONTRADICCIN.

3.

Cuando algunos valores de verdad son verdaderos y

otros falsos el esquema es una CONTINGENCIA.

Ejemplo con 3 proposiciones

simples
Hacer la tabla de certeza para: (rp) ~(qp)
p

rp

qp

~(qp)

(r p) ~(qp)

Ejemplo
Hallar las formas derivadas del siguiente
condicional:
Si un nmero es par, entonces es mltiplo de 4.
. V o F?
Falso (contraejemplo: 2)
Recproco:
Si un nmero es mltiplo de 4, entonces es par.
.. V o F?
Verdadero!

Ejemplo
Directo: p q
Si un nmero es par, entonces es mltiplo de 4.
Contrario: ~ p ~ q

Si un nmero no es par, entonces no es

mltiplo de 4
Verdadero!

Ejemplo
Directo: p q
Si un nmero es par, entonces es mltiplo de 4.
Contrarrecproco: ~ q ~ p

Si un nmero no es mltiplo de 4, entonces no

es par
Falso.. 2 no es mltiplo de cuatro y es par
(antecedente verdadero, consecuente falso)

Ejercicios
1. Escribir las formas derivadas para:
a) (r ~q) p.
b) Si yo digo s, ella dice no.

2. Construye una proposicin verdadera que

incluya un condicional, una conjuncin, una
disyuncin y una negacin (no
necesariamente en ese orden), que conste de
las componentes p, q y r con todas ellas
falsas.

Ejercicios

Escribe el recproco, el inverso y el

contrarrecproco de cada una de las
proposiciones siguientes:
Si q, entonces r
~ p (~ q )
~p~ (r q )
El sol brilla si ests feliz.
Si tu automvil no tiene aire acondicionado, no
tendrs amigos.

Siempre tener encuenta

Identificar proposiciones simples
Existen proposiciones que son verdaderas
(falsas) simplemente por su forma logica y no
por su contenido.
Niveles o prioridad de conectores

"Al estudiante que nunca se le pide

que haga lo que no puede, nunca hace
lo que puede."
John Stuart Mill

Ejemplo
Si llegas despus de las ocho y media, entonces
encontrars la puerta cerrada y no podrs entrar al
teatro.

Ejercicios
Usando Tablas demostrar
1.
2.

3.

Tabla Resumen
Conector

Valor de
verdad

Condicin

Si ambos tienen igual valor de

verdad.

Si tienen valores diferentes de verdad.

Si el antecedente es verdadero y
el consecuente es falso

Si ambos son falsos

Si ambos son verdaderos

Si la proposicin es falsa.

Proposiciones simblicas

Tautologa, contradiccin y
contingencia

Signos de puntuacin, agrupacin y orden de los

operadores o conectivos lgicos

Los signos de agrupacin ms conocidos

tenemos: el parntesis, corchete y llaves
( ); [ ] ;

Reemplazan a los signos gramaticales: punto (.),

la coma (,), el punto y como (;), y los dos puntos
(:).
Se usan en lgica cuando se trata de obtener
esquemas lgicos ms complejos con el fin de
evitar la ambigedad de las frmulas:

Signos de puntuacin, agrupacin y orden de los

operadores o conectivos lgicos

Proposiciones con el mismo tipo de operador o

conectivo lgico, se debe colocar los parntesis
de izquierda a derecha as:
p q r = (p q) r
p q r s = [(p q) r ] s
p q r s = [(p q) r] s

Si no hay signos de puntuacin ni parntesis se

debe considerar el siguiente orden de menor a
mayor jerarqua de los operadores y de
izquierda a derecha, para ubicar los parntesis

, , , ,

Formas Proposicionales
Se denominan formas proposicionales a las
estructuras constituidas por variables
proposicionales y los operadores lgicos que las
relacionan.
Su representacion letras mayusculas

Implicacin
Se lo representa por el smbolo , no es un
conectivo lgico, es un signo de relacin
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.

Implicacin
La implicacin no es lo mismo que la condicional.
Aunque en el lenguaje ordinario no suele tener
importancia esta distincin, en su sentido lgico y
cientfico las diferencias pueden tener un sentido
importante.
Dos interpretaciones:
Simboliza
Condicional

Implicacin

Se lee

Ejemplo

Si A entonces B

Si hoy es Lunes
entonces maana
es Martes

A implica B

Hoy es Lunes, por

tanto maana es
Martes

Implicacin
La primera: forma lgica donde lo que
queremos conocer es el valor de la condicional
y para lo cual lo nico que importa es el valor
de verdad de A
La segunda buscamos el valor de B que
depende del valor de A, de otra manera, la
afirmacin de B depende de la validez de A.

Implicacin
Ejemplo: Demostrar que el esquema A implica a B
A: p q
B: p q

Luego unimos con la condicional y construimos la tabla:

pq pq
p

V
V
F
F

V
F
V
F

V
F
F
F

V
V
V
V

V
V
V
F

Implicacin
Sean A y B dos formas proposicionales, se dice
que A implica lgicamente a B, denotado por
AB, si y slo si AB es una tautologa.

Equivalencia Lgica
Sean A y B dos formas proposicionales, se dice
que A es equivalente lgicamente a B,
denotado por AB, si y slo si AB es una
tautologa.
Cuando se requiere sustituir una estructura por
otra que sea equivalente, al smbolo se lo
reemplaza por

"El primer paso para lograr es estudiar"

Brian G.

Valores de Verdad Proposiciones Compuesta

1. Por medio de las tablas de verdad

Las tablas de verdad permiten determinar el
valor de verdad de una proposicin compuesta
y depende de las proposiciones simples y de los
operadores que contengan.
2.- Por medio del diagrama de rbol. Es un procedimiento corto y fcil, se necesita
conocer los valores de verdad de cada variable
y aplicar las tablas de certeza lgica:

Segun su resultado
CONTINGENTES
Cuando en su resultado hay por lo menos una verdad y
una falsedad Ejemplo: dado el siguiente esquema

TAUTOLOGA
Es una proposicin que siempre es verdadera,
independientemente del valor lgico de las
proposiciones simples que la componen.

CONTRADICCIN
Es cuando en el resultado todos los valores de verdad
son falsos o Un esquema A es una contradiccin si no
A ( A)

Ejemplos
Sabiendo que p es falsa, q es verdadera y r es
verdadera. Cul es el valor de verdad de la
proposicin q (p r).

Ejercicio de Practica
Si se conoce que: (q r) p es FALSA
Determinar el valor de verdad de:

(r p) (p r)

Ejemplos
Resolver por tabla de verdad y diagrama de
rbol :
( p q) (p r)

Determinar
( p q ) ( q r )] ( p r)
( p q) ( q p)

Formulacion logica
Implicacion o inferencia Lgica
Se lo representa por el smbolo , , no es
un conectivo lgico, es un signo de relacin

Se dice que un proposocion A implica a otro

esquema B, cuando al unirlos por la condicional
nos da una tautologa.
Nota: la relacin de implicacin no es
recproca.

Implicacin Lgica
Que es argumento?
Que es proposicin ?
Premisa 1 :Si llego a tiempo entonces participo en el juego
Premisa 2 : Llego a tiempo
Conclusin: Participo en el juego
podemos simbolizar como sigue:
p1: p r
p2:
p

r
El smbolo se lee por tanto y se ubica antes de la
conclusin.

Implicacin Lgica
Analicemos si ((p r) p) r es una
tautologa con la tabla de certeza:

Implicacin Lgica
Sean p, q y r tres proposiciones simples dadas como
sigue:
p: Ivn estudia
q: Ivn juega ftbol
r: Ivn aprueba el semestre
Tomemos p1, p2 y p3 como premisas y q como
conclusin:
P1: Si Ivn estudia, entonces aprobar el semestre
P2: Si Ivn no juega ftbol, entonces estudiar
P3: Ivn no aprob el semestre
Conclusin: Ivn juega ftbol

"Mientras vivas, sigue aprendiendo

a vivir."
Sneca

 Es vlido el siguiente argumento?:

P1: Si usted invierte en bolsa, entonces se har
rico.

P2: Si se hace usted rico, entonces ser feliz.

.
Q: Si usted invierte en bolsa, entonces ser
feliz.

 Analizar el siguiente argumento: Si trabajo o

ahorro, entonces comprar una casa. Si compro
una casa, entonces podr guardar el coche en
mi casa. Por consiguiente, si no puedo guardar
el coche en mi casa, entonces no ahorro.
Solucin

 EQUIVALENCIAS LGICAS

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
Se lo representa por pero no es un operador
lgico.
P Q P Q Se lee P es equivalente a Q Q es
equivalente a P
A los proposiciones compuestos se los representa
con las letras maysculas A, B, C,.. etc. con P, Q, R,
etc.

Ejemplo
Determinar si es equivalente
A : Si Pedro aprob el curso preuniversitario,
entonces ingres a la UNL.

B: No es el caso que: Pedro apruebe el curso

preuniversitario y no ingrese a la UNL
Determinar si es equivalente

P: q p ; Q: ( q p )

Propiedades de los operadores

logicos
En lgica, las tautologas son conocidas con el
nombre de leyes o principios lgicos.
Leyes de Idempotencia para y para
Si p es una proposicin simple o compuesta,
entonces:
a. (p p) p
b. (p p) p
las proporciones ( p p) o (p p) pueden
sustituirse por p.

Leyes del clculo proposicional

Las siguientes son las leyes de la lgica. Se caracterizan porque

todas son tautologas:

Ley del tercio excluido:

Ley de separacin:

(p(pq))q

Ley de simplificacin:

p v ~p

(pq)p

Ley de la adicin:

p(pVq)

Leyes del clculo proposicional

Ley de la disyuncin por casos:

Ley de separacin:

(p(pq))q

Ley de simplificacin:

(pq)

(pq)p

Ley de la adicin:

p(pVq)

Algebra Propocicional
Investigar

5. DISTRIBUTIVAS

1.EQUIVALENCIA

P (QR)(PQ) (PR) ,

PP

2. INDEPOTENCIA

6. IDENTIDAD

PP P , P P P

PF P , PV P

PVV , PF F
3. ASOCIATIVA

(PQ) R P(Q R ) , (PQ) R P(Q

R)

7.DOBLE NEGACIN
PP
8.COMPLEMENTO

P(QR) (PQ)(PR)

4.

CONMUTATIVA

PQ QP , PQ QP

PPV , PPF
VF

8. DE MORGAN

(PQ)PQ

, (PQ) PQ

, FV

Ejercicios
Escribamos sin condicional las proposiciones
siguientes:
( p q) r

p ( q r)
pq
Ejemplo:
Probemos que ( p q ) p q )]
Probemos que la proposicin ( p q) p es
una tautologa.

Ejercicios
[ ( p q ) q ] ( p )
[(p(qr)][(pq)r]
Simplificar las siguientes proposicin utilizando
leyes:
[t(mt)
(pq)(pq)]

 Determinar si es T, C, Co
(p q) ^ (q r) (p r)
[(p q) ^ (q r)] ^ (p r)

p ^ [(p) ^(q) ]

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

Algebra Proposicional
Demostrar que nuestra proposicin es una
tautologa con cualquier valor.