Buenas,
alguien tiene idea de como se hace la consecuencia logica tachada y la consecuencia semántica tachada?
Busqué en internet pero no conseguí en ningún lado el comando.
Gracias.
Saludos.
Agustín.
Acá tenés eso y muchas cosas más, bastante ordenadas.
https://drive.google.com/file/d/0B7QXDEn96MYTTlhGZ0k1ZUNrdmM/view?usp=drivesdk
Si no me equivoco la consecuencia semántica la podes escribir como \not\models o \nvDash y la consecuencia sintáctica como \nvdash.
Gracias gente.
Saludos.