Péchévignette|redresse=1.2|La Chute de l'homme par Lucas Cranach. En religion, un péché est une offense faite à Dieu ou à un dieu, et une transgression délibérée ou non de la loi divine. Le mot « péché » vient du latin peccatum, « faute, erreur », lui-même dérivé du verbe peccare, qui signifie au sens premier « broncher, faire un faux pas ». Selon les linguistes Alfred Ernout et Antoine Meillet, . L'origine de peccare semble donc inconnue. L'adjectif correspondant est peccamineux et a aussi donné impeccable.
Péché mortelLe péché mortel est une désobéissance à la loi de Dieu en matière grave, commise avec pleine advertance et consentement délibéré.[...] Le péché grave s’appelle mortel, parce qu’il prive l’âme de la grâce divine qui est sa vie, lui enlève les mérites et la capacité d’en acquérir de nouveaux, et la rend digne de la peine ou mort éternelle en enfer. Il s'enracine dans la Première épître de Jean où il est écrit (1 Jn 5,16) : .
Christian views on sinIn Christianity, 'sin' is an immoral act considered to be a transgression of divine law. The doctrine of sin is central to the Christian faith, since its basic message is about redemption in Christ. Hamartiology, a branch of Christian theology which is the study of sin, describes sin as an act of offence against God by despising his persons and Christian biblical law, and by injuring others. Christian hamartiology is closely related to concepts of natural law, moral theology and Christian ethics.
Péché contre l'EspritLe péché contre l'Esprit, quelquefois appelé blasphème contre le Saint-Esprit (grec: τοῦ Πνεύματος βλασφημία tou Pneumatos blasphēmia, latin : blasphemia Spiritus « blasphème de l’Esprit »), est un concept chrétien issu d'une citation de Jésus commune aux trois évangiles synoptiques : « Mais quiconque aura parlé contre l'Esprit saint, cela ne lui sera remis ni en ce monde, ni dans l'autre. » (Mt 12, 31–32), ainsi que d'autres passages du Nouveau Testament notamment Hébreux 6: 4–6, Hébreux 10: 25–31 et 1 Jean 5: 16.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Vérité logiqueLa vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies.
GravitationLa gravitation, l'une des quatre interactions fondamentales qui régissent l'Univers, est l' physique responsable de l'attraction des corps massifs. Elle se manifeste notamment par l'attraction terrestre qui nous retient au sol, la gravité, qui est responsable de plusieurs manifestations naturelles; les marées, l'orbite des planètes autour du Soleil, la sphéricité de la plupart des corps célestes en sont quelques exemples. D'une manière plus générale, la structure à grande échelle de l'Univers est déterminée par la gravitation.
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.
Déduction logiqueLa déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses.
Conjonction logiqueEn logique, la conjonction est une opération mise en œuvre par le connecteur binaire et. Le connecteur et est donc un opérateur binaire qui lie deux propositions pour en faire une autre. Si on admet chacune des deux propositions, alors on admettra la proposition qui en est la conjonction. En logique mathématique, le connecteur de conjonction est noté soit &, soit ∧. En théorie de la démonstration, plus particulièrement en calcul des séquents, la conjonction est régie par des règles d'introduction et des règles d'élimination.
Nom de domaineUn nom de domaine (NDD en notation abrégée française ou DN pour Domain Name en anglais) est, dans le système de noms de domaine DNS, un identifiant de domaine internet. Un domaine est un ensemble d'ordinateurs reliés à Internet et possédant une caractéristique commune. Par exemple, un domaine tel que .fr est l'ensemble des ordinateurs hébergeant des activités pour des personnes ou des organisations qui se sont enregistrées auprès de l'Association française pour le nommage Internet en coopération (AFNIC) qui est le registre responsable du domaine de premier niveau .
Disjonction logiqueLa disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux). Dans le langage logique ou mathématique, et dans les domaines techniques qui l'emploient, elle se traduit par le OU logique, un opérateur logique dans le calcul des propositions. La proposition obtenue en reliant deux propositions par cet opérateur s'appelle également leur disjonction ou leur somme logique.
CoûtUn coût est la mesure d'une consommation exprimée en valeur monétaire. On peut dire également que c'est la mesure de l'appauvrissement d'un agent économique, associé à un événement ou une action de nature économique. Les comptables définissent plus précisément le coût comme une somme de charges (la charge mesure une consommation), c'est-à-dire un calcul. Il est alors possible de calculer toutes sortes de coûts (coût de revient, coût de production, coût marginal, etc.).
Gravité quantiqueLa gravité quantique est une branche de la physique théorique tentant d'unifier la mécanique quantique et la relativité générale. Une telle théorie permettrait notamment de comprendre les phénomènes impliquant de grandes quantités de matière ou d'énergie sur de petites dimensions spatiales, tels que les trous noirs ou l'origine de l'Univers. L'approche générale utilisée pour obtenir une théorie de la gravité quantique est, présumant que la théorie sous-jacente doit être simple et élégante, d'examiner les symétries et indices permettant de combiner mécanique quantique et la relativité générale en une théorie globale unifiée.
Domaine de premier niveauUn domaine de premier niveau ou un domaine de tête (top-level domain, ou TLD), aussi appelé une extension, est, dans le système de noms de domaine internet, un sous-domaine de la racine. Dans un nom de domaine, le domaine de premier niveau est généralement le dernier élément du nom de domaine (exemple : dans , le domaine de premier niveau est ). vignette|Exemples de domaines de premier niveau. Le dernier point est optionnel. À l'origine, il indiquait la fin du nom de domaine. Par simplicité, l'usage courant est de ne plus l'indiquer.
Logical formIn logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
Coût marginalLe coût marginal est le coût induit par une variation de l'activité. Pour les économistes, cette variation peut être infinitésimale, et le coût marginal est alors la dérivée de la fonction de coût. Pour les comptables, le coût marginal est défini comme la variation du coût engendrée par la production ou la vente d'une unité supplémentaire (ce qui est plus concret qu'un calcul de dérivée). Dans la réalité du monde de l'entreprise, la variation d'activité correspond généralement à une commande supplémentaire (qui peut donc porter sur un lot de plusieurs produits).
Logical equalityLogical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It gives the functional value true if both functional arguments have the same logical value, and false if they are different.
Cost curveIn economics, a cost curve is a graph of the costs of production as a function of total quantity produced. In a free market economy, productively efficient firms optimize their production process by minimizing cost consistent with each possible level of production, and the result is a cost curve. Profit-maximizing firms use cost curves to decide output quantities. There are various types of cost curves, all related to each other, including total and average cost curves; marginal ("for each additional unit") cost curves, which are equal to the differential of the total cost curves; and variable cost curves.
Registraire de nom de domaineUn registraire de nom de domaine ou bureau d'enregistrement est une société ou une association gérant la réservation de noms de domaine Internet, dans les domaines de premier niveau où il n'y a pas de vente directe pour le registre de noms de domaine. Le registraire est en contact direct avec le client final. Il s'est inscrit auprès des divers registres de noms de domaine en fonction des extensions qu'il souhaite commercialiser (il paye pour cela une redevance annuelle).
