Preguntas ciencias formal-proofs

Puntuación Visitas Fecha
Foto de perfil de matt_rule

29

5Resp
5471Vistas

¿Hay afirmaciones tan obvias que escribir una prueba para ellas sea inútil? ¿Es este un ejemplo de una?

Resuelta
Preguntado el 11 de Junio, 2024 por matt_rule
Etiquetas :
Imagen de perfil de Steve Joe

1

1Resp
206Vistas

¿Puedo eliminar ε de una desigualdad porque es arbitraria?

Resuelta
Preguntado el 28 de Enero, 2021 por Steve Joe
Etiquetas :
Imagen de perfil de pkjag

2

1Resp
264Vistas

Problema complicado de lógica de predicados

Resuelta
Preguntado el 5 de Septiembre, 2015 por pkjag
Etiquetas :
Imagen de perfil de Blackbam

3

1Resp
56Vistas

¿Cómo se corresponde la formalización finitamente axiomatizada de la lógica de predicados con la deducción natural para la lógica de predicados?

Resuelta
Preguntado el 25 de Marzo, 2022 por Blackbam
Etiquetas :
Imagen de perfil de Maurice

1

1Resp
1102Vistas

Demostración de las afirmaciones either or (en teoría de grupos)

Resuelta
Preguntado el 10 de Febrero, 2018 por Maurice
Etiquetas :
Imagen de perfil de Usuario no registrado

3

1Resp
871Vistas

¿Qué es una sentencia?

Resuelta
Preguntado el 6 de Noviembre, 2016 por Usuario no registrado
Etiquetas :
Foto de perfil de user643175

3

3Resp
1235Vistas

Prueba formal de una de las leyes de De Morgan

Resuelta
Preguntado el 9 de Febrero, 2019 por user643175
Etiquetas :
Foto de perfil de Nathan Donze

4

3Resp
649Vistas

Prueba de deducción natural de $(\forall x.P(x))\land(\forall y.P(y) \implies Q(y)) \vdash \forall z.Q(z)$

Resuelta
Preguntado el 22 de Agosto, 2017 por Nathan Donze
Etiquetas :
Foto de perfil de user1940566

1

1Resp
50Vistas

Método de demostración formal de la lógica de predicados

Resuelta
Preguntado el 28 de Enero, 2019 por user1940566
Etiquetas :
Imagen de perfil de vishal mishra

1

2Resp
152Vistas

Diferencia entre prueba rigurosa y comprensión intuitiva

Resuelta
Preguntado el 22 de Noviembre, 2017 por vishal mishra
Etiquetas :
Foto de perfil de Josh

1

3Resp
1085Vistas

Prueba $( \lnot C \implies \lnot B) \implies (B \implies C)$ sin el Teorema de la Deducción

Resuelta
Preguntado el 15 de Diciembre, 2014 por Josh
Etiquetas :
Imagen de perfil de kobi-wan-kenobi

3

3Resp
92Vistas

¿Cómo puedo eliminar dos subfórmulas conflictivas en dos premisas en una prueba formal?

Resuelta
Preguntado el 12 de Septiembre, 2019 por kobi-wan-kenobi
Etiquetas :
Foto de perfil de Joseph

1

2Resp
87Vistas

¿Qué es lo que falla en esta lógica de la prueba?

Resuelta
Preguntado el 10 de Noviembre, 2016 por Joseph
Etiquetas :
Foto de perfil de Jess Savoie

1

2Resp
789Vistas

Prueba $\mathrm{ext}\,(A)=\mathrm{int}\,(X\setminus A)$

Resuelta
Preguntado el 7 de Noviembre, 2017 por Jess Savoie
Etiquetas :
Foto de perfil de Victoria

3

1Resp
795Vistas

Demostrar Si a,b son ambos distintos de cero, entonces ab no es igual a 0

Resuelta
Preguntado el 25 de Septiembre, 2019 por Victoria
Etiquetas :
Foto de perfil de user55527

4

1Resp
541Vistas

Suma de múltiplos de $2$ los números coprimos cubren los enteros positivos

Resuelta
Preguntado el 19 de Octubre, 2015 por user55527
Etiquetas :
Foto de perfil de daggerissues

1

2Resp
56Vistas

Pruebas dentro de la teoría elemental de los números

Abierta
Preguntado el 11 de Abril, 2020 por daggerissues
Etiquetas :
Imagen de perfil de user109256

1

2Resp
258Vistas

Producto de números negativos

Resuelta
Preguntado el 28 de Abril, 2016 por user109256
Etiquetas :
Foto de perfil de Lankymart

5

2Resp
87Vistas

la fuerte completitud de un sistema formal

Resuelta
Preguntado el 28 de Junio, 2021 por Lankymart
Etiquetas :
Imagen de perfil de Renato Silva

1

1Resp
97Vistas

Paso de prueba de iteración

Resuelta
Preguntado el 30 de Marzo, 2015 por Renato Silva
Etiquetas :
Imagen de perfil de puslet88

4

1Resp
230Vistas

Formalizar una argumentación de la teoría de conjuntos a partir de una historia corta de ficción

Resuelta
Preguntado el 26 de Febrero, 2017 por puslet88
Etiquetas :
Imagen de perfil de Patrick Browne

1

1Resp
319Vistas

Demostrar la reflexividad con el programa Fitch

Resuelta
Preguntado el 27 de Octubre, 2017 por Patrick Browne
Etiquetas :
Imagen de perfil de univalence

2

2Resp
151Vistas

¿Existe algún sistema deductivo finito para la lógica proposicional que sólo utilice reglas unarias?

Resuelta
Preguntado el 4 de Noviembre, 2020 por univalence
Etiquetas :
Foto de perfil de user643175

1

1Resp
82Vistas

$\vdash\phi \land \diamond\psi \to \diamond(\psi\land\diamond\phi)$ en KB

Resuelta
Preguntado el 10 de Marzo, 2019 por user643175
Etiquetas :
Foto de perfil de asilentfrog

2

1Resp
183Vistas

Pruebas axiomáticas en lógica proposicional

Abierta
Preguntado el 17 de Septiembre, 2019 por asilentfrog
Etiquetas :
Foto de perfil de PHPIsTheBestLanguage

2

3Resp
5647Vistas

¿Cómo demostrar una implicación lógica?

Resuelta
Preguntado el 6 de Julio, 2015 por PHPIsTheBestLanguage
Etiquetas :
Foto de perfil de Josh Susa

3

4Resp
352Vistas

Cómo demostrar la siguiente fórmula mediante una prueba indirecta

Resuelta
Preguntado el 26 de Enero, 2019 por Josh Susa
Etiquetas :
Imagen de perfil de Krac X

1

6Resp
95Vistas

¿Cómo se prueban las preguntas de la forma Demostrar que $A\to \text{ B or C or D}$ ?

Resuelta
Preguntado el 3 de Agosto, 2017 por Krac X
Etiquetas :
Imagen de perfil de 2080

1

1Resp
114Vistas

Estimación de las propiedades metamatemáticas de las conjeturas

Resuelta
Preguntado el 15 de Diciembre, 2019 por 2080
Etiquetas :

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X