7/25/2019 Ejercicios - Lgica de Predicados (2016)

1/3

A. LGICA PROPOSICIONAL1. Realizar la prueba de invalidez para cada uno de los siguientes razonaientos

inv!lidos"

1. p - s

r mp r- (-s m)

2. (-p)

p (q v t) (-t v q) -t __________

-q

#. $eostrar los siguientes razonaiento ediante el %todo de la deostraci&ndirecta:

a) Dem.: p

1) (p v q) (r v s)2) (r v s) - t

3) t

-----------------

b) Dem.: u

1) p t

2) p q3) q (r s)4) r v t v u

--------------------

'. LGICA $( PR($ICA$OS

1. Abstraer la )ora l&gica de las siguientes proposiciones"

a) Si el Sol es una estrella tiene lu! propia.

1

7/25/2019 Ejercicios - Lgica de Predicados (2016)

2/3

b) "o #a$ %osas s&li'as.

%) os re%tn*ulos tienen %uatro la'os $ son ro+os.') Si ,arlos es m'i%o #a$ m'i%os.

e) 2 es un nmero par peroxno.

/) "in*n ni0o /amoso es /eli!.

*) l*unos errores son involuntarios pero 'a0inos.#) Si na est arrepenti'a no to'o est per'i'o.

i) Si steban $ Diana no lle*an 'uar'o no 'ar el %on%ierto.

+) ario es estu'ioso e inteli*ente pero 'istra'o.

#. Si *+ tri!ngulo, G+ c-rculo /+ cuadrado, construir un universo ad 0oc decuatro eleentos a, b, c, d2 para 3ue los enunciados sean verdaderos.

a) 5a

b) (6) 76%) (6) (86 76)') 5a 8'

e) 7a5%/) 7b

*) 5a v 7a

4. Si *+ tri!ngulo, G+ c-rculo /+ cuadrado, construir un universo ad 0oc decuatro eleentos a, b, c, d2 para 3ue los enunciados sean verdaderos. (1puntos)

a) (6) (8676)

b) 5a7'%) (6) 56

') (6) 86

5. $eterinar el valor de verdad (2 puntos)"a) Si (6) 86 es ver'a'ero 9%&mo es (6) 86b) Si (6) 86 es /also 9%&mo es (6) 86

%) Si (6) 56 es ver'a'ero 9%&mo es (6) 56

') Si (6) 76 es ver'a'ero 9%&mo es (6) 76

;. Abstraer la )ora l&gica del siguiente razonaiento probar 3ue elrazonaiento es v!lido ediante el %todo de deostraci&n directa"

os perros son vertebra'os $ mam/eros. l*unos perros son *uar'ianes. ue*oal*unos vertebra'os son *uar'ianes.

2

7/25/2019 Ejercicios - Lgica de Predicados (2016)

3/3

6. $eostrar los siguientes razonaientos utilizando el %todo de ladeostraci&n directa (3 puntos)"

a) Demostrar (6) (86 76) (6) (86 56)

1) (6) 6 56)

%) Demostrar 5a

1) (6) (86 76) -5a2) (6) 76

3) (6) 86

3