Preguntas de lógica-proposicional03

4

5Resp

314Vistas

Lógica proposicional (cálculo)...atascada

Resuelta

Preguntado el 13 de Septiembre, 2012 por Mark Manickaraj

5

4Resp

6782Vistas

¿Cómo se llama el rompecabezas lógico en el que uno siempre miente y otro siempre dice la verdad?

Resuelta

Preguntado el 7 de Agosto, 2012 por Martin

4

1Resp

291Vistas

Lógica de proposiciones y resolución de problemas.

Abierta

Preguntado el 27 de Octubre, 2014 por IT ken

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

6

5Resp

323Vistas

Superposición de lógica proposicional y elemental pregunta Set

Resuelta

Preguntado el 2 de Febrero, 2013 por Colin Gislason

5

2Resp

168Vistas

Demostrando una gráfica tiene una propiedad si todos finito subdiagramas tienen esa propiedad

Abierta

Preguntado el 14 de Julio, 2014 por Nathan Sikora

5

1Resp

118Vistas

Prueba $(p \land \lnot q) \rightarrow p$ es una tautología usando equivalencias lógicas

Abierta

Preguntado el 16 de Septiembre, 2018 por Nikki Babaii

4

3Resp

190Vistas

Tratando de entender la implicación.

Resuelta

Preguntado el 1 de Junio, 2013 por Enjoy coding

4

2Resp

281Vistas

¿Cómo puedo demostrar que lo falso no es un teorema?

Abierta

Preguntado el 30 de Septiembre, 2018 por sahmeepee

5

2Resp

503Vistas

un buen texto para un primer curso de lógica matemática

Resuelta

Preguntado el 26 de Febrero, 2013 por paradroid

7

1Resp

309Vistas

¿Cómo demostrar formalmente la negación de una afirmación "A si y sólo si B"?

Resuelta

Preguntado el 26 de Diciembre, 2014 por barak manos

8

2Resp

217Vistas

¿La lógica de muchos valores es más poderosa que la lógica de dos valores?

Resuelta

Preguntado el 22 de Julio, 2018 por DDevelops

14

5Resp

1098Vistas

¿Qué es un constructiva prueba de $\lnot\lnot(P\vee\lnot P)$?

Resuelta

Preguntado el 3 de Mayo, 2012 por MJD

12

4Resp

1248Vistas

O en la vida real vs O en la Lógica Matemática

Resuelta

Preguntado el 26 de Diciembre, 2016 por Giorgi Moniava

4

3Resp

1143Vistas

¿Cómo expresar la afirmación "no todos los días de lluvia son fríos" utilizando la lógica de predicados?

Resuelta

Preguntado el 1 de Febrero, 2015 por Sidsec9

23

5Resp

707Vistas

Si ambos $P$ y $Q$ son verdaderas, ¿cómo puedo saber que $P$ implica $Q$ ?

Abierta

Preguntado el 21 de Octubre, 2011 por Akram Hassan

24

5Resp

1809Vistas

No puedo entender la implicación lógica

Abierta

Preguntado el 27 de Septiembre, 2014 por Andreas Balg

7

4Resp

2068Vistas

Proposición lógica para "Todo entero positivo puede escribirse como la suma de 2 cuadrados"

Resuelta

Preguntado el 8 de Agosto, 2016 por Samir Chahine

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

8

2Resp

611Vistas

¿Cuáles son las reglas para el uso de puntos en lugar de paréntesis en fórmulas lógicas?

Resuelta

Preguntado el 23 de Febrero, 2013 por paradroid

5

2Resp

205Vistas

¿Existe una interpretación lógica para igualador y coigualador?

Resuelta

Preguntado el 3 de Abril, 2014 por flojdek

6

3Resp

129Vistas

Es $C \to \neg C$ una "declaración"?

Abierta

Preguntado el 11 de Febrero, 2017 por Craig B

4

3Resp

257Vistas

La Primera Guerra Mundial nunca estallará sin el asesinato del archiduque Francisco Fernando, ¿verdad?

Abierta

Preguntado el 10 de Febrero, 2018 por sun qingyao

4

5Resp

237Vistas

¿Cómo hace uno para saber si $A \implies B$ (implicación) es verdadera sin saber si $B$ (el consecuente es verdadero) es verdadera?

Abierta

Preguntado el 21 de Diciembre, 2017 por Pinocchio

89

5Resp

14648Vistas

En la lógica clásica, ¿por qué es $(p\Rightarrow q)$ True si $p$ es Falso e $q$ es Cierto?

Resuelta

Preguntado el 7 de Octubre, 2011 por mcrumley

11

4Resp

426Vistas

Cómo o por qué intutionistic la lógica de la prueba de negaciones desde dentro de la teoría, de manera constructiva?

Resuelta

Preguntado el 14 de Diciembre, 2013 por flojdek

9

4Resp

301Vistas

Mostrando $(P\to Q)\land (Q\to R)\equiv (P\to R)\land[(P\leftrightarrow Q)\lor (R\leftrightarrow Q)]$ {sin tabla de verdad}

Resuelta

Preguntado el 21 de Febrero, 2015 por Daniel W. Farlow

6

3Resp

464Vistas

Lo complicado es el conjunto de tautologías?

Resuelta

Preguntado el 17 de Octubre, 2011 por Xetius

11

3Resp

241Vistas

Diferencia entre Gentzen y cálculos de Hilbert

Resuelta

Preguntado el 9 de Junio, 2015 por massoud

6

1Resp

221Vistas

Prueba intuicionista de $\neg\neg(\neg\neg P \rightarrow P)$

Resuelta

Preguntado el 21 de Diciembre, 2015 por Liutas

Preguntas de lógica-proposicional

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Lógica proposicional (cálculo)...atascada

¿Cómo se llama el rompecabezas lógico en el que uno siempre miente y otro siempre dice la verdad?

Lógica de proposiciones y resolución de problemas.

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

Superposición de lógica proposicional y elemental pregunta Set

Demostrando una gráfica tiene una propiedad si todos finito subdiagramas tienen esa propiedad

Prueba $(p \land \lnot q) \rightarrow p$ es una tautología usando equivalencias lógicas

Tratando de entender la implicación.

¿Cómo puedo demostrar que lo falso no es un teorema?

un buen texto para un primer curso de lógica matemática

¿Cómo demostrar formalmente la negación de una afirmación "A si y sólo si B"?

¿La lógica de muchos valores es más poderosa que la lógica de dos valores?

¿Qué es un constructiva prueba de $\lnot\lnot(P\vee\lnot P)$?

O en la vida real vs O en la Lógica Matemática

¿Cómo expresar la afirmación "no todos los días de lluvia son fríos" utilizando la lógica de predicados?

Si ambos $P$ y $Q$ son verdaderas, ¿cómo puedo saber que $P$ implica $Q$ ?

No puedo entender la implicación lógica

Proposición lógica para "Todo entero positivo puede escribirse como la suma de 2 cuadrados"

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

¿Cuáles son las reglas para el uso de puntos en lugar de paréntesis en fórmulas lógicas?

¿Existe una interpretación lógica para igualador y coigualador?

Es $C \to \neg C$ una "declaración"?

La Primera Guerra Mundial nunca estallará sin el asesinato del archiduque Francisco Fernando, ¿verdad?

¿Cómo hace uno para saber si $A \implies B$ (implicación) es verdadera sin saber si $B$ (el consecuente es verdadero) es verdadera?

En la lógica clásica, ¿por qué es $(p\Rightarrow q)$ True si $p$ es Falso e $q$ es Cierto?

Cómo o por qué intutionistic la lógica de la prueba de negaciones desde dentro de la teoría, de manera constructiva?

Mostrando $(P\to Q)\land (Q\to R)\equiv (P\to R)\land[(P\leftrightarrow Q)\lor (R\leftrightarrow Q)]$ {sin tabla de verdad}

Lo complicado es el conjunto de tautologías?

Diferencia entre Gentzen y cálculos de Hilbert

Prueba intuicionista de $\neg\neg(\neg\neg P \rightarrow P)$

Etiquetas mas usadas

i-Ciencias.com

Powered by: