19/11/2019, 07:41:57 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: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1] 2 3 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 5 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 2 5324 Último mensaje 06/12/2017, 12:33:51 am
por informatik
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 140455 Último mensaje 04/04/2017, 08:52:53 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 7444 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
Sobre el uso o no de paréntesis para cuantificadores manooooh 8 151 Último mensaje 17/11/2019, 03:16:05 pm
por manooooh
El juego de los números naturales: demostraciones asistidas con Lean geómetracat 5 136 Último mensaje 12/11/2019, 09:45:33 pm
por manooooh
Estudiar validez de un razonamiento con un universal y ¿dos? existenciales manooooh 4 108 Último mensaje 10/11/2019, 12:55:07 pm
por manooooh
Dudas sobre semántica (y derivaciones)? Jambo 0 42 Último mensaje 03/11/2019, 07:30:49 pm
por Jambo
¿Cómo probar que el existencial no distribuye respecto a la conjunción? manooooh 4 127 Último mensaje 01/11/2019, 10:02:06 pm
por manooooh
¿Es [texx]\forall x \exists y(y=f(x))[/texx] un teorema lógico para un funtor f? Daniel Contreras 5 398 Último mensaje 15/09/2019, 02:34:58 pm
por Daniel Contreras
Dado un razonamiento escribirlo simbólicamente y analizar su validez « 1 2 » manooooh 30 1240 Último mensaje 29/08/2019, 07:20:09 am
por geómetracat
Demostración de Conjuntos AveFenix 3 786 Último mensaje 12/08/2019, 08:48:37 am
por nia
Demostrar conjunto AveFenix 4 565 Último mensaje 10/08/2019, 05:12:59 am
por feriva
Algebra de Boole AB'+B'C+AC' damianiq 2 185 Último mensaje 04/08/2019, 06:05:03 pm
por geómetracat
Duda sobre la modificación de valoraciones Carlos Ivorra 8 1783 Último mensaje 27/07/2019, 06:57:45 am
por Carlos Ivorra
Analizar la validez del razonamiento \(p\to q;\;q\to r\vee s;\;r\therefore p\) manooooh 4 348 Último mensaje 22/07/2019, 02:11:43 am
por geómetracat
¿Es \(\neg\forall xp(x)\to q(x)\) equivalente a \(\exists xp(x)\land\neg q(x)\)? manooooh 3 266 Último mensaje 20/07/2019, 04:27:35 pm
por manooooh
Negación de la negación de existe un único mathtruco 4 411 Último mensaje 02/07/2019, 02:05:40 am
por mathtruco
Dado un conjunto de hipótesis cuantificadas hallar la única tesis válida manooooh 17 852 Último mensaje 07/06/2019, 05:25:53 am
por geómetracat
¿Existe una definición matemática que solamente valga en un sentido? manooooh 0 181 Último mensaje 07/06/2019, 12:00:32 am
por manooooh
Probar que es de Equivalencia AveFenix 7 509 Último mensaje 02/06/2019, 12:40:40 pm
por AveFenix
Demostrar que es de Equivalencia AveFenix 4 361 Último mensaje 01/06/2019, 02:45:46 pm
por Luis Fuentes
Demostrar que es de Equivalencia AveFenix 8 476 Último mensaje 30/05/2019, 07:29:03 pm
por AveFenix
Demostrar Equivalencia y Determinar la Relación de Alfa Y Beta.. AveFenix 3 320 Último mensaje 27/05/2019, 01:20:54 pm
por AveFenix
Validez de \((p\wedge q)\to r\), \(\neg r\vee t\), \(\neg t\therefore\neg p\) manooooh 1 224 Último mensaje 25/05/2019, 09:53:53 pm
por noisok
Prueba que R es de Equivalencia. AveFenix 10 571 Último mensaje 24/05/2019, 02:10:34 pm
por Luis Fuentes
Hallar [texx]C_1[/texx] de [texx]aTb\iff|a-2|=|b-2|[/texx] AveFenix 6 445 Último mensaje 23/05/2019, 12:55:31 pm
por AveFenix
Borrar mensaje Elius 0 185 Último mensaje 22/05/2019, 11:29:25 pm
por Elius
Reportar a la Administración: eliminar mi cuenta, mensajes y respuestas. Sexto Gramaticus 4 405 Último mensaje 22/05/2019, 10:00:14 pm
por Sexto Gramaticus
Lógica de predicados: Sintaxis. Jambo 5 454 Último mensaje 22/05/2019, 10:50:21 am
por Carlos Ivorra
Diferencias de Equivalencias Ejemplos AveFenix 1 211 Último mensaje 19/05/2019, 12:16:58 pm
por Luis Fuentes
Demostrar que es de Equivalencia AveFenix 5 486 Último mensaje 19/05/2019, 11:23:36 am
por AveFenix
¿Una proposición y su negada pueden no llevar a una contradicción? manooooh 9 646 Último mensaje 14/05/2019, 10:47:42 pm
por Elius
Solo si voy al cine con Valeria y la función es divertida, llegaré tarde kristhel 2 435 Último mensaje 12/05/2019, 03:12:42 pm
por feriva
Ejercicio de lógica proposicional con tabla de verdad dana_mp 1 331 Último mensaje 11/05/2019, 11:59:21 pm
por manooooh
MOVIDO: Demostracion Conjuntos Fernando Revilla 0 171 Último mensaje 08/05/2019, 12:49:16 pm
por Fernando Revilla
Prueba de Conjuntos AveFenix 6 506 Último mensaje 08/05/2019, 06:46:06 am
por Luis Fuentes
Demostrar Conjuntos , V o F. AveFenix 2 331 Último mensaje 07/05/2019, 05:09:03 am
por feriva
Demostración de Conjuntos AveFenix 13 981 Último mensaje 03/05/2019, 09:23:32 pm
por manooooh
Teoría de conjuntos Kevinquijada#@ 1 1072 Último mensaje 01/05/2019, 02:09:57 pm
por Daniel
Verdadero o falso de consecuencia lógica. Jambo 1 280 Último mensaje 28/04/2019, 10:52:22 am
por Carlos Ivorra
Consecuencia lógica: verdadero o falso? Jambo 4 420 Último mensaje 27/04/2019, 07:21:02 pm
por Jambo
Escribir en lenguaje simbólico la siguiente frase manooooh 4 783 Último mensaje 23/04/2019, 08:59:57 am
por noisok
Conjunto característico Jambo 6 674 Último mensaje 16/04/2019, 06:43:09 am
por geómetracat
Simplificar al máximo esta expresión lógica cristianoceli 6 618 Último mensaje 15/04/2019, 05:38:17 pm
por feriva
Determinar la validez de un argumento cristianoceli 7 636 Último mensaje 14/04/2019, 11:29:34 pm
por hméndez
Formalizar "Hay exactamente un número par menor que tres" noisok 6 678 Último mensaje 13/04/2019, 04:34:40 am
por feriva
¿Toda ecuación o inecuación representa un predicado lógico? « 1 2 » manooooh 21 1714 Último mensaje 12/04/2019, 06:36:02 am
por feriva
Semántica? Cardinalidad de conjuntos Jambo 7 574 Último mensaje 10/04/2019, 07:24:10 am
por Luis Fuentes
Consecuencia lógica Jambo 7 808 Último mensaje 01/04/2019, 04:25:13 am
por Carlos Ivorra
Deducción natural Sdc 10 1057 Último mensaje 27/03/2019, 03:04:20 pm
por feriva
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!