17/10/2018, 02:04:26 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: Homenaje a NUMERARIUS
 
 
Páginas: [1] 2 3 ... 15   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 9 Visitantes están viendo este foro.
Artículos sobre Lógica y Tª. de Conjuntos de la Revista del Foro. robot0000 2 4129 Último mensaje 06/12/2017, 12:33:51 am
por informatik
Teorema de Gödel « 1 2 ... 16 17 » Numerarius 322 120668 Último mensaje 04/04/2017, 08:52:53 pm
por Elius
Threads interesantes de Lógica y teoría de conjuntos robot0000 2 6079 Último mensaje 19/02/2013, 12:49:45 pm
por argentinator
Sobre condiciones necesarias y suficientes manooooh 9 77 Último mensaje Ayer a las 05:33:12 am
por Carlos Ivorra
Proposición Julio_fmat 1 234 Último mensaje 26/08/2018, 08:37:36 pm
por Carlos Ivorra
NP-Completitud en cuestión: proc lineal resuelve satisfacibilidad booleana. Elius 1 313 Último mensaje 23/08/2018, 05:51:29 pm
por Elius
Longitud de una fórmula Julio_fmat 2 330 Último mensaje 19/08/2018, 07:59:19 pm
por Julio_fmat
¿Qué ocurre si las conclusiones de un razonamiento son falsas? manooooh 18 699 Ú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 760 Ú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 267 Ú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 288 Ú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 256 Último mensaje 12/08/2018, 07:08:39 pm
por Buscón
Es correcto \(\;\;\;(p\leftrightarrow r\wedge r)\Rightarrow p\;\;\;\)?. Buscón 2 202 Último mensaje 12/08/2018, 08:11:43 am
por Buscón
De \(\;\;\;p\leftrightarrow r\wedge r\;\;\;\) se deduce \(\;\;\;p\). Buscón 8 311 Último mensaje 11/08/2018, 08:41:05 pm
por Carlos Ivorra
Problema sobre inferencias lógicas « 1 2 » Francois 20 791 Último mensaje 11/08/2018, 07:48:16 pm
por Buscón
Lógica Proposicional: Subconjunto independiente de un conjunto de formulas. Nico1 6 680 Último mensaje 24/06/2018, 03:02:59 pm
por Nico1
Estudiar la validez de un razonamiento manooooh 12 1119 Último mensaje 21/06/2018, 02:19:04 pm
por manooooh
Duda con respecto al método de los consensos Frankie 2 416 Último mensaje 19/06/2018, 04:17:36 pm
por Frankie
Lógica: distributiva al pasar a FNC Carloslgl 2 495 Último mensaje 11/06/2018, 06:20:23 pm
por Carloslgl
Problema sobre proposición bicondicional angiepaola 1 295 Último mensaje 11/06/2018, 08:20:12 am
por Luis Fuentes
Lógica de 1er orden: Cantidad de Isomorfismos Nico1 3 387 Último mensaje 11/06/2018, 07:42:00 am
por Carlos Ivorra
Lógica de 1er orden: Interpretaciones Isomorfas Nico1 2 287 Último mensaje 07/06/2018, 05:50:18 pm
por Nico1
Estudiar la validez de un razonamiento (2) manooooh 6 859 Último mensaje 07/06/2018, 07:36:17 am
por Carlos Ivorra
Teoría de conjuntos Kevinquijada#@ 0 336 Último mensaje 11/05/2018, 02:02:53 pm
por Kevinquijada#@
¿Cómo resuelvo este ejercicio de proposiciones lógicas? Xla 14 934 Último mensaje 09/05/2018, 07:00:55 pm
por manooooh
Consecuencia Lógica zapayan 2 695 Último mensaje 06/05/2018, 05:22:05 pm
por zapayan
Dos problemas con la regla de inferencia de Leibniz zapayan 0 388 Último mensaje 06/05/2018, 04:55:59 am
por zapayan
Comentarios a El teorema de Gödel (en Z) « 1 2 » Carlos Ivorra 21 1736 Último mensaje 29/04/2018, 01:49:54 pm
por feriva
El teorema de Gödel (en Z) Carlos Ivorra 11 1348 Último mensaje 28/04/2018, 10:52:53 am
por Carlos Ivorra
¿Cómo escribir "no implica" mediante lógica proposicional? imanoles 2 509 Último mensaje 11/04/2018, 08:09:55 pm
por imanoles
¿Formalizar razonamiento? Atomo 3 537 Ú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 347 Último mensaje 06/04/2018, 08:10:41 pm
por manooooh
Lógica Matemática Proposiciones Andy-M 2 366 Último mensaje 25/02/2018, 11:28:11 pm
por Andy-M
Problema de lógica risu 0 292 Último mensaje 14/01/2018, 07:04:49 pm
por risu
Coprimos: (a,b)=(a,c)=1 => (a,bc)=1 manooooh 7 1042 Último mensaje 06/01/2018, 08:00:22 pm
por manooooh
Lógica primer orden (Interpretación) Hipsilver 1 442 Último mensaje 03/01/2018, 08:24:32 am
por Luis Fuentes
¿proposición lógica? nathan 2 503 Último mensaje 27/12/2017, 03:55:15 pm
por hméndez
Transformar a FNC intentandolo 1 421 Último mensaje 12/12/2017, 08:54:45 pm
por manooooh
Ley de adsorción, dudas con una demostración elvismujica 1 361 Último mensaje 27/11/2017, 05:43:15 am
por Masacroso
Principio de Recursión Estructural Hipsilver 3 460 Último mensaje 05/11/2017, 03:10:35 pm
por pierrot
Prueba deductiva y inferencia lógica albertopaezr 0 430 Último mensaje 18/10/2017, 07:32:28 pm
por albertopaezr
Duda con una proposición albertorvr 4 752 Último mensaje 10/10/2017, 10:55:14 pm
por mario
Funciones lógicas telu 3 636 Último mensaje 07/10/2017, 03:48:10 am
por telu
Hawking y los extraterrestres Quema 1 472 Último mensaje 29/09/2017, 05:12:54 pm
por feriva
Cuantificadores R_Gauss 3 631 Último mensaje 18/09/2017, 01:14:12 pm
por LauLuna
Problema buscando contraejemplo a secuentes Kront 1 541 Último mensaje 18/09/2017, 11:38:34 am
por LauLuna
¿ES INCONSISTENTE LA TEORÍA MODAL DE CONJUNTOS DE LINNEBO? LauLuna 0 431 Último mensaje 18/09/2017, 11:24:28 am
por LauLuna
Sobre la hipótesis de inducción « 1 2 3 » feriva 43 3139 Último mensaje 11/09/2017, 02:23:05 am
por feriva
Ejercicios de Cuantificadores MedSpock 1 472 Último mensaje 04/09/2017, 04:45:34 am
por arkady-svidrigailov
Teorías aritméticas como interpretaciones de AP geómetracat 2 603 Último mensaje 29/08/2017, 10:14:32 am
por geómetracat
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!