on appelle proposition logique toute relation P qui est soit vraie soit fausse