Preguntas de logic046 | i-Ciencias.com

3

6Resp

481Vistas

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

Resuelta

Preguntado el 19 de Septiembre, 2019 por chaosink

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

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

87

9Resp

18329Vistas

¿Las matemáticas requieren axiomas?

Resuelta

Preguntado el 19 de Abril, 2013 por Maksim

2

2Resp

197Vistas

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

Abierta

Preguntado el 2 de Noviembre, 2015 por John Gao

24

1Resp

467Vistas

Relaciones que aseguran la continuidad

Resuelta

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

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

4

5Resp

3358Vistas

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

Resuelta

Preguntado el 29 de Enero, 2010 por Francesco Turco

6

1Resp

366Vistas

¿Implica Playfair a Proclus?

Resuelta

Preguntado el 9 de Julio, 2023 por user61536

2

1Resp

222Vistas

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

Resuelta

Preguntado el 17 de Mayo, 2017 por M. Winter

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

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

23

4Resp

5332Vistas

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

Resuelta

Preguntado el 5 de Marzo, 2012 por Michael Kniskern

1

1Resp

130Vistas

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

Resuelta

Preguntado el 16 de Agosto, 2013 por goblin

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

4Resp

185Vistas

La equivalencia es falsa vs La equivalencia es incorrecta

Resuelta

Preguntado el 4 de Octubre, 2017 por Aymane Fihadi

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

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

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

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$

¿Las matemáticas requieren axiomas?

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

Relaciones que aseguran la continuidad

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

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

¿Implica Playfair a Proclus?

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

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

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

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

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

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

La equivalencia es falsa vs La equivalencia es incorrecta

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: