1

UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE CIENCIAS ECONMICAS Y SOCIALES
ESCUELA DE ECONOMA
CTEDRA DE MATEMTICA
ASIGNATURA MATEMTICA I

Introduccin a la

LGICA
Proposicional

Profesora Raquel Reyna

2
CONECTIVOS LGICOS
CONECTIVO

DEFINICIN

Negacin

Es un conectivo lgico unitario que aplicado a una proposicin, da

lugar a una nueva proposicin cuyo valor de verdad es contrario al
de la proposicin original.

Conjuncin

Es un conectivo lgico binario que aplicado a dos proposiciones, da

lugar a una nueva proposicin, la cual es verdadera cuando las
componentes son, ambas, verdaderas y falsa en los dems casos.

Disyuncin
Inclusiva

Es un conectivo lgico binario que aplicado a dos proposiciones, da

lugar a una nueva proposicin, la cual es falsa cuando ambas
componentes lo sean y verdadera en los dems casos.

Disyuncin
Exclusiva

Es un conectivo lgico binario que aplicado a dos proposiciones, da

lugar a una nueva proposicin, la cual es verdadera cuando una de
las componentes sea verdadera y la otra sea falsa.

Condicional

Es un conectivo lgico binario que aplicado a dos proposiciones, da

lugar a una nueva proposicin, la cual es verdadera en todos los
casos, excepto en el que el antecedente es verdadero y el
consecuente es falso.

Bicondicional

Es un conectivo lgico binario que aplicado a dos proposiciones, da

lugar a una nueva proposicin, la cual es verdadera cuando las dos
componentes tienen el mismo valor de verdad y falsa cuando tienen
valores de verdad diferentes.

SMBOLO

p
p

SE
LEE:
no p

TABLA DE VERDAD

pq

p y q

pq

p o q

p q

o p o
q

V
F
p

F
V
q

V
V
F
F
p
V
V
F
F

V
F
V
F
q
V
F
V
F

pq
V
F
F
F
p q
V
V
V
F

V
V
F
F
p
V
V
F
F
p
V
V
F
F

V
F
V
F
q
V
F
V
F
q
V
F
V
F

F
V
V
F
p q
V
F
V
V
p q
V
F
F
V

p q

pq

pq

si p
entonces
q

p, si y
solo si,
q

Profesora Raquel Reyna

3
Segn sus
valores de
verdad

Segn su
estructura

Tautologa:
siempre es verdadera.
Atmicas:
interviene como nico
elemento una variable
proposicional
FORMULAS
PROPOSICIONALES

Moleculares:
interviene por lo menos
un conectivo lgico

Equivalentes ()
Intervienen las mismas variables
proposicionales y en sus tablas de
verdad, las columnas
correspondientes a dichas
frmulas son idnticas entre s.

Contradiccin:
siempre es falsa

Indeterminacin:
verdadera en unos casos
y falsa en otras

EJERCICIOS I
1. Indique si los enunciados siguientes son proposiciones. De ser proposiciones, simbolzalas e identifica los
conectivos lgicos que en ella intervienen:
a. Este ao la Escuela de Administracin y Contadura ser mejor que en aos anteriores.
b. Si la produccin petrolera va disminuyendo, entonces la balanza de pagos del pas ser negativa.
c. No sabemos si efectivamente suceder.
d. Pedro, Francisco y Antonio lograron ingresar a la universidad.
e. Si sus gastos son menores que sus ingresos, entonces su ahorro neto es positivo y aumenta su activo.
f. El alto costo de la vida y el problema de la vivienda.
g. Con la inflacin el salario real de los trabajadores disminuye.
h. Qu edad tienes?
i. Si n es un nmero par y n.m es impar, entonces m es un nmero impar.
j. Si comienza a disminuir el ingreso por la renta petrolera, entonces o disminuimos los gastos o
aumentamos la produccin del rengln agrcola.
2. Dadas las siguientes proposiciones:
p: La inflacin perjudica a la gente de ingresos fijos.
q: La inflacin destruye el poder de compra.
r: Cuanto menos sea el nivel de gastos gubernamentales menor es el peligro de inflacin.
Escribe en palabras las proposiciones simbolizadas por:
p q r
r q p
pq
q r p
p q r
3. Dadas las proposiciones p, q y r, halle la forma simblica de la proposicin que se encuentra en cada caso:
a.
p: La oferta aumenta.
q: La demanda disminuye.
r: Los precios permaneces estables.
Simbolizar: No es cierto que si la oferta aumenta y la demanda no disminuye, entonces los precios no
permanecen estables
b.
p: Los precios estn altos.
Profesora Raquel Reyna

4
q: Los precios suben.
r: El costo de la vida se encarece.
Simbolizar: Si el costo de la vida se encarece, entonces no es cierto que o los precios no suben o los
precios estn altos.
EJERCICIOS II
1. Sean las proposiciones p, q, r, s, t, tales que q y r son verdaderas y p, s y t son falsas. Determine el valor de
verdad de:
a. p q p
b. r q t q
2. Diga si las frmulas proposicionales presentadas a continuacin son tautologas, contradicciones o
indeterminaciones.
a. p q p q
b. q p q p q p
3. Diga si son o no ciertas las siguientes equivalencias
a. p q r p q p r

b. p q q p q p

4. Demuestre, utilizando las tablas de verdad las siguientes propiedades:

a. Asociativa: p q r p q r
b. Absorcin: p q p p
TALLER I
1. Diga cules de las siguientes expresiones son proposiciones:
a. Dos tringulos congruentes son semejantes.
b. Encontrar el rea del tringulo cuyos vrtices son (0,0),(1,0),(0,1).
c. Si x es mayor que dos entonces x2 es mayor que 4.
2. Responde las siguientes preguntas justificando las respuestas:
a. Si para cualquier proposicin q, es verdad p q . Qu puede decirse sobre el valor de verdad de
p?
b. Si p q es verdadera. Qu puede decirse sobre el valor de verdad de p q ?
3. Diga cules de las siguientes expresiones son proposiciones. De ser proposiciones, simbolcelas y determine
su valor de verdad.
a. Si 4 y 5 son nmeros pares, entonces 20 es un nmero impar.
b. La inflacin perjudica a la gente de ingresos fijos y si destruye el poder de compra, entonces
deteriora el salario real de los trabajadores.
c. Si los nmeros pares son divisibles por dos y los nmeros impares son divisibles por 3, entonces la
suma de un nmero par con un nmero impar es divisible por 6.
4. Sabiendo que: Galileo naci antes que Descartes, Descartes naci en el siglo XVI, Newton no naci antes
que Shakespeare, Racine no era un compatriota de Galileo. Determine el valor de verdad de:
a. Si Galileo naci antes que Descartes, entonces Newton naci antes que Shakespeare.
b. Si Racine no era un compatriota de Galileo, entonces Descartes no naci en el siglo XVI o Newton
no naci antes que Shakespeare.
5. Si p es una proposicin verdadera, demuestre que p q es equivalente a q.
6. Clasifique la siguiente frmula proposicional:

p q r p r

Profesora Raquel Reyna

5
7. Verifique si se cumple o no la siguiente equivalencia.

p q r q p
8. Demuestre, utilizando las tablas de verdad las siguientes propiedades:
a. Distributiva:

p q r p r q r

b. Absorcin: p q p p

LEYES DE LA LGICA
REGLA DE
INFERENCIA
Modus Ponendo
Ponens (P.P.)

EXPRESIN
SIMBLICA

PQ
P

FRMULA PROPOSICIONAL

( P Q) P Q

Q
Modus Tollendo
Tollens (T.T.)

PQ
Q

( P Q) Q P

P
Modus Tollendo
Ponens (T.P.)

PQ
P

Q
Silogismo
Hipottico (S.H.)

PQ
QR

( P Q) P Q
( P Q) Q P
( P Q ) (Q R ) P R

P R
Silogismo
Disyuntivo
(S.D.)

PR
QS
PQ
R S

( P R ) (Q S ) P Q
RS

ENUNCIADO
Si un condicional es verdadero y tambin lo
es el antecedente de dicho condicional,
podemos obtener, como conclusin, que el
consecuente del mismo, es verdadero.
Si un condicional es verdadero y tambin lo
es la negacin del consecuente de dicho
condicional, podemos obtener, como
conclusin, que la negacin del antecedente
del mismo, es verdadera.
Si una disyuncin inclusiva es verdadera y
la negacin de una de sus componentes
tambin lo es, entonces podemos obtener,
como conclusin, que la otra componente de
la disyuncin es verdadera.
Si son verdaderos dos condicionales dados
de tal forma que el consecuente de uno es el
antecedente del otro, entonces podemos
obtener, como conclusin, , que el
condicional cuyo antecedente es el
antecedente del primero y cuyo consecuente
es el consecuente del segundo, es verdadero.
Si dos condicionales son verdaderos y la
disyuncin inclusiva formada con los
antecedentes de esos condicionales, tambin
es verdadera, entonces podemos concluir
que la disyuncin inclusiva formada con los
consecuentes de dichos condicionales, es
Profesora Raquel Reyna

6
verdadera.

Doble Negacin
(D.N.)
Simplificacin
(S)

(P)

P (P)

PQ

P Q P
P Q Q

P
P
Q

Cunjuncin (C)

Adicin (A)

Si una proposicin es verdadera, podemos

obtener, como conclusin, que su doble
negacin tambin es verdadera.
Si la conjuncin de dos proposiciones es
verdadera, podemos obtener, como
conclusin, que cualquiera de las
proposiciones componentes es verdadera.
Si dos proposiciones son verdaderas,
entonces podemos concluir que su
conjuncin tambin es verdadera.

P Q P Q

P Q
P

Si una proposicin es verdadera, entonces se

puede concluir que la disyuncin inclusiva
de dicha proposicin con cualquier otra,
tambin es verdadera.

P P Q

P Q

LEYES DE EQUIVALENCIA

PP

Identidad (I)
Idempotencia (Idem.)

( P P) P
( P P) P
( P Q ) (Q P )
( P Q ) (Q P )

Conmutatividad (Conm.)

( P Q ) (Q P )

( P Q ) (Q P )

Asociatividad (Asoc.)

( P Q) R P (Q R)
( P Q) R P (Q R)

(P Q) R P (Q R

Distributividad (Dist.)
De Morgan (De M.)

P Q R P Q P R
P Q R P Q P R
[ (P Q)] [ P Q]
[ (P Q)] [ P Q]

Exportacin (Exp.)

P Q R P Q R

Contraposicin (Contrap.)

P Q Q

FORMAS DERIVADAS DEL CONDICIONAL

Profesora Raquel Reyna

7
PQ

QP

Directo

P Q

Recproco

Q P

Contrario del directo

Contrarrecproco

DEMOSTRACIONES MATEMTICAS:
Mtodo directo: consiste en partir de la verdad del antecedente y establecer la verdad del consecuente.
Mtodo indirecto: consiste en partir de la falsedad del consecuente y establecer la falsedad del antecedente.
Mtodo de reduccin al absurdo: consiste en partir de la negacin del consecuente y la afirmacin del
antecedente y si en el proceso de demostracin llegamos a alguna contradiccin, esto nos demuestra que el
condicional original es un teorema.
Demostracin por contraejemplo: consiste en obtener al menos una posibilidad en que siendo el antecedente
verdadero, el consecuente resulte falso, lo cual nos indica que el condicional puede ser falso y en consecuencia
no es una implicacin.
EJERCICIOS III
1. A continuacin se dan una serie de razonamientos. Verifica su validez.
a. Si n es divisible por ocho, entonces n es divisible por cuatro. Si n es divisible por cuatro, entonces n es un
nmero par. n no es un nmero par. Luego, n no es divisible por ocho.
b. Si Sudfrica es un pas democrtico, entonces el pueblo es libre y el gobierno es elegido por las mayoras. Si
Sudfrica no es un pas democrtico, entonces el gobierno sudafricano est impuesto. El pueblo no es
libre o el gobierno no es elegido por las mayoras. Luego, el gobierno sudadfricano est impuesto.
c. Si n es divisible por doce, entonces n es divisible por seis. Si n es divisible por seis, entonces n es divisible
por tres. n no es divisible por doce. Luego, n no es divisible por tres.
2. Dado los siguientes razonamientos expresados en forma simblica, determina su validez.
2.1 .
a) p q
b) p
c) r q
____________

2.2

a)

pq
b) q r

c) r
____________
p

2.3

a)

pq
b) r q
c) r
____________
p

Profesora Raquel Reyna

8
EJERCICIOS IV
1. Si a,b y c son nmeros naturales, tales que, a es divisor de b y b es divisor de c, entonces a es divisor de c.
Demostrarlo por el mtodo directo.
2. Si a,b y c son nmeros naturales, tales que, a+c < b+c. entonces a es menor que b
Demostrarlo por el mtodo indirecto.
3. Si m y n son nmeros enteros, tales que m.n es un nmero impar, entonces m y n son ambos impares.
Demostrarlo por el mtodo de reduccin al absurdo.
4.

Si n es un nmero entero, tal que, n es divisible por 6 y por 4, entonces n es divisible por 24.
Demostrarlo por contraejemplo.

TALLER II
1. Exprese simblicamente y diga si son vlidos o no los siguientes razonamientos:
1.1 Si n es divisible por tres, entonces n es un nmero impar. n es un nmero par. Luego: n no es divisible por
tres.
1.2 Si n es menor o igual que cuatro y m es menor o igual que tres, entonces n+m es mayor que siete. Luego: n
es mayor que cuatro y m es mayor que tres.
2. Pruebe las siguientes inferencias:
2.1
a) p q
b) p r
__________

2.2

a) p q
b) r q
__________
r p

3. Enuncie las formas derivadas del siguiente condicional: Si su ahorro neto es positivo y aumenta su activo,
entonces sus gastos son menores que sus ingresos.
4. Dado el siguiente teorema: Si a 2 es un nmero impar, entonces a es un nmero impar. Demostrarlo
aplicando el mtodo indirecto, sabiendo que a es un nmero entero.
5. Demostrar por contraejemplo, el siguiente condicional: Si n es un nmero natural menor o igual que 5 y m
es un nmero natural menor o igual que cuatro, entonces m.n es menor o igual que 15.

Profesora Raquel Reyna