Preguntas ciencias de logic045

1

2Resp

263Vistas

Lógica de primer orden y estructuras algebraicas. Solicitud de referencia.

Resuelta

Preguntado el 19 de Enero, 2012 por Usuario no registrado

2

2Resp

77Vistas

Simplificando $x \leftrightarrow y$

Resuelta

Preguntado el 1 de Noviembre, 2018 por logic

4

4Resp

186Vistas

Cómo encadenar puertas lógicas de transistores

Resuelta

Preguntado el 19 de Enero, 2017 por RPi Awesomeness

3

4Resp

214Vistas

Aplicaciones de la lógica

Resuelta

Preguntado el 21 de Julio, 2013 por AshiK_741

1

1Resp

107Vistas

Problema de eliminación del cuantificador

Resuelta

Preguntado el 25 de Junio, 2020 por Кирилл Куценок

5

1Resp

276Vistas

Compañero de la clase de puntos de los conjuntos inductivos

Resuelta

Preguntado el 6 de Agosto, 2012 por Ian Kelling

6

1Resp

94Vistas

Álgebra de Boole: ¿por qué la propiedad distributiva no tiene un sentido matemático intuitivo?

Resuelta

Preguntado el 19 de Mayo, 2018 por AleksandrH

1

1Resp

76Vistas

Una fórmula $\phi$ es lógicamente equivalente a otra fórmula que sólo contiene variables proposicionales y las conectivas $\wedge$ y $\to$

Resuelta

Preguntado el 11 de Noviembre, 2015 por Vahid Nateghi

5

1Resp

354Vistas

Una pregunta sobre el análisis ordinal

Resuelta

Preguntado el 3 de Febrero, 2018 por John Andrea

3

2Resp

109Vistas

Implicación lógica de la forma $P\to P$

Resuelta

Preguntado el 2 de Marzo, 2014 por dibyendu

4

1Resp

87Vistas

Términos lambda "activo" e "inactivo" e Iglesia.

Resuelta

Preguntado el 27 de Junio, 2017 por exitNode

3

1Resp

76Vistas

Deducción del teorema de compacidad a partir del teorema de completitud (en lógica de primer orden)

Resuelta

Preguntado el 3 de Febrero, 2016 por see

3

2Resp

72Vistas

Prueba por deducción - implicaciones

Resuelta

Preguntado el 10 de Noviembre, 2018 por Tilly

2

1Resp

95Vistas

Criterio para $\forall\exists$ -axiomatizabilidad.

Resuelta

Preguntado el 23 de Diciembre, 2018 por Gleb Chili

2

1Resp

111Vistas

Diseñar un circuito combinacional que convierta un binario de 5 bits en su complemento a 2

Resuelta

Preguntado el 22 de Marzo, 2018 por tamrat

6

1Resp

118Vistas

Modelos de clase de $\mathsf{ZFC}$ y resultados de consistencia

Resuelta

Preguntado el 19 de Enero, 2016 por Random Jack

5

1Resp

88Vistas

Análogo de conjuntos semialgebraicos sobre números complejos

Resuelta

Preguntado el 7 de Junio, 2017 por Fred

4

2Resp

154Vistas

¿Cómo es que la teoría de conjuntos forma parte de la lógica?

Resuelta

Preguntado el 1 de Febrero, 2020 por Relsrak Helnandus

5

2Resp

99Vistas

¿Ordenes sin requisito de antisimetría?

Resuelta

Preguntado el 3 de Agosto, 2015 por Tnatsissa H Craeser

3

2Resp

158Vistas

¿Qué "números reales" (elementos en $\mathbb R$ ), se refiere la gente?

Resuelta

Preguntado el 4 de Abril, 2018 por user3865123

4

1Resp

119Vistas

Un segundo teorema de incompletitud de Gödel finitista

Resuelta

Preguntado el 31 de Enero, 2020 por Jori

7

1Resp

330Vistas

Máquinas de Turing no deterministas y el teorema de recursión

Resuelta

Preguntado el 19 de Octubre, 2013 por Venkata Koppaka

8

1Resp

417Vistas

Modelos incontables de la teoría de conjuntos de Kelley-Morse con sólo un número contable de conjuntos

Resuelta

Preguntado el 14 de Julio, 2016 por PhilJ

1

1Resp

71Vistas

¿Esta teoría del recuento recursivo es equi-interpretable con la AP?

Resuelta

Preguntado el 20 de Septiembre, 2019 por Zuhair

1

2Resp

112Vistas

¿Mi compañía de seguros comete la falacia del jugador o la cometo yo?

Resuelta

Preguntado el 6 de Agosto, 2015 por user259304

1

2Resp

54Vistas

Decidibilidad de las categorías cerradas bicartesianas

Abierta

Preguntado el 20 de Febrero, 2021 por Lydia Marie Williamson

1

2Resp

145Vistas

capacidad de análisis y razonamiento lógico

Resuelta

Preguntado el 9 de Abril, 2015 por varun sharma

1

3Resp

1405Vistas

¿Cómo se define la igualdad en los números reales?

Resuelta

Preguntado el 4 de Julio, 2014 por Buddha

1

2Resp

203Vistas

Interesado en una prueba "más fundamental" para las propiedades básicas de las conectivas lógicas

Resuelta

Preguntado el 20 de Octubre, 2013 por Stone

4

3Resp

104Vistas

Cómo demostrar que $[(p \to q) \land (q \to r)] \to (p \to r)$ es una tautología sin usar la tabla de verdad?

Resuelta

Preguntado el 14 de Octubre, 2018 por Francis Aaron Milano

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Lógica de primer orden y estructuras algebraicas. Solicitud de referencia.

Simplificando $x \leftrightarrow y$

Cómo encadenar puertas lógicas de transistores

Aplicaciones de la lógica

Problema de eliminación del cuantificador

Compañero de la clase de puntos de los conjuntos inductivos

Álgebra de Boole: ¿por qué la propiedad distributiva no tiene un sentido matemático intuitivo?

Una fórmula $\phi$ es lógicamente equivalente a otra fórmula que sólo contiene variables proposicionales y las conectivas $\wedge$ y $\to$

Una pregunta sobre el análisis ordinal

Implicación lógica de la forma $P\to P$

Términos lambda "activo" e "inactivo" e Iglesia.

Deducción del teorema de compacidad a partir del teorema de completitud (en lógica de primer orden)

Prueba por deducción - implicaciones

Criterio para $\forall\exists$ -axiomatizabilidad.

Diseñar un circuito combinacional que convierta un binario de 5 bits en su complemento a 2

Modelos de clase de $\mathsf{ZFC}$ y resultados de consistencia

Análogo de conjuntos semialgebraicos sobre números complejos

¿Cómo es que la teoría de conjuntos forma parte de la lógica?

¿Ordenes sin requisito de antisimetría?

¿Qué "números reales" (elementos en $\mathbb R$ ), se refiere la gente?

Un segundo teorema de incompletitud de Gödel finitista

Máquinas de Turing no deterministas y el teorema de recursión

Modelos incontables de la teoría de conjuntos de Kelley-Morse con sólo un número contable de conjuntos

¿Esta teoría del recuento recursivo es equi-interpretable con la AP?

¿Mi compañía de seguros comete la falacia del jugador o la cometo yo?

Decidibilidad de las categorías cerradas bicartesianas

capacidad de análisis y razonamiento lógico

¿Cómo se define la igualdad en los números reales?

Interesado en una prueba "más fundamental" para las propiedades básicas de las conectivas lógicas

Cómo demostrar que $[(p \to q) \land (q \to r)] \to (p \to r)$ es una tautología sin usar la tabla de verdad?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: