Bonjour à tous !
Je suis un élève en 2ème année de prépa intégrée dans une école d'ingénieur.

Ma prof de DAI (Domaine d'Application de l'Informatique) a récemment introduit la notion de "modèles" dans le cadre de son cours de logique propositionnelle, mais je ne crois pas avoir bien saisi la notion, même après relecture de mes notes...

Voilà ce que j'ai compris :
- par exemple, si on souhaite déterminer les modèles de la formule P -> Q.
- je commence par établir une table de vérité, et je regarde quand es ce que P -> Q est vrai.
- j'en déduis que P -> Q est vrai 3 fois, donc il y a 3 modèles pour cette formule...? Es-ce correct ?

Merci à ceux qui prendront le temps de me répondre