TD - Logique temporelle épistémique

La proposition a est vraie au moins une

Une formule qui d´ ecrit le comportement des boutons et voyants de zone : appuyer sur le bouton d’une zone allume (` a l’´ etat suivant) le voyant associ´ e et ´ eteint (ou laisse

Pour chacune des formules ci-dessous, donner deux mod` eles o` u la formule est vraie ou expliquer pourquoi il n’en existe pas.. Deux feux de croisements ne sont jamais au

On peut donc s’aider en utilisant des équi- valents ; en se demandant dans quels cas la formule est fausse, dans quels cas elle est vraie ; en dernier recours, en calculant la table

Pour chacun des ensembles de formules T suivants, complétez I de deux façons différentes afin qu’elle soit un modèle de

Pour chacun des ensemble de formules T suivants, complétez I de deux façons différentes afin qu’elle soit un modèle de

On suppose que chaque couleur correspond ` a une proposition atomique diff´ erente : rouge, vert, violet.. Figure 1 – Mod` eles pour

Aucune autre commande de caf´ e n’est accept´ ee entre l’acquittement de la somme due et l’enl` evement du gobelet.. Les feux s’allument toujours dans l’ordre vert, jaune,