Preguntas ciencias de formal-pruebas

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

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

7

1Resp

155Vistas

Tipo inductivo superior: ¿para qué?

Resuelta

Preguntado el 17 de Marzo, 2019 por Bob

12

4Resp

272Vistas

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

Abierta

Preguntado el 10 de Junio, 2016 por ooooooo

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

9

1Resp

130Vistas

Pruebas semánticas a las pruebas sintácticas

Resuelta

Preguntado el 3 de Octubre, 2018 por V. Semeria

42

5Resp

4342Vistas

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

Abierta

Preguntado el 11 de Agosto, 2018 por dangel

3

3Resp

567Vistas

Demostración de estilo Fitch

Abierta

Preguntado el 10 de Junio, 2014 por therat

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

6

1Resp

157Vistas

Asociatividad de la concatenación

Abierta

Preguntado el 7 de Febrero, 2017 por Meet Taraviya

5

2Resp

1353Vistas

Prueba de

Resuelta

Preguntado el 30 de Enero, 2013 por stv

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

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

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

4

5Resp

190Vistas

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

Abierta

Preguntado el 8 de Noviembre, 2017 por Kit Kat

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

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

6

2Resp

158Vistas

lógica proposicional

Resuelta

Preguntado el 31 de Enero, 2015 por Digital Shrapnel

5

3Resp

1058Vistas

Deducción natural tautología

Abierta

Preguntado el 29 de Abril, 2014 por user146767

8

2Resp

302Vistas

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

Resuelta

Preguntado el 5 de Febrero, 2015 por Morgan Wilde

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

13

2Resp

244Vistas

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

Abierta

Preguntado el 10 de Junio, 2017 por Nihal Jain

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

12

4Resp

606Vistas

Motivación para la deducción natural

Abierta

Preguntado el 20 de Noviembre, 2014 por Pete

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

30

2Resp

1719Vistas

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

Resuelta

Preguntado el 21 de Enero, 2016 por osh

Preguntas ciencias formal-pruebas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

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

Tipo inductivo superior: ¿para qué?

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

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

Pruebas semánticas a las pruebas sintácticas

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

Demostración de estilo Fitch

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

Asociatividad de la concatenación

Prueba de

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

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

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

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

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

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

lógica proposicional

Deducción natural tautología

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

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

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

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

¿Cuáles son algunas buenas pruebas a leer?

Motivación para la deducción natural

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.

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

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: