Respuestas del usuario 257594

Puntuación Visitas Fecha
Avatar de Bram28

0 votos

Un ejemplo de función de valoración

Respondido el 23 de Diciembre, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

¿Cuál sería la función para hacer una fórmula falsa?

Aceptada
Respondido el 19 de Enero, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

3 votos

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

Respondido el 13 de Septiembre, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Demostrar la tautología utilizando la equivalencia proposicional y las leyes de la lógica determinar

Respondido el 30 de Marzo, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

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

Respondido el 28 de Enero, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

Conversión de fórmulas de lógica de predicados a la forma normal de Skolem

Aceptada
Respondido el 12 de Marzo, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

¿Cuál es la cantidad mínima de movimientos que se necesitan para terminar este juego?

Aceptada
Respondido el 28 de Octubre, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

Conversión de fórmulas a la forma Skolem.

Respondido el 27 de Septiembre, 2022 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

¿De cuántas formas distintas podemos colocar 4 torres idénticas en el siguiente tablero de ajedrez

Aceptada
Respondido el 20 de Mayo, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

4 votos

La paradoja de Zenón vuelve a causarme dolor. ¿Qué tan sólido es mi argumento en contra?

Respondido el 1 de Marzo, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Enigma de lógica y probabilidad con diagramas de Venn

Respondido el 6 de Marzo, 2020 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

7 votos

Concepto de prueba por contradicción

Aceptada
Respondido el 6 de Junio, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Demostrar la ley distributiva de los números naturales

Aceptada
Respondido el 26 de Marzo, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Prueba de deducción natural de (∀x.P(x))∧(∀y.P(y)⟹Q(y))⊢∀z.Q(z)

Respondido el 24 de Agosto, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

4 votos

Restricción de dominios para cuantificadores universales y existenciales

Aceptada
Respondido el 17 de Enero, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

Lógica de primer orden: ¿es ésta una interpretación válida de una frase?

Respondido el 13 de Marzo, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

condición suficiente frente a condición necesaria

Respondido el 11 de Abril, 2020 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

5 votos

Principio de inducción: n2−7n+12≥0 para cada n≥3

Respondido el 10 de Mayo, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

4 votos

Cuantificadores en la declaración Set Builder

Aceptada
Respondido el 23 de Noviembre, 2016 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

La lógica proposicional se enfrenta a la diplomacia en el lugar de trabajo

Respondido el 10 de Marzo, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Prueba formal de una de las leyes de De Morgan

Aceptada
Respondido el 9 de Febrero, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Dada una implicación verdadera y una inversa falsa, ¿cuál es el valor de verdad de P↔¬Q?

Respondido el 29 de Junio, 2020 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

0 votos

¿Puede demostrarse una afirmación mostrando que conduce a una afirmación verdadera?

Respondido el 27 de Marzo, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

1 votos

Por qué (P∧¬P)⇒Q significa que podemos probar algo?

Respondido el 5 de Abril, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

5 votos

Conversión de expresiones booleanas en polinomios

Aceptada
Respondido el 21 de Abril, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

3 votos

¿Existen razones realmente convincentes para permitir deducciones naturales en fórmulas con variables libres?

Aceptada
Respondido el 31 de Julio, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

¿Cómo utilizar la prueba directa cuando el antecedente de una implicación contiene un enunciado "y"?

Aceptada
Respondido el 17 de Noviembre, 2019 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

4 votos

El conjunto de los reales con dos expansiones decimales es contable

Respondido el 26 de Febrero, 2017 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Definición inductiva de una fórmula mediante inducción estructural

Respondido el 10 de Mayo, 2018 por Bram28
q2astack::content.general.tags :
Avatar de Bram28

2 votos

Cómo demostrar la validez de ¬∃xP(x)⊢∀x¬P(x) en lógica de predicados

Respondido el 7 de Marzo, 2018 por Bram28
q2astack::content.general.tags :

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