Forum de Mathématiques: Maths-Forum

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 compren...

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 veu...

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 d...