Preguntas de lógica-proposicional06 | i-Ciencias.com

Puntuación Visitas Fecha

6

1Resp

228Vistas

Construir una puerta OR cuando falta información de entrada

Abierta

Preguntado el 6 de Julio, 2015 por Humphrey Bogart

6

5Resp

1023Vistas

Forma general de una prueba que $ab=0 \implies a=0 \lor b=0$

Abierta

Preguntado el 4 de Septiembre, 2012 por Vincent

8

3Resp

303Vistas

Relación de equivalencia utilizando cuadros

Resuelta

Preguntado el 11 de Junio, 2013 por Example Mo

23

3Resp

19808Vistas

¿Cuál es el teorema de De Morgan para 3 variables?

Resuelta

Preguntado el 4 de Marzo, 2013 por VisBits

21

3Resp

8974Vistas

Problema de comprensión p implica q

Resuelta

Preguntado el 4 de Septiembre, 2011 por Peter Krejci

5

1Resp

294Vistas

Si$x\rightarrow y$ y$y \rightarrow z$, demuestran, por contradicción, que$x \rightarrow z$

Resuelta

Preguntado el 11 de Septiembre, 2014 por Alec855

8

2Resp

305Vistas

¿Por qué no Modus Ponens válido aquí

Resuelta

Preguntado el 5 de Febrero, 2015 por Morgan Wilde

6

3Resp

1064Vistas

Deducción natural tautología

Abierta

Preguntado el 29 de Abril, 2014 por user146767

11

3Resp

722Vistas

¿Modus Ponens vs. implicación?

Abierta

Preguntado el 27 de Marzo, 2013 por A. Goossens

6

3Resp

377Vistas

¿Cómo se llama esto?

Resuelta

Preguntado el 7 de Septiembre, 2017 por Liutas

5

4Resp

378Vistas

¿Cuál es $\;\text{FALSE}\implies P(x),\;$ $P(x)\;$ falso?

Resuelta

Preguntado el 30 de Junio, 2013 por SMR

4

3Resp

915Vistas

Cómo probar o declaraciones

Abierta

Preguntado el 19 de Mayo, 2013 por Pete Lans

6

2Resp

2899Vistas

¿Lo que ' s la diferencia entre una negación y una contrapositive?

Resuelta

Preguntado el 1 de Noviembre, 2012 por Chris

5

1Resp

454Vistas

¿Cómo demostrar el teorema de Post por inducción?

Abierta

Preguntado el 18 de Julio, 2014 por Jecht Tyre

5

4Resp

492Vistas

Contraejemplo para $(p\rightarrow q) \longleftrightarrow (!q \rightarrow\mathord !p) $

Resuelta

Preguntado el 8 de Abril, 2013 por Andrés Ricardo Torres Martínez

5

1Resp

136Vistas

Reescribiendo $X\leftrightarrow Y$ utilizando sólo $\neg$ y $\lor$

Resuelta

Preguntado el 24 de Diciembre, 2014 por user92570

5

2Resp

605Vistas

¿Es esto una proposición válida?

Abierta

Preguntado el 2 de Enero, 2014 por Salim Fadhley

8

2Resp

188Vistas

Usar una instrucción para probar su converse

Resuelta

Preguntado el 8 de Abril, 2017 por 428

5

1Resp

297Vistas

Prueba Formal de las $(A\lor B)∨C \leftrightarrow A\lor(B\lor C)$

Resuelta

Preguntado el 13 de Julio, 2015 por Sushil

7

5Resp

197Vistas

¿Cómo puede ser que $(P \rightarrow Q) \vee (Q \rightarrow P)$ es una tautología?

Resuelta

Preguntado el 3 de Febrero, 2015 por James Beninger

5

1Resp

572Vistas

¿Qué es una lista de identidades booleanas útiles para resolver funciones booleanas?

Resuelta

Preguntado el 16 de Diciembre, 2012 por alexn

6

3Resp

390Vistas

Ayuda en la redacción de contraposición

Resuelta

Preguntado el 23 de Julio, 2013 por dotslash

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

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

6

4Resp

661Vistas

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

Resuelta

Preguntado el 17 de Marzo, 2018 por openingceremony

4

1Resp

138Vistas

Es el siguiente proposición es verdadera?

Abierta

Preguntado el 6 de Octubre, 2013 por Adam Rainey

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

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

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

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

«
1
2
3
4
5
6
7
8
»

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.

X