miércoles, 3 de febrero de 2016

Concurso de Cortos 2015-2016 (2ª Edición)

2º CONCURSO DE CORTOMETRAJES “ANTONIO CALVÍN”.


Desde el Departamento de Filosofía del I.E.S. Antonio Calvín os animamos a que participéis en este proyecto. Aquí os dejo las bases del concurso. 

BASES:      
1.    Podrán participar todos los miembros de la comunidad educativa.
2.   Los “cortos” tendrán una duración mínima de tres minutos y máxima de 15.
3.   El tema  es libre[1]
4.   Plazo de presentación: 11 de marzo a las 24:00
5.   Se presentarán en la siguiente dirección de correo: filosofía.antonio.calvin@gmail.com y rociodefilosofia@gmail.com  , o bien se entregarán en mano a los profesores del Departamento de Filosofía.
6.   Todos los cortos presentados a concurso se proyectarán en un acto que se celebrará coincidiendo con la semana cultural de final del segundo trimestre.  
7.   Se otorgarán premios en las siguientes categorías:
Ø    Mejor guión
Ø    Mejor actor
Ø    Mejor actriz
Ø    Mejor corto.
Ø    Premio del público
8.  La entrega de QUIJOTES y de premios (que consistirán en dotación para material informático, de video o sonido) se realizará en el Acto de final de Curso.






[1] Se tendrá en cuenta no obstante si tratan sobre algún tema con relevancia filosófica

jueves, 26 de noviembre de 2015

Ejercicios resueltos de Lógica (II parte)

En este enlace de Aula de filosofía, hay varios ejercicios de lógica proposiconal resueltos, entre los que se encuentran: tablas de verdad y formalización de argumentos.

La lógica se domina con la práctica. Cuantos más hagáis, más posibilidades de éxito tendréis.

¡Os deseo un feliz puente!

PD: cualquier duda me la podéis remitir a mi e-mail.



viernes, 20 de noviembre de 2015

Actividades de lógica resueltas

En este enlace encontraréis actividades de formalización y tablas de verdad resueltas, para que practiquéis estos días.

Veréis que en los ejercicios de las tablas hay 0 y 1. ¡No os asustéis! 0=F y 1=V. Es, simplemente, otra manera de escribirlo.

Espero os sean útiles.


miércoles, 18 de noviembre de 2015

Actividades Tablas de Verdad y formalización


3.6) Realiza las tablas de verdad de los siguientes enunciados, indicando si es tautología, contingente o contradicción:

1.      p↔(q˄¬p)
2.      (pàq)˄p
3.      (pvq)vp
4.      pà(p↔q)
5.      pà(qàp)
6.      (r˄¬r)˄q
7.      (p˄q)vp
8.      t↔(r˄t)
9.      (p˄q)à(q˄p)
10. [(pàq)˄(qàr)]à(pàr)
11. (r˄¬r)˄q

12. (sàt)v(p˄t)

3.7) Formaliza los siguientes enunciados y realiza su correspondiente tabla de verdad. Indica al final si es tautológica, contingente o contradictoria.

1.      Hoy llueve y mañana no lucirá el sol
2.      Ni viene Juan, ni compraré el libro
3.      Si viene Pedro iremos al cine
4.      Vendrás de vacaciones si y sólo si apruebas
5.      O te compras un vestido o te compras el abrigo
6.      Mateo está casado con María pero ama a Luisa
7.      Si apruebas, o te vas de vacaciones o te compras el coche
8.      La limpieza es saludable
9.      El ajedrez ejercita la mente
10. Si limpias los cristales, entrará más luz

3.8) Haz la tabla de verdad completa de la siguiente fórmula y determina si es tautológica, contingente o contradictoria:

[(p↔(qvr)]↔¬(¬[pà(¬ràq)]v[¬(¬q˄¬r)àp])

3.9.) Formaliza los siguientes argumentos, indicando qué enunciado simple corresponde a cada constante proposicional:

1)     Si el euro está fuerte, el petróleo está barato pero las exportaciones resultan caras. Si Europa se endeuda o la economía no crece, el petróleo no está barato. La economía crece si y sólo si ni las exportaciones resultan caras ni la inflación aumenta. Por tanto, si la inflación aumenta, el euro no está fuerte.

2)     Aprobaré lógica, si Dios quiere. Aprobaré lógica si y sólo si estudio y hago todos los ejercicios. Sin embargo, no he hecho los ejercicios, así que Dios no quiere que apruebe lógica.

Expresiones equivalentes




Expresiones equivalentes a “Y”
p˄q
-          Peano habla y Quine duerme
-          Peano habla pero Quine duerme
-          Peano habla aunque Quine duerme
-          Peano habla sin embargo Quine duerme
-          Peano habla, Quine Duerme
-          A pesar de que Peano habla, Quine duerme

Expresiones equivalentes a “O”
Pvq

-          Peano habla o Quine duerme
-          Peano habla, a menos que Quine duerma

Expresiones equivalentes a “NO”
¬p
-          Peano no habla
-          No es el caso que Peano hable
-          No ocurre que Peano hable
-          No es cierto que Peano habla






Expresiones equivalentes a “SI…ENTONCES”
pàq
-          Si Peano habla (entonces) Quine duerme
-          Cuando Peano habla, Quine duerme
-          Que Peano hable, es suficiente para que Quine duerma
-          Que Peano hable, implica que Quine duerma
-          Siempre que Peano habla, Quine duerme
-          Quine duerme si Peano habla
-          Quine duerme en caso de que Peano hable
-          Quine duerme supuesto que Peano hable



Expresiones equivalentes a “Si Y SÓLO SI”
p↔q
-          Peano habla si y solo si Quine duerme
-          Peano habla cuando y sólo cuando Quine duerme
-          Que Peano hable es necesario y suficiente para que Quine duerma
-          Que Peano hable equivale a que Quine duerma
-          Peano habla, en el caso y sólo en el caso, de que Quine duerma

Aquí tenemos varios trucos para formalizar. Cuando nos encontremos, en el lenguaje natural, con esta serie de expresiones (las de la derecha), ya sabemos qué conectiva usar en cada caso. 

Actividades de formalización para el MARTES

En la primera actividad tenéis que corregir los paréntesis y reescribir cada fórmula adecuadamente.
La segunda actividad consiste en formalizar. Seguid por donde nos quedamos el día pasado en clase.
Saludos,
Rocío

jueves, 12 de noviembre de 2015