Je me demandais s'il y avait un terme technique à une seconde partie à une hypothèse? Comme:Logique de programmation - Qu'est-ce qu'un bon terme universel pour une seconde partie d'une hypothèse?
(X & Y) → Z
Qu'est-ce qui Y être connu sous le nom? Ou qu'est-ce que l'on sait d'ailleurs? Certaines des options que j'ai envisagées d'utiliser sont "bit" et "quadrant" mais je ne crois pas que celles-ci soient correctes.
X et Y sont appelés valeurs de paramètres dans les mathématiques discrètes. L'énoncé "si X et Y puis Z" est appelé une proposition. Notez que si X n'est pas vrai, cela n'implique pas que Z n'est pas vrai.
Voir http://en.wikibooks.org/wiki/Discrete_Mathematics/Logic
Mais parfois, vous combiner des propositions avec etc Par exemple à partir du lien ci-dessus: p représente la proposition « Henri VIII avait six femmes ». q représente la proposition "La guerre civile anglaise a eu lieu au XIXe siècle".
est p ET q, vrai ou faux.
aussi son valide pour dire si p et q puis r
(on peut se demander si cela est une proposition vraie dans l'ensemble, en fonction de ce que les propositions p, q, r sont)
Ohh ouais, c'est droite! Merci! :-) – ModernDesigner
J'ai édité ma réponse un peu quand j'ai réalisé que la proposition est l'ensemble (X & Y) -> Z et les X, Y sont des paramètres. – user1888773
Oui, j'ai remarqué. :-D – ModernDesigner