13/12/2019, 10:45:46 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: ¡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 8 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 2 5398 Último mensaje 06/12/2017, 12:33:51 am
por informatik
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 142023 Último mensaje 04/04/2017, 08:52:53 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 7501 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
El esquema de inferencia válido « 1 2 » Georg D. Hilbert 36 10204 Último mensaje 20/09/2015, 09:36:30 pm
por LauLuna
Expresar enunciados en Lógica de Predicados cristbal 3 2885 Último mensaje 19/06/2016, 09:12:45 pm
por argentinator
RCA0 Raúl Aparicio Bustillo 0 530 Último mensaje 29/03/2011, 01:50:05 pm
por Raúl Aparicio Bustillo
¿Cómo analizo la validez de un razonamiento con lógica proposicional? Antoniio 4 1424 Último mensaje 09/10/2016, 06:09:21 pm
por Luis Fuentes
¿Demostraciones de infinitos pasos? Raúl Aparicio Bustillo 0 535 Ú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 2476 Último mensaje 04/06/2014, 06:10:09 am
por Carlos Ivorra
¡Ejercicios de wf similares! yotas 4 1201 Último mensaje 17/11/2012, 09:50:03 pm
por yotas
¿Cómo resuelvo este ejercicio de proposiciones lógicas? Xla 14 2371 Último mensaje 09/05/2018, 07:00:55 pm
por manooooh
"Implicación" o "Doble implicación"?? nktclau 2 1039 Último mensaje 12/07/2011, 03:37:13 pm
por nktclau
"Juego de lógica" disiden-t 8 8696 Ú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 807 Último mensaje 08/01/2019, 11:50:46 pm
por Elius
(consulta) identificar proposiciones hbelardita 1 1033 Último mensaje 23/04/2016, 04:19:17 pm
por hbelardita
(Duda) Simplificación de una proposición lógica rusocdu 2 591 Último mensaje 20/05/2017, 07:57:39 pm
por rusocdu
(P y Q) implica que (si P, entonces Q) Dani 6 3686 Último mensaje 25/10/2012, 06:24:19 pm
por Carlos Ivorra
Abstracción de Implicaciones flynight 6 1428 Último mensaje 23/04/2014, 08:25:59 pm
por Carlos Ivorra
Acerca de la definición de consistencia Raúl Aparicio Bustillo 4 1355 Último mensaje 26/12/2011, 02:35:01 pm
por Raúl Aparicio Bustillo
Acerca de lamers y verdulerías ....(Disculpas) Raúl Aparicio Bustillo 1 776 Último mensaje 26/10/2011, 04:40:23 pm
por Garubi
Acerca de las definiciones Bobby Fischer 6 1531 Último mensaje 25/03/2019, 01:56:55 am
por noisok
Afirmación cierta o falsa guillem_dlc 1 512 Último mensaje 09/06/2017, 10:04:19 am
por feriva
Álgebra de Boole zaca 3 1133 Último mensaje 09/08/2012, 12:04:10 pm
por numbsoul
Algebra de Boole AB'+B'C+AC' damianiq 2 216 Último mensaje 04/08/2019, 06:05:03 pm
por geómetracat
Algo de lógica adriana 2 2211 Último mensaje 14/02/2007, 01:51:39 pm
por Numerarius
Algoritmo Davis-Putnam niniodinho 1 2831 Último mensaje 09/05/2009, 04:26:34 pm
por Teón
Algoritmo de Davis-Putnam(Duda) Yujadeh 0 582 Último mensaje 14/08/2013, 12:17:45 pm
por Yujadeh
Analisis no estandar Raúl Aparicio Bustillo 0 548 Último mensaje 10/05/2011, 05:34:35 pm
por Raúl Aparicio Bustillo
Análisis real Raúl Aparicio Bustillo 0 517 Último mensaje 18/10/2010, 09:12:45 am
por Raúl Aparicio Bustillo
Analisis real Raúl Aparicio Bustillo 0 592 Último mensaje 08/11/2010, 08:24:08 am
por Raúl Aparicio Bustillo
Analizando argumentos nktclau 2 1418 Último mensaje 11/01/2016, 08:37:18 pm
por nktclau
Analizar el valor de verdad nktclau 4 778 Último mensaje 11/07/2011, 03:53:11 pm
por nktclau
Analizar la validez del razonamiento \(p\to q;\;q\to r\vee s;\;r\therefore p\) manooooh 4 386 Último mensaje 22/07/2019, 02:11:43 am
por geómetracat
Analizar y justificar el valor de verdad de proposiciones dpmbaltar 3 1454 Último mensaje 27/03/2014, 10:11:29 am
por yotas
Antecedente y consecuente de esta proposición mariamoreno 4 19304 Último mensaje 05/06/2009, 01:57:00 pm
por LauLuna
Aquí una supertarea, aquí una moneda cuántica; Buenos días; Buenas noches. feriva 2 1170 Último mensaje 23/02/2012, 07:11:21 pm
por feriva
Argumento diagonal sargentopimienta 1 1267 Último mensaje 20/09/2015, 09:58:39 pm
por LauLuna
Argumentos de indispensabilidad en Matemáticas Raúl Aparicio Bustillo 4 1006 Último mensaje 04/10/2010, 03:12:01 pm
por argentinator
Aritmética primitiva recursiva y aritmética de Peano Raúl Aparicio Bustillo 4 1130 Último mensaje 03/05/2011, 08:00:43 pm
por Óscar Matzerath
Aritmetica verdadera y consistencia Raúl Aparicio Bustillo 0 575 Último mensaje 08/11/2010, 09:03:03 am
por Raúl Aparicio Bustillo
Aritmética y consistencia Raúl Aparicio Bustillo 3 824 Último mensaje 19/10/2010, 12:50:53 pm
por argentinator
Aritmética, tiempo, Brouwer y el Principio del Tercio Excluso. Fernando Revilla 5 1163 Último mensaje 13/07/2010, 03:31:23 pm
por argentinator
Axioma del infinito Raúl Aparicio Bustillo 0 643 Último mensaje 21/10/2010, 04:11:04 pm
por Raúl Aparicio Bustillo
Axiomas Raúl Aparicio Bustillo 1 648 Último mensaje 21/01/2011, 10:00:24 am
por Óscar Matzerath
Axiomas falsos Raúl Aparicio Bustillo 1 1223 Último mensaje 13/03/2011, 01:31:23 pm
por Gustavo Piñeiro
Axiomas y reglas de inferencia Raúl Aparicio Bustillo 0 805 Último mensaje 23/10/2010, 02:00:33 pm
por Raúl Aparicio Bustillo
Axiomas y teoremas en lógica matemática ayax 0 1331 Último mensaje 01/09/2009, 04:04:29 pm
por ayax
Axiomatización de los números reales Raúl Aparicio Bustillo 0 615 Ú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 1624 Último mensaje 12/09/2009, 04:39:32 pm
por Volrath89
Ayuda con este Problema, Borges y conjuntos??? Provo 12 4282 Ú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!