Preguntas de propositional-calculus

6

1Resp

511Vistas

Confusión sobre la definición de "modelo

Resuelta

Preguntado el 17 de Octubre, 2018 por user525966

4

2Resp

639Vistas

El modus ponens como regla de inferencia frente a la tautología

Resuelta

Preguntado el 2 de Septiembre, 2018 por user525966

0

1Resp

92Vistas

Derivaciones mediante reglas y ejes

Abierta

Preguntado el 19 de Octubre, 2017 por novemberkilo

2

1Resp

1134Vistas

Cálculo proposicional: enunciado y demostración del teorema único de legibilidad en notación polaca

Resuelta

Preguntado el 15 de Octubre, 2014 por Kevin Carroll

2

1Resp

132Vistas

Cálculo proposicional: Un algoritmo para determinar si una secuencia finita pertenece a $\mathcal{L_0}$

Resuelta

Preguntado el 14 de Octubre, 2014 por Kevin Carroll

2

1Resp

185Vistas

Pruebas axiomáticas en lógica proposicional

Abierta

Preguntado el 17 de Septiembre, 2019 por asilentfrog

2

3Resp

442Vistas

importancia de la implicación frente a su tautología

Resuelta

Preguntado el 6 de Abril, 2017 por bobics

1

1Resp

71Vistas

Representabilidad lambda para la función booleana

Resuelta

Preguntado el 11 de Junio, 2021 por LgScr

5

2Resp

89Vistas

la fuerte completitud de un sistema formal

Resuelta

Preguntado el 28 de Junio, 2021 por Lankymart

3

1Resp

247Vistas

Preguntas sobre la prueba $\lnot \lnot a = a$

Resuelta

Preguntado el 23 de Septiembre, 2018 por user525966

2

1Resp

87Vistas

Busco ayuda con la demostración de teoremas (Lógica Proposicional)

Resuelta

Preguntado el 27 de Julio, 2016 por Jarmen K.

2

1Resp

108Vistas

Pregunta del cuantificador universal: $(\forall x)[x < 0 \Rightarrow x^2 > 0]$

Resuelta

Preguntado el 17 de Junio, 2015 por user3330840

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

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

3

2Resp

109Vistas

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

Resuelta

Preguntado el 2 de Marzo, 2014 por dibyendu

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

2

1Resp

88Vistas

Evaluar la veracidad de una afirmación

Resuelta

Preguntado el 16 de Julio, 2017 por hordur

1

1Resp

122Vistas

Lógica Matemática Pregunta: n es un número entero positivo, $X_n$ = ${(x_1,.,x_n) : x_i ∈ {T,F}}$ es el conjunto de n- tuplas de {T,F}.

Resuelta

Preguntado el 25 de Abril, 2014 por dewaldcels

1

1Resp

87Vistas

¿En qué se diferencia el método de resolución con refutación de la demostración de teoremas de un método de reglas de resolución simple?

Resuelta

Preguntado el 4 de Diciembre, 2019 por Umer

1

3Resp

94Vistas

Demuestra que las dos expresiones lógicas son iguales

Resuelta

Preguntado el 17 de Noviembre, 2014 por ashimashi

2

0Resp

148Vistas

¿Puede un enunciado ser verdadero ( materialmente) mientras contradice una regla general verdadera de las matemáticas? ( Un problema aparente con un enunciado condicional).

Resuelta

Preguntado el 30 de Junio, 2019 por Eleonore Saint James

2

3Resp

95Vistas

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

Resuelta

Preguntado el 21 de Noviembre, 2014 por Matt Bostock

2

1Resp

336Vistas

Escriba $(p\land q)\leftrightarrow (\neg p\lor \neg q)$ en CNF

Resuelta

Preguntado el 3 de Junio, 2014 por user147374

8

3Resp

7336Vistas

Diferencia entre una proposición y una afirmación

Resuelta

Preguntado el 24 de Agosto, 2015 por S.Kiers

4

4Resp

554Vistas

Validar un argumento con si y sólo si

Resuelta

Preguntado el 6 de Agosto, 2013 por Laura

3

4Resp

354Vistas

Cómo demostrar la siguiente fórmula mediante una prueba indirecta

Resuelta

Preguntado el 26 de Enero, 2019 por Josh Susa

1

1Resp

189Vistas

Equivalentes lógicos para las conectivas en SL utilizando sólo el trazo de Sheffer

Resuelta

Preguntado el 26 de Julio, 2019 por Aston

2

3Resp

205Vistas

Prueba $\vdash (p\to q)\lor (q\to r)$ utilizando la deducción natural

Resuelta

Preguntado el 13 de Marzo, 2015 por mj_indefinite

0

1Resp

65Vistas

¿Es válida esta deducción lógica?

Resuelta

Preguntado el 4 de Noviembre, 2019 por homebrand

1

1Resp

398Vistas

Inducción en la prueba del teorema de solidez

Abierta

Preguntado el 13 de Octubre, 2017 por ange5561

Preguntas de propositional-calculus

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Confusión sobre la definición de "modelo

El modus ponens como regla de inferencia frente a la tautología

Derivaciones mediante reglas y ejes

Cálculo proposicional: enunciado y demostración del teorema único de legibilidad en notación polaca

Cálculo proposicional: Un algoritmo para determinar si una secuencia finita pertenece a $\mathcal{L_0}$

Pruebas axiomáticas en lógica proposicional

importancia de la implicación frente a su tautología

Representabilidad lambda para la función booleana

la fuerte completitud de un sistema formal

Preguntas sobre la prueba $\lnot \lnot a = a$

Busco ayuda con la demostración de teoremas (Lógica Proposicional)

Pregunta del cuantificador universal: $(\forall x)[x < 0 \Rightarrow x^2 > 0]$

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?

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

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

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

Evaluar la veracidad de una afirmación

Lógica Matemática Pregunta: n es un número entero positivo, $X_n$ = ${(x_1,.,x_n) : x_i ∈ {T,F}}$ es el conjunto de n- tuplas de {T,F}.

¿En qué se diferencia el método de resolución con refutación de la demostración de teoremas de un método de reglas de resolución simple?

Demuestra que las dos expresiones lógicas son iguales

¿Puede un enunciado ser verdadero ( materialmente) mientras contradice una regla general verdadera de las matemáticas? ( Un problema aparente con un enunciado condicional).

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

Escriba $(p\land q)\leftrightarrow (\neg p\lor \neg q)$ en CNF

Diferencia entre una proposición y una afirmación

Validar un argumento con si y sólo si

Cómo demostrar la siguiente fórmula mediante una prueba indirecta

Equivalentes lógicos para las conectivas en SL utilizando sólo el trazo de Sheffer

Prueba $\vdash (p\to q)\lor (q\to r)$ utilizando la deducción natural

¿Es válida esta deducción lógica?

Inducción en la prueba del teorema de solidez

Etiquetas mas usadas

i-Ciencias.com

Powered by: