BAC-PRO-MAJ-AVRIL-2021-1.pdf - Académie de Créteil
Exercice 4.4 (corrigé page 237) Prouver que {(¬G ? G)} ? G, pour toute formule G. Exercice 4.5 (corrigé page 237) Prouver que si l'on a à la fois T ?{F} ...
Exercice 4.4 (corrigé page 237) Prouver que {(¬G ? G)} ? G, pour toute formule G. Exercice 4.5 (corrigé page 237) Prouver que si l'on a à la fois T ?{F} ...