Preguntas de lógica-proposicional

Puntuación Visitas Fecha
Imagen de perfil de new2Logic

6

3Resp
207Vistas

Necesita ayuda para formalizar oraciones lógicas proposicionales simples.

Resuelta
Preguntado el 17 de Febrero, 2019 por new2Logic
Etiquetas :
Foto de perfil de paradroid

6

2Resp
1107Vistas

¿cuál es la definición de una interpretación de la teoría de primer orden? $T$ ¿Qué es un modelo para $T$ ?

Resuelta
Preguntado el 23 de Febrero, 2013 por paradroid
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 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 :
Foto de perfil de digitalPBK

5

2Resp
170Vistas

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 :
Imagen de perfil de AYELET

7

4Resp
258Vistas

Mostrar que $(p \to q) \lor (q \to p)$ es una tautología

Abierta
Preguntado el 27 de Enero, 2015 por AYELET
Etiquetas :
Imagen 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 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 :
Imagen de perfil de Ashot

5

4Resp
843Vistas

¿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 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 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 :
Foto 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
1330Vistas

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 :
Imagen 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 :
Foto 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 :
Imagen 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 :
Imagen 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 :
Imagen 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
1019Vistas

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

Resuelta
Preguntado el 13 de Marzo, 2012 por kcrumley
Etiquetas :
Foto 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 :
Foto 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 :
Imagen de perfil de Ishfaaq

4

5Resp
1015Vistas

Lógica proposicional el problema de una conversación a cuatro personas que mienten o dicen la verdad

Abierta
Preguntado el 31 de Julio, 2014 por Ishfaaq
Etiquetas :
Foto de perfil de o a

8

2Resp
1102Vistas

Significado de "strong" y "weak" (fórmulas?) en lógica proposicional

Resuelta
Preguntado el 26 de Junio, 2013 por o a
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