Preguntas ciencias de lógica-proposicional05 - i-Ciencias.com

Puntuación Visitas Fecha

5

1Resp

572Vistas

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

Resuelta

Preguntado el 16 de Diciembre, 2012 por alexn

5

2Resp

205Vistas

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

Resuelta

Preguntado el 3 de Abril, 2014 por flojdek

5

2Resp

331Vistas

Que la ley de la lógica de la equivalencia dice $P\Leftrightarrow Q ≡ (P\lor Q) \Rightarrow(P\land Q)$

Abierta

Preguntado el 21 de Mayo, 2013 por Toolik

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

8

5Resp

9416Vistas

¿Cómo pruebo que esta declaración es tautológica sin usar tablas de verdad?

Abierta

Preguntado el 6 de Noviembre, 2013 por Taha Jahangir

5

2Resp

122Vistas

Si, como parte de la prueba para demostrar implicación, supongamos que el antecedente, pero el antecedente es falso, en un caso específico, se puede ignorar que el caso?

Abierta

Preguntado el 25 de Octubre, 2017 por Luke

5

1Resp

369Vistas

Equivalencia entre Peirce ' Ley s y medio excluido en lógica intuicionista

Resuelta

Preguntado el 13 de Septiembre, 2014 por Mauro ALLEGRANZA

5

1Resp

204Vistas

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

Resuelta

Preguntado el 18 de Noviembre, 2014 por k00k

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

4Resp

212Vistas

¿Cómo probar$\vdash\neg P\to (P\to Q)$?

Resuelta

Preguntado el 15 de Septiembre, 2016 por user 170039

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

6

3Resp

287Vistas

¿Se puede probar la Ley de Peirce sin contradicción?

Resuelta

Preguntado el 20 de Noviembre, 2013 por JMCF125

8

2Resp

188Vistas

Usar una instrucción para probar su converse

Resuelta

Preguntado el 8 de Abril, 2017 por 428

5

2Resp

605Vistas

¿Es esto una proposición válida?

Abierta

Preguntado el 2 de Enero, 2014 por Salim Fadhley

5

3Resp

320Vistas

Lógica - cómo probar la $\;[(p \rightarrow q) \land (q \rightarrow r)] \rightarrow (p \rightarrow r) \equiv T\;$?

Resuelta

Preguntado el 16 de Enero, 2013 por Lembik

5

1Resp

136Vistas

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

Resuelta

Preguntado el 24 de Diciembre, 2014 por user92570

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

2Resp

311Vistas

Negación "Zach bloquea correos electrónicos y textos de Jennifer"

Resuelta

Preguntado el 11 de Diciembre, 2012 por Gus Paul

5

1Resp

454Vistas

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

Abierta

Preguntado el 18 de Julio, 2014 por Jecht Tyre

5

2Resp

503Vistas

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

Resuelta

Preguntado el 26 de Febrero, 2013 por paradroid

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

3Resp

499Vistas

Derivar por modus ponens$[A\rightarrow(B\rightarrow C)]\rightarrow[(A\rightarrow B)\rightarrow(A\rightarrow C)]$

Abierta

Preguntado el 19 de Febrero, 2014 por alexis.kennedy

6

2Resp

2899Vistas

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

Resuelta

Preguntado el 1 de Noviembre, 2012 por Chris

10

1Resp

208Vistas

¿La doble negación se distribuye sobre la disyunción de manera intuitiva?

Resuelta

Preguntado el 10 de Noviembre, 2015 por Taroccoesbrocco

5

2Resp

170Vistas

Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas

Abierta

Preguntado el 21 de Septiembre, 2017 por digitalPBK

6

3Resp

419Vistas

Mostrar mediante el uso de leyes de conectividad lógica que $(P \to Q) \land (Q \to R) $ es equivalente a $(P \to R) \land [(P \iff Q) \lor (R \iff Q)]$

Resuelta

Preguntado el 23 de Septiembre, 2013 por michel-slm

7

4Resp

257Vistas

Mostrar que $(p \to q) \lor (q \to p)$ es una tautología

Abierta

Preguntado el 27 de Enero, 2015 por AYELET

6

3Resp

759Vistas

P implica Q implica P

Resuelta

Preguntado el 8 de Junio, 2014 por kikeriki

4

3Resp

915Vistas

Cómo probar o declaraciones

Abierta

Preguntado el 19 de Mayo, 2013 por Pete Lans

5

4Resp

378Vistas

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

Resuelta

Preguntado el 30 de Junio, 2013 por SMR

«
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