Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.
Mozilla FirefoxMozilla Firefox est un navigateur web libre et disponible pour PC (Windows, macOS, Linux, BSD) et mobiles (Android, iOS), développé et distribué par la Mozilla Foundation depuis 2003, avec l'aide de milliers de bénévoles. L'entreprise Mozilla Corporation est créée en 2005 pour se charger du développement. Firefox a connu un succès croissant, dépassant de téléchargements en , devenant le principal concurrent d'Internet Explorer. En , Firefox devient le navigateur le plus utilisé en Europe devant Internet Explorer et Google Chrome.
Mozilla (communauté)thumb|Logotype de Mozilla. Mozilla est une communauté développant des logiciels libres sous la direction de la Fondation Mozilla. Elle développe et publie les produits Mozilla, tous libres d'accès et respectant le Manifeste Mozilla émis en 2007 par Mitchell Baker afin d'améliorer l'internet. Les logiciels sont entre autres le navigateur internet Firefox ordinateurs et mobiles, le logiciel de courrier Thunderbird, l'OS Firefox mobile et le gestionnaire de bugs Bugzilla.
Implication (logique)En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « ... implique ... », « ... seulement si ... » ou, de façon équivalente, « si ..., alors ... » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
Phrase conditionnelleEn syntaxe, on appelle phrase conditionnelle une phrase complexe contenant au moins une proposition subordonnée conditionnelle et sa proposition principale. La proposition conditionnelle est directement subordonnée au verbe de la principale. Cette subordonnée est en général définie comme exprimant la condition du remplissement ou du non-remplissement de laquelle dépend la réalisation ou non du procès du verbe principal. Certains auteurs ajoutent à cela que la proposition conditionnelle remplit la fonction d'un complément circonstanciel conditionnel.