Foros de matemática
27/02/2017, 12:55:15 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: Renovado el procedimiento de insercción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1] 2 3 ... 13   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 7 Visitantes están viendo este foro.
Teorema de Gödel « 1 2 ... 15 16 » Numerarius 315 79860 Último mensaje 27/12/2015, 11:51:14 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 4043 Ú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 2885 Último mensaje 03/01/2012, 09:14:31 pm
por robot0000
Demostrar utilizando prueba directa fafafa 6 114 Último mensaje 15/02/2017, 04:00:44 pm
por mathtruco
Ejercicios de demostración inferencia lógica colinusxd 13 234 Último mensaje 12/02/2017, 09:18:36 pm
por colinusxd
Clasificar proposición compuesta andoporto 1 215 Último mensaje 23/01/2017, 01:07:43 pm
por Caba
Dudas sobre proposiciones lógicas Cristal 1 110 Último mensaje 10/01/2017, 02:12:15 pm
por arkady-svidrigailov
Negación de afirmaciones con cuantificadores mathman 4 522 Último mensaje 23/12/2016, 12:51:50 pm
por mathman
Epiménides el mentiroso ¿paradoja o falacia? Elius 0 104 Último mensaje 07/12/2016, 07:52:21 pm
por Elius
Relaciones binarias Escalofrios 2 142 Ú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 191 Último mensaje 22/11/2016, 12:35:52 pm
por Elius
MOVIDO: Polilla comiendo libros en línea recta el_manco 0 135 Último mensaje 10/11/2016, 06:01:53 am
por el_manco
Cómo formalizar en LPO Antoniio 0 348 Último mensaje 31/10/2016, 10:03:36 pm
por Antoniio
El conjunto de Russell: ¿Paradoja o error gramatical? Elius 1 229 Último mensaje 24/10/2016, 10:30:43 pm
por Elius
Orden de precedencia en tabla de verdad de tres variables andoporto 1 175 Último mensaje 24/10/2016, 02:00:08 am
por Gustavo
Reglas de inferencia jose_vegas 0 126 Último mensaje 16/10/2016, 10:23:36 pm
por jose_vegas
Simbolización por lógica de predicados McHenry 6 333 Ú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 477 Último mensaje 09/10/2016, 06:09:21 pm
por el_manco
Cómo determinar una consistencia de cláusula? Antoniio 0 169 Último mensaje 09/10/2016, 05:29:16 pm
por Antoniio
De fórmulas contingentes a tautologías y contradicciones, demostración logica 9 541 Último mensaje 08/10/2016, 06:23:39 pm
por Carlos Ivorra
Probar que es una tautología energy 1 196 Último mensaje 08/10/2016, 06:11:40 pm
por Carlos Ivorra
Descripciones impropias alexpglez 1 177 Último mensaje 02/10/2016, 04:57:39 pm
por Carlos Ivorra
Teorema de deducción Georg D. Hilbert 2 260 Último mensaje 23/09/2016, 10:08:41 am
por Georg D. Hilbert
Goldbach conjecture, intrascente for mathematic Eulogio Garcia 9 435 Último mensaje 16/09/2016, 06:31:13 pm
por feriva
validez del razonamiento Antoniio 0 202 Último mensaje 06/09/2016, 01:17:20 am
por Antoniio
Introductor generalizador, varias variables alexpglez 6 396 Último mensaje 02/09/2016, 03:08:46 pm
por alexpglez
Recomendación de un libro de lógica matemática Fran Colegiales 0 286 Último mensaje 23/07/2016, 12:50:09 pm
por Fran Colegiales
Expresar enunciados en Lógica de Predicados cristbal 3 1467 Último mensaje 19/06/2016, 09:12:45 pm
por argentinator
Una propiedad de los conjuntos consistentes maximales Fran Colegiales 4 1122 Último mensaje 28/05/2016, 04:23:11 pm
por Fran Colegiales
Par ordenado como variable. Constantin 2 472 Último mensaje 23/05/2016, 04:57:39 am
por Carlos Ivorra
Pasar de lenguaje simbólico a natural cesagv 1 521 Último mensaje 28/04/2016, 06:32:04 am
por el_manco
Lógica en Ecuación con Diferencia de Conjuntos Alexander 3 516 Último mensaje 25/04/2016, 08:13:04 am
por el_manco
(consulta) identificar proposiciones hbelardita 1 460 Último mensaje 23/04/2016, 04:19:17 pm
por hbelardita
Mi punto de vista acerca de la lógica de predicados sergioswim 1 479 Último mensaje 21/04/2016, 01:08:03 am
por argentinator
Diferencia entre una doble implicación y una equivalencia sergioswim 4 574 Último mensaje 21/04/2016, 12:43:10 am
por sergioswim
Preguntas acerca de la lógica de predicados sergioswim 0 307 Último mensaje 16/04/2016, 03:58:57 pm
por sergioswim
Condición para que una implicación sea una tautología nathan 1 534 Último mensaje 13/04/2016, 05:19:50 am
por el_manco
Demostración del silogismo hipotético sergioswim 2 550 Último mensaje 12/04/2016, 11:39:29 pm
por sergioswim
Demostración de Proposiciones SunriseM 2 654 Último mensaje 08/04/2016, 04:32:04 pm
por SunriseM
Duda sobre condición suficiente y necesaria. Camilo-RD 1 499 Último mensaje 06/04/2016, 05:35:18 am
por el_manco
Determinar el valor de verdad de una proposición compuesta andoporto 2 1069 Último mensaje 01/03/2016, 07:20:21 pm
por andoporto
Demostración de conjuntos Matias.a 4 731 Último mensaje 04/02/2016, 03:31:24 pm
por el_manco
Problema Lógica de predicados. mcarrer 2 538 Último mensaje 27/01/2016, 02:25:47 pm
por mcarrer
Curso de lógica proposicional básica en video juanjortiz 1 625 Último mensaje 15/01/2016, 09:39:13 pm
por nktclau
Tachar lo que NO corresponda nktclau 0 393 Último mensaje 15/01/2016, 01:15:32 pm
por nktclau
Interpretación de inciso nktclau 5 791 Último mensaje 15/01/2016, 01:09:10 pm
por nktclau
Analizando argumentos nktclau 2 783 Último mensaje 11/01/2016, 08:37:18 pm
por nktclau
Construyendo derivaciones nktclau 2 868 Último mensaje 10/01/2016, 03:31:08 pm
por nktclau
Enunciados-Conectivas nktclau 2 837 Último mensaje 07/01/2016, 04:28:22 pm
por nktclau
¿La sent. indecidible de Gödel tiene significado en teoría de números clásica? Elius 0 575 Último mensaje 27/12/2015, 11:36:28 pm
por Elius
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!