Brian Leija Camacho. Lgica tres, metalgica y axiomatizacin.

1.

Debes ver con atencin las cuatro tarjetas que se te muestran e indicar cules son las tarjetas que

deberas voltear para que puedas verificar si se cumple en las cuatro tarjetas la siguiente regla: "Si

una tarjeta tiene una vocal en una cara, entonces obligatoriamente debe tener un nmero par en

la otra cara".

R: En principio dira que todo est dispuesto de manera que la respuesta parecera sencilla sin

embargo no es demostrable esta regla, sencillamente porque no puedo girar las cartas en las que

podra ser comprobable.

Slo es verificable en la primera y en la tercera tarjeta, es decir E y 4, la E por ser vocal, y el

4 por ser nmero par, ambos pues tienen que responder al mecanismo postulado por la regla

que a su vez tiene estructura de un condicional, de esto se sigue que en el caso de K, y 7 no es

necesario el verificar y ello por dos razones: la primera es que el mecanismo implcito de la regla

no ofrece notas al respecto de los nmeros nones o bien de las consonantes, la segunda es que si

bien en el caso de la K se encontrara un numero par en el reverso, o bien si en el caso del 7

encontramos en su opuesto una vocal ello no falseara la implicacin principal, y as lo mismo

ocurrira en otro caso anlogo pero diametralmente opuesto, es decir en el caso en el que K

tuviera en su reverso tuviera un numero par, y 7 una consonante en su reverso, y as con toda la

posibilidad de combinaciones no sin suponer dos cosas, la primera es lo que hay en el reverso se

agota en el universo de los nmeros arbigos en una escala decimal del 0 al 10, y el alfabeto pero

tambin que las cartas tienen un reverso-

Lo que me hace pensar que hay un bicondicional no muy obvio en la regla.

Tomando en cuenta tu respuesta al ejercicio anterior, debes sealar, con el mayor detalle posible,

qu es lo que refleja el ejercicio de las tarjetas con respecto al procedimiento para demostrar la

validez.

Brian Leija Camacho. Lgica tres, metalgica y axiomatizacin. Que el trmino de resulta problemtico, as como la forma de demostracin. Tambin

tengo mis dudas respecto a la nocin de , pareciera haber una cierta

circularidad que o bien presupongo o bien no alcanzo a entender.

Me gustara discutirlo en clase.