Curso de lógica proposicional 09 El perro de Crisipo

Resolvemos un ejercicio clásico de lógica proposicional conocido como el perro de Crisipo, lo que nos permitirá entrenar, sobre todo, la regla de la eliminación de la disyunción y la introducción de la negación.

[@crissann93]

Quiero decir que nunca había visto este tipo de clases, y la verdad me esta gustando muchísimo, me encanta como explica. ❤

[@elisafiher]

MUCHAS GRACIAS. Creo que necesito verlo siete veces más para asimilarlo xD

[@zptrack2490]

muchas gracias por estos videos, son de gran ayuda, un saludo.

[@alejandradelavega9060]

una pregunta. Como saber donde poner el corchete, y cuando es que, yo sabría que ahi termina? gracias.

[@arturonavarropovedano2396]

Pues se podría, si no me equivoco, cuando tenemos varias opciones y queremos comprobar que de las premisas se siguen las conclusiones. En este caso, ver si r se sigue de p es un corchete porque es un caso particular, ver si r se sigue de q es otra, y la última, que es evidente, es ver si r se sigue de r

[@aliciaporfiri]

puedo usar el mismo r que use en la contracción para negarlo como resultado de la misma contradicción? (pasos 20 y 21)