EQUIVALENCIAS E

IMPLICACIONES NOTABLES

EQUIVALENCIA LGICA
Es toda bicondicional A B que resulte una

tautologa.
Dos esquemas moleculares A y B se llaman
equivalentes si sus tablas de verdad son
iguales.

Verificar que es equivalente a

pq

q p

V V

Es una Equivalencia lgica.

APLICACIONES DE LAS LEYES

LGICAS
Simplificar los siguientes esquemas

moleculares:
Ejercicio 1

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

Condicional
Morgan y tercio excluido

Identidad.

Ejercicio 2
(pq) vp qp
( p v q ) v p ( q) v p
Condicional

( p v p ) v q q v p

Asociativa y doble

negacin

Conmutativa

p v q p v q

q v p p
Distributiva
q v F
Contradiccin
q
Identidad

Idempotencia y

Ejercicio 3
( p v q ) ( p q) p
(pv q) pq p
Asociativa
(pq) p
Absorcin
(pq)v p
Condicional
( p v q ) v p
Morgan
( p v p ) v q
Asociativa
V v q
Tercio excluido
V
Identidad

LA INFERENCIA LGICA
Es un proceso mental lgico de pasar de un
conjunto de proposiciones llamadas premisas a
una conclusin y suele indicarse a travs de
expresiones como:
Luego, en consecuencia, por lo tanto, por
consiguiente etc.

CLASES DE INFERENCIA
La Inferencia inmediata: Se caracteriza porque la conclusin

se desprende o deriva sobre la base de una sola premisa.

Ejemplo:
Toda papaya es fruta
Alguna fruta es papaya
La inferencia mediata: Se caracteriza porque la conclusin se

deriva de dos o ms premisas.

Ejemplo:
Todo contador conoce la elaboracin de un balance econmico
Jos es contador
Jos conoce la elaboracin de un balance econmico

Ejemplo:

Si la tormenta contina, nos quedaremos en

casa; si nos quedamos en casa, no iremos al
concierto. Luego si la tormenta contina no
iremos al concierto.
Frmula
p: La tormenta contina
(p q)
q: nos quedamos en casa q r
r : iremos al concierto
pr

El Mtodo abreviado
Cuando el nmero de variables pasa de tres se torna tedioso el mtodo

de la tabla de verdad; para contrarrestar este inconveniente se utiliza el

mtodo abreviado cuyo procedimiento consiste:
Suponer que en la condicional: el antecedente es verdadero y el

consecuente es falso.
Determinar los valores de las variables del consecuente de manera que

expresen la falsedad de este.

Reemplazar en el antecedente los valores obtenidos del consecuente,

para encontrar los valores de las dems variables.

Si se verifica la estructura de la condicional con dichos valores la

inferencia es invlida, sin embargo, si obtenemos una proposicin simple

con dos valores de verdad se concluye que es una contradiccin y por lo
tanto la inferencia ser vlida.

Ejemplo:

Si la tormenta contina, nos quedaremos en casa; si nos quedamos en

casa, no iremos al concierto. Luego si la tormenta contina no iremos
al concierto.
Frmula
p: La tormenta contina (p q)
q: nos quedamos en casa q r
r : iremos al concierto
pr

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

V
pr F ;
p q V ;
qr V ;
Observamos

V (p)
V (p)
V (q)
que r

V
V
V
tiene

F
V ( r) V
V ( q) V
V ( r) F
dos valores luego la inferencia es vlida.

LEYES DE LA
IMPLICACIN
A) Ley de Modus Ponendo Ponens

Se representan de la forma siguiente:

p q
p
.

(p q) pq
q
Si se afirma el antecedente de una premisa condicional,
se concluye con la afirmacin del consecuente.

)Ejemplo 1: Si la produccin de los esprragos

aumenta, entonces su exportacin crecer. La
produccin de los esprragos aumenta, luego: su
exportacin crecer

B) Ley Modus Tollendo Tollens

Se representa de formas siguientes:
pq
q

(p q) q p
p
Si se niega el consecuente de una premisa condicional, se
concluye con la negacin del antecedente.
Ejemplo:
Si el administrador es competente entonces tendr
mayores oportunidades de trabajo. El administrador no
tiene mayores oportunidades de trabajo.
En consecuencia: el administrador no es competente.

C) Ley del Silogismo Hipottico:

Se representa por:
p q
q r ( p q ) (q r) (p r)
p r
Ejemplo:
Si brindamos una buena informacin de las rutas
tursticas de Lambayeque, se incrementaran el
nmero de turistas. Si se incrementa el nmero
de turistas, habr ms oportunidades de trabajo.
Si brindamos una buena informacin de las rutas
tursticas entonces: habr ms oportunidades de
trabajo

CUANTIFICADORES
LOGICOS

MOTIVACION

Todos
mortales

somos

Algunos
mortales

somos

Ninguno es mortal
Algunos no
mortales

somos

FUNCION
PROPOSICIONAL
Una funcin proposicional es todo enunciado abierto.
Es decir es un enunciado que contienen una o mas
variables que aceptarn un valor, sea este numrico u
otro. Estos valores hacen del enunciado abierto una
proposicin verdadera o falsa.
Por ejemplo: Si el enunciado abierto fuera: p(x): x es
un nmero que es mayor que cuatro; la variable x
aceptara como valor a lo nmeros 5 o 20, con esos
valores el enunciado abierto se convertira en
proposicin verdadera; en cambio si le diramos los
valores de 4 o 3 se convertira en proposicin falsa.

FUNCION
PROPOSICIONAL
Sean las siguientes funciones proposicionales:
p(x): x es un planeta del Sistema Solar.
Funcin proposicional de 1 variable
q(x,y): x es mltiplo de y.
Funcin proposicional de 2 variables

r (x,y,z) : x2 + y2 + z = 4
Funcin proposicional de 3 variables

s(x,y): x es hermano de y
. Funcin proposicional de 2 variables

Dominio de una Funcin

Proposicional
El Dominio de una funcin proposicional es el
conjunto de todos los valores que se pueden
reemplazar en la variable o variables de la
Funcin proposicional.
El Dominio sirve para restringir los valores que
puede tomar la funcin proposicional

Ejemplos de Dominio de una

Funcin Proposicional
p(x) es un individuo de cabello rubio
Su dominio tendra que ser todos los individuos ,
es decir Dp= inidividuos.
q(x,y) : x es un hermano de y.
Su dominio sera toda las parejas de
personas, es decir Dq = parejas de personas
r (x,y,z) : x2 + y2 + z = 4
Su dominio sera toda las ternas de nmeros
pudiendo ser desde los naturales hasta los
complejos, es decir Dq = x, y, z iN

Cuantificadores
Lgicos
Los cuantificadores lgicos sirven para
asignar Valor de Verdad a una Funcin
Proposicional.
Mediante un Cuantificador Lgico sea el
Universal o el Existencial, podemos
convertir una Funcin proposicional
(enunciado abierto) en un enunciado
cerrado.

Cuantificador
Universal
La frase Para todo antepuesta a una funcin
proposicional se llama Cuantificador Universal .
Se denota de la siguiente manera:

x Dp: p(x). Se lee: Para todo x en el Dominio

se cumple p(x)

OBSERVACION:
Una
funcin
cuantificada
universalmente es verdadera si son verdaderas todas
las proposiciones particulares obtenidas al sustituir
todos los elementos del dominio en ella, caso contrario
es falsa.

Cuantificador
Existencial
La frase Existen algn antepuesta a una
funcin proposicional se llama Cuantificador
Existencial . Se denota de la siguiente manera:

x Dp/ p(x). Se lee: Existe un x en el Dominio

tal que p(x)

OBSERVACION:
Una
funcin
cuantificada
existencialmente es verdadera si al menos una de las
proposiciones particulares obtenidas al sustituir los
elementos del dominio en ella, resulta verdadera.

Valores de Verdad de las

Proposiciones Cuantificadas

x IR / x 2 + 3x = 4
x IR : x 2 + 3x =4

Proposicin Verdadera
Proposicin Falsa

OBSERVACIN: De lo Anterior se deduce que

tanto el Cuantificador Universal como el
Existencial convierten una Funcin proposicional
(enunciado abierto) en una proposicin.

Negacin
de Cuantificadores
Para negar una proposicin cuantificada, se
niega (cambia) el cuantificador y luego se niega
la funcin proposicional.
La negacin del Cuantificador Universal es el
Cuantificador Existencial y viceversa.

~[
~[

x Dp: p(x) ] =

x Dp / ~ p(x)

x Dp / p(x) ] =

x Dp : ~ p(x)

Negacin
de Cuantificadores
PARTICULAR
AFIRMATIVO

UNIVERSAL
AFIRMATIVO

TODO

ALGUN

x Dp : p(x)

x Dp / p(x)
1

x Dp : ~ p(x)

NINGUN
UNIVERSAL
NEGATIVO

x Dp / ~ p(x)

ALGN NO
PARTICULAR
NEGATIVO

EJERCICIOS
Simbolizar las siguientes proposiciones:
p: Algunos son seres humanos
q. Existen invertebrados
r: Todos los nmeros enteros son positivos
SOLUCION:
Existe algn x, tal que x es un ser humano
x Dp : p(x),

donde p(x): x es un ser humano.

Existe algun x tal que x es un invertebrado

x Dq/ q(x).,

donde q(x) : x es un invertebrado

Para todo x que pertenece a los enteros, se cumple que es

positivo
x Z : r(x) donde r (x): x es positivo
x Z : x>0

EJERCICIOS

Negar las siguientes proposiciones

p: x : x A x B
q. x IN / 2x = x + 2
r: x : x < 4 x2 = 16
SOLUCION:
~ [ x : x A x B ] = ~ [ x ]: ~ [ x A x B ]
= x / ~ [~ (x A) v x B ]
=
x / (x A) x B
~ [ x IN/ 2x = x + 2] = ~ [ x IN ] / ~ [ 2x = x + 2 ]

~[

x IN / 2x x + 2
x : x < 4 x2 =16 ] = ~ [ x ]: ~ [x < 4 x2 =16 ]
= x / ~ [~ (x < 4) v x2 =16 ]
= x / (x < 4) x2 16 ]

EVALUACIN
Determinar el Valor de verdad de las siguientes
Proposiciones, considerando como Dominio los IR

x : x2 = x
x / 2x = x
x / 2x2 + x = 15
x:x3<x
x: 2x + 3x = 5x
x: x +3 > x
x: x +3 > 6
x: x +3 > 6
x: x +3 6

FALSO
VERDADERO
VERDADERO
VERDADERO
VERDADERO
VERDADERO
FALSO
VERDADERO
VERDADERO

EVALUACIN

Niega las siguientes proposiciones

Algunos cuadrilteros son cncavos
Todo cuadriltero no es cncavo

Todos los crculos son simtricos

Existe un circulo que no es simtrico
Ciertos nmeros que pertenecen a los naturales son pares
Todo numero que pertenece a los naturales es impar

Cualquier nmero mixto no es decimal

Cierto nmero mixto es decimal

EVALUACIN
Escribe en forma simblica cada una de las sgtes
proposiciones:
Algunas sillas redondas son cmodas
x Ds / s(x):x es redonda t(x):x es cmoda
x Ds / s(x):x es cmoda
Es como decir:
Existe alguna silla x, tal que x es redonda y x es
cmoda

UNIVERSIDAD SEOR DE SIPAN

CURSO: LGICO MATEMATICA
TEMA: OPERACIONES CON
CONJUNTOS

Notacin de Conjuntos
Para simbolizar conjuntos utilizaremos
letras Maysculas y para los elementos
letras minsculas. Se pueden denotar por
Extensin o por Comprensin Ejemplos:

A= {x/x es una de las estaciones del ao}

B= {y/y es un futbolista del equipo Universitario}
C={a,e,i,o,u}
D={0,1,2,3,4,5,6,7,8,9}

Relacin de pertenencia
NO es una relacin entre elementos,
Vincula a cada elemento con su
conjunto, si un elemento pertenece o
es miembro de un conjunto se
simboliza con (psilon) y para indicar
lo contrario se simboliza con .
A={ m, p, g, h, {r, t} }

m A p A
rA

tA

gA
{r} A

{r,t} A
{m} A

Inclusin de Conjuntos
Relacin entre dos conjuntos
Se simboliza A B y se cumple cuando
cada elemento de A es tambin elemento
de B
M={21,27,30} y
P 5
N={21,30,40,27,68}
MN
4,
B = {Peruanos} y A = {Piuranos} A B
2,3
P = { {2,3}, {5}, 4}
{{5}} P {{2,3}} P 4P

Decide cules de las proposiciones son

verdaderas y cules falsas. Luego, justifica
tus respuestas.
Si A= 1, 2, 2 , 3
a) 1 A
b) 2 A
c) 3 A
d) 2 A
e) 1, 2 A
f) 1, 3 A

g) x x
i) x x , x

Observa bien antes

de responder

h) x x , x
j) x x , x

a), b), d), f) son verdaderas.

c), e) son falsas.

g), h), i), j)

Son verdaderas.

OPERACIONES
CON
CONJUNTOS

UNION

Cumbia

DIFERENCIA
C-R

Reggeton

COMPLEMENTO
C

Cumbia

Cumbia

DIFERENCIA
R-C

Reggeton

COMPLEMENTO
(C U R)

INTERSECCION

DIFERENCIA
SIMTRICA
CR

Reggeton

COMPLEMENTO
R

EJERCICIO N 01

Si los conjuntos A y B son tales que: n (A-B)=10; n(BA)=14; n(AUB)=30. Entonces es cierto que:
a)
b)
c)
d)
e)

n(AB)= 1
n(A) = 16 y n(B) = 14
n(A) = 16 y n(B) = 20
n(A) = 10 y n(B) = 20
No es posible determinar el cardinal de A ni el cardinal de
B.

B
n(A U B) = n(A-B) + n(B-A) + n(AB)

10

n(A) = 16

14

n(B) = 20

30
30
6

=
=
=

10

+ 14 + n(AB)
24 + n(AB)
n(A B)

RESPUESTA C.

Ejercicio N 02
En una embajada trabajan 67 personas. De stas, 47
conocen el ingls, 35 el alemn y 23 conocen ambos
idiomas Cuntas personas no conocen ni el ingls ni
el alemn?
a)5
b)6
c)7 d)8
e)9
U = 67
A(35)

I (47)

24

23

12

I (47)
A (35)

24
23

23
12

n(In(A
) = )n(I
- A) -+I)n(IA)
= n(A
+ n(AI)
4735 = n(I
- A)- +
= n(A
I) +2323
4735- 23
- A)- I)
- 23 = n(I
= n(A
2412 = n(I
- A)- I)
= n(A
n(U ) = n(I - A) + n(A - I) + n(IA) + n(I U A)
67 = 24 + 12 + 23 + n (I U A)
8 = n( I U A)
RESPUESTA D.

Ejercicio N 03
De 680 personas 20 consumen slo pia;40 slo uva; 60 slo
naranja. El nmero de personas que slo consumen pia y uva
es la mitad del nmero de personas que consumen los tres
productos. El nmero de personas que consumen slo pia y
naranja es igual al nmero de personas que slo consumen una
fruta. El nmero de personas que slo consume uva y naranja
es igual al nmero de los que consumen pia. Cuntas
personas consumen uva y naranja?
a) 390 b) 290
c) 150 d)220
e)280

U = 680
P()

U()

20 x/2 40
x
120

60

140+3X/2

N()

El numero de personas que solo

consumen una fruta:
= Solo P + Solo U + Solo N
= 20 + 40 + 60
=
120

El numero de personas que

consumen pia:
= Solo P + Solo PyU + Solo PyN+ PNU
= 20 + X/2 + 120 + X
=
3X/2
+ 140

n(U ) = 20 + 40 + 60 + 120 + X/2 + 140 + 3X/2 + x

UyN = 140 + 3X/2 +x
680 = 380 + 6X/2
UyN =140 + 5(x)/2
100 = X
RESPUESTA A UyN = 390