Ejercicios de lógica y métodos de la ciencia

Antes de respoder a la pregunta sobre el giro histórico-sociológico de la ciencia, espero que se planteen más dudas sobre los métodos de la ciencia. Pero, por favor, las dudas que sean más concretas, que se diga qué es exactamente lo que no se comprende. Recordad que el día 31 es el último día para plantear dudas sobre la 1ª evaluación. Hoy propongo dos ejercicios de lógica:

1º.- O voy a la piscina, o me quedo haciendo el ejercicio. Si voy a la piscina, no hago el ejercicio pero me divertiré. Si hago el ejercicio, no me divertiré y no voy a la piscina. Por tanto, si hago el ejercicio, no me divertire.

2º.- Si estudio, aprobaré filosofía. Si apruebo filosofía, podré estudiar 2º de bach. No podré estudiar 2º de bach. Por tanto, ni estudio ni apruebo filosofía.

Formaliza y demuestra mediante las tablas de verdad si son válidos. Caso de no serlo, indica si es contradictorio o los casos que probarían que es consistente.