Preguntas de formal-pruebas

9

1Resp

130Vistas

Pruebas semánticas a las pruebas sintácticas

Resuelta

Preguntado el 3 de Octubre, 2018 por V. Semeria

10

5Resp

3495Vistas

¿Qué es el teorema que cuenta con las pruebas más?

Abierta

Preguntado el 4 de Abril, 2017 por Fernando Vieira Costa Júnior

8

5Resp

356Vistas

¿Cuáles son algunas buenas pruebas a leer?

Cerrada

Preguntado el 31 de Marzo, 2017 por Simon Goodwin

3

2Resp

348Vistas

El significado intuitivo de "o" y "implica" en los esquemas del axioma de una teoría lógica

Resuelta

Preguntado el 18 de Junio, 2018 por Ali

7

1Resp

2033Vistas

¿Que los subcampos de las matemáticas están más fácil o más difícil de formalizar?

Resuelta

Preguntado el 21 de Julio, 2017 por tparker

30

2Resp

1719Vistas

Cuando escribir pruebas, es lógico notación de una muleta?

Resuelta

Preguntado el 21 de Enero, 2016 por osh

42

5Resp

4342Vistas

¿Debería una demostración matemática ser "convincente"?

Abierta

Preguntado el 11 de Agosto, 2018 por dangel

15

1Resp

179Vistas

¿Qué es "mágico" acerca de la combinación de adición y multiplicación en aritmética formal?

Resuelta

Preguntado el 23 de Septiembre, 2017 por Itai Seggev

5

1Resp

296Vistas

Prueba Formal de las $(A\lor B)∨C \leftrightarrow A\lor(B\lor C)$

Resuelta

Preguntado el 13 de Julio, 2015 por Sushil

12

4Resp

272Vistas

Cálculo de Deducción Natural Que Funciona por Vacío Estructuras

Abierta

Preguntado el 10 de Junio, 2016 por ooooooo

6

1Resp

169Vistas

Prueba formal de$P\to Q, (P\to Q)\to (T\to S), \neg Q, P\lor T\vdash S$

Resuelta

Preguntado el 16 de Febrero, 2015 por jc707270

4

2Resp

171Vistas

Formalización de $na$ para $n\in\mathbb{Z}$ y $a\in R$ donde $R$ es un anillo.

Resuelta

Preguntado el 17 de Diciembre, 2015 por Adam Holmes

28

3Resp

1035Vistas

Cada persona tiene más de 3 enemigos en un grupo. La demostración de que podemos separar en dos grupos donde una persona va a tener a más de un enemigo en el grupo.

Abierta

Preguntado el 17 de Diciembre, 2016 por user42493

12

4Resp

607Vistas

Motivación para la deducción natural

Abierta

Preguntado el 20 de Noviembre, 2014 por Pete

13

2Resp

244Vistas

Prueba diferentes que $\sqrt{2}$ es irracional

Abierta

Preguntado el 10 de Junio, 2017 por Nihal Jain

8

2Resp

302Vistas

¿Por qué no Modus Ponens válido aquí

Resuelta

Preguntado el 5 de Febrero, 2015 por Morgan Wilde

5

3Resp

1059Vistas

Deducción natural tautología

Abierta

Preguntado el 29 de Abril, 2014 por user146767

6

2Resp

158Vistas

lógica proposicional

Resuelta

Preguntado el 31 de Enero, 2015 por Digital Shrapnel

7

4Resp

257Vistas

Mostrar que $(p \to q) \lor (q \to p)$ es una tautología

Abierta

Preguntado el 27 de Enero, 2015 por AYELET

4

5Resp

190Vistas

Mostrar que no hay racionales $r$ tales que $r^3 = 6"

Abierta

Preguntado el 8 de Noviembre, 2017 por Kit Kat

5

1Resp

127Vistas

$\Bbb Q_{\ge 0}$ primaria definible en $\mathfrak A$=($\Bbb Q$, $\cdot$)

Abierta

Preguntado el 3 de Agosto, 2017 por Evgenij Avstein

5

2Resp

1354Vistas

Prueba de

Resuelta

Preguntado el 30 de Enero, 2013 por stv

6

1Resp

157Vistas

Asociatividad de la concatenación

Abierta

Preguntado el 7 de Febrero, 2017 por Meet Taraviya

3

3Resp

567Vistas

Demostración de estilo Fitch

Abierta

Preguntado el 10 de Junio, 2014 por therat

4

4Resp

208Vistas

Encontrar fórmulas proposicionales $\phi$ y $\psi$ tal que $(\phi \rightarrow (\psi \rightarrow (¬\psi)))$ es un teorema de L.

Abierta

Preguntado el 23 de Abril, 2014 por dewaldcels

7

1Resp

155Vistas

Tipo inductivo superior: ¿para qué?

Resuelta

Preguntado el 17 de Marzo, 2019 por Bob

9

3Resp

152Vistas

Cómo probar formalmente que el cambio de nombre del índice no cambia la suma

Abierta

Preguntado el 1 de Julio, 2019 por Programmer2134

Preguntas de formal-pruebas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Pruebas semánticas a las pruebas sintácticas

¿Qué es el teorema que cuenta con las pruebas más?

¿Cuáles son algunas buenas pruebas a leer?

El significado intuitivo de "o" y "implica" en los esquemas del axioma de una teoría lógica

¿Que los subcampos de las matemáticas están más fácil o más difícil de formalizar?

Cuando escribir pruebas, es lógico notación de una muleta?

¿Debería una demostración matemática ser "convincente"?

¿Qué es "mágico" acerca de la combinación de adición y multiplicación en aritmética formal?

Prueba Formal de las $(A\lor B)∨C \leftrightarrow A\lor(B\lor C)$

Cálculo de Deducción Natural Que Funciona por Vacío Estructuras

Prueba formal de$P\to Q, (P\to Q)\to (T\to S), \neg Q, P\lor T\vdash S$

Formalización de $na$ para $n\in\mathbb{Z}$ y $a\in R$ donde $R$ es un anillo.

Cada persona tiene más de 3 enemigos en un grupo. La demostración de que podemos separar en dos grupos donde una persona va a tener a más de un enemigo en el grupo.

Motivación para la deducción natural

Prueba diferentes que $\sqrt{2}$ es irracional

¿Por qué no Modus Ponens válido aquí

Deducción natural tautología

lógica proposicional

Mostrar que $(p \to q) \lor (q \to p)$ es una tautología

Mostrar que no hay racionales $r$ tales que $r^3 = 6"

$\Bbb Q_{\ge 0}$ primaria definible en $\mathfrak A$=($\Bbb Q$, $\cdot$)

Prueba de

Asociatividad de la concatenación

Demostración de estilo Fitch

Encontrar fórmulas proposicionales $\phi$ y $\psi$ tal que $(\phi \rightarrow (\psi \rightarrow (¬\psi)))$ es un teorema de L.

Tipo inductivo superior: ¿para qué?

Cómo probar formalmente que el cambio de nombre del índice no cambia la suma

Etiquetas mas usadas

i-Ciencias.com

Powered by: