PRUEBA FINAL LÓGICA SIMBÓLICA,

...

- _______ La negación de una proposición verdadera es verdadera.

- _______ Una proposición bicondicional es falsa si y solo si el antecedente y consecuente son ambos

verdaderos o ambos falsos.

- _______ En el modus tollendo tollens si una implicación es cierta y se niega el consecuente, su

antecedente es necesariamente falso.

- _______ Las tablas básicas de verdad indican rápidamente si una proposición molecular es verdadera o falsa.

- _______ Si es falsa pero es verdadero entonces se deduce que disyunción es falsa[pic 38][pic 39][pic 40]

- _______ Una proposición molecular es una tautología si es falsa cualesquiera que sean los valores de verdad.

- _______ La proposición es una tautología[pic 41]

- _______ Un razonamiento es el proceso que se realiza para obtener una demostración.

- _______ Una conjunción es verdadera si y solo si ambas proposiciones son verdaderas.

- _______ Si es falsa pero es verdadero entonces se deduce que disyunción es verdadero.[pic 42][pic 43][pic 44]

- TIPO PRÁCTICO 20%

Instrucciones: Trabaje de forma clara y ordenada en el desarrollo de los siguientes ejercicios/problemas.

- Demostrar que las conclusiones son consecuencia lógica de las premisas dadas en cada uno de los ejercicios siguientes. Dar la demostración completa. 6% 1c/u

1 . Demostrar: A Λ B 2. Demostrar: P [pic 45]

(1) D G P (1) (R V S) Q P [pic 46][pic 47][pic 48][pic 49]

(2) G P (2) (R V S) P P [pic 50][pic 51]

(3) D (A Λ B) P (3) Q P [pic 52][pic 53][pic 54]

(4) ________ (4) _________

(5) ________ (5) _________

(6) ________ (6) _________

- Usando la regla: P es la negación de P, evitar la regla de doble negación en las demostraciones siguientes: 4% 1c/u[pic 55]

1. Demostrar: A 2. Demostrar: R[pic 56]

(1) A B P (1) R Q P [pic 57][pic 58][pic 59][pic 60][pic 61]

(2) C B P (2) Q N P[pic 62][pic 63][pic 64][pic 65]

(3) C P (3) N P

(4) ________ (4) _________

(5) ________ (5) _________

- Simbolice el siguiente razonamiento y utilice las tablas de verdad para demostrar su validez: (trabaje en hoja aparte) 4%

Jorge es el elegido si y solo si la votación es numerosa.

La votación es numerosa.

O Jorge es el elegido o Juan no será nombrado.

Por lo tanto, Juan será nombrado.

- Utilizar tablas de verdad para hallar la validez o no validez del siguiente razonamiento simbolizado. (trabaje en hoja aparte) 3%[pic 66]

[pic 67]

[pic 68]

[pic 69]

[pic 70]

- Utilizar las tablas de verdad para determinar si la siguiente proposición es tautología: (trabaje en hoja aparte) 3%

- [pic 71]

Frase: “No te canses nunca de aprender, porque aquel que lo hace ha dejado de tener esperanzas. Aún con el paso de los años te darás cuenta de que hay muchas cosas que están aguardando a ser descubiertas por ti”