Plan Type Rapport Avec Propositional Logic