Sei sulla pagina 1di 2

´

UNIVERSIDAD DE CONCEPCI ON

´

´

FACULTAD DE CIENCIAS F ISICAS Y MATEM ATICAS

ON ´ ´ FACULTAD DE CIENCIAS F ISICAS Y MATEM ATICAS ´ LISTADO 1: L OGICA

´

LISTADO 1: L OGICA

Introduccion´

a la Matematica´

Universitaria - 520145

Observaci´on: Los ejercicios marcados con (P) son los ejercicios a resolver en las clases pr´acticas.

1) Verifique cu´ales de las siguientes afirmaciones son proposiciones. De cada proposici´on diga si es simple o compuesta y determine su valor de verdad justificando adecuadamente.

1.1)

1.2)

25 9 = 25 9,

(y + 5) 2 = y 2 + 5 2 ,

2x + y

1.3)

1.4) 3 es un n´umero par,

= 2 + y

x x ,

1.5) ¿A qu´e hora sales de clases?,

1.6) si 3 es un n´umero par, entonces 9 tambi´en lo es,

1.7) 2 es un n´umero impar si y s´olo si 4 tambi´en lo es.

2) Con la informaci´on entregada en cada caso determine el valor de verdad de las siguientes proposiciones compuestas:

2.1) p (p q), sabiendo que p q tiene valor de verdad falso,

2.2) p (p q), sabiendo que q tiene valor de verdad verdadero,

2.3) [p [(p r) r]] (r p), sabiendo que r tiene valor de verdad falso,

2.4) (p r) (p q), sabiendo que p tiene valor de verdad falso,

2.5) (p r) (q p), sabiendo que (p q) r tiene valor de verdad falso.

3) Conociendo el valor de verdad de las siguientes proposiciones compuestas y la informaci´on adicional entregada, determine en cada caso el valor de verdad de la proposici´on r.

3.1) q r tiene valor de verdad falso,

3.2) p (qr) tiene valor de verdad falso y q tiene valor de verdad verdadero,

3.3) r q tiene valor de verdad verdadero y (p q) s tiene valor de verdad falso.

4) Sean p, q, r y s proposiciones l´ogicas. Muestre que

4.1)

p F F ,

4.4)

[p (q r)] [(p∧ ∼ q) r],

4.2)

(P) p (p q) q,

4.5)

(P) (p q) ((pq) F ),

4.3)

p q p,

4.6)

(p (r s)) ((pr) s).

Analice por qu´e las implicaciones l´ogicas anteriores no son equivalencias l´ogicas.

5) Sean p, q y r proposiciones l´ogicas. Construya la tabla de verdad asociada a cada una de las siguientes proposiciones e indique en cada caso si la proposici´on dada es tautolog´ıa, contingencia o contradicci´on. Justifique su respuesta.

1

´

LISTADO 1: L OGICA

2

5.1)

(p r)

(r p),

5.4)

(p q) (p

q),

5.2)

(p q) (rr),

5.5)

(p q) [p (p q)] (p q),

5.3)

(p q) (q r),

5.6)

[[p (q r)] [p (qr)]] (p q).

6) Escriba simb´olicamente las siguientes proposiciones. Ni´eguelas, escribiendo cada negaci´on tanto de manera simb´olica como en lenguaje usual.

6.1) Existe un unico´

6.2) (P) Existe un n´umero real x que es menor que cualquier otro n´umero real.

6.3) (P) Para cualquier n´umero real x existe otro n´umero real y que es menor que x.

6.4) Existe un unico´

6.5) Existe un n´umero entero x que satisface x 2 = 1.

6.6) Todo n´umero natural x satisface que ´el es divisible por 8 si y s´olo si es divisible por 12.

6.7) Si un n´umero x R es m´ultiplo de 12, tambi´en es m´ultiplo de 8.

7) Determine, justificando, el valor de verdad de las siguientes proposiciones y escriba su negaci´on.

n´umero real x que satisface |x| ≤ 0.

n´umero natural x que satisface x 2 = 1.

7.1)

x R : x 2 > 0,

 

7.7)

(P) y R : ! x R : x 2 + y = 2,

7.2)

x R : x 2 > 0,

7.8)

x R : y R : xy > 0,

7.3)

x ]0, +[ :

x 2 + x 0,

 

7.9)

! x N : x 2 = x,

7.4)

(P) x R

:

y

R

:

x 2 + y = 2,

7.10)

x R : ! y R : xy = 0,

7.5)

(P) x R

:

! y

R

:

x 2 + y = 2,

7.11)

x R : x < 0 → |x| > x,

7.6)

(P) y R : x R : x 2 + y = 2,

7.12)

x R : x 0 ↔ |x| = x,

8)

(P) Sea M el siguiente conjunto M = {1, 2, 3, 4, 5}.

8.1) Decida si la proposici´on x M

8.2) Niegue la proposici´on anterior.

:

y M

:

x + y < 8 es verdadera.

9) Sea A = {−2, 1, 0, 1}. Determine el valor de verdad de la siguiente proposici´on l´ogica

x A

:

y A

:

y x < 1.

Justifique su respuesta y escriba la negaci´on de la proposici´on dada.

10) (P) Sean A R y s(x) y p(x) funciones proposicionales de x R. Sabiendo que la siguiente proposici´on es verdadera

(x A

:

s(x)) (x A

:

p(x)) ,

determine de cu´al de las siguientes proposiciones podemos afirmar que es verdadera. Justifique su respues- ta.

p: x A

:

s(x) p(x),

q: x A

:

s(x) p(x).