La définition de Conditionnel
Conditionnel en logique
Conditionnel désigne l'un des connecteurs logiques. Le connecteur logique conditionnel lie deux propositions p et q dans une structure qui peut être exprimée en langage naturel par « si p alors q ». Cette structure exige que p et q soient simultanément vrais.
Ce connecteur n'est pas strictement élémentaire, il est équivalent à « non (p et non-q) » ou à « ou q ou non-p ». La structure abstraite qui correspond au conditionnel est l'implication. On trouve souvent des concrétisations du conditionnel dans ce qui est appelé plus volontiers des règles.