Preguntas de lógica-proposicional05

5

2Resp

186Vistas

¿Existen algunas técnicas para la comprobación de si una declaración implica otro sin tablas de verdad?

Resuelta

Preguntado el 8 de Marzo, 2015 por Lucas

5

1Resp

204Vistas

Teorema de compacidad / Conjunto de fórmulas de tamaño infinito

Resuelta

Preguntado el 18 de Noviembre, 2014 por k00k

7

2Resp

1576Vistas

Derivar Una implica B, No de Un

Resuelta

Preguntado el 12 de Mayo, 2013 por user1704650

5

4Resp

396Vistas

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

Abierta

Preguntado el 24 de Marzo, 2018 por Patrick McAtee

4

1Resp

181Vistas

¿Por qué necesitamos la integridad funcional de verdad?

Resuelta

Preguntado el 16 de Julio, 2015 por Stranger

4

1Resp

293Vistas

¿Cuáles son esas "cosas que no pueden ser probadas usando sólo ordinarias reglas de inferencia"?

Abierta

Preguntado el 31 de Marzo, 2014 por nlognfan

5

1Resp

444Vistas

"Suma" sobre lógico y?

Resuelta

Preguntado el 31 de Agosto, 2012 por Andrew Tomazos

4

2Resp

599Vistas

Sistemas lógicos completos pero no sonoros

Resuelta

Preguntado el 11 de Julio, 2013 por o a

5

3Resp

219Vistas

Una declaración que sigue de la ley del medio excluido

Resuelta

Preguntado el 26 de Agosto, 2018 por 1319m

4

1Resp

145Vistas

¿Cuántas clases de equivalencia existen bajo la relación de equivalencia lógica?

Abierta

Preguntado el 29 de Mayo, 2016 por Lorenzo Alamillo

6

1Resp

477Vistas

¿Hay conflicto entre la ley de medio excluido y "ningún conjunto es su propio miembro"?

Resuelta

Preguntado el 16 de Septiembre, 2018 por user161005

5

2Resp

175Vistas

Derivar $P \to \neg \neg P$ en una estructura con no e implica

Resuelta

Preguntado el 19 de Octubre, 2018 por dimensio1n0

4

1Resp

138Vistas

Discreto 101: Validez de la prueba: Al encontrar que p → q ∨ ¬r, q → p∧r, por lo tanto, p → r no es válido.

Resuelta

Preguntado el 13 de Junio, 2014 por ahmd1

9

1Resp

2215Vistas

¿Demostración de la ley distributiva en la implicación?

Resuelta

Preguntado el 5 de Octubre, 2013 por Jacob

29

4Resp

774Vistas

Asociatividad de $\iff$

Resuelta

Preguntado el 10 de Julio, 2013 por rck

27

5Resp

2835Vistas

Asume cierto hasta que se demuestre falso. El curioso caso de la verdad vacua

Resuelta

Preguntado el 9 de Julio, 2013 por Eugene Petrenko

24

4Resp

1152Vistas

¿Por qué es una declaración de "vacuously true" si la hipótesis es falsa, o no está satisfecho?

Resuelta

Preguntado el 29 de Abril, 2015 por David

10

2Resp

600Vistas

¿Cuál es el opuesto de esta declaración y, ¿es cierto?

Resuelta

Preguntado el 1 de Febrero, 2013 por mckamey

13

5Resp

1718Vistas

Lo que es una premisa falsa?

Resuelta

Preguntado el 21 de Mayo, 2014 por Graduate

21

2Resp

26347Vistas

¿Cómo convertir a la forma normal conjuntiva?

Resuelta

Preguntado el 15 de Octubre, 2012 por AkshaiShah

36

5Resp

5538Vistas

Asociatividad de las conectivas lógicas

Abierta

Preguntado el 28 de Noviembre, 2010 por David W.

7

5Resp

2626Vistas

Ayuda a entender el material de implicación

Resuelta

Preguntado el 12 de Mayo, 2011 por Owen

8

2Resp

188Vistas

¿Cuántas tablas de verdad si hay sólo $\land$ o $\lor$ $n$ variables?

Resuelta

Preguntado el 6 de Julio, 2015 por appsung

8

4Resp

866Vistas

Es la siguiente válido de un enunciado matemático?

Abierta

Preguntado el 11 de Junio, 2015 por Onkar Singh Gujral

34

5Resp

1213Vistas

¿Por qué las verdades vacías no son simplemente indefinidas?

Resuelta

Preguntado el 8 de Agosto, 2016 por Aruka J

22

2Resp

3446Vistas

¿Cuál es la diferencia entre las condiciones necesarias y suficientes?

Abierta

Preguntado el 11 de Diciembre, 2012 por Jimmer

24

5Resp

1300Vistas

Declaraciones condicionales: "sólo si"

Resuelta

Preguntado el 24 de Diciembre, 2013 por Gus Paul

19

3Resp

1426Vistas

¿Por qué la ley de Peirce implica la ley del medio excluido?

Abierta

Preguntado el 19 de Julio, 2013 por Robbo

7

5Resp

1452Vistas

Es $(p \to q) \to r$ lógicamente equivalente a $p \to (q \to r)$?

Resuelta

Preguntado el 5 de Septiembre, 2013 por MathR

54

5Resp

7335Vistas

¿Regla de inferencia "Modus Morón"?

Resuelta

Preguntado el 7 de Marzo, 2017 por No Boundaries

Preguntas de lógica-proposicional

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Existen algunas técnicas para la comprobación de si una declaración implica otro sin tablas de verdad?

Teorema de compacidad / Conjunto de fórmulas de tamaño infinito

Derivar Una implica B, No de Un

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

¿Por qué necesitamos la integridad funcional de verdad?

¿Cuáles son esas "cosas que no pueden ser probadas usando sólo ordinarias reglas de inferencia"?

"Suma" sobre lógico y?

Sistemas lógicos completos pero no sonoros

Una declaración que sigue de la ley del medio excluido

¿Cuántas clases de equivalencia existen bajo la relación de equivalencia lógica?

¿Hay conflicto entre la ley de medio excluido y "ningún conjunto es su propio miembro"?

Derivar $P \to \neg \neg P$ en una estructura con no e implica

Discreto 101: Validez de la prueba: Al encontrar que p → q ∨ ¬r, q → p∧r, por lo tanto, p → r no es válido.

¿Demostración de la ley distributiva en la implicación?

Asociatividad de $\iff$

Asume cierto hasta que se demuestre falso. El curioso caso de la verdad vacua

¿Por qué es una declaración de "vacuously true" si la hipótesis es falsa, o no está satisfecho?

¿Cuál es el opuesto de esta declaración y, ¿es cierto?

Lo que es una premisa falsa?

¿Cómo convertir a la forma normal conjuntiva?

Asociatividad de las conectivas lógicas

Ayuda a entender el material de implicación

¿Cuántas tablas de verdad si hay sólo $\land$ o $\lor$ $n$ variables?

Es la siguiente válido de un enunciado matemático?

¿Por qué las verdades vacías no son simplemente indefinidas?

¿Cuál es la diferencia entre las condiciones necesarias y suficientes?

Declaraciones condicionales: "sólo si"

¿Por qué la ley de Peirce implica la ley del medio excluido?

Es $(p \to q) \to r$ lógicamente equivalente a $p \to (q \to r)$?

¿Regla de inferencia "Modus Morón"?

Etiquetas mas usadas

i-Ciencias.com

Powered by: