Quiero demostrar que $\neg(p\rightarrow q)\neq \neg p \rightarrow q$ y tengo un ejemplo de prueba pero he perdido el primer paso y no consigo el siguiente
- $w_iRw_i$ por hipótesis $R$ es reflexivo
No entiendo estos mundos $w_i$ escritos, ¿qué representan? En mi última pregunta tenía una prueba donde en el paso 5, era "elegir" un wj tal que $w_iRw_j$ ¿Significa aquí que está eligiendo un mundo en el que $w_iRw_i$ ?
El resto de la pregunta es :
- $\Box p,w_i$ de $R_{\neg\rightarrow}$ en 1 (que falta)
- $\neg p,w_i$ de $R_{\neg\rightarrow}$ en 1 (que falta)
- $p,w_i$ de $R_\Box$ en 3, lo que lleva a una contradicción con 4.
