Foros de matemática
27/05/2017, 10:49:54 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: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1] 2 3 ... 13   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 2 Visitantes están viendo este foro.
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 89663 Último mensaje 04/04/2017, 08:52:53 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 4470 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 0 3053 Último mensaje 03/01/2012, 09:14:31 pm
por robot0000
Unicidad de las expresiones Carlos Ivorra 0 24 Último mensaje Ayer a las 07:36:38 pm
por Carlos Ivorra
Construir un modelo, completitud alexpglez 4 81 Último mensaje 25/05/2017, 08:55:21 am
por alexpglez
Sobre la consistencia de K_L alexpglez 2 62 Último mensaje 25/05/2017, 08:00:32 am
por alexpglez
Sobre la cardinalidad de las constantes, variables, funtores, relatores alexpglez 2 51 Último mensaje 24/05/2017, 10:02:30 pm
por alexpglez
Silogismos. Lógica. nicolasborr 1 53 Último mensaje 24/05/2017, 02:59:09 pm
por mathtruco
Equivalencia de funciones lógicas ediyu 1 52 Último mensaje 22/05/2017, 07:16:25 am
por el_manco
(Duda) Simplificación de una proposición lógica rusocdu 2 95 Último mensaje 20/05/2017, 07:57:39 pm
por rusocdu
Formalizar unos predicados. foxybcn 8 368 Último mensaje 09/05/2017, 11:48:44 am
por arkady-svidrigailov
Duda de inducción matemática Sagnior 2 94 Último mensaje 09/05/2017, 12:37:32 am
por Sagnior
Ejercicio de Inducción Matemática Sagnior 4 132 Último mensaje 08/05/2017, 01:44:59 pm
por Sagnior
Test Lógica de predicados - Formalizar foxybcn 1 60 Último mensaje 23/04/2017, 07:23:52 pm
por Carlos Ivorra
La disyunción exclusiva para 3 letras sentenciales Kront 13 289 Último mensaje 23/04/2017, 03:22:31 pm
por Kront
¿Son los Elementos un sistema axiomático? Carlos Ivorra 6 394 Último mensaje 06/04/2017, 02:43:10 pm
por Carlos Ivorra
El barbero de Russell no es paradójico con Lógica Normativa Elius 0 77 Último mensaje 04/04/2017, 03:01:03 pm
por Elius
¿Qué regla de inferencia utiliza? fafafa 6 261 Último mensaje 18/03/2017, 08:09:55 pm
por fafafa
Demostrar utilizando prueba directa fafafa 6 378 Último mensaje 15/02/2017, 04:00:44 pm
por mathtruco
Ejercicios de demostración inferencia lógica colinusxd 13 594 Último mensaje 12/02/2017, 09:18:36 pm
por colinusxd
Clasificar proposición compuesta andoporto 1 449 Último mensaje 23/01/2017, 01:07:43 pm
por Caba
Dudas sobre proposiciones lógicas Cristal 1 292 Último mensaje 10/01/2017, 02:12:15 pm
por arkady-svidrigailov
Negación de afirmaciones con cuantificadores mathman 4 1147 Último mensaje 23/12/2016, 12:51:50 pm
por mathman
Epiménides el mentiroso ¿paradoja o falacia? Elius 0 239 Último mensaje 07/12/2016, 07:52:21 pm
por Elius
Relaciones binarias Escalofrios 2 298 Último mensaje 05/12/2016, 06:10:28 am
por el_manco
El barbero de Russell y la doble negación en ciertas paradojas Elius 0 364 Último mensaje 22/11/2016, 12:35:52 pm
por Elius
MOVIDO: Polilla comiendo libros en línea recta el_manco 0 279 Último mensaje 10/11/2016, 06:01:53 am
por el_manco
Cómo formalizar en LPO Antoniio 0 576 Último mensaje 31/10/2016, 10:03:36 pm
por Antoniio
El conjunto de Russell: ¿Paradoja o error gramatical? Elius 1 442 Último mensaje 24/10/2016, 10:30:43 pm
por Elius
Orden de precedencia en tabla de verdad de tres variables andoporto 1 364 Último mensaje 24/10/2016, 02:00:08 am
por Gustavo
Reglas de inferencia jose_vegas 0 238 Último mensaje 16/10/2016, 10:23:36 pm
por jose_vegas
Simbolización por lógica de predicados McHenry 6 604 Último mensaje 09/10/2016, 09:49:02 pm
por argentinator
¿Cómo analizo la validez de un razonamiento con lógica proposicional? Antoniio 4 717 Último mensaje 09/10/2016, 06:09:21 pm
por el_manco
Cómo determinar una consistencia de cláusula? Antoniio 0 302 Último mensaje 09/10/2016, 05:29:16 pm
por Antoniio
De fórmulas contingentes a tautologías y contradicciones, demostración logica 9 856 Último mensaje 08/10/2016, 06:23:39 pm
por Carlos Ivorra
Probar que es una tautología energy 1 372 Último mensaje 08/10/2016, 06:11:40 pm
por Carlos Ivorra
Descripciones impropias alexpglez 1 359 Último mensaje 02/10/2016, 04:57:39 pm
por Carlos Ivorra
Teorema de deducción Georg D. Hilbert 2 445 Último mensaje 23/09/2016, 10:08:41 am
por Georg D. Hilbert
Goldbach conjecture, intrascente for mathematic Eulogio Garcia 9 750 Último mensaje 16/09/2016, 06:31:13 pm
por feriva
validez del razonamiento Antoniio 0 329 Último mensaje 06/09/2016, 01:17:20 am
por Antoniio
Introductor generalizador, varias variables alexpglez 6 638 Último mensaje 02/09/2016, 03:08:46 pm
por alexpglez
Recomendación de un libro de lógica matemática Fran Colegiales 0 474 Último mensaje 23/07/2016, 12:50:09 pm
por Fran Colegiales
Expresar enunciados en Lógica de Predicados cristbal 3 2074 Último mensaje 19/06/2016, 09:12:45 pm
por argentinator
Una propiedad de los conjuntos consistentes maximales Fran Colegiales 4 1597 Último mensaje 28/05/2016, 04:23:11 pm
por Fran Colegiales
Par ordenado como variable. Constantin 2 727 Último mensaje 23/05/2016, 04:57:39 am
por Carlos Ivorra
Pasar de lenguaje simbólico a natural cesagv 1 732 Último mensaje 28/04/2016, 06:32:04 am
por el_manco
Lógica en Ecuación con Diferencia de Conjuntos Alexander 3 757 Último mensaje 25/04/2016, 08:13:04 am
por el_manco
(consulta) identificar proposiciones hbelardita 1 665 Último mensaje 23/04/2016, 04:19:17 pm
por hbelardita
Mi punto de vista acerca de la lógica de predicados sergioswim 1 700 Último mensaje 21/04/2016, 01:08:03 am
por argentinator
Diferencia entre una doble implicación y una equivalencia sergioswim 4 882 Último mensaje 21/04/2016, 12:43:10 am
por sergioswim
Páginas: [1] 2 3 ... 13   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.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!