22/01/2020, 14:50:56 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: 1 ... 13 14 [15]   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 20 Visitantes están viendo este foro.
Consecuencia Sintáctica tumba 1 1000 Último mensaje 25/05/2011, 10:33:49 am
por tumba
Deducción natural ukyo 1 765 Último mensaje 03/06/2015, 13:39:49 pm
por pierrot
Negar proposición user05 2 9565 Último mensaje 11/08/2008, 10:38:26 am
por LauLuna
¿Están correctas estas paradojas lógicas? usuaria 12 3555 Último mensaje 29/07/2014, 16:13:12 pm
por argentinator
¿Cómo se relaciona la lógica con la física? usuaria 5 2896 Último mensaje 21/10/2015, 02:51:20 am
por Raúl Aparicio Bustillo
Problema con prueba ontológica de Gödel usuaria 13 2866 Último mensaje 08/11/2013, 07:39:34 am
por feriva
Equivalencias del principio de inducción valdemar 5 3164 Último mensaje 29/07/2012, 16:35:21 pm
por argentinator
Ayuda con proposiciones de verdad Valfarfar 1 788 Último mensaje 23/03/2013, 20:50:56 pm
por Carlos Ivorra
Ayuda con algunas demostraciones involucrando conjuntos y lógica Volrath89 5 1634 Último mensaje 12/09/2009, 16:39:32 pm
por Volrath89
Negar en símbolo las siguientes proposiciones walo1234 3 654 Último mensaje 08/03/2012, 18:15:30 pm
por mathtruco
Formalización de un enunciado histórico Weierstrass 2 1440 Último mensaje 16/12/2012, 16:12:47 pm
por Weierstrass
Libro o explicación: método de Davis-Putman william bautista 5 1085 Último mensaje 02/06/2015, 23:38:13 pm
por luis
Implicaciones Lógicas willu 2 2295 Último mensaje 22/06/2009, 07:08:04 am
por Teón
Modelo Willy 2 932 Último mensaje 06/11/2014, 14:49:24 pm
por Willy
Encuentre el valor de verdad Willy 1 936 Último mensaje 25/11/2014, 23:22:57 pm
por Nico1
Probar que formas enunciativas genéricas son equivalentes y son tautologias wyvern 3 894 Último mensaje 03/05/2013, 12:22:19 pm
por Marcos Castillo
Definición inductiva de conjuntos, (para corregir) wyvern 0 1122 Último mensaje 12/04/2013, 18:08:05 pm
por wyvern
Definición inductiva de conjuntos wyvern 0 995 Último mensaje 12/04/2013, 16:42:15 pm
por wyvern
Ejercicio de lógica xenx 14 1193 Último mensaje 12/04/2012, 03:17:36 am
por Luis Fuentes
¿Cómo resuelvo este ejercicio de proposiciones lógicas? Xla 14 2415 Último mensaje 09/05/2018, 19:00:55 pm
por manooooh
Lógica de predicados XPilo 3 1525 Último mensaje 23/04/2009, 13:59:24 pm
por Teón
Principio de Inducción matemática YeffGC 2 734 Último mensaje 03/07/2017, 05:08:02 am
por Luis Fuentes
Jerarquía de las operaciones Yehimy 1 1819 Último mensaje 17/08/2007, 03:57:30 am
por Luis Fuentes
Modelos finitos y demás cosas confusas. yotas 5 1301 Último mensaje 07/12/2012, 14:09:08 pm
por yotas
¡Problema de cálculo de predicados! yotas 2 961 Último mensaje 26/11/2012, 11:37:22 am
por yotas
¡Ejercicios de wf similares! yotas 4 1219 Último mensaje 17/11/2012, 21:50:03 pm
por yotas
Sobre independencia axiomática yotas 0 695 Último mensaje 16/11/2012, 11:28:44 am
por yotas
¡Ejercicios sobre teoría de la cuantificación! yotas 8 2200 Último mensaje 14/11/2012, 10:03:30 am
por specu
Satisfiabilidad, verdad y modelos. yotas 7 1641 Último mensaje 01/03/2013, 11:30:23 am
por yotas
Más sobre lógica. yotas 13 4199 Último mensaje 19/09/2012, 06:50:25 am
por Carlos Ivorra
Pregunta sobre lógica. yotas 17 6180 Último mensaje 12/09/2012, 18:38:05 pm
por specu
Sobre conjunto de conectores adecuados. yotas 5 3235 Último mensaje 09/09/2012, 12:50:07 pm
por yotas
Sobre sintaxis. yotas 1 626 Último mensaje 19/04/2012, 21:58:33 pm
por csgutier
Sobre un par de acertijos yotas 1 661 Último mensaje 05/04/2012, 23:29:09 pm
por csgutier
Pregunta sobre demostraciones en teoría de conjuntos yotas 0 485 Último mensaje 17/03/2012, 22:28:12 pm
por yotas
Pequeña pregunta con sistemas deductivos naturales. yotas 1 545 Último mensaje 13/03/2012, 18:59:01 pm
por Carlos Ivorra
Algoritmo de Davis-Putnam(Duda) Yujadeh 0 589 Último mensaje 14/08/2013, 12:17:45 pm
por Yujadeh
Álgebra de Boole zaca 3 1143 Último mensaje 09/08/2012, 12:04:10 pm
por numbsoul
Símbolo zaca 4 780 Último mensaje 09/05/2012, 09:14:58 am
por zaca
Símbolo zaca 1 507 Último mensaje 18/03/2012, 13:42:18 pm
por Fernando Revilla
Consecuencia Lógica zapayan 2 1598 Último mensaje 06/05/2018, 17:22:05 pm
por zapayan
Dos problemas con la regla de inferencia de Leibniz zapayan 0 1088 Último mensaje 06/05/2018, 04:55:59 am
por zapayan
Lógica e ideas zonurb1 6 1137 Último mensaje 22/04/2012, 22:21:23 pm
por zonurb1
signo zonurb1 5 792 Último mensaje 16/09/2010, 01:44:10 am
por Fernando Revilla
Toda subfórmula occure en la secuencia de formación [demostración] _fing 6 994 Último mensaje 08/04/2011, 21:43:05 pm
por _fing
Páginas: 1 ... 13 14 [15]   Ir Arriba
 

Temas en los que has publicado
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema Fijado
:  
Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!