Preguntas de lógica-proposicional

Puntuación Visitas Fecha
Foto de perfil de Marein

14

1Resp
362Vistas

Representación de la lógica de predicados como aritmética

Resuelta
Preguntado el 10 de Junio, 2015 por Marein
Etiquetas :
Foto de perfil de Ashot

5

4Resp
842Vistas

¿Por qué es necesario un sistema axiomático en lógica proposicional?

Resuelta
Preguntado el 11 de Enero, 2013 por Ashot
Etiquetas :
Foto de perfil de goblin

4

1Resp
200Vistas

¿Qué supuestos se pueden utilizar para demostrar la equivalencia de dos subfórmulas?

Abierta
Preguntado el 15 de Septiembre, 2013 por goblin
Etiquetas :
Foto de perfil de Alan Jackson

6

1Resp
467Vistas

distribución de producto categórico (conjunción) sobre coproductos (separación)

Resuelta
Preguntado el 30 de Abril, 2013 por Alan Jackson
Etiquetas :
Foto de perfil de user525966

10

2Resp
154Vistas

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

Resuelta
Preguntado el 18 de Octubre, 2018 por user525966
Etiquetas :
Foto de perfil de p0llard

6

3Resp
164Vistas

Cálculo proposicional y lógica intuicionista

Resuelta
Preguntado el 14 de Enero, 2019 por p0llard
Etiquetas :
Foto de perfil de user11300

6

2Resp
478Vistas

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

Resuelta
Preguntado el 29 de Mayo, 2014 por user11300
Etiquetas :
Imagen de perfil de Martin Suryajaya

5

1Resp
220Vistas

¿Por qué hay varios sistemas de axiomas para la lógica proposicional?

Resuelta
Preguntado el 18 de Mayo, 2019 por Martin Suryajaya
Etiquetas :
Imagen de perfil de Chris

5

2Resp
521Vistas

Convirtiendo texto a lógica proposicional

Abierta
Preguntado el 15 de Junio, 2013 por Chris
Etiquetas :
Foto de perfil de Eric Brown

11

2Resp
254Vistas

¿En qué sentido es lógica proposicional "cero-el fin de la lógica?"

Resuelta
Preguntado el 14 de Octubre, 2017 por Eric Brown
Etiquetas :
Imagen de perfil de digitalPBK

5

2Resp
169Vistas

Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas

Abierta
Preguntado el 21 de Septiembre, 2017 por digitalPBK
Etiquetas :
Foto de perfil de Junior Mayhé

8

2Resp
389Vistas

El modelo de la teoría y la Prueba de la teoría de Lógica Proposicional

Resuelta
Preguntado el 18 de Abril, 2014 por Junior Mayhé
Etiquetas :
Foto de perfil de CharlesH

6

2Resp
204Vistas

La lógica de la ley de los sistemas cerrados de las sentencias

Resuelta
Preguntado el 7 de Marzo, 2015 por CharlesH
Etiquetas :
Imagen de perfil de Mikey Buggs

6

2Resp
770Vistas

¿Por qué es la lógica proposicional no Turing completo?

Resuelta
Preguntado el 1 de Abril, 2013 por Mikey Buggs
Etiquetas :
Foto de perfil de anonymous

14

3Resp
1081Vistas

En axiomatization de la lógica proposicional, ¿por qué uniforme de sustitución se aplica sólo a los axiomas?

Resuelta
Preguntado el 20 de Junio, 2012 por anonymous
Etiquetas :
Imagen de perfil de alexraasch

11

3Resp
2260Vistas

La prueba del Teorema de Compacidad para la Lógica Proposicional

Resuelta
Preguntado el 26 de Diciembre, 2012 por alexraasch
Etiquetas :
Imagen de perfil de Ian

14

1Resp
1329Vistas

Relación entre la lógica proposicional, lógica de primer orden, de segundo orden de la lógica de orden superior de la lógica y de la teoría tipo

Resuelta
Preguntado el 27 de Agosto, 2013 por Ian
Etiquetas :
Foto de perfil de goblin

4

1Resp
215Vistas

¿Podemos convertir esta declaración sobre conjuntos en una declaración de lógica proposicional?

Resuelta
Preguntado el 30 de Agosto, 2013 por goblin
Etiquetas :
Imagen de perfil de Michael Hardy

3

2Resp
149Vistas

SAT y pruebas en lógica proposicional

Abierta
Preguntado el 29 de Septiembre, 2016 por Michael Hardy
Etiquetas :
Foto de perfil de David Marlowe

7

5Resp
1101Vistas

En lógica, ¿es 'P = Q,' donde P y Q son proposiciones, mal concebido?

Abierta
Preguntado el 28 de Agosto, 2016 por David Marlowe
Etiquetas :
Foto de perfil de Taroccoesbrocco

10

1Resp
208Vistas

¿La doble negación se distribuye sobre la disyunción de manera intuitiva?

Resuelta
Preguntado el 10 de Noviembre, 2015 por Taroccoesbrocco
Etiquetas :
Foto de perfil de alastair

4

3Resp
196Vistas

¿Cómo se trata el material condicional en Deducción Natural?

Abierta
Preguntado el 6 de Mayo, 2018 por alastair
Etiquetas :
Foto de perfil de Patrick McAtee

5

4Resp
396Vistas

La relación entre una declaración y un teorema

Abierta
Preguntado el 24 de Marzo, 2018 por Patrick McAtee
Etiquetas :
Foto de perfil de milianw

22

4Resp
2339Vistas

Cómo desmitificar los axiomas de la lógica proposicional?

Resuelta
Preguntado el 4 de Marzo, 2013 por milianw
Etiquetas :
Imagen de perfil de aleksandar

7

5Resp
340Vistas

La estructura profunda de las fórmulas lógicas

Abierta
Preguntado el 24 de Febrero, 2014 por aleksandar
Etiquetas :
Foto de perfil de so.very.tired

7

2Resp
262Vistas

Lógica proposicional: Demostración que involucra solo los símbolos $\{\rightarrow,F \}$

Resuelta
Preguntado el 23 de Abril, 2015 por so.very.tired
Etiquetas :
Imagen de perfil de kcrumley

6

1Resp
1018Vistas

¿El libro de Lógica de Mendelson hace "trampas" en el cálculo proposicional?

Resuelta
Preguntado el 13 de Marzo, 2012 por kcrumley
Etiquetas :
Imagen de perfil de Surya

5

1Resp
4586Vistas

Traducción de oraciones a fórmulas de lógica proposicional.

Abierta
Preguntado el 12 de Septiembre, 2013 por Surya
Etiquetas :
Foto de perfil de o a

4

2Resp
317Vistas

Cardinalidad de tautologías de lógica proposicional

Resuelta
Preguntado el 27 de Junio, 2013 por o a
Etiquetas :
Imagen de perfil de Force Flow

39

4Resp
4470Vistas

¿Por qué no es 'porque' un conectivo lógico en la lógica proposicional?

Resuelta
Preguntado el 11 de Noviembre, 2018 por Force Flow
Etiquetas :

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