rcarnota escribió:
Hola Lapidario, a mí también me pareció relativamente fácil el de Lógica y también me lié un poco con la formalización, pero después de darle vueltas creo que solo había una posibilidad de la segunda premisa para que te diera un argumento válido, ¿Cómo lo formalizaste tú?
Después busco el exámen y te digo.
Un saludo
Ramón
Ey! Recuerdo tu nombre del foro... ¿Eres el de "Penélope Cruz es un ornitorrinco" o "Madrid está el Lisboa"? Yo soy "Cervantes escribió la Biblia".
Es que me encantan los contraejemplos de afirmaciones falsas que nos hemos acostumbrado a poner.
No tengo el examen: recuerdo que en el momento chungo de la segunda premisa dudaba entre ¬¬¬q y ¬¬q, o sea ¬q o q. Creo recordar que acabé poniendo q porque con ¬q me quedaba inválido el argumento. O al revés. Me saturé un poco, confieso.