Diferencia entre revisiones de «Lógica proposicional/La implicación/Evaluación»
Contenido eliminado Contenido añadido
m Cambiando categoría |
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap |
||
Línea 5:
|type="()"}
- <math>\sum</math>
- <math>\
- <math>\neg</math>
+ <math>\Rightarrow</math>
|