Preguntas ciencias de logic

1

1Resp

85Vistas

Prueba de explicación: La existencia de "fg-cadenas" Axioma de Elección implica el Lema de Zorn

Resuelta

Preguntado el 25 de Octubre, 2014 por user159517

1

4Resp

185Vistas

La equivalencia es falsa vs La equivalencia es incorrecta

Resuelta

Preguntado el 4 de Octubre, 2017 por Aymane Fihadi

2

2Resp

511Vistas

¿Cuál es el significado de "como máximo" en lógica?

Resuelta

Preguntado el 18 de Marzo, 2021 por david

1

1Resp

129Vistas

En un sistema de reescritura de cadenas, ¿la reescritura consume la cadena?

Resuelta

Preguntado el 16 de Agosto, 2013 por goblin

7

1Resp

12871Vistas

¿Cuál es la diferencia entre un GAL y un PAL?

Resuelta

Preguntado el 16 de Agosto, 2012 por jason

23

4Resp

5331Vistas

¿Son todos los operadores n-arios simplemente composiciones de operadores binarios?

Resuelta

Preguntado el 5 de Marzo, 2012 por Michael Kniskern

1

2Resp

616Vistas

Diseño de un FSM de Cerradura de Combinación: Convertir el Diagrama de Estados a Puertas Lógicas

Resuelta

Preguntado el 29 de Julio, 2020 por Chris Choo

23

1Resp

2343Vistas

¿Qué se sabe sobre la teoría de los números naturales con solo 0, sucesor y máximo?

Resuelta

Preguntado el 28 de Mayo, 2024 por Xavier Nodet

1

1Resp

596Vistas

¿Cómo está relacionado este teorema del punto fijo con el axioma de elección?

Resuelta

Preguntado el 23 de Diciembre, 2018 por jlleblanc

1

2Resp

882Vistas

Demostrando la completitud de sistemas modales

Resuelta

Preguntado el 23 de Noviembre, 2015 por tjameson

2

1Resp

221Vistas

¿ZFC con la clase de términos: es cualquier conjunto también una clase?

Resuelta

Preguntado el 17 de Mayo, 2017 por M. Winter

6

1Resp

366Vistas

¿Implica Playfair a Proclus?

Resuelta

Preguntado el 9 de Julio, 2023 por user61536

4

5Resp

3358Vistas

¿La reflexividad de la igualdad es un axioma o un teorema?

Resuelta

Preguntado el 29 de Enero, 2010 por Francesco Turco

1

2Resp

147Vistas

Editado: ¿Por qué los teoremas en una área de Matemáticas a menudo se convierten en axiomas en otra área?

Resuelta

Preguntado el 27 de Diciembre, 2017 por Mark PM

1

2Resp

109Vistas

¿Por qué son imposibles los modelos de igualdad?

Resuelta

Preguntado el 10 de Abril, 2023 por Terri Simon

1

1Resp

108Vistas

Prueba formal de un hecho muy simple.

Resuelta

Preguntado el 26 de Febrero, 2015 por Hontvári Levente

24

1Resp

467Vistas

Relaciones que aseguran la continuidad

Resuelta

Preguntado el 17 de Septiembre, 2023 por Z. A. K.

2

2Resp

196Vistas

Si A→(B∧C), demostrar (D→A) → (D→C) sin usar prueba condicional.

Abierta

Preguntado el 2 de Noviembre, 2015 por John Gao

87

9Resp

18329Vistas

¿Las matemáticas requieren axiomas?

Resuelta

Preguntado el 19 de Abril, 2013 por Maksim

3

0Resp

187Vistas

Una pregunta sobre la recursión en la teoría de conjuntos de Kripke-Platek con infinitud y separación $\Sigma_{3}$ y colección $\Sigma_3$

Resuelta

Preguntado el 27 de Noviembre, 2014 por irraju

2

2Resp

89Vistas

Probar usando propiedades de equivalencia lógica $(P \wedge (P \to (Q \to R))) \to (Q \to R)$ es una tautología

Resuelta

Preguntado el 20 de Julio, 2019 por Usuario no registrado

3

6Resp

480Vistas

¿Es $p \lor (q \land r) \equiv p \land (q \lor r)$ ?

Resuelta

Preguntado el 19 de Septiembre, 2019 por chaosink

1

1Resp

441Vistas

Negación lógica con palabras

Resuelta

Preguntado el 10 de Julio, 2018 por Patrick

1

3Resp

511Vistas

Matemática discreta - mostrar que el argumento es válido usando reglas de inferencia y equivalentes lógicos

Resuelta

Preguntado el 28 de Mayo, 2019 por GilmoreGirling

2

1Resp

1223Vistas

Corrección de la representación DNF de XOR

Resuelta

Preguntado el 12 de Marzo, 2019 por Drew Brady

25

1Resp

829Vistas

Una desigualdad cardinal para finitud

Resuelta

Preguntado el 22 de Mayo, 2024 por Eduard Wirch

1

2Resp

182Vistas

Secuencias de una función computable

Resuelta

Preguntado el 12 de Octubre, 2011 por lakechfoma

1

2Resp

390Vistas

Derivación de la Ecuación 1.13 de Jayne

Resuelta

Preguntado el 10 de Diciembre, 2014 por naomi

5

4Resp

604Vistas

Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?

Resuelta

Preguntado el 7 de Diciembre, 2019 por Eleonore Saint James

2

2Resp

85Vistas

Mapeo de problemas simples de primer orden a la teoría de tipos

Resuelta

Preguntado el 25 de Marzo, 2013 por Feratile

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Prueba de explicación: La existencia de "fg-cadenas" Axioma de Elección implica el Lema de Zorn

La equivalencia es falsa vs La equivalencia es incorrecta

¿Cuál es el significado de "como máximo" en lógica?

En un sistema de reescritura de cadenas, ¿la reescritura consume la cadena?

¿Cuál es la diferencia entre un GAL y un PAL?

¿Son todos los operadores n-arios simplemente composiciones de operadores binarios?

Diseño de un FSM de Cerradura de Combinación: Convertir el Diagrama de Estados a Puertas Lógicas

¿Qué se sabe sobre la teoría de los números naturales con solo 0, sucesor y máximo?

¿Cómo está relacionado este teorema del punto fijo con el axioma de elección?

Demostrando la completitud de sistemas modales

¿ZFC con la clase de términos: es cualquier conjunto también una clase?

¿Implica Playfair a Proclus?

¿La reflexividad de la igualdad es un axioma o un teorema?

Editado: ¿Por qué los teoremas en una área de Matemáticas a menudo se convierten en axiomas en otra área?

¿Por qué son imposibles los modelos de igualdad?

Prueba formal de un hecho muy simple.

Relaciones que aseguran la continuidad

Si A→(B∧C), demostrar (D→A) → (D→C) sin usar prueba condicional.

¿Las matemáticas requieren axiomas?

Una pregunta sobre la recursión en la teoría de conjuntos de Kripke-Platek con infinitud y separación $\Sigma_{3}$ y colección $\Sigma_3$

Probar usando propiedades de equivalencia lógica $(P \wedge (P \to (Q \to R))) \to (Q \to R)$ es una tautología

¿Es $p \lor (q \land r) \equiv p \land (q \lor r)$ ?

Negación lógica con palabras

Matemática discreta - mostrar que el argumento es válido usando reglas de inferencia y equivalentes lógicos

Corrección de la representación DNF de XOR

Una desigualdad cardinal para finitud

Secuencias de una función computable

Derivación de la Ecuación 1.13 de Jayne

Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?

Mapeo de problemas simples de primer orden a la teoría de tipos

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: