Respuestas del usuario 134349

Puntuación Visitas Fecha
Avatar de user11300

0 votos

¿Que las normas CSL sostienen en Łukasiewicz ' s 3-valorado lógica?

Respondido el 5 de Agosto, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Cardinalidad de tautologías de lógica proposicional

Respondido el 13 de Julio, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

3 votos

¿Existen sistemas formales que no sean sistemas lógicos?

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

1 votos

¿sistema formal de Semantics(Truth) vs?

Respondido el 29 de Octubre, 2014 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Cuántos factores tiene un número

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

3 votos

¿Cuál es la diferencia entre la lógica intuicionista, clásica, modal y lineal?

Respondido el 1 de Junio, 2015 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

$\wedge,\cap,\times$ y $\vee,\cup,+$ ¿son siempre intercambiables?

Respondido el 19 de Febrero, 2012 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

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

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

1 votos

¿Cómo este libro de texto pasar de este paso a la siguiente en probar esto?

Respondido el 17 de Diciembre, 2012 por user11300
q2astack::content.general.tags :
Avatar de user11300

-2 votos

"Las fórmulas lógicamente equivalentes expresan lo mismo _______". <- ¿Qué palabra usan los lógicos para el espacio en blanco?

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

1 votos

Valida mi razonamiento para esta equivalencia lógica

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

1 votos

SAT y pruebas en lógica proposicional

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

1 votos

SAT y pruebas en lógica proposicional

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

2 votos

Deducción Natural: $p \to (\neg q \leftrightarrow (r \lor s)), \neg s \vdash (p \land \neg q) \to r$

Respondido el 8 de Octubre, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Es $P(tautology) = 1$? ¿Cuáles son las conexiones entre lógica y probabilidad?

Respondido el 3 de Marzo, 2019 por user11300
q2astack::content.general.tags :
Avatar de user11300

1 votos

Una pregunta sobre el cálculo proposicional implícito

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

4 votos

Relaciones (Binarias) - Composición

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

0 votos

Son todas las pruebas "lo suficientemente corto como" ser calculada?

Respondido el 14 de Febrero, 2012 por user11300
q2astack::content.general.tags :
Avatar de user11300

3 votos

Las introducciones a las clásicas y no clásicas de la lógica?

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

0 votos

¿Cómo podemos demostrar $(P \to \neg P) \to \neg P$ en este sistema?

Respondido el 23 de Septiembre, 2015 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Cómo es $((X\to Y)\to X)\to X$ una tautología?

Respondido el 27 de Octubre, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

3 votos

¿Cuál es la diferencia entre estas dos soluciones?

Aceptada
Respondido el 12 de Abril, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

-2 votos

¿Cómo puedo demostrar que lo falso no es un teorema?

Respondido el 30 de Septiembre, 2018 por user11300
q2astack::content.general.tags :
Avatar de user11300

6 votos

Isomorfismo y $\mathrm{id}$

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

1 votos

Cómo demostrar que si $\neg b = a \land d$ entonces $a \land \neg b = \neg b$ y $b \land \neg a = \neg a$

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

0 votos

Validar un argumento con si y sólo si

Respondido el 6 de Agosto, 2013 por user11300
q2astack::content.general.tags :
Avatar de user11300

-2 votos

¿Cómo resolvemos un

Respondido el 7 de Diciembre, 2012 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

Inducción en la prueba del teorema de solidez

Respondido el 14 de Octubre, 2017 por user11300
q2astack::content.general.tags :
Avatar de user11300

0 votos

lógica y con adiciones

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

2 votos

Prueba directa (Lógica)

Respondido el 6 de Octubre, 2014 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