Preguntas ciencias de logic034

I-Ciencias es una comunidad de preguntas y respuestas para amantes de la ciencia. Es totalmente gratuito.

Empieza en dos minutos

Así funciona i-Ciencias :

Cualquiera puede hacer una pregunta
Cualquiera puede responder
Se votan las mejores respuestas.

Puntuación Visitas Fecha

1Resp

98Vistas

Dos formas de regla de generalización en lógica

Resuelta

Preguntado el 21 de Enero, 2021 por dre rt

1Resp

174Vistas

Utilizando $\aleph_0$ -categoricidad en la prueba de integridad de DLO

Resuelta

Preguntado el 18 de Marzo, 2017 por Sven Cornets de Groot

3Resp

680Vistas

formalización de la teoría de los números reales

Resuelta

Preguntado el 12 de Julio, 2017 por MetaLogicianWannabe

1Resp

79Vistas

¿Qué hace $X \not \models \beta$ ¿realmente significa?

Resuelta

Preguntado el 1 de Diciembre, 2020 por Juan Guerrero Martín

1Resp

192Vistas

¿Tiene esta restricción de conjuntos de potencias en ZF un ordinal teórico de prueba?

Resuelta

Preguntado el 22 de Enero, 2022 por DocSalvager

1Resp

63Vistas

Tablero de ajedrez Problemas

Cerrada

Preguntado el 26 de Junio, 2019 por Manu Yadav

1Resp

146Vistas

¿Existen las matemáticas al margen del matemático?

Resuelta

Preguntado el 28 de Septiembre, 2014 por Julian Mann

1Resp

866Vistas

Solicitud de referencia: ¿preparación para aprender un poco de análisis infinitesimal suave?

Resuelta

Preguntado el 11 de Marzo, 2012 por Bluebird75

1Resp

82Vistas

Ayuda con la traducción del cálculo de predicados

Abierta

Preguntado el 20 de Septiembre, 2021 por John Smith

2Resp

195Vistas

Pregunta sobre Implicación lógica

Resuelta

Preguntado el 3 de Septiembre, 2013 por Vladimir Tolstikov

3Resp

959Vistas

¿Por qué la adición de un número negativo a un número positivo reduce el número positivo original?

Resuelta

Preguntado el 9 de Marzo, 2011 por Baishampayan Ghose

1Resp

104Vistas

$∃x¬(\varphi ∨ \psi) → ∃x(¬\varphi ∨ ¬\psi)$ y $∃y(\varphi ∧ \psi) → (∀x$ $\varphi ∧ ∀y$ $\psi)$

Resuelta

Preguntado el 13 de Diciembre, 2016 por João Silva

1Resp

371Vistas

¿Cuál de las siguientes es una fórmula de primer orden válida?

Resuelta

Preguntado el 20 de Noviembre, 2012 por Omar Abid

1Resp

502Vistas

Traducción lógica que implica el cuantificador existencial y "tal que"

Resuelta

Preguntado el 17 de Mayo, 2012 por Ryan

2Resp

179Vistas

Expresar la definición de incluso utilizando cuantificadores universales y existenciales

Resuelta

Preguntado el 2 de Agosto, 2019 por Sergey

1Resp

91Vistas

¿Cuál es la definición simbólica del valor máximo de un dominio?

Resuelta

Preguntado el 20 de Noviembre, 2013 por int

1Resp

2551Vistas

Interruptor Mosfet de canal P de nivel lógico

Resuelta

Preguntado el 13 de Diciembre, 2015 por Krzysztof C

1Resp

1304Vistas

Aritmética de orden finito y ETCS

Resuelta

Preguntado el 2 de Diciembre, 2012 por jlleblanc

1Resp

90Vistas

Construcción de sentencias para modelos lógicos de primer orden

Resuelta

Preguntado el 10 de Marzo, 2017 por Rocky Scott

3Resp

113Vistas

¿Verdadero o falso? $\bigwedge_{i \in I} \bigvee_{j \in J}a_{i,j} \equiv \bigvee_{j \in J} \bigwedge_{i \in I}a_{i,j}$

Resuelta

Preguntado el 5 de Noviembre, 2017 por Hamudii

1Resp

312Vistas

¿Cómo resolver estas ecuaciones booleanas?

Resuelta

Preguntado el 14 de Noviembre, 2015 por LPCRoy

1Resp

381Vistas

Pruebas de lógica proposicional - Necesito ayuda para demostrar que todo subconjunto adecuado de mi conjunto es satisfacible.

Resuelta

Preguntado el 20 de Febrero, 2012 por نبيل القابل

1Resp

56Vistas

¿Es el PA+ TM doesnt halts consistente?

Resuelta

Preguntado el 2 de Agosto, 2015 por user258474

0Resp

1339Vistas

Representación de bucles lógicos digitales

Resuelta

Preguntado el 25 de Septiembre, 2016 por Zooce

1Resp

299Vistas

Demuestra esta proposición relativa a una teoría con ∀∃-axiomatización

Resuelta

Preguntado el 14 de Febrero, 2015 por FiveOhHO

4Resp

1987Vistas

Lenguajes más allá de los enumerables

Resuelta

Preguntado el 21 de Abril, 2016 por Peter

2Resp

241Vistas

La paradoja de Skolem no - Parte 2

Resuelta

Preguntado el 30 de Agosto, 2013 por M D

2Resp

161Vistas

¿Por qué es importante el orden de negación en la resolución de la lógica de primer orden?

Resuelta

Preguntado el 25 de Marzo, 2020 por safvan

1Resp

71Vistas

¿Cuál es la diferencia en los procedimientos de prueba por resolución en los siguientes escenarios?

Resuelta

Preguntado el 17 de Mayo, 2017 por Jack Williamson

1Resp

461Vistas

¿Cuál es el propósito de definir la negación de una proposición A como A $\rightarrow \bot$ ?

Resuelta

Preguntado el 18 de Mayo, 2014 por mcosta

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Dos formas de regla de generalización en lógica

Utilizando $\aleph_0$ -categoricidad en la prueba de integridad de DLO

formalización de la teoría de los números reales

¿Qué hace $X \not \models \beta$ ¿realmente significa?

¿Tiene esta restricción de conjuntos de potencias en ZF un ordinal teórico de prueba?

Tablero de ajedrez Problemas

¿Existen las matemáticas al margen del matemático?

Solicitud de referencia: ¿preparación para aprender un poco de análisis infinitesimal suave?

Ayuda con la traducción del cálculo de predicados

Pregunta sobre Implicación lógica

¿Por qué la adición de un número negativo a un número positivo reduce el número positivo original?

$∃x¬(\varphi ∨ \psi) → ∃x(¬\varphi ∨ ¬\psi)$ y $∃y(\varphi ∧ \psi) → (∀x$ $\varphi ∧ ∀y$ $\psi)$

¿Cuál de las siguientes es una fórmula de primer orden válida?

Traducción lógica que implica el cuantificador existencial y "tal que"

Expresar la definición de incluso utilizando cuantificadores universales y existenciales

¿Cuál es la definición simbólica del valor máximo de un dominio?

Interruptor Mosfet de canal P de nivel lógico

Aritmética de orden finito y ETCS

Construcción de sentencias para modelos lógicos de primer orden

¿Verdadero o falso? $\bigwedge_{i \in I} \bigvee_{j \in J}a_{i,j} \equiv \bigvee_{j \in J} \bigwedge_{i \in I}a_{i,j}$

¿Cómo resolver estas ecuaciones booleanas?

Pruebas de lógica proposicional - Necesito ayuda para demostrar que todo subconjunto adecuado de mi conjunto es satisfacible.

¿Es el PA+ TM doesnt halts consistente?

Representación de bucles lógicos digitales

Demuestra esta proposición relativa a una teoría con ∀∃-axiomatización

Lenguajes más allá de los enumerables

La paradoja de Skolem no - Parte 2

¿Por qué es importante el orden de negación en la resolución de la lógica de primer orden?

¿Cuál es la diferencia en los procedimientos de prueba por resolución en los siguientes escenarios?

¿Cuál es el propósito de definir la negación de una proposición A como A $\rightarrow \bot$ ?

Mejores preguntas

Etiquetas mas usadas

Preguntas sin responder

i-Ciencias.com

Powered by: