Dos relatores (⊆, =), cuatro constructores (∪, ∩, \, ¬) y la conclusión. Arrastra, o pulsa para seleccionar y luego pulsa el hueco. La negación ¬ es el complemento: sobre un conjunto lo invierte; sobre una carta entera la convierte en su contraria. Arrastra una carta sobre otra para cambiar el orden.
Leer bajo todas las firmas
Tu firma
Veredicto del tablero
Nada que cotejar todavía.
J.C. Sobrepere | Filosofía Sobreperiana
Nuevo conjunto
Nombre
Un conjunto es sólo su nombre, y nombrarlo es partir el mundo en dos: cada ficha lleva arriba el conjunto y abajo su complemento. Arrastra el polo que quieras; dentro de una carta, un clic le da la vuelta. Se supone que no está vacío: nombrarlo es afirmar que hay algo dentro.
Borrar conjunto
Cancelar
Guardar
La placael argumento como circuito · toca un número para encender su tramo
Firma todas
Descargar
Cerrar
Análisis de Argumentos LEDLenguaje Estructurado de Decisión
Sólo conjuntos: inclusión, igualdad, y unión, intersección, diferencia y complemento. Las cartas del tablero hacen la ley por orden de aparición; el semáforo detecta las contradicciones y la marca de tres luces juzga el tablero entero.
Continuar donde lo dejaste
Empezar con el ejemploFilosofía de la mente: Cerebro, Cuerpo, Material, Mental, Dolor, Yo… con dos cartas ya puestas (Cerebro ⊆ Cuerpo, Cuerpo ⊆ Material).
Empezar en blancoSólo la lógica. Tú creas los conjuntos y pones la ley en el tablero.
Abrir un archivoCarga un JSON guardado desde esta aplicación (también los del formato anterior).
J.C. Sobrepere | Filosofía Sobreperiana ·