Parcial de Lógica Verano 2016 (LyC)
El examen es a libro abierto y se puede suponer demostrado lo dado en las clases y los ejercicios de las guías colocando referencias claras. Entregar cada ejercicio en hojas separadas. En cada hoja debe figurar nombre, apellido y número de orden. El examen consta de 4 ejercicios de igual valor. Cada ejercicio será calificado con A (aprobado), R (regular) o I (insuficiente), ocasionalmente con un signo - (menos). Para aprobar un parcial es necesario tener al menos dos ejercicios calificados con A o A-. Para promocionar es necesario tener al menos tres ejercicios calificados con A o A- en ambos parciales o sus correspondientes recuperatorios.
Ejercicio 1
Sea un conectivo binario tal que para toda valuación,
Error al representar (función desconocida «\math»): {\displaystyle v \models a \clubsuit b \Longleftrightarrow ((v \models \alpha \text{ y } v \models \beta) \text{ o } (v \not\models \alpha \text{ y } v \not\models \beta)) <\math> Demostrar que el conjunto <math>\lbrace \rightarrow, \clubsuit \rbrace} no es adecuado.
