PrémisseUne prémisse est une proposition, une affirmation avancée en support à une conclusion. Le terme de prémisse vient du latin praemissa, sous-entendu sententia, proposition mise en avant, de prae, en avant, et mittere, envoyer. Dans un syllogisme, les deux premières prémisses s'appellent la majeure et la mineure. La prémisse est toujours avancée en support à la conclusion. Aristote a déclaré que tout argument logique pourrait être réduit à deux prémisses et une conclusion.
Valuation (logic)In logic and model theory, a valuation can be: In propositional logic, an assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables. In first-order logic and higher-order logics, a structure, (the interpretation) and the corresponding assignment of a truth value to each sentence in the language for that structure (the valuation proper). The interpretation must be a homomorphism, while valuation is simply a function.
ContingenceEn philosophie et épistémologie, la contingence caractérise ce qui peut être ou ne pas être, ou être autrement qu’il n’est. Elle est souvent opposée à la nécessité, qui caractérise des faits qui ne peuvent pas ne pas se produire. La contingence soutient que la réalité n'est pas déterminée par des facteurs préexistants ; elle implique une certaine indétermination ou hasard dans l'existence. En logique, la contingence est le statut des propositions qui ne sont ni toujours vraies, indépendamment de toute valeur de vérité (c'est-à-dire tautologiques), ni toujours fausses (c'est-à-dire contradictoires).
