1,2 Il s'agit d'un outil utilisé pour simplifier des relations complexes entre les diverses composantes et qui peut être utilisé pendant la planification, la mise en œuvre et l'évaluation d'un programme.
Les connecteurs logiques usuels sont : non, et, ou, ⇒ et ⇔.
Ils permettent de créer, à partir d'une (ou deux) proposition(s), un nouvelle proposition dont la valeur de vérité dépend des valeurs de vérité de la (ou des) propostion(s) la constituant.
Raisonnement.inductif.Raisonnement.déductif.Réfutation à l'aide d'un.contre-exemple.