Utilisation correcte des symboles d'équivalence logique

[ComeDuRondeau]

Salut à tous,

J'ai un peu de mal à déterminer quand je dois utiliser les symboles et . Par exemple, doit-on écrire ou ?
J'ai l'impression qu'on écrit lorsque la proposition est une tautologie (toujours vraie quelle que soit la proposition ). Je ne trouve pas vraiment de sources qui confirment ce que je pense et je vois certains auteurs n'utiliser que dans certains cours de logique.

Merci d'avance pour tout renseignement, source, éclaircissement .