Deducción Lógica Guías
Patrones de razonamiento válido incluyendo silogismos y lógica proposicional Resolver rompecabezas lógicos basados en restricciones incluyendo disposiciones de asientos, asignaciones de grupos y secuencias de ordenamiento
Silogismo Barbara
El silogismo válido más fundamental: Todos los A son B, Todos los B son C, por lo tanto Todos los A son C.
Ver Guías →Silogismo Celarent
Un silogismo válido con conclusión negativa: Ningún A es B, Todos los C son A, por lo tanto Ningún C es B.
Ver Guías →Silogismo Darii
Un silogismo válido con conclusión particular: Todos los A son B, Algunos C son A, por lo tanto Algunos C son B.
Ver Guías →Silogismo Ferio
Un silogismo válido: Ningún A es B, Algunos C son A, por lo tanto Algunos C no son B.
Ver Guías →Modus Ponens
El 'modo afirmante': Si P entonces Q, P es verdadero, por lo tanto Q es verdadero.
Ver Guías →Modus Tollens
El 'modo negante': Si P entonces Q, Q es falso, por lo tanto P es falso.
Ver Guías →Silogismo Hipotético
Razonamiento en cadena: Si A entonces B, Si B entonces C, por lo tanto Si A entonces C.
Ver Guías →Silogismo Disyuntivo
Razonamiento 'o/o': O bien A o bien B, no A, por lo tanto B.
Ver Guías →Contrapositivo
Equivalencia lógica: 'Si A entonces B' es equivalente a 'Si no B entonces no A'.
Ver Guías →Relación Transitiva
Si A > B y B > C, entonces A > C. Se aplica a relaciones de orden.
Ver Guías →Bicondicional
'A si y solo si B' significa que A y B son ambos verdaderos o ambos falsos.
Ver Guías →Disposición de Asientos
Determinar posiciones de personas en una fila según pistas de restricción como adyacencia, orden relativo y posiciones fijas.
Ver Guías →Asignación de Grupos
Asignar elementos o personas a grupos bajo restricciones de mismo equipo, equipo diferente y grupo fijo.
Ver Guías →Secuencia de Ordenamiento
Determinar el orden de clasificación de elementos a partir de pistas de comparación como mayor que, menor que y restricciones de posición.
Ver Guías →Entimema
Un silogismo en el que una premisa (o a veces la conclusión) se deja sin enunciar y debe ser suplida por el lector.
Ver Guías →Sorites (Silogismo en Cadena)
Un polisilogismo donde la conclusión de cada silogismo se convierte en premisa del siguiente, enlazando múltiples premisas a una única conclusión final.
Ver Guías →Tabla de Verdad
Una tabla que enumera todas las combinaciones posibles de valores de verdad de las proposiciones de entrada y el valor de verdad resultante de una fórmula compuesta.
Ver Guías →