Preguntas ciencias de lógica-proposicional04

4

2Resp

157Vistas

¿Cuál es la negación de la "x es impar y es incluso"?

Resuelta

Preguntado el 21 de Junio, 2018 por otnemem

5

2Resp

215Vistas

¿Es el teorema de la deducción un metateta teorema o un metateorema?

Abierta

Preguntado el 17 de Junio, 2018 por user 170039

5

1Resp

4586Vistas

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

Abierta

Preguntado el 12 de Septiembre, 2013 por Surya

5

1Resp

224Vistas

Definición por recursividad

Abierta

Preguntado el 2 de Septiembre, 2013 por user92805

4

1Resp

181Vistas

¿Por qué necesitamos la integridad funcional de verdad?

Resuelta

Preguntado el 16 de Julio, 2015 por Stranger

4

1Resp

137Vistas

Preguntas con Si/Entonces y FIB

Resuelta

Preguntado el 24 de Septiembre, 2014 por Rusty Shackleford

4

2Resp

452Vistas

Deducción natural: $(\neg q \to\neg p)\vdash(p\to q)$ sin Modus Tollens

Resuelta

Preguntado el 21 de Octubre, 2013 por Mike Kucera

4

1Resp

139Vistas

Simplificar $(p\land q)\lor(p\land \neg q)$

Resuelta

Preguntado el 21 de Febrero, 2015 por TheAtomicPeter

8

5Resp

1930Vistas

¿Es verdadera la disyunción de estas dos afirmaciones falsas?

Resuelta

Preguntado el 17 de Mayo, 2018 por ChiliYago

4

1Resp

232Vistas

Cómo derivar esta equivalencia en la lógica proposicional

Abierta

Preguntado el 2 de Febrero, 2014 por user125664

5

3Resp

303Vistas

Deducción Natural a prueba de $(\alpha\to\beta)\to(\beta\to\gamma)\to(\alpha\to\gamma)$

Resuelta

Preguntado el 19 de Noviembre, 2013 por Jeff

4

5Resp

235Vistas

Son $p \to (q \to r)$ y $p \to (q \wedge r)$ ¿son lógicamente equivalentes?

Abierta

Preguntado el 9 de Enero, 2014 por Rohit Tigga

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é

4

1Resp

126Vistas

¿Por qué es la regla de "Si x tiene tipo σ en el contexto, sabemos que x tiene tipo σ" que se necesita?

Abierta

Preguntado el 8 de Agosto, 2015 por Will Sargent

4

5Resp

365Vistas

¿Por qué es la negación de la $A \Rightarrow B$$A \Rightarrow \lnot B$?

Abierta

Preguntado el 10 de Abril, 2015 por Aditya Chintalapati

4

2Resp

325Vistas

¿Hay notación para "algunos dos de las tres declaraciones son verdaderas"?

Resuelta

Preguntado el 8 de Agosto, 2012 por Martin

5

3Resp

192Vistas

Verdad vacua y enunciados condicionales universales

Abierta

Preguntado el 23 de Octubre, 2015 por K. Hotz

4

1Resp

138Vistas

Es el siguiente proposición es verdadera?

Abierta

Preguntado el 6 de Octubre, 2013 por Adam Rainey

5

4Resp

396Vistas

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

Abierta

Preguntado el 24 de Marzo, 2018 por Patrick McAtee

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

6

4Resp

661Vistas

¿Esta prueba es correcta? (deducción natural)

Resuelta

Preguntado el 17 de Marzo, 2018 por openingceremony

6

1Resp

139Vistas

Mostrar que $\Gamma \cup \{\neg \phi\}$ es válido si y sólo si $\Gamma\not \models \phi$

Abierta

Preguntado el 15 de Octubre, 2014 por Cab

4

1Resp

220Vistas

Tus reacciones solo dependen de ti.

Abierta

Preguntado el 17 de Octubre, 2012 por Jim

5

3Resp

268Vistas

¿Son ciertas afirmaciones como "Cada vez que he hecho X, ha sucedido Y" (vacuamente) si nunca he hecho X?

Abierta

Preguntado el 26 de Agosto, 2013 por Sam

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

6

3Resp

390Vistas

Ayuda en la redacción de contraposición

Resuelta

Preguntado el 23 de Julio, 2013 por dotslash

7

3Resp

313Vistas

Demostrar que la fórmula es válido en algunos infinito de la estructura, pero no en todos los finitos de estructuras

Resuelta

Preguntado el 16 de Diciembre, 2017 por user2643870

6

3Resp

130Vistas

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

Abierta

Preguntado el 11 de Febrero, 2017 por Craig B

7

2Resp

1576Vistas

Derivar Una implica B, No de Un

Resuelta

Preguntado el 12 de Mayo, 2013 por user1704650

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

Preguntas ciencias lógica-proposicional

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuál es la negación de la "x es impar y es incluso"?

¿Es el teorema de la deducción un metateta teorema o un metateorema?

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

Definición por recursividad

¿Por qué necesitamos la integridad funcional de verdad?

Preguntas con Si/Entonces y FIB

Deducción natural: $(\neg q \to\neg p)\vdash(p\to q)$ sin Modus Tollens

Simplificar $(p\land q)\lor(p\land \neg q)$

¿Es verdadera la disyunción de estas dos afirmaciones falsas?

Cómo derivar esta equivalencia en la lógica proposicional

Deducción Natural a prueba de $(\alpha\to\beta)\to(\beta\to\gamma)\to(\alpha\to\gamma)$

Son $p \to (q \to r)$ y $p \to (q \wedge r)$ ¿son lógicamente equivalentes?

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

¿Por qué es la regla de "Si x tiene tipo σ en el contexto, sabemos que x tiene tipo σ" que se necesita?

¿Por qué es la negación de la $A \Rightarrow B$$A \Rightarrow \lnot B$?

¿Hay notación para "algunos dos de las tres declaraciones son verdaderas"?

Verdad vacua y enunciados condicionales universales

Es el siguiente proposición es verdadera?

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

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

¿Esta prueba es correcta? (deducción natural)

Mostrar que $\Gamma \cup \{\neg \phi\}$ es válido si y sólo si $\Gamma\not \models \phi$

Tus reacciones solo dependen de ti.

¿Son ciertas afirmaciones como "Cada vez que he hecho X, ha sucedido Y" (vacuamente) si nunca he hecho X?

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

Ayuda en la redacción de contraposición

Demostrar que la fórmula es válido en algunos infinito de la estructura, pero no en todos los finitos de estructuras

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

Derivar Una implica B, No de Un

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

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: