PRUEBA FINAL LÓGICA SIMBÓLICA,
Enviado por luisro1990 • 7 de Octubre de 2016 • Informe • 3.734 Palabras (15 Páginas) • 348 Visitas
Instituto Oficial Polivalente “Marcos Efraín Aguirre Lara”[pic 1]
Cucuyagua Copán
PRUEBA FINAL LÓGICA SIMBÓLICA, II Bach. Científico Humanista, II PARCIAL, I SEMESTRE
Lic. Luis Rodolfo Morales Alvarado Grupo: “1” Jornada: Matutina Valor Total :30%
Nombre del alumno (a):______________________________________________________ Fecha: 24/Junio/2015
- TIPO VERDADERO O FALSO 10% 1c-u
Instrucciones: Escriba sobre el espacio vacío de la izquierda una V si la proposición planteada es verdadera o una F si es falsa USE LÁPIZ TINTA.
- _______ 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.
- _______ 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.
- _______ La proposición es una tautología[pic 2]
- _______ Un razonamiento es el proceso que se realiza para obtener una demostración.
- _______ Si es falsa pero es verdadero entonces se deduce que disyunción es falsa[pic 3][pic 4][pic 5]
- _______ Una proposición molecular es una tautología si es falsa cualesquiera que sean los valores de verdad.
- _______ Si es falsa pero es verdadero entonces se deduce que disyunción es verdadero.[pic 6][pic 7][pic 8]
- _______ Una conjunción es verdadera si y solo si ambas proposiciones son verdaderas.
- 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: M 2. Demostrar: Q [pic 9]
(1) (J V K) N P (1) P C P[pic 10][pic 11][pic 12]
(2) (J V K) M P (2) P Q P[pic 13][pic 14][pic 15][pic 16][pic 17]
(3) N P (3) C P[pic 18][pic 19]
(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 20]
1. Demostrar: T 2. Demostrar: J[pic 21]
(1) T E P (1) J K P [pic 22][pic 23][pic 24][pic 25][pic 26]
(2) Z E P (2) K M P[pic 27][pic 28][pic 29][pic 30]
(3) Z P (3) M P
(4) ________ (4) _________
(5) ________ (5) _________
- Simbolice el siguiente razonamiento y utilice las tablas de verdad para demostrar su validez: (trabaje en hoja aparte) 4%
- Si Antonio no es primero, entonces Pedro es primero.
Pedro no es primero.
O Antonio es primero o Pablo es tercero.
Si Jaime es segundo, entonces Pablo no es tercero.
Por tanto, Jaime no es segundo.
- Utilizar tablas de verdad para hallar la validez o no validez del siguiente razonamiento simbolizado. (trabaje en hoja aparte) 3%[pic 31]
[pic 32]
[pic 33]
[pic 34]
[pic 35]
- Utilizar las tablas de verdad para determinar si la siguiente proposición es tautología: (trabaje en hoja aparte) 3%
- [pic 36]
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”
Instituto Oficial Polivalente “Marcos Efraín Aguirre Lara”[pic 37]
Cucuyagua Copán
PRUEBA FINAL LÓGICA SIMBÓLICA, II Bach. Científico Humanista, II PARCIAL, I SEMESTRE
Lic. Luis Rodolfo Morales Alvarado Grupo: “2” Jornada: Vespertina Valor Total :30%
Nombre del alumno (a):______________________________________________________ Fecha: 24/Junio/2015
- TIPO VERDADERO O FALSO 10% 1c-u
Instrucciones: Escriba sobre el espacio vacío de la izquierda una V si la proposición planteada es verdadera o una F si es falsa USE LÁPIZ TINTA.
...