24/01/2020, 01:13:16 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1] 2 3 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 4 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 2 5515 Último mensaje 06/12/2017, 00:33:51 am
por informatik
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 143814 Último mensaje 04/04/2017, 20:52:53 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 7616 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
El esquema de inferencia válido « 1 2 » Georg D. Hilbert 36 10340 Último mensaje 20/09/2015, 21:36:30 pm
por LauLuna
Expresar enunciados en Lógica de Predicados cristbal 3 2896 Último mensaje 19/06/2016, 21:12:45 pm
por argentinator
RCA0 Raúl Aparicio Bustillo 0 536 Último mensaje 29/03/2011, 13:50:05 pm
por Raúl Aparicio Bustillo
¿Cómo analizo la validez de un razonamiento con lógica proposicional? Antoniio 4 1442 Último mensaje 09/10/2016, 18:09:21 pm
por Luis Fuentes
¿Demostraciones de infinitos pasos? Raúl Aparicio Bustillo 0 544 Último mensaje 28/04/2011, 07:29:43 am
por Raúl Aparicio Bustillo
¿Qué lógica usamos en el lenguaje natural que descarta modelos no estandar Raúl Aparicio Bustillo 7 2505 Último mensaje 04/06/2014, 06:10:09 am
por Carlos Ivorra
¡Ejercicios de wf similares! yotas 4 1219 Último mensaje 17/11/2012, 21:50:03 pm
por yotas
¿Cómo resuelvo este ejercicio de proposiciones lógicas? Xla 14 2418 Último mensaje 09/05/2018, 19:00:55 pm
por manooooh
"Implicación" o "Doble implicación"?? nktclau 2 1050 Último mensaje 12/07/2011, 15:37:13 pm
por nktclau
"Juego de lógica" disiden-t 8 8745 Último mensaje 12/01/2007, 11:17:04 am
por disiden-t
"La no demostrabilidad (~Bew(#~Bew(w)) ) no es una prueba" es demostrable en PA Elius 2 826 Último mensaje 08/01/2019, 23:50:46 pm
por Elius
(consulta) identificar proposiciones hbelardita 1 1045 Último mensaje 23/04/2016, 16:19:17 pm
por hbelardita
(Duda) Simplificación de una proposición lógica rusocdu 2 617 Último mensaje 20/05/2017, 19:57:39 pm
por rusocdu
(P y Q) implica que (si P, entonces Q) Dani 6 3705 Último mensaje 25/10/2012, 18:24:19 pm
por Carlos Ivorra
Abstracción de Implicaciones flynight 6 1439 Último mensaje 23/04/2014, 20:25:59 pm
por Carlos Ivorra
Acerca de la definición de consistencia Raúl Aparicio Bustillo 4 1365 Último mensaje 26/12/2011, 14:35:01 pm
por Raúl Aparicio Bustillo
Acerca de lamers y verdulerías ....(Disculpas) Raúl Aparicio Bustillo 1 784 Último mensaje 26/10/2011, 16:40:23 pm
por Garubi
Acerca de las definiciones Bobby Fischer 6 1569 Último mensaje 25/03/2019, 01:56:55 am
por noisok
Afirmación cierta o falsa guillem_dlc 1 543 Último mensaje 09/06/2017, 10:04:19 am
por feriva
Álgebra de Boole zaca 3 1143 Último mensaje 09/08/2012, 12:04:10 pm
por numbsoul
Algebra de Boole AB'+B'C+AC' damianiq 2 259 Último mensaje 04/08/2019, 18:05:03 pm
por geómetracat
Algo de lógica adriana 2 2227 Último mensaje 14/02/2007, 13:51:39 pm
por Numerarius
Algoritmo Davis-Putnam niniodinho 1 2855 Último mensaje 09/05/2009, 16:26:34 pm
por Teón
Algoritmo de Davis-Putnam(Duda) Yujadeh 0 590 Último mensaje 14/08/2013, 12:17:45 pm
por Yujadeh
Analisis no estandar Raúl Aparicio Bustillo 0 561 Último mensaje 10/05/2011, 17:34:35 pm
por Raúl Aparicio Bustillo
Análisis real Raúl Aparicio Bustillo 0 518 Último mensaje 18/10/2010, 09:12:45 am
por Raúl Aparicio Bustillo
Analisis real Raúl Aparicio Bustillo 0 597 Último mensaje 08/11/2010, 08:24:08 am
por Raúl Aparicio Bustillo
Analizando argumentos nktclau 2 1427 Último mensaje 11/01/2016, 20:37:18 pm
por nktclau
Analizar el valor de verdad nktclau 4 787 Último mensaje 11/07/2011, 15:53:11 pm
por nktclau
Analizar la validez del razonamiento \(p\to q;\;q\to r\vee s;\;r\therefore p\) manooooh 4 448 Último mensaje 22/07/2019, 02:11:43 am
por geómetracat
Analizar y justificar el valor de verdad de proposiciones dpmbaltar 3 1470 Último mensaje 27/03/2014, 10:11:29 am
por yotas
Antecedente y consecuente de esta proposición mariamoreno 4 19409 Último mensaje 05/06/2009, 13:57:00 pm
por LauLuna
Aquí una supertarea, aquí una moneda cuántica; Buenos días; Buenas noches. feriva 2 1180 Último mensaje 23/02/2012, 19:11:21 pm
por feriva
Argumento diagonal sargentopimienta 1 1282 Último mensaje 20/09/2015, 21:58:39 pm
por LauLuna
Argumentos de indispensabilidad en Matemáticas Raúl Aparicio Bustillo 4 1018 Último mensaje 04/10/2010, 15:12:01 pm
por argentinator
Aritmética primitiva recursiva y aritmética de Peano Raúl Aparicio Bustillo 4 1146 Último mensaje 03/05/2011, 20:00:43 pm
por Óscar Matzerath
Aritmetica verdadera y consistencia Raúl Aparicio Bustillo 0 580 Último mensaje 08/11/2010, 09:03:03 am
por Raúl Aparicio Bustillo
Aritmética y consistencia Raúl Aparicio Bustillo 3 837 Último mensaje 19/10/2010, 12:50:53 pm
por argentinator
Aritmética, tiempo, Brouwer y el Principio del Tercio Excluso. Fernando Revilla 5 1179 Último mensaje 13/07/2010, 15:31:23 pm
por argentinator
Axioma del infinito Raúl Aparicio Bustillo 0 650 Último mensaje 21/10/2010, 16:11:04 pm
por Raúl Aparicio Bustillo
Axiomas Raúl Aparicio Bustillo 1 658 Último mensaje 21/01/2011, 10:00:24 am
por Óscar Matzerath
Axiomas falsos Raúl Aparicio Bustillo 1 1237 Último mensaje 13/03/2011, 13:31:23 pm
por Gustavo Piñeiro
Axiomas y reglas de inferencia Raúl Aparicio Bustillo 0 814 Último mensaje 23/10/2010, 14:00:33 pm
por Raúl Aparicio Bustillo
Axiomas y teoremas en lógica matemática ayax 0 1339 Último mensaje 01/09/2009, 16:04:29 pm
por ayax
Axiomatización de los números reales Raúl Aparicio Bustillo 0 623 Último mensaje 20/04/2011, 07:47:13 am
por Raúl Aparicio Bustillo
Ayuda con algunas demostraciones involucrando conjuntos y lógica Volrath89 5 1635 Último mensaje 12/09/2009, 16:39:32 pm
por Volrath89
Ayuda con este Problema, Borges y conjuntos??? Provo 12 4342 Último mensaje 10/07/2009, 02:13:09 am
por desafiante
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!