Preguntas de lógica-proposicional

Puntuación Visitas Fecha
Foto de perfil de ChiliYago

8

5Resp
1930Vistas

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

Resuelta
Preguntado el 17 de Mayo, 2018 por ChiliYago
Etiquetas :
Foto de perfil de TheAtomicPeter

4

1Resp
139Vistas

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

Resuelta
Preguntado el 21 de Febrero, 2015 por TheAtomicPeter
Etiquetas :
Imagen de perfil de Mike Kucera

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
Etiquetas :
Imagen de perfil de Rusty Shackleford

4

1Resp
137Vistas

Preguntas con Si/Entonces y FIB

Resuelta
Preguntado el 24 de Septiembre, 2014 por Rusty Shackleford
Etiquetas :
Foto de perfil de otnemem

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
Etiquetas :
Imagen de perfil de Paul Dirac

4

1Resp
141Vistas

mostrando $\neg\alpha\vee\delta,\neg\beta\vee\neg\delta\vdash \neg(\alpha\vee\beta)\vee\delta$ es válido

Resuelta
Preguntado el 18 de Noviembre, 2013 por Paul Dirac
Etiquetas :
Imagen de perfil de FBR

4

4Resp
218Vistas

$P \to Q \equiv \neg P \vee Q$

Resuelta
Preguntado el 25 de Septiembre, 2014 por FBR
Etiquetas :
Foto de perfil de michel-slm

4

4Resp
448Vistas

¿Cómo traduciría usted $\neg(P\to \neg Q )$ al inglés?

Resuelta
Preguntado el 23 de Septiembre, 2013 por michel-slm
Etiquetas :
Foto de perfil de therat

3

3Resp
569Vistas

Demostración de estilo Fitch

Abierta
Preguntado el 10 de Junio, 2014 por therat
Etiquetas :
Imagen de perfil de vasili111

11

5Resp
1856Vistas

Ejemplo de uso De Morgan Law y el inglés detrás de él.

Abierta
Preguntado el 21 de Agosto, 2018 por vasili111
Etiquetas :
Foto de perfil de Bogdan

4

3Resp
151Vistas

Si $2=2$, entonces "algunas manzanas son verdes"

Resuelta
Preguntado el 19 de Septiembre, 2016 por Bogdan
Etiquetas :
Imagen de perfil de Samir Chahine

4

3Resp
143Vistas

¿Se puede hacer un número ilimitado de conectivas con $p$ y $q$?

Resuelta
Preguntado el 8 de Agosto, 2016 por Samir Chahine
Etiquetas :
Foto de perfil de Terry Mahaffey

4

1Resp
130Vistas

◦ es ya sea nand o ni si ◦ es un operador binario que puede definir la negación y los otros operadores binarios por sí mismo.

Abierta
Preguntado el 3 de Octubre, 2018 por Terry Mahaffey
Etiquetas :
Imagen de perfil de willbradley

3

2Resp
166Vistas

¿Definición de un modelo?

Resuelta
Preguntado el 26 de Marzo, 2017 por willbradley
Etiquetas :
Foto de perfil de John Schulz

4

2Resp
105Vistas

Mostrar con resolución la prueba de que la expresión es una tautología.

Resuelta
Preguntado el 18 de Junio, 2018 por John Schulz
Etiquetas :
Foto de perfil de Daniel W. Farlow

4

3Resp
213Vistas

Prueba $[(p\leftrightarrow q)\land(q\leftrightarrow r)]\to(p\leftrightarrow r)$ es una tautología sin una tabla de verdad

Resuelta
Preguntado el 20 de Septiembre, 2015 por Daniel W. Farlow
Etiquetas :
Imagen de perfil de Andy

4

2Resp
269Vistas

¿Siempre será falsa una contradicción?

Resuelta
Preguntado el 2 de Octubre, 2016 por Andy
Etiquetas :
Foto de perfil de Arvin

4

3Resp
817Vistas

Mostrando lógico argumento es válido

Abierta
Preguntado el 29 de Abril, 2011 por Arvin
Etiquetas :
Foto de perfil de dewaldcels

4

4Resp
208Vistas

Encontrar fórmulas proposicionales $\phi$ y $\psi$ tal que $(\phi \rightarrow (\psi \rightarrow (¬\psi)))$ es un teorema de L.

Abierta
Preguntado el 23 de Abril, 2014 por dewaldcels
Etiquetas :
Imagen de perfil de alexn

4

3Resp
180Vistas

¿Cómo este libro de texto pasar de este paso a la siguiente en probar esto?

Resuelta
Preguntado el 16 de Diciembre, 2012 por alexn
Etiquetas :
Foto de perfil de Dan smith

4

1Resp
122Vistas

Mostrar $\models(\phi\rightarrow(\psi\rightarrow\theta))\rightarrow((\phi\rightarrow\psi)\rightarrow(\phi\rightarrow\theta))$

Resuelta
Preguntado el 2 de Abril, 2015 por Dan smith
Etiquetas :
Imagen de perfil de Programmer 400

4

1Resp
208Vistas

¿Es esta expresión verdadera y legal?

Resuelta
Preguntado el 18 de Marzo, 2013 por Programmer 400
Etiquetas :
Foto de perfil de user10777718

13

3Resp
475Vistas

¿Por qué la "implicación material" se llama "material"?

Abierta
Preguntado el 3 de Febrero, 2019 por user10777718
Etiquetas :
Foto de perfil de simulacra

4

2Resp
125Vistas

Deducción natural de (p -> (p-> q)) -> q sobre la hipótesis de que p

Abierta
Preguntado el 23 de Marzo, 2019 por simulacra
Etiquetas :
Foto de perfil de PeterFromCologne

6

1Resp
138Vistas

Límite en los extremos

Abierta
Preguntado el 11 de Junio, 2017 por PeterFromCologne
Etiquetas :
Imagen de perfil de vidya pani

5

2Resp
372Vistas

Prueba de que la expresión es una tautología.

Resuelta
Preguntado el 19 de Octubre, 2014 por vidya pani
Etiquetas :
Foto de perfil de StudentType

4

3Resp
182Vistas

¿Cómo podemos demostrar $(P \to \neg P) \to \neg P$ en este sistema?

Resuelta
Preguntado el 19 de Septiembre, 2015 por StudentType
Etiquetas :
Foto de perfil de DoRe

4

3Resp
167Vistas

Demuestre$\vdash (A_1 ↔ A_2) \vee (A_2 ↔ A_3) \vee (A_3 ↔ A_1) $ usando deducción natural.

Resuelta
Preguntado el 15 de Abril, 2019 por DoRe
Etiquetas :
Imagen de perfil de Kavita

4

5Resp
324Vistas

Cómo es $((X\to Y)\to X)\to X$ una tautología?

Abierta
Preguntado el 26 de Octubre, 2013 por Kavita
Etiquetas :
Imagen de perfil de Eleonore Saint James

4

2Resp
122Vistas

¿Son las "reglas de reemplazo" y las "reglas de inferencia" (en deducción natural) realmente dos tipos de reglas?

Resuelta
Preguntado el 23 de Abril, 2019 por Eleonore Saint James
Etiquetas :

Etiquetas mas usadas

i-Ciencias.com

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.

Powered by:

Yandex
X