Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
PROPOSICIONAL
INTRODUCCIN
CLASES DE PROPOSICIONES:
1.
La lgica estudia la forma de razonamiento. Es una
disciplina que se utiliza para determinar si un argumento es
vlido,
tiene aplicacin en todos los campos del saber; en la
filosofa, para determinar si un razonamiento es vlido o no, 2.
ya
que una frase puede tener diferentes interpretaciones;
sin
embargo la lgica permite saber el significado correcto.
Los
matemticos usan la lgica, para demostrar teoremas
e inferir resultados que puedan ser aplicados en
investigaciones .
En la computacin, para revisar programas y crear sus
algoritmos, es utilizada en el diseo de computadoras.
Existen circuitos integrados que realizan operaciones
lgicas con
los bits, gracias a estos se ha desarrollado las
telecomunicaciones (telefona mvil, internet, ...)
ENUNCIADO: Es cualquier frase u oracin que expresa
una idea.
PROPOSICIN: Son oraciones aseverativas que se pueden calificar como verdaderas o falsas. Se representan
con
las letras minsculas del abecedario: p ; q ; r ; s.
Ejemplo:
* Tpac Amaru muri decapitado.
* 9 < 10
* 45 = 3 2
ENUNCIADO ABIERTO: Son enunciados que pueden
tomar cualquiera de los 2 valores de verdad.
Ejemplo:
Si : P(x) : x 6
Se cumple que:
P(9) : 9 6 es verdadero
P(2) : 2 6 es falso
1.
Tabla de Verdad
SMBOLO
~
OPERACIN
LGICA
Negacin
Conjuncin
Disyuncin
SIGNIFICADO
No p
pyq
poq
Condicional
Si p, entonces q
Bicondicional
p si y slo si q
Disyuncin
Exclusiva
pq
VV
p q
V
VF
FV
FF
Aritmtica
2.
*
Disyuncin Exclusiva: Vincula dos proposiciones
mediante el conectivo lgico: "o ..........., o ............."
Tabla de Verdad
3.
Tabla de Verdad
LEYES DE LGEBRA PROPOSICIONAL
Son equivalencias lgicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma ms sencilla. Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso.
4.
a.
Ley de Idempotencia:
p p p
p p p
b.
Ley Conmutativa:
p q q p
5.
p q q p
Ley Asociativa:
(p q) r p (q r)
Tabla de Verdad
pq
6.
VV
pq
V
VF
FV
FF
(p q) r p (q r)
d.
Ley Distributiva:
p (q r) (p q) (p r)
p (q r) (p q) (p r)
e.
Negacin: Afecta a una sola proposicin. Es un
operador mondico que cambia el valor de verdad
de
f.
una proposicin:
Tabla de Verdad
p V p ; p F F
g.
p ~ p V
h.
i.
Ley de la Bicondicional:
CIRCUITOS LGICOS
p (p
q q)
p (q
q p)
pq
V (p
V q) V
pq
(~ p ~ q)
V
F
V
pq ~ (p q)
FV
j.
FF
Ley de Absorcin:
p (p q) p
p (p q) p
p (~ p q) p q
k.
p (~ p q) p q
pq
p q
V
V
Leyes de "De Morgan": F
VF
V
~ (p q) ~ p ~ q
FV
V
~ (p q)~ p ~ q
FF
F
2.
p q
CUANTIFICADORES:
p q
q
1.
Cuantificador
Universal:
Sea la funcin
proposicional pf(x)
un conjunto A, el
q sobre
pq
V
cuantificador V V
V Findica que
F todos los valores del
("para todo")
FV
V
conjunto A hacen que la funcin proposicional f(x)
FF
VF
sea verdadera.
se lee : "Para todo"
Ejemplo:
(x)
LGICA BINARIA
: x 3 2 5 donde x N
p q
La proposicin cuantificada es :
x N ; x3 2 5 es falsa.
2.
se lee
F :V "Existe algn"
Ejemplo:
2
2
~p
~ (p q)
q
~ (p q)
Sea : f
Aritmtica
EJERCICIOS PROPUESTOS
01. De los siguientes enunciados:
* Qu rico durazno.
* 7 + 15 > 50
a) VFV
d) FVF
x 2 y 2 25
Qu alternativa es correcta?
*
a)
b)
c)
d)
e)
a) VVF
d) VFV
~p
b) 1
e) 4
c) VVV
~q
q
Si la proposicin que se obtiene es falsa.
Cules son los valores de p y q respectivamente?
a) VV
d) FF
b) VF
c) FV
e) No se puede precisar
c) 3
08. Si la proposicin: (p~ q) (~ rs) es falsa,
deducir el valor de verdad de :
b) VFF
e) FFF
07. Simbolizar:
c) VFF
Una es proposicin.
Dos son enunciados abiertos.
Dos son expresiones no proposicionales.
Dos son proposiciones.
Todas son proposiciones.
a) 1
d) 4
b) VVV
e) FFF
c) 2
(~ p ~ q) ~ p
a) V
c) V o F.
e) Es V si p es F.
b) F
d) No se puede determinar.
Si la proposicin compuesta:
(p q)(r t)
Es falsa. Indicar las proposiciones que son verdaderas:
a) p ; r
d) q ; t
b) p ; q
e) p ; r ; t
c) r ; t
(4 1 3)(2 108)
a)
b)
c)
d)
e)
(3 7 10) (12 5)
12 21 1 3
2 2
a) VVFV
d) VVVF
b) VFVV
e) FVVV
Verdadero.
Falso.
Verdadero o falso.
Verdadero slo si q es verdadero.
Falso slo si r es falso.
c) VVVV
11. Si la proposicin:
(p q)(qr)
es falsa, hallar el valor de verdad de las siguientes
frmulas:
I. ~ (p r)(p q)
II. (p ~ q)(~ r q)
III. [(p q) (q ~ r)](p ~ r)
a) VVF
d) VFF
b) VFV
e) FVV
c) VVV
[(p q) r] s
II.
II. r(s p)
b) FVV
e) FFF
c) VVV
a) VFVF
d) VVVV
18.
p(r s)
Es falsa, cuntas de las siguientes proposiciones son
verdaderas?
I. (~ s t) ~ p
II. rp
b) Una
e) Cuatro
c) Dos
c) VFV
q(y) : y N / y 2 0
III. ( x N , x 0)( x Q , x 0)
IV. ( x N , x 3 x)( x R , x 1 x)
a) FVVF
d) VFFF
b) FVVV
e) VVVF
c) VVV
20. Sea : A = {1 , 2 , 3}
Determinar el valor de verdad de las siguientes
expresiones:
x A , y A / x 2 y 1
IV. x A , y A , z A/ x 2 y 2 2z2
a) VFVV
d) FVVV
b) VVFV
e) VVVV
c) VVVF
* r(z) : z R , z 2 92 (z 3)(z 3)
Indique el valor de verdad de:
a) qp
b) pq
c) (pq)~ p
pq , pr , r q
d) ~ p(pq)
b) FVV
e) FFF
c) VVFF
III. x A , y A , z A/ x 2 y 2 2z 2
II. ( x R , x 2 x) ( x Z , x 1 x - 1)
II. x A , y A / x2 y2 12
III. (pq)[(p q) ~ q]
Son respectivamente :
c) VFV
I.
II. (~ r q)[(~ q r) s]
b) FFF
e) FFV
b) FFV
e) FFF
I. ( x R , x x) ( x R , x 1 x)
a) FFV
d) VVV
c) VVVF
Si : U = {1 ; 2 ; 3 ; 4 ; 5}
Cul es el valor de verdad de las siguientes
proposiciones?
I. xU : x 3 x 4
II. x U : x 2 8x 6
a) VVV
d) FVF
a) VFV
d) VVF
b) VVFF
e) VVFV
III. x U : x 2 5x - 1 2
III. t~ r
a) FVV
d) FVF
IV. x , y / x y 12
13. Si la proposicin:
a) Ninguna
d) Tres
III. x , y / x y 12
III. (p r)(r ~ s)
a) VFF
d) VVF
x , y / x 2 y 2 12
c) VFV
e) (qp)~ p
Aritmtica
28. Simplificar:
M [(~ p q)(~ q p)] ~ (p q)
II. (p q)(pq)
a) q
d) ~q
b) VFV
e) FVV
c) VVF
b) p
e) ~ p q
c) ~p
29. Simplificar:
~ [(~ pq)
~ p][q(p~ q)]
a) p ~ q
b) ~ p q
II. (p q)p
c) ~ (p q)
d) ~ (p q)
III. (p q)(pq)
e) p q
IV. p(p q)
a) VFVF
d) VFFV
~ [(p~ q) (~ r~ s)]
Deducir el valor de verdad de :
c) FVFV
I. ~ (~ q ~ s)~ p
II. ~ (~ r s)(~ p~ q)
q
A
~p
q
~p
a) FVV
d) VFF
~q
p
b) VVF
e) FFF
c) FFV
a) p q
b) ~ p q
d) ~ p q
e) ~ p ~ q
es una contradiccin.
c) p q
III. [p (pq)](q r)
es una contingencia.
~q
~p
a) VVV
d) VFV
p
q
a) p
b) p ~ q
d) ~ p q
e) p ~ q
c) p q
b) VVF
e) FVV
c) VFF
~p
q
p
~q
p
a) p q
b) ~ p q
d) ~ p q
e) ~ p ~ q
c) p q
(pq)[(p ~ q) (p q)]
b) q
d) p q
e) pq
b) T , S , C
e) S , C , T
c) C , T , S
a) p
a) T , C , S
d) S , T , C
c) p q
34. Si:
a * b (ab) [b ~ (ab)]
a b {a [b(a b)]}~ a
Reducir :
I. p~ q~ (p ~ q)
II. ~ (pq) (p q) pq
III. ~ p q~ (~ pq)
b) V
e) q
a) Slo I
d) I y III
39. Si: p q p~ q
p#~ q (pq)~ p
Simplificar:
p q (p ~ q) (q~ p)
c) ~ p q
VV
q
V
VF
F
F
V
F
b) p
d) ~ p ~ q
e) ~p
(p * p) * p
(p * ~p) * p
~(p * q)
p*q
p * (q * q)
p#q
F
p
F
pq
VV
Simplificar:
~q
~p
~p
~q
a) p
d) p
b) q
e) ~q
d) p q
r
s
t
st
r
s
t
38. Se definen los operadores " " y " " por las siguientes
tablas:
VV
~q
A
r
c) r
~q
c) p q
e) q~ p
~p
b) q p
Es:
[(p#~ q) p] (q ~ p)
a) qp
c) ~q
40. Si: p * q~ p ~ q
Expresar ~p usando nicamente el operador (*)
F
V
b) p q
e) V
d) p q
a) ~ p q
a)
b)
c)
d)
e)
Simplificar: (p + q) + p
a) F
c) I y II
c) F
35. Si se define:
a) p q
d) ~p
b) Slo II
e) Todas
~p
st
p q p
F
Es equivalente a:
a) p
b) q
d) ~q
e) p q
c) ~p
Aritmtica
~p
~q
A
p q
~p
~q
~p ~q
~r
p
t
q
x
y
y
x
x
y
pqr
p
p
q
a) A
b) A
c) A
d) A
e) A
B
B
a) p q
b) p q r s t
c) r s
d) s t
e) p q r s t
44. Si:
A [(p q) (p r)] [(p t) (p ~ t)]
B
y
x
y
q ~q
~q
~p q
~p
~r
~p
a)
~q
~r
p
b)
~q
~r
a) 80
d) 160
~p
c)
d)
e)
q
~q
b) 100
e) 180
c) 140
q ~r
~q
r
~r
1 si p es Verdadero
F(p)
0 si p es Falso
Si:
p
p
~q
~q
~p
~t
rst
a) 1
d) 4
b) 2
e) 0
c) 3
r
0 ; Si p es falsa
(x)
Donde :
x (p ~ r)(sw)
f(x)
m
Hallar:
n
n 1 ; Si x es proposicin
verdadera
M m
m
n
3n 1 ; Si x es proposicin falsa
Sabiendo que: f
Siendo:
3m
F
(p)w
~ s
y
Hallar:
Si
~
1w)
F(y)(~
0p r)]
E: F
F[(s
F[~ (~ r~ p)(t(w ~ p))]
a) 0
c) 2
e) Tautologa
q : 4 3
1 0
b) 1
d) No se puede determinar
r :1 0(1)2 0
a)
d) 1
p: Si N Z , entonces:
MCD (N ; N 2 1 ) =1
q: El conjunto vaco es subconjunto y elemento.
r: MCD (ab07 ; 7) 7
s: MCM (a ; b) = a bMCD (a ; b) = 1
Adems sean las proposiciones x e y:
(q) f(r) 21
b) 3
c)
1
7
e) 3
P(x;y) x y
Q(x;y) xy
1 ; si x es verdadero
0 ; si x es falso
Calcule:
b) 1
e) 4
c) 2
0 , si p es falso
Indicar si es verdad la siguiente igualdad:
f(pq) 1 f(q) f (~ p)
a) Verdadero
por f
b) Falso
c) Depende de q
d) Es contradictorio
e) Es un enunciado abierto
a)
b)
c)
d)
e)
Verdadero.
Falso.
Faltan datos.
No se puede determinar.
Depende del valor de verdad de r.
s
F
VV
V
F
Aritmtica
p
a)
xy
~q
b)
zF
0001
0010
0100
c)
0110
1000
d)
~p
e)
~p
~q
1010
1100
1111
Utilice compuertas
lgicas:
p
q
xy
z
a)
a) p
d) ~q
b) ~p
e) p q
c) q
x
b) yz
x
c) y
z
p
q
F
F
Si s es falsa.
Cules son los valores de verdad de p y q
respectivamente?
a) VV
d) FF
d) y
z
e) x
b) VF
c) FV
e) Faltan datos
xy zF
0000
0011
0100
0110
1000
1011
1100
1110
q
a) p
d) F
b) q
e) p q
c) V
xy
zF
0000
a) x y z xyz
c) x + y + z
e) xyz
b) (x + y)z
d) x y z x y z
0100
0110
1001
1011
1101
1111
Disear el circuito:
x
y
z
A
B
C
Circuito
Lgico
Lmpara
de alarma
BASE
x
a) y
z
a) F A(B C BC)
b) F = A + BC
c) F = ABC
d) F = A (B + C)
e) F AB C
x
F
b) y
z
x
c) y
z
x
d) y
z
x
e) y
F
F
EL VAGO DE COZ
"En la antigua ciudad de Coz, de la que ya no queda un solo recuerdo, gobernaba un adivino muy astuto. Toda la
poblacin
trabajaba salvo l, grandsimo vago, que ejerca de enlace psicoastral. Cada da obligaba a algn desdichado
ciudadano a
competir contra l en un extrao concurso. El aspirante deba formular al adivino una pregunta acerca de algn
suceso
futuro cuya respuesta deba ser simplemente "s" o "no". En caso de que el vago acertase la respuesta, el
desafortunado
concursante se converta en su esclavo y era obligado a trabajar para l de por vida. Si el adivino errase la
respuesta, ste
sera depuesto, convertido en asno y condenado a rebuznar durante mil aos. Por desgracia para los pobladores
de Coz,
el vago posea una esfera de cristal, que funcionaba mediante la magia capaz de anticipar el futuro con toda
certeza. Si usted
fuera el prximo rival del malvado vago. Qu pregunta le hara?".
Aritmtica
Claves
01.
31.
02.
32.
03.
33.
04.
34.
05.
35.
06.
36.
07.
37.
08.
38.
09.
39.
10.
40.
11.
41.
12.
42.
13.
43.
14.
44.
15.
45.
16.
46.
17.
47.
18.
48.
19.
49.
20.
50.
21.
51.
22.
52.
23.
53.
24.
54.
25.
55.
26.
56.
27.
57.
28.
58.
29.
59.
30.
60.