Preguntas de lógica-proposicional04

5

1Resp

146Vistas

Prueba de

Resuelta

Preguntado el 26 de Junio, 2016 por Kenosha Kid

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

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

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

1Resp

224Vistas

Definición por recursividad

Abierta

Preguntado el 2 de Septiembre, 2013 por user92805

6

2Resp

1106Vistas

¿cuál es la definición de una interpretación de la teoría de primer orden? $T$ ¿Qué es un modelo para $T$ ?

Resuelta

Preguntado el 23 de Febrero, 2013 por paradroid

4

5Resp

221Vistas

¿sistema formal de Semantics(Truth) vs?

Abierta

Preguntado el 29 de Octubre, 2014 por kiyarash

5

3Resp

2842Vistas

¿Cómo es que "Si $P$ entonces $Q$ "tienen el mismo significado que " $Q$ sólo si $P$ "?

Resuelta

Preguntado el 22 de Febrero, 2013 por paradroid

6

1Resp

160Vistas

¿Valores de verdad parciales?

Abierta

Preguntado el 16 de Diciembre, 2018 por R. Burton

5

1Resp

204Vistas

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

Resuelta

Preguntado el 11 de Junio, 2013 por Kobi

15

5Resp

2721Vistas

¿Demuestra que (p q) (p q) es una tautología?

Resuelta

Preguntado el 7 de Marzo, 2016 por Danny

15

3Resp

427Vistas

Clases de conjuntos y de la paradoja de Russell

Resuelta

Preguntado el 1 de Octubre, 2016 por Andi Fels

8

3Resp

326Vistas

Cómo deducir que algo no seguir?

Resuelta

Preguntado el 13 de Diciembre, 2012 por psiko.scweek

10

5Resp

1213Vistas

Lógica NO de una implicación

Resuelta

Preguntado el 11 de Octubre, 2011 por Shoan

9

5Resp

3039Vistas

Expresar los rompecabezas lógicos con la notación del cálculo de proposiciones

Abierta

Preguntado el 8 de Agosto, 2012 por Martin

6

2Resp

239Vistas

Lógica sentencial

Resuelta

Preguntado el 22 de Junio, 2013 por jvenema

7

3Resp

992Vistas

¿Prueba de (P → Q) de ¬P?

Resuelta

Preguntado el 3 de Marzo, 2016 por user1869558

6

1Resp

406Vistas

Descomposición única de FMSA cuando paréntesis izquierdos y derecho son indistinguibles

Resuelta

Preguntado el 6 de Agosto, 2014 por ignoramus

7

3Resp

236Vistas

Explicación de la Ley de Clavius

Resuelta

Preguntado el 26 de Julio, 2015 por CANDY

15

5Resp

232Vistas

¿Cuál es la diferencia entre los símbolos de implicación: $\rightarrow$ y $\Rightarrow$ ?

Resuelta

Preguntado el 26 de Junio, 2017 por ColorMeFamous

6

5Resp

468Vistas

¿Cómo puedo demostrar que $[(p \to\neg q) \wedge q] \to \neg p$ ¿es una tautología?

Abierta

Preguntado el 23 de Octubre, 2012 por John

10

5Resp

1452Vistas

¿Por qué no es válida esta inferencia?

Resuelta

Preguntado el 25 de Julio, 2017 por Ana Mehere

7

3Resp

239Vistas

Demostrando la equivalencia lógica$(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$

Resuelta

Preguntado el 4 de Agosto, 2013 por Bryan Baraoidan

5

1Resp

857Vistas

¿Qué es esta técnica distributiva?

Resuelta

Preguntado el 31 de Enero, 2011 por Thierry-Dimitri Roy

6

3Resp

759Vistas

P implica Q implica P

Resuelta

Preguntado el 8 de Junio, 2014 por kikeriki

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

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

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

6

3Resp

287Vistas

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

Resuelta

Preguntado el 20 de Noviembre, 2013 por JMCF125

5

4Resp

212Vistas

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

Resuelta

Preguntado el 15 de Septiembre, 2016 por user 170039

Preguntas de lógica-proposicional

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Prueba de

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

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

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

Definición por recursividad

¿cuál es la definición de una interpretación de la teoría de primer orden? $T$ ¿Qué es un modelo para $T$ ?

¿sistema formal de Semantics(Truth) vs?

¿Cómo es que "Si $P$ entonces $Q$ "tienen el mismo significado que " $Q$ sólo si $P$ "?

¿Valores de verdad parciales?

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

¿Demuestra que (p q) (p q) es una tautología?

Clases de conjuntos y de la paradoja de Russell

Cómo deducir que algo no seguir?

Lógica NO de una implicación

Expresar los rompecabezas lógicos con la notación del cálculo de proposiciones

Lógica sentencial

¿Prueba de (P → Q) de ¬P?

Descomposición única de FMSA cuando paréntesis izquierdos y derecho son indistinguibles

Explicación de la Ley de Clavius

¿Cuál es la diferencia entre los símbolos de implicación: $\rightarrow$ y $\Rightarrow$ ?

¿Cómo puedo demostrar que $[(p \to\neg q) \wedge q] \to \neg p$ ¿es una tautología?

¿Por qué no es válida esta inferencia?

Demostrando la equivalencia lógica$(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$

¿Qué es esta técnica distributiva?

P implica Q implica P

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)]$

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

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

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: