Démos de la methode des Tableaux pour la satisfaction d'une formule modale K
Syntaxe :
Conjonction : &
Disjunction : |
Implication : ->
Negation : -
Necessité : []
Exemple : [](p & q) -> []p & []q
TABLEAUX pour la logique modale K
Rentrez votre formule (max 200 caractères)