Click Cours6_logique25_ETU.pdf link to view the file.