06/12/2019, 04:33:35 am *
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 NUMERARIUS
 
 
Páginas: [1] 2 3 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 8 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 2 5376 Último mensaje 06/12/2017, 12:33:51 am
por informatik
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 7482 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 141442 Último mensaje 04/04/2017, 08:52:53 pm
por Elius
Estudiar validez del siguiente razonamiento con cuantificadores y constante manooooh 0 10 Último mensaje Ayer a las 10:03:35 pm
por manooooh
Dudas sobre semántica (y derivaciones)? Jambo 0 56 Último mensaje 03/11/2019, 07:30:49 pm
por Jambo
Estudiar validez de un razonamiento con un universal y ¿dos? existenciales manooooh 4 130 Último mensaje 10/11/2019, 12:55:07 pm
por manooooh
¿Cómo probar que el existencial no distribuye respecto a la conjunción? manooooh 4 149 Último mensaje 01/11/2019, 10:02:06 pm
por manooooh
El juego de los números naturales: demostraciones asistidas con Lean geómetracat 5 166 Último mensaje 12/11/2019, 09:45:33 pm
por manooooh
MOVIDO: Demostracion Conjuntos Fernando Revilla 0 184 Último mensaje 08/05/2019, 12:49:16 pm
por Fernando Revilla
Borrar mensaje Elius 0 201 Último mensaje 22/05/2019, 11:29:25 pm
por Elius
¿Existe una definición matemática que solamente valga en un sentido? manooooh 0 202 Último mensaje 07/06/2019, 12:00:32 am
por manooooh
Algebra de Boole AB'+B'C+AC' damianiq 2 208 Último mensaje 04/08/2019, 06:05:03 pm
por geómetracat
Diferencias de Equivalencias Ejemplos AveFenix 1 229 Último mensaje 19/05/2019, 12:16:58 pm
por Luis Fuentes
Sobre el uso o no de paréntesis para cuantificadores manooooh 8 240 Último mensaje 17/11/2019, 03:16:05 pm
por manooooh
Validez de \((p\wedge q)\to r\), \(\neg r\vee t\), \(\neg t\therefore\neg p\) manooooh 1 243 Último mensaje 25/05/2019, 09:53:53 pm
por noisok
Verdadero o falso de consecuencia lógica. Jambo 1 294 Último mensaje 28/04/2019, 10:52:22 am
por Carlos Ivorra
¿Es \(\neg\forall xp(x)\to q(x)\) equivalente a \(\exists xp(x)\land\neg q(x)\)? manooooh 3 296 Último mensaje 20/07/2019, 04:27:35 pm
por manooooh
Demostrar Equivalencia y Determinar la Relación de Alfa Y Beta.. AveFenix 3 344 Último mensaje 27/05/2019, 01:20:54 pm
por AveFenix
Ejercicio de lógica proposicional con tabla de verdad dana_mp 1 346 Último mensaje 11/05/2019, 11:59:21 pm
por manooooh
Demostrar Conjuntos , V o F. AveFenix 2 355 Último mensaje 07/05/2019, 05:09:03 am
por feriva
De las expresiones siguientes, ¿cuál es un predicado matemático? guillem_dlc 0 364 Último mensaje 09/06/2017, 04:20:17 am
por guillem_dlc
Analizar la validez del razonamiento \(p\to q;\;q\to r\vee s;\;r\therefore p\) manooooh 4 378 Último mensaje 22/07/2019, 02:11:43 am
por geómetracat
Problema con proposiciones lógicas Facundo E. 2 384 Último mensaje 11/03/2019, 11:25:30 am
por Facundo E.
Demostrar que es de Equivalencia AveFenix 4 390 Último mensaje 01/06/2019, 02:45:46 pm
por Luis Fuentes
El barbero de Russell no es paradójico con Lógica Normativa Elius 0 405 Último mensaje 04/04/2017, 03:01:03 pm
por Elius
Sobre la proposición de Gödel Raúl Aparicio Bustillo 0 434 Último mensaje 21/11/2010, 02:32:06 pm
por Raúl Aparicio Bustillo
Reportar a la Administración: eliminar mi cuenta, mensajes y respuestas. Sexto Gramaticus 4 435 Último mensaje 22/05/2019, 10:00:14 pm
por Sexto Gramaticus
Negación de la negación de existe un único mathtruco 4 439 Último mensaje 02/07/2019, 02:05:40 am
por mathtruco
Consecuencia lógica: verdadero o falso? Jambo 4 442 Último mensaje 27/04/2019, 07:21:02 pm
por Jambo
Test Lógica de predicados - Formalizar foxybcn 1 445 Último mensaje 23/04/2017, 07:23:52 pm
por Carlos Ivorra
¿Es [texx]\forall x \exists y(y=f(x))[/texx] un teorema lógico para un funtor f? Daniel Contreras 5 446 Último mensaje 15/09/2019, 02:34:58 pm
por Daniel Contreras
Método de la tautología lindtaylor 0 447 Último mensaje 22/05/2015, 03:07:22 am
por lindtaylor
Hipótesis y tesis guillem_dlc 1 450 Último mensaje 09/06/2017, 08:55:15 am
por Luis Fuentes
Expresiones ciertas, falsas y ambiguas guillem_dlc 1 450 Último mensaje 09/06/2017, 07:13:03 am
por Luis Fuentes
La teoría de tipos ramificada Raúl Aparicio Bustillo 0 451 Último mensaje 03/10/2011, 11:08:00 am
por Raúl Aparicio Bustillo
Solo si voy al cine con Valeria y la función es divertida, llegaré tarde kristhel 2 455 Último mensaje 12/05/2019, 03:12:42 pm
por feriva
Números no estandar Raúl Aparicio Bustillo 0 457 Último mensaje 03/11/2010, 03:27:47 pm
por Raúl Aparicio Bustillo
Lógica Raúl Aparicio Bustillo 0 460 Último mensaje 02/12/2010, 03:15:22 pm
por Raúl Aparicio Bustillo
Equivalencia de funciones lógicas ediyu 1 460 Último mensaje 22/05/2017, 07:16:25 am
por Luis Fuentes
Números reales , RCAo y WKLo Raúl Aparicio Bustillo 0 465 Último mensaje 31/03/2011, 09:19:18 am
por Raúl Aparicio Bustillo
Duda en ejercicio (deducción natural - lenguajes de primer orden) SantiagoUy 0 466 Último mensaje 12/02/2013, 05:04:07 pm
por SantiagoUy
Lógica Proposicional ; Lógica de orden 0 jdcc 0 468 Último mensaje 10/06/2011, 10:29:37 pm
por jdcc
Métodos de demostración nktclau 2 468 Último mensaje 09/07/2011, 05:51:17 pm
por nktclau
Hallar [texx]C_1[/texx] de [texx]aTb\iff|a-2|=|b-2|[/texx] AveFenix 6 469 Último mensaje 23/05/2019, 12:55:31 pm
por AveFenix
Lógica Cuántica Raúl Aparicio Bustillo 0 470 Último mensaje 19/12/2010, 12:31:09 pm
por Raúl Aparicio Bustillo
Razonamientos válidos y deductivos arkady-svidrigailov 0 473 Último mensaje 23/06/2015, 06:10:01 am
por arkady-svidrigailov
Ayuda con inducciòn en Lenguajes eze32 0 474 Último mensaje 22/02/2011, 03:54:25 pm
por eze32
Negaciones Raúl Aparicio Bustillo 0 474 Último mensaje 17/02/2011, 03:46:51 pm
por Raúl Aparicio Bustillo
WKL0 ¿no define todos los reales? Raúl Aparicio Bustillo 0 476 Último mensaje 02/04/2011, 04:58:05 am
por Raúl Aparicio Bustillo
Predicativismo Raúl Aparicio Bustillo 1 477 Último mensaje 03/05/2011, 06:18:26 pm
por Óscar Matzerath
Páginas: [1] 2 3 ... 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!