07/12/2019, 03:06:24 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: 1 [2] 3 4 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 8 Visitantes están viendo este foro.
Deducción natural Sdc 10 1113 Último mensaje 27/03/2019, 03:04:20 pm
por feriva
Acerca de las definiciones Bobby Fischer 6 1523 Ú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 2161 Ú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 2056 Ú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 899 Último mensaje 15/03/2019, 09:45:37 pm
por manooooh
Problema con proposiciones lógicas Facundo E. 2 384 Ú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 5213 Último mensaje 11/02/2019, 08:00:46 am
por Marta Balaguer
Estudiar validez de un razonamiento manooooh 2 660 Ú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 3463 Ú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 800 Último mensaje 08/01/2019, 11:50:46 pm
por Elius
Sobre el símbolo \(\therefore\) ("Por tanto") manooooh 15 2724 Último mensaje 05/12/2018, 10:43:06 pm
por Carlos Ivorra
Estudiar la validez de dos razonamientos manooooh 13 3765 Último mensaje 27/10/2018, 08:30:27 am
por Carlos Ivorra
Sobre condiciones necesarias y suficientes manooooh 9 1491 Último mensaje 16/10/2018, 05:33:12 am
por Carlos Ivorra
Proposición Julio_fmat 1 1373 Último mensaje 26/08/2018, 08:37:36 pm
por Carlos Ivorra
NP-Completitud en cuestión: proc lineal resuelve satisfacibilidad booleana. Elius 1 1201 Último mensaje 23/08/2018, 05:51:29 pm
por Elius
Longitud de una fórmula Julio_fmat 2 1144 Último mensaje 19/08/2018, 07:59:19 pm
por Julio_fmat
¿Qué ocurre si las conclusiones de un razonamiento son falsas? manooooh 18 2566 Ú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 3157 Ú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 1081 Ú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 1317 Ú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 1006 Último mensaje 12/08/2018, 07:08:39 pm
por Buscón
Es correcto \(\;\;\;(p\leftrightarrow r\wedge r)\Rightarrow p\;\;\;\)?. Buscón 2 935 Último mensaje 12/08/2018, 08:11:43 am
por Buscón
De \(\;\;\;p\leftrightarrow r\wedge r\;\;\;\) se deduce \(\;\;\;p\). Buscón 8 1315 Último mensaje 11/08/2018, 08:41:05 pm
por Carlos Ivorra
Problema sobre inferencias lógicas « 1 2 » Francois 20 2485 Último mensaje 11/08/2018, 07:48:16 pm
por Buscón
Lógica Proposicional: Subconjunto independiente de un conjunto de formulas. Nico1 6 1612 Último mensaje 24/06/2018, 03:02:59 pm
por Nico1
Estudiar la validez de un razonamiento manooooh 12 3280 Último mensaje 21/06/2018, 02:19:04 pm
por manooooh
Duda con respecto al método de los consensos Frankie 2 1116 Último mensaje 19/06/2018, 04:17:36 pm
por Frankie
Lógica: distributiva al pasar a FNC Carloslgl 2 1309 Último mensaje 11/06/2018, 06:20:23 pm
por Carloslgl
Problema sobre proposición bicondicional angiepaola 1 957 Último mensaje 11/06/2018, 08:20:12 am
por Luis Fuentes
Lógica de 1er orden: Cantidad de Isomorfismos Nico1 3 1112 Último mensaje 11/06/2018, 07:42:00 am
por Carlos Ivorra
Lógica de 1er orden: Interpretaciones Isomorfas Nico1 2 932 Último mensaje 07/06/2018, 05:50:18 pm
por Nico1
Estudiar la validez de un razonamiento (2) manooooh 6 2094 Último mensaje 07/06/2018, 07:36:17 am
por Carlos Ivorra
¿Cómo resuelvo este ejercicio de proposiciones lógicas? Xla 14 2367 Último mensaje 09/05/2018, 07:00:55 pm
por manooooh
Consecuencia Lógica zapayan 2 1582 Último mensaje 06/05/2018, 05:22:05 pm
por zapayan
Dos problemas con la regla de inferencia de Leibniz zapayan 0 1075 Último mensaje 06/05/2018, 04:55:59 am
por zapayan
El teorema de Gödel (en Z) Carlos Ivorra 11 3038 Último mensaje 28/04/2018, 10:52:53 am
por Carlos Ivorra
¿Cómo escribir "no implica" mediante lógica proposicional? imanoles 2 1158 Último mensaje 11/04/2018, 08:09:55 pm
por imanoles
¿Formalizar razonamiento? Atomo 3 1275 Último mensaje 09/04/2018, 07:45:56 pm
por Carlos Ivorra
Determinar valor de verdad de una función compleja de varias variables manooooh 0 811 Último mensaje 06/04/2018, 08:10:41 pm
por manooooh
Lógica Matemática Proposiciones Andy-M 2 909 Último mensaje 25/02/2018, 11:28:11 pm
por Andy-M
Problema de lógica risu 0 706 Último mensaje 14/01/2018, 07:04:49 pm
por risu
Coprimos: (a,b)=(a,c)=1 => (a,bc)=1 manooooh 7 1674 Último mensaje 06/01/2018, 08:00:22 pm
por manooooh
Lógica primer orden (Interpretación) Hipsilver 1 958 Último mensaje 03/01/2018, 08:24:32 am
por Luis Fuentes
¿proposición lógica? nathan 2 1184 Último mensaje 27/12/2017, 03:55:15 pm
por hméndez
Transformar a FNC intentandolo 1 957 Último mensaje 12/12/2017, 08:54:45 pm
por manooooh
Ley de adsorción, dudas con una demostración elvismujica 1 888 Último mensaje 27/11/2017, 05:43:15 am
por Masacroso
Principio de Recursión Estructural Hipsilver 3 996 Último mensaje 05/11/2017, 03:10:35 pm
por pierrot
Prueba deductiva y inferencia lógica albertopaezr 0 857 Último mensaje 18/10/2017, 07:32:28 pm
por albertopaezr
Duda con una proposición albertorvr 4 1304 Último mensaje 10/10/2017, 10:55:14 pm
por mario
Funciones lógicas telu 3 1163 Último mensaje 07/10/2017, 03:48:10 am
por telu
Páginas: 1 [2] 3 4 ... 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!