UNIVERSIDAD TECNOLOGICA NACIONAL FACULTAD REGIONAL TUCUMAN

MATEMATICA DISCRETA
EJERCICIOS RESUELTOS DE LOGICA PROPOSICIONAL
Lic. Gladys Mnica Romano

EJERCICIOS RESUELTOS DE LOGICA PROPOSICIONAL Y PREDICADOS

1- Cules de las siguientes oraciones son proposiciones? a) b) Les deseo Felices Pascuas

x 2 = x para algn x N

Respuesta a) No es proposicin ya que no es una oracin afirmativa. Es una oracin desiderativa b) Es proposicin ya que est afirmando que en el conjunto de los nmeros naturales hay un nmero que es igual a su cuadrado.

2- Escriba las siguientes afirmaciones en lenguaje simblico. En el caso de las proposiciones condicionales diga cul o cuales son las condiciones suficientes y necesarias a) Las noticias no son buenas pero viajar. b) 2 es racional solo si 2 es real.

Respuestas: a) Sea p: las noticias son buenas y sea q: viajar La frase Las noticias no son buenas pero viajar se expresa como pq b)Sea p: 2 es racional y q: 2 es real La frase 2 es racional solo si 2 es real se expresa como p Es suficiente que 2 sea racional para que sea real. Es necesario que 2 sea real para que sea racional q

3- Sean p, q y r las siguientes proposiciones: p: Est lloviendo, q: El Sol est brillando y r : Hay nubes en el cielo Traduzca las siguientes frases a la notacin simblica a) Siempre que el sol est brillando, no hay nubes b) Si el sol no est brillando, es necesario que haya nubes para que est lloviendo

Respuestas a) q r b) q (p r) 1

4- Sean s , t y u las siguientes proposiciones atmicas: s: Felipe sale a dar un paseo; a) (t u ) s c) (t u ) s Respuestas a) Si la luna est brillando y no est nevando, Felipe saldr a dar un paseo b) Cuando la luna est brillando, Felipe saldr a dar un paseo siempre que no nieve. c) Es suficiente que, si la luna esta brillando entonces no nieve, para que Felipe salga a dar un paseo Tienen el mismo significado las frases a) y c) ya que se puede mostrar que las expresiones simblicas son equivalentes Suponga que p q r es verdadera y encuentre el valor de verdad de: a) t: La luna est brillando; u: Est nevando b) t (u s ) Cules frases tienen el mismo significado?

Traduzca las siguientes proposiciones compuestas al lenguaje coloquial:

5-

[( p q ) p ] r

b) ( p r q r )

c) ( p q ) r

Respuestas Si p q r = V entonces p = V , q = V y r = F , por lo tanto a) [(V V ) V ] F = F b) (V F F V ) = (F F ) = V = F c) (V V ) F = F F = F 6- Sabiendo que p r q es falso, conteste verdadero o falso, justificando su respuesta: a) p sucede pero no

r si y solo si q sucede r

b) Que suceda q y lo contrario de p son suficientes para afirmar que suceder r c) Es necesario que suceda q en el caso que haya sucedido p y lo contrario de Respuestas Si ( p r q ) = F , entonces p = V , r = V , q = F a) ( p r q ) = (V V F ) = (F F ) = V b) (q p r ) = (F V V ) = (F V ) = V c) ( p r q ) = (V V F ) = (F F ) = V 2

7- En la siguiente expresin indique cul es la conexin principal. Luego construya la tablas de verdad y determine si es tautologa, contradiccin o contingencia

p ( p q) p
Respuesta: En p ( p q ) p la conexin principal es ya que, respetando la presencia del parntesis y la regla de prioridad es la que nos da el resultado final del valor de verdad de la expresin. Su tabla de verdad es
p q

q V V V F F V F F La tabla de verdad muestra que 8- Demuestre que Respuesta

( p q)

p ( p q)

V V V V V F F F p ( p q) p

p ( p q) p V V V V es una tautologa

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

Para mostrar que ( p q ) ( p q ) (p q ) se debe verificar que la bicondicional

( p q ) ( p q ) (p q ) es una tautologa. Entonces

p q

A= ( p q ) F V V F

( p q )
F V F F

(p q )
F F V F

B= ( p q ) (p q ) F V V F

AB V V V V

V V F F

V F V F

9- Demuestre que ( p q ) r no es equivalente a ( p q ) r Respuesta A

p q r
pq

( p q) r

( p q)

( p q) r

AB V V V V V F V F

V V V V V V V V V F V F V F V F V F V F V V F F F V F V F V V V V F V F V F V F F V F F V V V F V F F F v F F V Se muestra que ( p q ) r no es equivalente a ( p q ) r planteando la bicondicional entre las expresiones y mostrando que no resulta una tautologa 3

10- Escriba la siguiente afirmacion en forma simblica. Luego, usando las equivalencias lgicas correspondientes, encuentre una afirmacin equivalente: Es falso que , el nmero 2 es natural solo si es racional Respuesta Sea p:el numero 2 es natural y sea q: el nmero 2 es racional La frase Es falso que , el nmero 2 es natural solo si es racional se expresa simblicamente como (p q) lo que es equivalente a pq que se expresa El nmero 2 es natural y no es racional lo cual es falso.