[LaTeX] Comando \models
In LaTeX, nell'ambiente matematico, il comando \models produce il simbolo $\models$.
L'utilizzo più diffuso di questo simbolo in logica matematica è, date due proposizioni $A$ e $B$, scrivere che $A \models B$ per indicare che ogni modello di $A$ è un modello di $B$.
La mia domanda riguardo LaTex è se esiste un comando per produrre il simbolo $\models$ ma orientato al contrario (da destra verso sinistra).
Inoltre chiedo a chi ha già incontrato questo simbolo nel contesto della logica matematica, esiste un simbolo per indicare sinteticamente che $A \models B$ e $B \models A$?
L'utilizzo più diffuso di questo simbolo in logica matematica è, date due proposizioni $A$ e $B$, scrivere che $A \models B$ per indicare che ogni modello di $A$ è un modello di $B$.
La mia domanda riguardo LaTex è se esiste un comando per produrre il simbolo $\models$ ma orientato al contrario (da destra verso sinistra).
Inoltre chiedo a chi ha già incontrato questo simbolo nel contesto della logica matematica, esiste un simbolo per indicare sinteticamente che $A \models B$ e $B \models A$?
Risposte
.
Hai diverse scelte: https://tex.stackexchange.com/questions ... rsed-vdash
Ah, ecco, qualcuno ha già risposto.
Ah, ecco, qualcuno ha già risposto.
Fantastico! Grazie mille ad entrambi!
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo