Logique propositionelle

[dawn]

bonjour à tous,
je suis en troisième année d'informatique, et au programme il y a de la logique propositionelle, c'est là que je coince :mur: (dès le début d'ailleurs (honte à moi :marteau: !!) avec les modèles).
Est ce que quelqu'un pourrais me conseiller un bon livre dessus, je cherche également des exercices corrigés.
Merci d'avance.
bye
Dawn

[Nightmare]

Bonjour :happy3:

Qu'est-ce que tu ne comprends pas dans ce cours?

[dawn]

J'ai du mal à comprendre ce qu'est un L-modèle. (L étant un langage propositionel)
A ce que j'ai compris, c'est une fonction qui va de v(L) dans un autre ensemble contenant {vrai, faux}.
Je suppose donc que ça sert à savoir si une formule et vraie ou fausse.
Est-ce bien ça?
Mais qu'est ce que ça veut dire quand il y a deux formules de part et d'autre du symbole, signifiant que c'est un modèle. Une formule peut être un modèle d'une autre formule?
voilou !
Dawn
PS: comment fait-on pour écrire des formules dans les messages?