1SM :1 notions de logique :2 fonction propositionnelle (ou prédicat)