Respuestas del usuario 134349

Puntuación Visitas Fecha
Avatar de user11300

1 votos

La estructura profunda de las fórmulas lógicas

Respondido el 26 de Febrero, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Inherentemente discretos conceptos

Respondido el 26 de Octubre, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Definición de función inyectiva

Respondido el 26 de Octubre, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

-1 votos

La justificación de Pruebas por Contradicción

Respondido el 5 de Julio, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

** Concurso ** prueba más corta de Lukasiewicz ' s 13 carta axioma Implicational cálculo de Tarski-Bernays

Respondido el 27 de Junio, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

5 votos

Mostrar que $f(x) = x$ si $f(f(f(x))) = x$.

Respondido el 19 de Marzo, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

5 votos

¿Dar una prueba de que "p y ~ p" implica "q"?

Respondido el 25 de Marzo, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Distancia entre teoremas

Respondido el 12 de Mayo, 2015 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Ideas acerca de las pruebas

Respondido el 24 de Mayo, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

5 votos

Motivación para la deducción natural

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

7 votos

¿Si implica la $\Sigma \vdash \phi$ $\Sigma \vdash \varphi$ y $\Sigma \vdash \phi \to \varphi$ en la lógica proposicional?

Aceptada
Respondido el 19 de Marzo, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

La lógica: ¿Se pueden dejar los paréntesis en una conjunción?

Respondido el 19 de Mayo, 2015 por user11300
q2astack::content.general.tags :
Avatar de user11300

-2 votos

Demuestre que {, ¬} es adecuado.

Respondido el 8 de Noviembre, 2016 por user11300
q2astack::content.general.tags :
Avatar de user11300

4 votos

Demostrar este hecho número

Respondido el 20 de Agosto, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

¿Cuál es el teorema de De Morgan para 3 variables?

Respondido el 7 de Marzo, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Explicación de la Ley de Clavius

Respondido el 26 de Julio, 2015 por user11300
q2astack::content.general.tags :
Avatar de user11300

-1 votos

La simplificación de una prueba categórica de dilema constructivo

Respondido el 14 de Julio, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Deducción natural tautología

Respondido el 30 de Abril, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Confusión entre cuantificadores anidados

Respondido el 14 de Septiembre, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

¿Cómo se llama esto?

Respondido el 7 de Septiembre, 2017 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

¿Pregunta sobre el uso de la regla de inferencia de la disyunción para obtener una implicación material?

Respondido el 12 de Junio, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Mostrar mediante el uso de leyes de conectividad lógica que $(P \to Q) \land (Q \to R) $ es equivalente a $(P \to R) \land [(P \iff Q) \lor (R \iff Q)]$

Respondido el 26 de Septiembre, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

3 votos

Imposibilidad de ciertos métodos de prueba?

Aceptada
Respondido el 11 de Junio, 2012 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Ley de medio excluido y contraposición

Respondido el 18 de Junio, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

-1 votos

un esquema de "intuitiva de las matemáticas"?

Respondido el 15 de Julio, 2016 por user11300
q2astack::content.general.tags :
Avatar de user11300

-3 votos

¿Adición y la multiplicación tienen aridad?

Aceptada
Respondido el 10 de Abril, 2012 por user11300
q2astack::content.general.tags :
Avatar de user11300

2 votos

¿Se puede probar la Ley de Peirce sin contradicción?

Respondido el 22 de Noviembre, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

¿Cómo probar$\vdash\neg P\to (P\to Q)$?

Respondido el 15 de Septiembre, 2016 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

¿Puede la conjunción expresarse por implicación?

Respondido el 28 de Junio, 2011 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Que la ley de la lógica de la equivalencia dice $P\Leftrightarrow Q ≡ (P\lor Q) \Rightarrow(P\land Q)$

Respondido el 24 de Mayo, 2013 por user11300
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