Validité (logique)En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis. La forme d'une argumentation déductive est dite valide si et seulement si elle utilise des règles d’inférence par lesquelles il est impossible d’obtenir une conclusion fausse à partir de prémisses vraies. Un argument est valide si et seulement si la vérité de ses prémisses entraîne celle de sa conclusion. Il serait contradictoire d'affirmer les prémisses et de nier la conclusion.
Schéma d'axiomesEn logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome. Un schéma d’axiomes est une formule exprimée dans le métalangage d'un système axiomatique, dans lequel une ou plusieurs métavariables apparaissent. Ces variables, qui sont des constructions métalinguistiques, représentent n'importe quel terme ou sous-formule du système logique, qui peut être (ou ne pas être) tenu de satisfaire certaines conditions. Souvent, de telles conditions exigent que certaines des variables soient libres, ou que certaines variables n'apparaissent pas dans la sous-formule ou le terme.
Column (database)In a relational database, a column is a set of data values of a particular type, one value for each row of the database. A column may contain text values, numbers, or even pointers to files in the operating system. Columns typically contain simple types, though some relational database systems allow columns to contain more complex data types, such as whole documents, images, or even video clips. A column can also be called an attribute. Each row would provide a data value for each column and would then be understood as a single structured data value.
Philosophie de la logiqueLa philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
Clause de HornEn logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un littéral positif. Il existe donc trois types de clauses de Horn : celles qui comportent un littéral positif et au moins un littéral négatif, appelées clauses de Horn strictes ; celles qui comportent un littéral positif et aucun littéral négatif, appelées clauses de Horn positives ; celles qui ne comportent que des littéraux négatifs, appelées clauses de Horn négatives.
Modus tollensEn logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P.
SequentIn mathematical logic, a sequent is a very general kind of conditional assertion. A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.
Vue (base de données)Une vue dans une base de données est une synthèse d'une requête d'interrogation de la base. On peut la voir comme une table virtuelle, définie par une requête. Les avantages des vues sont : d'éviter de taper une requête très longue : la vue sert à donner un nom à la requête pour l'utiliser souvent, de masquer certaines données à certains utilisateurs. En SQL, les protections d'une vue ne sont pas forcément les mêmes que celles des tables sous-jacentes. Les vues ne sont pas forcément purement virtuelles.
Antécédent (logique)Un antécédent est la première moitié d'une proposition hypothétique, lorsque la clause-si précède la clause-alors. Par exemple: si P, alors Q. C'est une formulation non logique d'une proposition hypothétique. Ici, l’antécédent est P,et le conséquent est Q. Dans une implication, si implique alors est appelé l'antécédent et est appelé le conséquent. SI X est un homme, alors X est mortel. "X est un homme" est l'antécédent de cette proposition. Si un homme a marché sur la lune, alors je suis le roi de France.
Clause (logique)Une clause en logique booléenne est une conjonction ou une disjonction de littéraux. On parle respectivement de clause conjonctive et de clause disjonctive. Sans précision c'est le plus souvent la clause disjonctive qui est sous-entendue. En calcul propositionnel, une clause conjonctive est de la forme : tandis qu'une clause disjonctive est de la forme : où les li sont des littéraux, c'est-à-dire des atomes ou des négations d'atomes. La clause disjonctive vide, c'est-à-dire la disjonction de 0 littéraux, s'évalue toujours à faux.
