En el Deaño aparecen 27 Leyes lógicas, imagino que no habrá que aprenderse todas de memoria, ¿no?

.

Black Mask escribió: Todas! de pe a pa!
Aprendiendo un par y entendiendo otro par... Entenderás todas las demás. No te preocupes.

Lander telletxea escribió:
Toy mueto!

Que pasada, copio y pego:
Junto con algunos colegas del Departamento de Lógica, hemos puesto en marcha un proyecto de innovación docente cuyo objetivo es introducir la herramienta TAUT en los cursos de lógica. TAUT es un software para realizar ejercicios de lógica que, además de generar ejercicios, los corrige, señala eventuales errores y da la respuesta correcta. Podéis verlo aquí, es de acceso abierto:

www.taut-logic.com/

Esta herramienta puede ser útil para adquirir práctica en el tipo de ejercicios que se realizan en lógica. Se puede usar para evaluar si estáis haciendo bien los ejercicios, generar más ejercicios si pensáis que necesitáis más práctica, etc. 

La interfaz de TAUT es bastante intuitiva, y el formalismo es muy parecido al que se utiliza en el libro Formas Lógicas, pero hay algunas pequeñas diferencias. Para la lógica proposicional (en particular, tablas de verdad y deducción natural) tenemos estos videos explicativos sobre TAUT realizados por la Prof Picazo:

Tablas de verdad:

web.microsoftstream.com/video/8d8e5e03-0...d9-ba70-e1f98fc000f3

Deducción natural:

web.microsoftstream.com/video/8d5dbd7a-5...63-b8c9-f6af0dc69a5c

Los que estéis interesados y tengáis tiempo para practicar con TAUT, podéis también dejar un feedback aquí. Os pondré también un enlace a un formulario, para que podáis hacerlo de forma anónima; vuestra opinión nos podrá ayudar a mejorar la herramienta y su uso didáctico.

A ver si sacamos las soluciones del test
Yo creo
T1 verdadera
T2 falsa
T3 verdadera
T4 falsa
T5 falsa

Los ejercicios son del examen del 2014, de esos que andan por ahí resueltos 2014a
¿ qué os a parecido? A mi facilillo, creo muy muy asequible y para sacar nota (ahora he contestado mal a todas las del test, ya verás, por listo...jajaj)

Sí, a mí tb me parece fácil.La única novedad de este año con respecto a la anterior profe,( Que parecía el profesor D'Ors )es que no hay que justificar por qué es verdadero o falso.(Eso escuché en la penúltima tutoría por un compi)

Silvia, ¿coincides con las respuestas del test?

Si, pero si tuviera que justificarla fatal..voy a Septiembre porque me da miedo..

T1, es falsa porque el antecedente del condicional es una contradicción y siempre será falso
t2.
t3 verdadero
t4 falso
t5 falsa