Respuestas del usuario 187318

Puntuación Visitas Fecha
Avatar de Bruno Bentzen

2 votos

¿Cuando son dos pruebas "lo mismo"?

Respondido el 28 de Abril, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

0 votos

¿Por qué es una declaración de "vacuously true" si la hipótesis es falsa, o no está satisfecho?

Respondido el 29 de Abril, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

5 votos

papel de las definiciones en las pruebas

Respondido el 28 de Abril, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

4 votos

Intuitionistically, son estos no equivalentes? $P \rightarrow Q,\; \neg Q \rightarrow \neg P,\; P \wedge \neg Q \rightarrow \bot,\; \neg P \vee Q$

Respondido el 20 de Mayo, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

4 votos

Motivación para la deducción natural

Respondido el 20 de Noviembre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

7 votos

Diferencia entre Gentzen y cálculos de Hilbert

Respondido el 9 de Junio, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

0 votos

Nombre para la introducción de la negación con cuantificadores

Respondido el 20 de Octubre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

2 votos

Uso de separación para demostrar que $A \setminus (A \setminus B) = A \cap B$

Respondido el 29 de Abril, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

3 votos

Hace una prueba por contrapostion garantizar una alternativa directa de la prueba?

Aceptada
Respondido el 17 de Junio, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

1 votos

¿Pruebas de geometría del instituto y lógica de primer orden?

Respondido el 23 de Octubre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

1 votos

Condiciones necesarias y suficientes con un solo "si"

Respondido el 8 de Octubre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

0 votos

Acerca de la condición necesaria y suficiente, nuevamente

Respondido el 15 de Septiembre, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

1 votos

¿Por qué un sistema se vuelve incompleto una vez que es capaz de hacer aritmética?

Respondido el 2 de Junio, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

2 votos

Libros sobre filosofía de las matemáticas y la lógica

Respondido el 22 de Octubre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

1 votos

Ayudar a probar una tautología

Respondido el 24 de Abril, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

5 votos

Mostrar funcionalmente la integridad de la propiedad para la lógica proposicional

Aceptada
Respondido el 29 de Octubre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

1 votos

¿Puede esta expresión $(\neg B \land \neg D) \lor (\neg A \land B \land C) \lor (A \land C \land D)$ simplificarse aún más?

Respondido el 27 de Octubre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

5 votos

¿Qué textos recomiendan para estudiar el álgebra universal y la teoría de retículos?

Respondido el 27 de Octubre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

2 votos

Demuestra que las dos expresiones lógicas son iguales

Respondido el 17 de Noviembre, 2014 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

0 votos

Intersección de ámbitos: Cuantificador y predicado

Aceptada
Respondido el 31 de Mayo, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

2 votos

Decidibilidad del cálculo de predicados sólo con igualdad

Aceptada
Respondido el 11 de Mayo, 2015 por Bruno Bentzen
q2astack::content.general.tags :
Avatar de Bruno Bentzen

0 votos

¿Puede alguien ayudarme a demostrar esto en S5 utilizando el sistema axiomático de Hilbert?

Respondido el 19 de Marzo, 2017 por Bruno Bentzen
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