Primer parcial MA 115 UPSA 10/03/10 Nº ……. REGISTRO…….

NOMBRE…………………………………….. FIRMA………………………
1.
i. ¿Qué métodos conoce para demostrar la validez de un razonamiento? Explique uno de
ellos. 15 PUNTOS
ii. Demuestre alguna de las reglas de inferencia de la lógica proposicional.
iii. Dé una definición del concepto de lógica.
iv. Explique en que consiste ci método indirecto de demostración.
v. ¿Cuándo dos fórmulas son equivalentes?, de 2 ejemplos
2. Para las siguientes proposiciones. 20 PUNTOS
2.1 Mi auto es modelo 2010, además es marca Toyota.
2.2. Si Paula habla inglés o alemán entonces ella será contratada por COCA COLA.

a) Simbolice cada una de las proposiciones.

b) Niegue las proposiciones resultantes.
c) Escriba una pro posición equivalente a cada uno de la anteriores (b).
d) Traduzca al lenguaje ordinario las proposiciones anteriores (c
3. Simplifique y clasifique la siguiente fórmula: 20 PUNTOS
{ (p→q) Ʌ [q →(̰~s →r)} Ʌ pɅ~ r}→s
4. Sabiendo que es verdadera la proposición ~{ rɅ~t →(~ r ↔ ~ s)},determine el valor de
verdad de las fórmulas: 15 PUNTOS
a) r v ~t →r Ʌ s b) ~[(t ↔ ~r) Ʌ (s → ~u)]

5. Simbolice y demuestre formalmente la validez del siguiente argumento: 15 PUNTOS

Será difícil escolar la montaña, si ha nevado.
Si no es fácil escalar la montaña, llegará al anochecer si no salgo antes de las seis.
Ha nevado y no llegará al anochecer.
Por lo tonto, saldré antes de las seis.

6. Demuestre por el método condicional la validez del siguiente argumento: 15 PUNTOS

1. p v q → r
2. s→~r Ʌ~t
3. s v u
-------------------------------
p→u