Règle d'inférenceDans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes. Une règle d'inférence est une fonction qui prend un -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
Système axiomatiqueEn mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes. Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. Un système axiomatique complet est un type particulier de système formel. Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la théorie des modèles. Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.
Clé artificielleDans le domaine des bases de données, une clé artificielle (en opposition à une clé naturelle), aussi parfois appelée clé de remplacement (de l'anglais surrogate key) désigne un ensemble de données adjointes aux données d'une table pour les indexer. La génération de la clé artificielle est effectuée par le concepteur de la table. Toute clé indexant chaque ligne de manière unique est valable. Parmi les méthodes de génération courantes de clé artificielle nous pouvons citer les clés incrémentales (les lignes sont numérotées au fur et à mesure de leur introduction dans la table).
TautologieLa tautologie (du grec ancien ταὐτολογία, composé de ταὐτό, « la même chose », et λέγω, « dire » : le fait de redire la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie. La tautologie est apparentée au truisme (ou lapalissade) et au pléonasme. En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel. On utilise aussi l'adjectif tautologique en mathématiques pour désigner des structures qui émergent naturellement de la définition de certains objets.
Conséquent (logique)Un conséquent est la seconde moitié d'une proposition hypothétique. Dans la forme standard d'une telle proposition, il est la partie qui suit « alors ». Dans une implication, si implique alors est appelé l'antécédent et est appelé le conséquent. Par exemple : Si P, alors Q. Q est le conséquent de cette proposition. Si X est un mammifère, alors X est un animal. Ici, « X est un animal » est le conséquent. Si les ordinateurs peuvent penser, alors ils sont en vie. — « ils sont en vie » est le conséquent.
Interprétation (logique)En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
Clé naturelleDans le domaine des bases de données, une clé naturelle est une clé (en général clé primaire) choisie parmi les clés candidates pour indexer une base. Les clés naturelles sont basées sur les données réelles comprises dans la base de données. Les clés naturelles sont la plupart du temps intuitives, par exemple pour indexer une table de données relative à des personnes, une clé naturelle pourrait être composée des champs nom/prénom. La clé naturelle est dépendante des données réelles ce qui peut poser plusieurs problème.
Chouette rayéeLa Chouette rayée (Strix varia) est une espèce de rapace nocturne appartenant à la famille des Strigidae. thumb|left|Gros plan sur une Chouette rayée à Richmond, en Virginie. L'adulte mesure 44 cm de longueur avec une envergure de 112 cm. Il a un visage pâle avec des anneaux foncés autour des yeux, un bec jaune et les yeux bruns. C'est la seule chouette typique de l'est des États-Unis qui ait les yeux bruns, toutes les autres ayant les yeux jaunes. La tête est ronde et n'a pas d'oreilles touffes, contrairement au hibou des marais.
Table de véritéUne table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Affirmation du conséquentNOTOC L'affirmation du conséquent est un sophisme formel par lequel on considère une condition suffisante comme une condition nécessaire. On traite alors une implication logique comme si elle était une équivalence logique. En langage naturel, l'affirmation du conséquent s'exprime : Si P alors Q Q Donc, P Le conséquent Q de l'énoncé conditionnel Si P alors Q peut être réalisé même si l'antécédent P ne l'est pas. On nomme ainsi ce sophisme « affirmation du conséquent », car il consiste à affirmer que le conséquent est réalisé pour en inférer que son antécédent l'est aussi.
