MatematicaBasica 01 PDF

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI
Capitulo I - Lgica Matemtica

Todos los tpicos relativos a las matemticas se razonan desde el punto de vista lgico y por lo tanto
hay que tener muy en cuenta el enunciado de las proposiciones matemticas y su consecuente validez.
Nota: Validez significa que una proposicin es verdadera o es falsa, pero nunca debe ocurrir que sea
verdadero o falso a la vez.
Enunciado: Se llama enunciado a toda frase u oracin. Algunos enunciados son mandatos o
interrogaciones o son expresiones de emocin. Otros en cambio son afirmaciones o negaciones que
tienen la caracterstica de ser verdadera o falsa.
Ejemplos:
a) Qu estudia en la Universidad?
b) Prohibido hacer bulla.
c) Dos ms tres, es igual a cinco.
d) 5 > 8
e) x2 < 4y
Proposicin: Llamamos proposicin a todo enunciado que tiene la cualidad de ser verdadero (V) o de
ser falso (F), pero nunca puede ser V y F a la vez.
Notacin: Denotaremos a las proposiciones con letras minsculas: p, q, r, s, t. Si son muchas
proposiciones entonces usaremos subndices, tales como:
p1, p2, p3, ..., pn
q1, q2, q3, ..., qn
Ejemplos:
p : dos ms tres, es igual a cinco
q : cinco es diferente de cero
t = cuatro y diez son mltiples de diez
u = 2 es menor que 3 y 3 es mltiplo de 5
Si una proposicin p es verdadera se dice que su validez o valor de verdad es v, se escribe V(p) = V o se
lee valor de verdad de p es igual a V.
Si una proposicin p es falsa se dice que su validez o valor de verdad es F1 se escribe V(p) = F y se lee
valor de verdad de p es igual a F.
Ejemplo:
Proposicin
Valor de Verdad
p : Csar Vallejo naci en Pars

q : 2 + 3 < 10 3
V(p) = F
V(q) = V
Enunciados Abiertos:
Son expresiones que no tienen la propiedad de ser verdadero o falso, es decir, no son proposiciones. As,
el enunciado x + 2 > 5 no se le puede atribuir el valor (V) o el valor de (F), a menos que reemplacemos
la x por un nmero mayor que 3 en cuyo caso el enunciado se convierte en una proposicin verdadera, o
si el reemplazo se hace un nmero menor que 3, la proposicin resulta falsa:
Ejemplo:
1) x + y + z = 6
2) x es mltiplo de 4
Proposiciones Simples y Compuestas:

Las proposiciones simples: Llamadas tambin proposiciones atmicas o elementales, son aquellos
enunciados que tienen un solo sujeto y un solo predicado.
Ejemplo:
1) Carlos Marx naci en Alemania.
2) La silla es de madera.
Las proposiciones compuestas: Llamadas tambin proposiciones moleculares o coligativas, son
aquellas que estn constituidas por dos o ms proposiciones simplesEjemplo:
1) Carlos estudia Derecho o Contabilidad.
2) Si maana el cielo est nublado, entonces llover.
Pgina 1 de 167
Propiedad Fundamental de las Proposiciones Compuestas:

La verdad de la proposicin compuesta depende de la verdad de cada una de las proposiciones
componentes, sin que en esta dependencia de verdades tenga que ver la naturaleza, la significacin o la estructura
de la propiedad, a las proposiciones compuestas se les llama tambin funciones veritativas.
Conectivos Lgicos:
Son expresiones que sirven para unir dos o ms proposiciones, entre los ms importantes conectivos
lgicos tenemos:
La conjuncin, disyuncin, implicacin, bicondicional, negacin, contradiccin, esto mostraremos en el
siguiente cuadro.
Nombre
Conjuncin
Disyuncin
Implicacin
Bicondicional, equivalencia,
doble implicacin
Expresin
Y
O
si ... entonces
... si y slo si ...
Negacin
Contradiccin
no
... no equivalente
Smbolo Lgico
Proposiciones Compuestas Lgicas:

a)
Negacin: Dada una proposicin P, llamaremos la negacin de p, a otra proposicin que

denotaremos por p, y que se le asigna el valor opuesto a p, y su tabla de verdad es:
p
V
F
F
V
Ejemplo:
1. La tiza es blanca.
Su negacin es: no es cierto que la tiza es blanca.
2. Dada la proposicin p = 5 x 7 = 35
Su negacin: no es cierto que 5 x 7 = 35
b)
La Disyuncin Inclusiva: Dadas dos proposiciones p y q, la disyuncin inclusiva o dbil, es una

proposicin coligativa que resulta de unir las proposiciones p y q con el conectivo o, el cual se
denota por el smbolo , se escribe p q y se lee p o q. La tabla de verdad para la disyuncin
es:
p
V V
V F
F V
F F
Ejemplo:
Juan habla ingls
p
pq
V
V
V
F
o
V
Juan habla francs

q
Maritza estudi italiano en un instituto

p
c)
quiz en Italia
Conjuncin: La conjuncin de dos proposiciones p y q es la proposicin compuesta que resulta de

unir p y q mediante el conectivo y que se simboliza p y q, donde el principio lgico es la
conjuncin p q es verdadero V, solo cuando p es verdadero y q es verdadero V, en todos los
dems casos es falso. Su tabla de verdad es:
p
V V
V F
F V
F F
Pgina 2 de 167
pq
V
F
F
F
Ejemplo:
Determinar el valor de verdad de la proposicin
2 + 3 + 5 = 11 y 4 + 8 > 5 + 6
Si: p: 2 + 3 + 5 = 11
q: 4 + 8 > 5 + 6
V(p) = F
V(q) = V
V (p q) = F
Nota: Hay palabras como pero, sin embargo, adems, aunque, no obstante, a la vez, etc.
tambin une proposiciones conjuntivamente.
d)
La Condicional: Dadas las proposiciones p y q, se denomina proposicin condicional a la que

resulta de unir p y q por el conectivo si ... entonces ... , que se denota por el smbolo , se
escribe p q y se lee si p, entonces q, donde el principio lgico es la proposicin implicativa es
falso nicamente en el caso que la proposicin p es verdadera y la proposicin q es falsa, siendo
verdadera en todos los dems casos. Su tabla de verdad es:
p
pq
V V
V F
F V
F F
V
F
V
V
A la proposicin p se denomina antecedente y la proposicin q consecuente.

Ejemplo:
Si Patricia consigue visa de turista, entonces viajar a Japn
p
Ejemplo: Determinar el valor de verdad de la proposicin:

Si los monos son humanos entonces la tierra es plana
p = los monos son humanos
q = la tierra es plana
V (p q) = V
V(p) = F
V(q) = F
Ejemplo: Simbolizar:
1B es mltiplo de 2 puesto que es un N par si:
p = 18 es mltiplo de 2
q = 18 es nmero par
Quedara: q p
Ejemplo: De la falsedad de la proposicin: (p q) ( r s)
Determinar el valor de verdad de los esquemas moleculares.
a. ( p q) q
b. (p q) [(p q) q]
Solucin:
(p q) [( r s] F
F
pqF
pV
qFqV
( p q) q
(F F) F
FF
F
Pgina 3 de 167
rsF
r V
rF
rF
(p q) [ (p q) q]
(V V) [ (V V) F ]
V [ V F]
V F
F
e)
La Bicondicional: La doble implicacin o bicondicional de dos proposiciones p y q es la proposicin

compuesta mediante el conectivo lgico si y slo si y se simboliza p q son verdaderos V o son
falsos F, en otros casos es falso F. Su tabla de verdad es:
p
V V
V F
F V
F F
pq
V
F
F
V
Ejemplo:
Jack comprar una casa si y slo si obtiene un prstamo del banco.
pq
f)
La Disyuncin Exclusiva: La disyuncin exclusiva de dos proposiciones p y q es la proposicin

compuesta mediante conectivo lgico o y se simboliza p q, donde ambas proposiciones p y q
tengan valores de verdad opuestos y es falsa si ambas tienen idnticos valores. Su tabla de verdad
es:
pq
V V
V F
F V
F F
F
V
V
F
Ejemplo: O Elvia es contadora o es administradora.

p q
Proposiciones Compuestas:
Mediante los conectivos lgicos se pueden combinar cualquier nmero finito de proposiciones cuyos
valores de verdad pueden ser conocidos, construyendo su tabla de verdad, en dicha tabla se puede
indicar los valores resultantes de estas proposiciones compuestas para todas las combinaciones posibles
de valores de verdad de proposiciones compuestas.
Ejemplo: La tabla de verdad de la proposicin compuesta de:
[ (p q) (q r) ] (p r)
p
[(p q)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
V
V
V
V
V
F
F
F
V
F
V
V
(q r)]
V
F
V
V
V
F
V
V
V
V
V
V
V
V
V
V
(p r)
V
F
V
F
V
V
V
V
Jerarqua de los Conectivos Lgicos:

Si se tiene una proposicin compuesta con varios conectivos lgicos, para realizar las operaciones
primeramente se debe colocar los parntesis adecuadamente empezando con las proposiciones que se
encuentran dentro de los parntesis anteriores, luego siguen todas las negaciones y se avanza de
izquierda a derecha (los corchetes son considerados como parntesis).
Pgina 4 de 167

Ejemplo: Hallar la tabla de valor de verdad de la proposicin:
[ p ( q r) ] [ ( p r) ] q ]
p
[ p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
V
V
V
( q r) ]
F
V
V
V
F
V
V
V
[( p r)] q ]
F
V
V
F
F
F
V
V
V
F
V
F
V
V
V
V
F
V
V
F
F
F
V
V
Tautologas, Contradicciones y Contingencias:

a)
Tautologas: Son proposiciones compuestas que siempre son verdaderos cualquiera que sea el
valor de las proposiciones componentes.
b)
Contradicciones: Son proposiciones compuestas que siempre son falsas cualquiera que sea el
valor de las proposiciones compuestas.
c)
Contingencia: Son proposiciones compuestas que no son ni tautologas ni contradicciones, es

decir, son proposiciones que en algunos casos es F y en otros V.
Ejemplos: Determinar si son tautologa, contradicciones o contingencias.

a)
b)
c)
{ [ p ( q p) ] [ ( p q ) (q p) ]
[(pq)q]p
[ p ( q r ) ] [ (p r ) q ]
Solucin:
a)
b)
c)
{ [p (qp)]
V
V
F
F
V
F
V
F
V
F
V
F
[(p q )
V
V
F
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
F
V
V
F
V
V
Pgina 5 de 167
V
V
V
F
V
V
V
F
[ (pq)
(qp) ]
F
V
F
V
F
V
F
F
V
F
V
V
F
V
V
F
q] p
F
F
F
V
[p (qr)]
F
F
F
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
V
F
F
V
V
V
F
F
V
[ (p r)
V
V
V
V
V
F
V
F
q ]
V
V
F
F
V
F
F
F
F
F
V
F
Equivalencias Notables:
1.
Ley de Doble Negacin:

a) ( p ) p
2.
Ley de Idempotencia:
a) p p p
b) p p p
3.
Leyes Conmunitativas:
a) ( p q ) ( q p )
b) ( p q ) ( q p )
c)
p q qp
4.
Leyes Asociativas:
a) p ( q r ) ( p q ) r
b) p ( q r ) ( p q ) r
c) p ( q r ) ( p q ) r
5.
Leyes Distributivas:
a) p ( q r ) ( p q )
b) p ( q r ) ( p q )
c) p ( q r ) ( p q
d) p ( q r ) ( p q
(
(
)
)
pr)
pr)
(pr)
(pr)
6.
Leyes de Morgan:
a) ( p q ) p q
b) ( p q ) p q
7.
Leyes del Condicional:

a) p q p q
b) ( p q ) p q
8.
Las Leyes del Bicondicional:

a) ( p q ) ( p q ) ( q p )
b) ( p q ) ( p q ) ( p q )
9.
Ley
a)
b)
c)
d)
de la Absorcin:
p(pq) p
p(pq) pq
p(pq) p
p ( p q ) p q
10. Leyes de Transposicin:

a) (p q ) q p
b)
pq qp
11. Leyes de Exportacin:
a) ( p q ) r p ( q r )
b) ( p1 p2 p3 ..... pn ) r ( p1, p2, ..... pn - 1 ) (pn r )
12. Elementos Neutros para la Conjuncin y Disyuncin:
a) p V p
b) p F p
13. Tambin:
a) ( p q ) ( p q ) p
b) ( p q ) ( p q ) p
Pgina 6 de 167
Circuitos Lgicos:
Los circuitos lgicos se relacionan con el circuito elctrico.
Se identifica la verdad de la proposicin con el paso de corriente y la falsedad de la proposicin con la
interrupcin de la corriente.
Cuando pasa la corriente:
(p)
Cuando no pasa la corriente:
(p)
En lgica: si p representa el paso de corriente p, representa el no paso de corriente.

Si:
p
p interruptor
q interruptor, conectados en SERIE
Para que el foco se prenda (de Luz) p y q deben dejar pasar la corriente es decir los dos interruptores
deben estar cerrados, hasta que uno de los interruptores est abierto, entonces, no pasa corriente, por
lo tanto el foco no se prenda. Este circuito corresponde a la tabla de valores de p q.
Analizamos la tabla (p q) de valores de p q.
p
(p q)
-------------
S, prende el foco
Cerrado
Cerrado
F
F
V
Cerrado
No se prende
Abierto
F
F
Abierto
No se prende
Cerrado
F
F
Abierto
Pgina 7 de 167
F
Abierto
No se prende

Si los interruptores se conectan en paralelo se obtiene un circuito que funciona mediante la tabla de
valores de p q.
p: Interruptores
q: Interruptores
Conectados en paralelo
p
q
p
pq
V
V
Cerrado
S, el foco se prende
Pasa corriente
Cerrado
V
V
F
Cerrado
Pasa corriente
Abierto
V
F
V
Abierto
Pasa corriente
Cerrado
F
F
F
Abierto
No, el foco no se prende

No pasa
Abierto
Pgina 8 de 167
Cuantificadores:
a)
Cuantificador Universal:
Ejemplo:
Enunciado abierto: p(x) = x + 3 mltiplo de 2
Para todo x + 3; es un nmero mltiplo de 2
En smbolo x + 3; es un nmero mltiplo de 2
Como observas, delante del enunciado abierto hemos escrito (Para todo), entonces el enunciado
abierto con el smbolo se convierte en proposicin. se le denomina cuantificador universal.
b)
Cuantificador Existencial:
Ejemplo:
Enunciado abierto: p(x) = x + 3 mltiplo de 2
Existe por lo menos un nmero x + 3 que es mltiplo de 2
Existe un nmero x + 3 que es mltiplo de 2
En smbolo x + 3 que es mltiplo de 2
Como observas, delante del enunciado abierto hemos escrito (existe) (Existe por lo menos),
entonces el enunciado abierto con el smbolo se convierte en proposicin. se le denomina
cuantificador existencial.
Ejercicios:
1.
Para el conjunto A = { 1; 2; 3; 4; 5 } tenemos:

x A, 2x + 3 < 15 y se lee: Cada x A
Cumple 2x + 3 < 15 todo elemento x A
Cumple 2x + 3 < 15; y es una proposicin verdadera porqu?
x A / x2 + 4 < 12 es una proposicin verdadera porqu? cmo se lee?
x A, x2 + 4 < 12 es una proposicin falsa porqu?
La proposicin Todo x de A cumple:

3x + 1 < 5x 2 denotamos:
x A, 3x + 1 < 5x 2 es una proposicin falsa porqu?
2.
Si A = { 1; 2; 3; 4; 5 } proposicin:
x A / 3x + 4 = 14, es una proposicin falsa porqu?
x A, / x2 + 4 < 12, es verdadera porqu?
x A / 2x + 1 < 10, es verdadera porqu?
c)
Negacin de Proposiciones con Cuantificadores Universales:

Ejemplos:
1.
La negacin de: x N, 2x + 3 = 7, es; x N / 2x + 3 = 7

que es verdadera, pues x = 2 cumple la propiedad
2.
Si A = { 1; 2; 3; 4; 5; 6; 7; 8; 9 }, tenemos:
x A, x es primo, su negacin es:

x A / x no es primo, es una proposicin verdadera, pues para x = 8 x = 6 que estn en A
se cumple la propiedad.
Entonces:
La negacin de x A, p(x) es x A / p(x)
d)
Negacin de Proposiciones con Cuantificador Existencial:

Ejemplos:
1.
2.
3.
4.
Si n, n N, n + 2 < 8 su negacin es:

n, n N, ( n + 2 ) < 8
Existe un x N, tal que x es nmero primo su negacin es:
Para todo x N, x no es primo.
Sea A = { 1; 2; 3 }
Si tenemos la proposicin: x A; x + 5 = 8
Su negacin es x A; no es cierto que x + 5 = 8
Entonces:
La negacin de x A, p (x), es: x A, p(x)
Existe una ciudad del Per que es la Capital; su negacin es:
Todas las ciudades del Per no son la capital del Per.
ciudad Capital del Per, su negacin es,
ciudad del Per, no es la capital del Per
Pgina 9 de 167
Ejercicios
1.
a)
b)
c)
d)
e)
f)
g)
Si 4 + 3 = 7, entonces 6 + 4 = 10
La UJCM est en Moquegua o Tacna
No es verdad que 3 + 3 = 7, si y slo si 8 + 2 = 15
No es verdad que: 2 + 2 = 5 o que 2 + 2 = 4
4 + 8 = 12 y 9 4 = 5
La UJCM est en Tacna
3+4=7y31=1
2.
a)
b)
c)
d)
e)
Determinar el valor de verdad de cada una de las siguientes proposiciones:

(
(
(
(
(
(
(
V)
V)
F)
F)
V)
F)
F)
Determinar si es una tautologa, contradiccin o contingencia:
{[p(q p)] [(p q)(q p)]}

p(qr)][(pr)q]
p(rq)]
( p q ) r ] [ r ( p q ) ]
p(qr)][(pr)~q]
[
[
[
[
Solucin:
a)
El esquema molecular es igual a:

[p(q p)]
b)
[ p
V
V
F
F
V
F
V
F
V
V
F
F
[(p q)(q p)]

( q p ) ] [ ( p q ) ( q p ) ]
V
V
V
F
V
V
V
F
V
F
V
F
F
V
V
F
V
F
V
V
[ ( p
F
F
V
V
V
F
F
V
V
V
V
V
V
F
V
F
Es una CONTINGENCIA
[p(qr)][(pr)q]
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
[ p
(qr) ]
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
F
V
V
V
F
V
V
V
F
p
V
V
V
V
F
F
F
F
V
F
V
V
V
V
V
V
CONTINGENCIA
c)
F
F
V
F
[p(rq)]
p
q
r
V
V
V
V
V
F
V
F
V
V
F
F
F
V
V
F
V
F
F
F
V
F
F
F
CONTINGENCIA
Pgina 10 de 167
(rq) ]
V
F
V
V
V
F
V
V
r)q]
V
V
F
F
V
F
F
F
V
V
F
F
V
V
F
F
d)
[ ( p q ) r ] [ r ( p q ) ]
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
e)
[(p q) r ]
F
F
F
F
V
V
F
F
V
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
(pq)]
V
F
V
F
V
F
V
F
F
F
F
F
V
F
F
F
F
F
F
F
V
V
F
F
CONTRADICCIN
[p(qr)][(pr)q]
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
F
V
V
V
V
V
V
(qr) ]
V
F
V
V
V
F
V
V
V
V
V
V
V
V
V
V
[ ( p r )
F
V
F
V
F
F
F
F
V
F
V
V
V
V
V
V
~q]
F
F
V
V
F
F
V
V
TAUTOLOGA
3.
a)
b)
c)
El valor de verdad de: (p q) ( r s) es falso, determinar el valor de verdad de

los esquemas moleculares:
( p q) q
(rq)[(qr)s]
(pq)[(pq)q]
Solucin:
(p q) ( r s) F
rsF
pqF
pV
qV
rF
sF
a)
( p q) q
(FF) F
F F
F
b)
(rq)[(qr)s]
(VV)[(FF)F]
V(FF)
V F
F
c)
(pq)[(pq)q]
(VV)[(VV)F]
V (V F)
V F
F
Pgina 11 de 167
4.
Simplificar las proposiciones siguientes aplicando las leyes lgicas:
[ (pq)q]q
[ (pq) q ]q
[(p q) q ]q
[(pq) q ]q
q
5.
Si definimos # como ( p # q ) ( p q ) ( p q ). Hallar una expresin

equivalente a p # q.
(p#q)(pq)(pq)
(p#q)(pq) (pq)
(p#q)[(pq) p] [(pq) q]
( p # q ) ( p q ) ( q p ]
(p#q) ( qp)
(p#q) [ (pq)
(pq)
(qp)]
(p#q) [ pq)]
6.
Demostrar que son equivalentes:
[pq ] (pq)
[(pq)(p q)]
(pq) (p q)
(p q) (p q)
(qp) (pq)
(qp)
(pq)
7.
Simplificar: [ ( p q ) ( p q ) ] ( p q )
Solucin:
[(pq)(pq)](pq)
[ p(q q)](pq)
[pV](pq)
p(pq)
pq
8.
a)
b)
c)
Dadas las proposiciones:
q: 7 es un nmero racional
p y r cualquier proposicin, adems se sabe que:
[ ( r q ) ( r p ) ] es verdadera.
Hallar el valor de verdad de:
r(pq)
[r(pq)](qp)
(rp)(qp)
Solucin:
Del ejercicio tenemos que q F, adems:
(rq)(rp)F
V
Por lo tanto:
rqV
rpF
r=V
r=V
Pgina 12 de 167
a)
q=F
r(pq)
V(VV)
VV
V
p=F
b)
[r(pq)](qp)
[V(FF)](F V)
(VF)F
FF
V
c)
(rp)(qp)
(VV)(FF)
VF
F
9. Dado: [ ( p q ) (q r ) ] ( p r ) F
a)
b)
c)
Encontrar el valor
[p (q r)]
(p q r)
[p (p r)]
de verdad de:
p
(pr)
(pq)
Solucin:
Dado que:
[ ( p q ) (q r ) ] ( p r ) F
V
Por lo tanto:
[ ( p q ) (q ~ r ) ] V
V
pq
p=V
q=V
qr
r=F
a)
[p (q r)]
[V(V F)]
[V F]
F
b)
(p q r) (pr)
(V V F) (VF)
F V
F
c)
[p (p r)]
[V (V F)]
(V F)
F
p
V
V
V
(pq)
(VV)
V
V
10. Simplificar a su mnima expresin:
{[(pq)(pq)]}
Solucin:
(pq)(pq)
(pq)(pq)
(pq) pq
p q
Pgina 13 de 167

11. Simplificar la siguiente expresin lgica:
[(p q)(pq)] [p(pqr)]

Solucin:
[(p q)(pq)] [p(pqr)]

V
(p)
V (Tautologa)
12. Simplificar la proposicin:
{ [ p (q r) ] [ p (q r) ] } { (p q) [ r (r q) p ] }
Solucin:
Desarrollando la primera llave:
[ p (q r) ] [ p (q r) ]
[ p (q r) ] [ p ( q r ) ]
[ p (q r) ] [ p ( q r ) ]
[ p (q r) ] [ p ( q r ) ]
F
En la segunda llave tenemos:
(p q)
(p q)
(p q)
p
De las dos tenemos:
[ r (r q) p ]
[(r q) p]
[(p q) r]
q
F(pq)
pq
13. Dado:
p*q { [ ( p q ) p ] q } p
Simplificar:
[(pr)*q ] *(p q)
Solucin:
p*q { [ ( p q ) q } p
p*q { [ ( p q ) p ] q } p
p*q { p q } p
p*q p
Reemplazando tenemos:
[ (pr)*q] * (pq)
(pr)*(pq)
pr
14. Dado: p @ q { p [ p ( q t r ) ] } p
Simplificar: [ ( p q ) @ ( q p ) ] @ ( p q )
Solucin:
p@q {p [p(qtr)]}p
p@q p
Pgina 14 de 167

Luego la expresin simplificada ser:
[(pq)@(qp)] @ (pq)
(pq)@(pq)
pq
pq
15. Se define: p # q { p ( p q ) } p
Simplificar: ( p # p ) # q
Solucin:
p#q{p (pq)} p
p#q{[p(pq)] [p(pq)]}p
p#q{(F)] (p q) }p
p#q(p q) }p
p#q p q
(p#p)#q
(p p)q
Vq
V (Tautologa)
16. Si:
p
p*q
V
V
F
F
V
F
V
F
F
V
F
F
Simplificar:
[(p*q) (p*q)] p
Solucin:
Analizando la tabla tenemos que:
p*q pq
[(p*q) (p*q)]p
[(pq) (pq)]p
[(pq) (pq)]p
[(pq) pq ]p
(pq) p
pq
pq
17. Si:
p
V
V
F
F
q
V
F
V
F
Simplificar:
[(p*q)#p] (q# p)
p*q
F
F
F
V
Solucin:
De la tabla tenemos:
Pgina 15 de 167
p#q
F
V
V
V

p*q (pq) pq
p#q (pq) pq
[(p*q)#p] (q# p)
[(pq)#p] (qp)
[(pq)q] (qp)
[(pq)q] (qp)
(pq) (pq)
pq
18. Si:
p
p*q
V
V
F
F
V
F
V
F
F
F
V
F
Hallar p # q en:
p#q [{(pq)*(qp)}(p*q)]
Solucin:
De la tabla tenemos que:
p*q pq
p#q [{(pq)(qp)}(pq)]
p#q [{(pq)( qp)}(pq)]
p#q [(pq) (pq)]
p#q (pq) (pq)
p#q (pq) (p q)
p#q [(pq) p] [(pq) q]
p#q (pq) (p q)
19. Simplificar el siguiente circuito:
p q
p
p
q
q
Solucin:
[ ( p q ) (p q) ] { p [ q ( r p ) ] }
[ (p q ) ] [ ( p q ) ( p ( r p ) ) ]
V[(p q) V
V(pq)
pq
p
q
Pgina 16 de 167
20. Simplificar el circuito:

P
Solucin:
{ ( p q ) [ ( r q ) (q r) ] } [ ( r q ) ( r q ) ]
[(p q)[(rq)r]}[(rq)(rq)]
[(p q) V}[(rq)(rq)]
(p q)( rq)(r q)
p q (qr)(r q)
p q (q r)
p (q r)
pqr
p
q
r
21. Simplificar el circuito:

p
Solucin:
(pqr)(pqr) (pqr)
[(p r)q][(pr) q](pqr)
[(p r)(q q] (pqr)
(p r)[r(pq)
r [p (pq)
r (pq)
p
r
Pgina 17 de 167
22. Hallar x tal que:
p
p
p
x
Sea equivalente a p.
Solucin:
( p q ) { p [ ( pq ) p ( pq ) p ( ( pq ) x ) ) ] } p
(pq){p [ pp[(pq)x]]} p
(pq) p [(pq) x] p
p[(pq)x] p
[pq](p x) p
p(q x) p
x p
23. Representar grficamente las siguientes expresiones:
a)
p q
pq
q
b)
(pq)r
p
r
q
c)
[pq(pq)] [(pq)p]
p
q
Pgina 18 de 167
24. Determinar la menor expresin que representa al circuito:
p
q
q
p
p[p(q(pq))]q
p[q ( p q ) ]q
p[qp]q
pq
(pq)
25. Simplificar y hallar el equivalente a los circuitos dados.
a)
r
s
r
r
s
p
r
r
{[(rs)(rs)]s}[r(pr)]
{[(rs) s] [(r s) s)]} (r p)
[(r s)s] (r p)
s (r p)
s
p
b)
p
p
q
q
p
{ [ (p q) (q p) ] [ (p q) (p p) ] } (p q)
[ ( p q ) ( q p ) ] (p q)
p q
p
Pgina 19 de 167
c)
p
q
[(pq)pq][(pq)(pq)p] p
[(qp)q][ p(pq)p] p
[ p q] p
(p q)
26. Simbolizar:
Si Juan participa en un comit electoral de la universidad entonces los estudiantes se enojarn con
l, y si no participa en un comit electoral de la universidad entonces las autoridades universitarias
se enojarn con l. Pero Juan participar en un comit electoral de la universidad o no participar.
Por lo tanto, los estudiantes o las autoridades universitarias se enojarn con l.
Solucin:
p
= Juan participar en un comit electoral.
q
= Los estudiantes se enojarn con Juan.
r
= Las autoridades universitarias se enojarn con Juan.
[(pq)(pr)(pp)](qr)
27. Si Anita deca la verdad, entonces Scrates corrompa a la juventud y si el tribunal lo
orden equivocadamente, entonces Anita no es la culpable. Pero, Scrates no
corrompa a la juventud o Anita es la culpable. Por lo tanto Anita no deca la verdad o
el tribunal no conden a Scrates equivocadamente.
Solucin:
p
= Anita deca la verdad.
q
= Scrates corrompa a la juventud.
r
= El tribunal conden equivocadamente a Scrates.
s
= Anita es culpable.
[ ( p q ) ( r s ) ( q s ) ] [ p r ]
Pgina 20 de 167
Problemas Propuestos
1.
Determinar el valor de verdad de cada una de las siguientes proposiciones:

I.
II.
III.
IV.
V.
Si 3 + 2 = 7 entonces 4 + 4 = 8.
No es verdad que 2 + 2 = 5, si y slo si 4 + 4 = 0.
Pars est en Inglaterra o Londres est en Francia.
No es verdad que, 1 + 1 = 3 2 + 1 = 3.
Es falso que: si Pars est en Inglaterra, entonces Londres est en Francia.
a) VFFFF
2.
b) VVFFF
b) VFFV
d) VVVF
e) VVVV
c) (p q ) q
b) p q
e) (p q ) p
La proposicin: p { [ q ( q r ) ] p ] es equivalente a:
a) p q r
d) p ( q r )
b) p ( q ) r
e) ( p q ) r
c) p q ( r )
La proposicin [ p q p q ] ( p q ) equivale a:
a) p q
d) p q
6.
c) VFFF
La proposicin: [ p ( p q ) ] [ q ( p q )
es equivalente a:
a) (p q ) q
d) (p q ) q
5.
e) VFFVF
p(pq)
( p q ) ( p q)
(pq)p
[(pq)p]
a) VFVF
4.
d) VVFVV
Indicar el valor de verdad de:

I.
II.
III.
IV.
3.
c) VVFVF
b) p q
e) p q
c) p q
a) Si ( p q ) ( r s) es falso, deducir el valor de:

( p q ) p
b) Si p q es verdadera, q es falso, deducir el valor de verdad de:
[ ( p q ) r ] s
a) VV
b) VF
Pgina 21 de 167
c) FV
d) FF
e) Faltan datos en (b)

7.
Si la proposicin: ( r s) [ ( p s ) ( p q ) ] es falsa, entonces el valor de verdad

de las proposiciones:
I. ( p q ) r
II. q ( p s)
III. [ p r ] s
a) VVV
8.
b) VFV
c) VFF
d) FVV
e) FVF
p(x): x2 = 16
q(x): x - 4 = 8
r(x): x2 - 4 > 5
Si
Hallar el valor de verdad de:

[ ( p(1) p(3) ( r(2) p(3) ) ] [ ( p(2) q(2) ) ]
[ ( p(2) q(12) ] r(4)
[ p(4) r (5) ] q(4)
I.
II.
III.
a) VFV
9.
b) VFF
c) VVF
d) VVV
e) FVV
Sean m y n nmeros reales, definimos:

3m + 1, si x es una proposicin verdadera
n
p (x)
=
3n 1, si ex es una proposicin falsa
m
Si:
r: 4 < 2 - 1 = 0
s: -1 < 0 x2 < 0
p(r) + p(s) = 21
Hallar el valor de:
a) 1/3
m/n
b) 1/7
n/m
c) 0
d) 11
e) 3
10. Sea U = { x R / 5 < x < 100 } el universo. Halle el valor de verdad de:
I. x, y, z / x + y > z
II. x, y, z / 2x y < -z
III. x, y, z / 2x - y < 5z
a) FVF
b) FFF
c) VVV
d) VVF
e) VFV
11. Sea U = { 1, 2, 3 } el conjunto universal. Hallar el valor de verdad de:

I. x, y / x2 < y + 1
II. x, y / x2 + y2 < 12
III. x, y / x2 + y2 < 12
IV. x, y / x2 + y2 < 12
a) VFVF
b) VVFF
c) VVVF
d) VVVV
e) VVFV
12. Sea U = { 1, 2, 3, 4 } el conjunto universal. Hallar el valor de verdad de:

A = [ ( q r ) ( p r) ] ( p q )
B = [ p { q ( q r ) } r ]
Se sabe que:
p: x / x + 3 < 6
q: x / 2x2 + x = 5
r: x / x2 - 10 < 8
a) VV
b) VF
Pgina 22 de 167
c) FV
d) FF
e) N.A.

13. Si p y q son verdaderos, para qu valores de r, el esquema siguiente es verdadero?
( r p ) ( q r )
a) V
d) No se puede determinar
14. Si definimos: p * q
verdaderas?
I.
II.
III.
IV.
b) F
e) Faltan datos
c) V o F
( p q ) cul o cules de las siguientes afirmaciones son
p*qp
p (p * p) * (q * q)
p * (p * p) [ q p ]
(p q) p * (q * q)
a) Solo I y II
d) Solo IV
b) Solo II
e) Solo III
c) Ninguna
15. Cules de las siguientes proposiciones son verdaderas?

I.
II.
III.
[(qp)q]p
[ p (r q) ] [ (p r) (p q) ]
[ (p q) q ] q
a) Solo I y II
d) Solo I
b) Solo II y III
e) N.A.
c) Todas
16. Determinar la menor expresin que representa al circuito.

a)
Rpta.: p
b)
q
p
p
q
c)
Rpta.: p q
Rpta.: p q
d)
p
p
e)
q
Rpta.: (pq)
q
r
s
r
s
p
r
Pgina 23 de 167
f)
Rpta.: s (p r)
p
q
p
p
p
q
g)
g)
q
p
Rpta.: q p
q
Rpta. : p q
p
q
p
q
Rpta. : p q
CLAVE DE RESPUESTAS:
1
a
2
d
3
c
4
a
5
b
Pgina 24 de 167
6
c
7
d
8
a
9
e
10
e
11
e
12
b
13
c
14
c
15
c

MatematicaBasica 01 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

MatematicaBasica 01 PDF

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Capitulo I - Lgica Matemtica

p : Csar Vallejo naci en Pars

Proposiciones Simples y Compuestas:

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Propiedad Fundamental de las Proposiciones Compuestas:

Proposiciones Compuestas Lgicas:

Negacin: Dada una proposicin P, llamaremos la negacin de p, a otra proposicin que

La Disyuncin Inclusiva: Dadas dos proposiciones p y q, la disyuncin inclusiva o dbil, es una

Juan habla francs

Maritza estudi italiano en un instituto

Conjuncin: La conjuncin de dos proposiciones p y q es la proposicin compuesta que resulta de

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

La Condicional: Dadas las proposiciones p y q, se denomina proposicin condicional a la que

A la proposicin p se denomina antecedente y la proposicin q consecuente.

Ejemplo: Determinar el valor de verdad de la proposicin:

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

La Bicondicional: La doble implicacin o bicondicional de dos proposiciones p y q es la proposicin

La Disyuncin Exclusiva: La disyuncin exclusiva de dos proposiciones p y q es la proposicin

Ejemplo: O Elvia es contadora o es administradora.

Jerarqua de los Conectivos Lgicos:

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Tautologas, Contradicciones y Contingencias:

Contingencia: Son proposiciones compuestas que no son ni tautologas ni contradicciones, es

Ejemplos: Determinar si son tautologa, contradicciones o contingencias.

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Ley de Doble Negacin:

Leyes del Condicional:

Las Leyes del Bicondicional:

10. Leyes de Transposicin:

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Cuando no pasa la corriente:

En lgica: si p representa el paso de corriente p, representa el no paso de corriente.

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

No, el foco no se prende

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Para el conjunto A = { 1; 2; 3; 4; 5 } tenemos:

x A / x2 + 4 < 12 es una proposicin verdadera porqu? cmo se lee?

x A, x2 + 4 < 12 es una proposicin falsa porqu?

La proposicin Todo x de A cumple:

x A / 3x + 4 = 14, es una proposicin falsa porqu?

x A, / x2 + 4 < 12, es verdadera porqu?

x A / 2x + 1 < 10, es verdadera porqu?

Negacin de Proposiciones con Cuantificadores Universales:

La negacin de: x N, 2x + 3 = 7, es; x N / 2x + 3 = 7

x A, x es primo, su negacin es:

Negacin de Proposiciones con Cuantificador Existencial:

Si n, n N, n + 2 < 8 su negacin es:

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Determinar el valor de verdad de cada una de las siguientes proposiciones:

Determinar si es una tautologa, contradiccin o contingencia:

{[p(q p)] [(p q)(q p)]}

El esquema molecular es igual a:

[(p q)(q p)]

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

El valor de verdad de: (p q) ( r s) es falso, determinar el valor de verdad de

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

Simplificar las proposiciones siguientes aplicando las leyes lgicas:

Si definimos # como ( p # q ) ( p q ) ( p q ). Hallar una expresin

Demostrar que son equivalentes:

Dadas las proposiciones:

UNIVERSIDAD PRIVADA DE MOQUEGUA JOSE CARLOS MARIATEGUI

10. Simplificar a su mnima expresin: