Вы находитесь на странице: 1из 2
LOGICA I Tiempo: 120 minutos, Material: Ninguno 1) Diga si las siguientes afirmaciones son verdaderas falsas. Después justifique su respuesta, a) Si un argumento es incorrecto, su negacién es valida, b) Una ley es una forma légica que no tiene contragjemplos, ©) Un arbol semantico abierto indica que en el conjunto de férmulas examinado hay contradiccién 4) La conclusién de un argumento vilido no puede ser falsa. 2) Demuestre la validez. del siguiente esquema de inferencia, mediante Deduecién ‘Natural, y proporcione una interpretacién con alguna premisa falsa (s>t)a(pyvg) q>(rvs) (p> s)atr>p) t 3) Presente el Arbol Semantico de la siguiente forma argumentativa ¢ interprete su resultado: pyq qot rp t 4) Pruebe la invalidez del siguiente esquema de argumento presentando un contragjemplo: poaq q Pp 5) Describa alguna diferencia entre argumento y esquema argumentativo, Ponga un ejemplo de argumento y otro de esquema argumentative. LOGICA I, DEDUCCION NATURAL. TABLA DE REGLAS REGLAS BASICAS mo ma Ox Cyry cy a =x TOY ae ig |e ow x Cc; WE x RES Nov [REA Xa May F x x x TY ee : Riv _X a MY WE REGLAS DERIVADAS HCO X [MT XY | mterdeh asa [tere my» | Inert > =x = a Xa ey Y = =e | seoay | Sor wow [PCy | imtertet ov pte. anv | Inert vn yy THe | MY Xo x ° aXvY GXWaY) GXKASY)

Вам также может понравиться