Formule propositionnelleEn logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée.
Résumé automatique de texteUn résumé est une forme de compression textuelle avec perte d'information. Un résumé automatique de texte est une version condensée d'un document textuel, obtenu au moyen de techniques informatiques. La forme la plus connue et la plus visible des condensés de textes est le résumé, représentation abrégée et exacte du contenu d'un document. Cependant, produire un résumé pertinent et de qualité demande au résumeur (un humain ou un système automatique) l'effort de sélectionner, d'évaluer, d'organiser et d'assembler des segments d'information selon leur pertinence.
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.
Logique intuitionnisteLa logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste.
Tissu conjonctifvignette|Section de l'épididyme. Le tissu conjonctif (en bleu) soutenant l'épithélium (en violet). Le tissu conjonctif (TC) est l'un des quatre types de tissus biologiques du règne animal qui soutient, lie, ou distingue différents types de tissus et d'organes du corps. Il tient son origine dans le mésoderme, au moment de la gastrulation, lors du développement embryonnaire. Les trois autres types de tissus sont l'épithélium, le tissu musculaire et le tissu nerveux.
PerformativitéLa performativité est le fait, pour un signe linguistique (énoncé, phrase, verbe, etc.) de réaliser lui-même ce qu'il énonce ; on dit alors que le signe est « performatif ». Le fait d'utiliser un de ces signes fait advenir une réalité. Par exemple, lors du jugement d’un accusé, la sentence décidée par le juge déterminera l’avenir de l’individu ; il deviendra soit « coupable », soit « innocent », la sentence sera donc « performative », les deux mots ayant un impact considérable sur l’identité de l’interlocuteur.
Loose connective tissueLoose connective tissue, also known as areolar tissue, is a cellular connective tissue with thin and relatively sparse collagen fibers. Its ground substance occupies more volume than the fibers do. It has a viscous to gel-like consistency and plays an important role in the diffusion of oxygen and nutrients from the capillaries that course through this connective tissue as well as in the diffusion of carbon dioxide and metabolic wastes back to the vessels.
PerformativityPerformativity is the concept that language can function as a form of social action and have the effect of change. The concept has multiple applications in diverse fields such as anthropology, social and cultural geography, economics, gender studies (social construction of gender), law, linguistics, performance studies, history, management studies and philosophy. The concept is first described by philosopher of language John L. Austin when he referred to a specific capacity: the capacity of speech and communication to act or to consummate an action.
