Le professeur va nous expliquer les connecteurs logiques. À partir de deux insertions P et Q, on va en fabriquer de nouvelles et pour en fabriquer de nouvelles, il nous faut des connecteurs logiques. On va céder donc les connecteurs logiques, (conjonction) qui va être « et », « ou » pour la (disjonction), ce symbole « => » pour (l’explication) et ce symbole »<=> » pour (l’équivalence logique).
- Notion d’assertion et négation
- Tautologies