Logique propositionelle (Modèles)

[dawn]

Bonjour,
Je suis entrain de commencer un cours de logique propositionnelle, et j'ai vraiment du mal avec les modèles. Ce que j'ai compris (et c'est peut être faux !), c'est qu'un modèle est une fonction qui permet de savoir si une formule est juste ou non. Est ce bien ça? Si oui, alors je ne comprends pas comment définir les modèles de, par exemple, (p ou q) appartenant à v(L) l'ensemble des formules de L.
Quelqu'un peut il m'aider?
Merci d'avance
Dawn