20/04/2019, 09:20:30 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: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1] 2 3 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 3 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 2 4772 Último mensaje 06/12/2017, 12:33:51 am
por informatik
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 130086 Último mensaje 04/04/2017, 08:52:53 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 6769 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
Escribir en lenguaje simbólico la siguiente frase manooooh 0 29 Último mensaje Ayer a las 05:30:09 pm
por manooooh
Conjunto característico Jambo 6 161 Último mensaje 16/04/2019, 06:43:09 am
por geómetracat
Simplificar al máximo esta expresión lógica cristianoceli 6 105 Último mensaje 15/04/2019, 05:38:17 pm
por feriva
Determinar la validez de un argumento cristianoceli 7 114 Último mensaje 14/04/2019, 11:29:34 pm
por hméndez
Formalizar "Hay exactamente un número par menor que tres" noisok 6 110 Ú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 444 Último mensaje 12/04/2019, 06:36:02 am
por feriva
Semántica? Cardinalidad de conjuntos Jambo 7 165 Último mensaje 10/04/2019, 07:24:10 am
por Luis Fuentes
Consecuencia lógica Jambo 7 434 Último mensaje 01/04/2019, 04:25:13 am
por Carlos Ivorra
Deducción natural Sdc 10 551 Último mensaje 27/03/2019, 03:04:20 pm
por feriva
Acerca de las definiciones Bobby Fischer 6 1045 Último mensaje 25/03/2019, 01:56:55 am
por noisok
¿Está bien ser repetitivo cuando dos definiciones requieren de mismas hipótesis? manooooh 16 1362 Último mensaje 18/03/2019, 06:13:39 am
por Luis Fuentes
¿Cuál es el cardinal de un objeto matemático que está siendo definido? manooooh 17 1237 Último mensaje 18/03/2019, 04:34:53 am
por Luis Fuentes
¿Es [texx]\Longrightarrow\Longleftarrow[/texx] un signo de la Lógica? manooooh 4 588 Último mensaje 15/03/2019, 09:45:37 pm
por manooooh
Problema con proposiciones lógicas Facundo E. 2 157 Último mensaje 11/03/2019, 11:25:30 am
por Facundo E.
Comentarios a El teorema de Gödel (en Z) « 1 2 » Carlos Ivorra 26 3902 Último mensaje 11/02/2019, 08:00:46 am
por Marta Balaguer
Estudiar validez de un razonamiento manooooh 2 488 Último mensaje 06/02/2019, 05:16:54 pm
por martiniano
¿Lo único que se prueba en matemáticas son implicaciones? « 1 2 » manooooh 20 2641 Último mensaje 23/01/2019, 04:04:43 pm
por nia
"La no demostrabilidad (~Bew(#~Bew(w)) ) no es una prueba" es demostrable en PA Elius 2 604 Último mensaje 08/01/2019, 11:50:46 pm
por Elius
Sobre el símbolo \(\therefore\) ("Por tanto") manooooh 15 1818 Último mensaje 05/12/2018, 10:43:06 pm
por Carlos Ivorra
Duda sobre la modificación de valoraciones Carlos Ivorra 2 839 Último mensaje 27/10/2018, 03:20:26 pm
por Carlos Ivorra
Estudiar la validez de dos razonamientos manooooh 13 2674 Último mensaje 27/10/2018, 08:30:27 am
por Carlos Ivorra
Sobre condiciones necesarias y suficientes manooooh 9 1111 Último mensaje 16/10/2018, 05:33:12 am
por Carlos Ivorra
Proposición Julio_fmat 1 1157 Último mensaje 26/08/2018, 08:37:36 pm
por Carlos Ivorra
NP-Completitud en cuestión: proc lineal resuelve satisfacibilidad booleana. Elius 1 995 Último mensaje 23/08/2018, 05:51:29 pm
por Elius
Longitud de una fórmula Julio_fmat 2 938 Último mensaje 19/08/2018, 07:59:19 pm
por Julio_fmat
¿Qué ocurre si las conclusiones de un razonamiento son falsas? manooooh 18 1895 Último mensaje 16/08/2018, 03:53:07 pm
por feriva
Dadas tres premisas y dos conclusiones, decidir si son válidas o no « 1 2 » manooooh 27 2151 Último mensaje 15/08/2018, 10:24:25 pm
por manooooh
Es correcto \(p\rightarrow q\wedge\lnot r\rightarrow\lnot q\Rightarrow\lnot r\)? Buscón 3 813 Último mensaje 14/08/2018, 07:14:51 am
por manooooh
\((p\rightarrow r\vee q)\wedge(r\rightarrow\lnot q)\Rightarrow p\rightarrow r\)? Buscón 6 993 Último mensaje 13/08/2018, 06:12:45 pm
por Buscón
Válido \([(p\vee r)\rightarrow q]\wedge(q)\Rightarrow\lnot p\rightarrow r\)? Buscón 4 757 Último mensaje 12/08/2018, 07:08:39 pm
por Buscón
Es correcto \(\;\;\;(p\leftrightarrow r\wedge r)\Rightarrow p\;\;\;\)?. Buscón 2 751 Último mensaje 12/08/2018, 08:11:43 am
por Buscón
De \(\;\;\;p\leftrightarrow r\wedge r\;\;\;\) se deduce \(\;\;\;p\). Buscón 8 985 Último mensaje 11/08/2018, 08:41:05 pm
por Carlos Ivorra
Problema sobre inferencias lógicas « 1 2 » Francois 20 1832 Último mensaje 11/08/2018, 07:48:16 pm
por Buscón
Lógica Proposicional: Subconjunto independiente de un conjunto de formulas. Nico1 6 1274 Último mensaje 24/06/2018, 03:02:59 pm
por Nico1
Estudiar la validez de un razonamiento manooooh 12 2285 Último mensaje 21/06/2018, 02:19:04 pm
por manooooh
Duda con respecto al método de los consensos Frankie 2 889 Último mensaje 19/06/2018, 04:17:36 pm
por Frankie
Lógica: distributiva al pasar a FNC Carloslgl 2 1074 Último mensaje 11/06/2018, 06:20:23 pm
por Carloslgl
Problema sobre proposición bicondicional angiepaola 1 764 Último mensaje 11/06/2018, 08:20:12 am
por Luis Fuentes
Lógica de 1er orden: Cantidad de Isomorfismos Nico1 3 915 Último mensaje 11/06/2018, 07:42:00 am
por Carlos Ivorra
Lógica de 1er orden: Interpretaciones Isomorfas Nico1 2 774 Último mensaje 07/06/2018, 05:50:18 pm
por Nico1
Estudiar la validez de un razonamiento (2) manooooh 6 1667 Último mensaje 07/06/2018, 07:36:17 am
por Carlos Ivorra
Teoría de conjuntos Kevinquijada#@ 0 757 Último mensaje 11/05/2018, 02:02:53 pm
por Kevinquijada#@
¿Cómo resuelvo este ejercicio de proposiciones lógicas? Xla 14 1808 Último mensaje 09/05/2018, 07:00:55 pm
por manooooh
Consecuencia Lógica zapayan 2 1317 Último mensaje 06/05/2018, 05:22:05 pm
por zapayan
Dos problemas con la regla de inferencia de Leibniz zapayan 0 929 Último mensaje 06/05/2018, 04:55:59 am
por zapayan
El teorema de Gödel (en Z) Carlos Ivorra 11 2534 Último mensaje 28/04/2018, 10:52:53 am
por Carlos Ivorra
¿Cómo escribir "no implica" mediante lógica proposicional? imanoles 2 975 Último mensaje 11/04/2018, 08:09:55 pm
por imanoles
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!