OpenLLM-France/wikimedia huggingface dataset:
# Ur Apalategi

Ur Apalategi Idirin, né le 28 décembre 1972 à Paris, est un philologue, professeur, éditeur et écrivain basque français de langue basque. Il fait partie de cette jeune génération d'écrivains du Pays basque français « produits » par les ikastola même s'il ne veut pas « envisager l'écriture comme un travail, mais plutôt comme quelque chose qui vient déchirer le rideau du réel ».

## Biographie

Diplômé en droit, Ur Apalategi obtient un doctorat en philologie basque avec la thèse Évolution de la problématique littéraire de Bernardo Atxaga : du champ littéraire basque au champ littéraire universel. Il recevra la note la plus élevée cum laude.
Professeur à l'université de Bayonne depuis 1998, Ur Apalategi travaille dans divers projets de recherche et de laboratoires, à la fois au Pays basque (Centre de recherche sur la langue et les textes basques) et dans les arènes internationales. Ur Apalategi a également écrit des critiques et des articles dans des magazines et journaux tels que Maiatz, Egan, Hegats, Uztaro, Euskaldunon Egunkaria, Argia ou Gara.
Il publie son premier article en 1995 sur le critique littéraire et sémiologue français Roland Barthes, dans la revue Maiatz. Et la même année, il écrit d'un recueil de poèmes antipoétiques intitulé Guneak Erdi, co-écrit avec Unai Goieaskoetxea Arronategi. C'est un manifeste négatif, dans lequel l'auteur tente de définir le type d'écrivain qu'il ne veut pas être.
En 1997, il publie le roman Gauak eta hiriak, dont l'action se situe dans le milieu des étudiants basques de Bordeaux et pour lequel il reçoit le prix Beterriko liburua. En 2011, il sera récompensé du prix des lecteurs une seconde fois pour son livre Fikzioaren Izterrak. Ce livre recevra le prestigieux prix Euskadi la même année.
En 1999, Ur Apalategi publie à Paris La Naissance de l'écrivain basque, basé sur sa thèse de doctorat. En 2001, Las relaciones imperfectas (Hiru) est édité. C'est la traduction du roman Gauak eta hiriak. En 2002, il crée la maison d'édition Utriusque Vasconiae collection « Kritika literarioa » de la critique littéraire, qui a publié une vingtaine de titres. Il est responsable de la section littéraire à partir de 2004. L'aventure éditoriale prend fin en 2018.
Malgré de nombreux obstacles et controverses, Ur Apalategi publie en 2004 son deuxième roman Gure Gauzak S.A.. Basé sur un thriller, le livre fait une critique à peine voilée des grandes manœuvres de certaines maisons d'édition locales quasi monopolistiques qui instrumentalisent sans vergogne autant la littérature que les auteurs. En 2005, il publie Belaunaldi literarioak auzitan (Utriusque Vasconiae).
En 2009, Ur Apalategi présente une recherche intitulée Saizarbitoriaren bigarren idazlealdia. Sistema literarioaren birkonkista 1995-1996 où il poursuit le travail déjà fait sur Atxaga, suivant le même point de vue systémique. En 2013 en résulte la publication, toujours à Paris chez l'Harmattan, de Ramon Saizarbitoria: l'autre écrivain basque.
Il est membre correspondant d'Euskaltzaindia, l'Académie de la langue basque.
# Unterseeboot 164 (1941)

Le Unterseeboot 164 (ou U-164) est un sous-marin allemand (U-Boot) de type IX.C utilisé par la Kriegsmarine pendant la Seconde Guerre mondiale.

## Historique

Mis en service le 28 novembre 1941, l'Unterseeboot 164 reçoit sa formation de base à Stettin en Pologne au sein de la 4. Unterseebootsflottille jusqu'au 31 juillet 1942, il rejoint sa flottille de combat à Lorient en France dans la 10. Unterseebootsflottille.
Il quitte le port de Kiel pour sa première patrouille le 18 juillet 1942 sous les ordres du korvettenkapitän Otto Fechner. Après douze jours en mer et un palmarès de deux navires marchands pour un total de 5 525 tonneaux, il rejoint la base sous-marine de Lorient qu'il atteint le 7 octobre 1942.
L'Unterseeboot 164 a effectué trois patrouilles dans lesquelles il a coulé trois navires marchands pour un total de 8 133 tonneaux au cours de ses 121 jours en mer.
Sa deuxième patrouille part du port de Lorient le 29 novembre 1942 toujours sous les ordres du Korvettenkapitän Otto Fechner. Après 39 jours en mer et un palmarès d'un navire marchand coulé de 2 608 tonneaux, l'U-164 est coulé à son tour le 6 janvier 1943 dans l'Atlantique sud au nord-ouest du Pernambouc au Brésil à la position géographique de 1° 58′ S, 39° 22′ O par des charges de profondeur lancées par un hydravion américain Consolidated PBY Catalina de l'escadron VP-83/P-2.
Cinquante-quatre membres de l'équipage sont tués lors de cette attaque, il y a deux survivants.

## Affectations successives

* 4. Unterseebootsflottille du 28 novembre 1941 au 31 juillet 1942 (entrainement)
* 10. Unterseebootsflottille du 1er août 1942 au 6 janvier 1943 (service actif)

## Commandement

* korvettenkapitän Otto Fechner du 28 novembre 1941 au 6 janvier 1943

## Patrouilles

| | Commandant | Départ | Départ | Arrivée | Arrivée | Jours | Succès |
| 1 | KrvKpt. Otto Fechner | 18 juillet 1942 | Kiel | 7 octobre 1942 | Lorient | 12 jours | 5 525 |
| 2 | KrvKpt. Otto Fechner | 29 novembre 1942 | Lorient | 6 janvier 1943 | Coulé | 39 jours | 2 608 |
| Total | Total | Total | Total | Total | Total | 121 jours | 8 133 t |
Note : KrvKpt. = Korvettenkapitän

## Navires coulés

L'Unterseeboot 164 a coulé trois navires marchands pour un total de 8 133 tonneaux au cours des deux patrouilles (121 jours en mer) qu'il effectua.
| Date | Nom | Nationalité | Tonnage (GRT) | Fait |
| 25 août 1942 | Stad Amsterdam | Pays-Bas | 3 780 | Coulé |
| 6 septembre 1942 | John A. Holloway | Canada | 1 745 | Coulé |
| 1er janvier 1943 | Brageland | Suède | 2 608 | Coulé |
# Université autonome de San Luis Potosí

L'université autonome de San Luis Potosí (UASLP) est la plus grande université de l'État de San Luis Potosí (Mexique) et la première université autonome au Mexique (1923). La UASLP a été institué le 1er août 1859.
L'université est reconnue comme l'une des meilleures institutions d'enseignement supérieur du pays. En 2009, elle obtient pour la cinquième occasion le prix à l'excellence.
# Université d'éducation d'Aichi

L'université d'éducation d'Aichi (愛知教育大学, Aichi kyōiku daigaku, couramment abrégée en Aikyōdai, 愛教大) est une université nationale japonaise, située à Kariya dans la préfecture d'Aichi.

## Histoire

L'université est créée en 1943 par la fusion de plusieurs structures antérieures. En 1970, toutes les composantes sont réunies à Kariya. Elle est élevée au rang d'université nationale à la suite de la réforme du système universitaire public au Japon en 1949.

## Composantes

L'université est structurée en faculté de 1er cycle (学部, gakubu), qui a la charge des étudiants de 1er cycle universitaire, et en faculté de cycles supérieurs (研究科, kenkyūka), qui a la charge des étudiants de 2e et 3e cycle universitaire.

### Facultés de 1er cycle

L'université compte une faculté de 1er cycle (学部, gakubu).
* Faculté d'éducation

### Facultés de cycles supérieur

L'université compte une faculté de cycles supérieurs (研究科, kenkyūka).
* Faculté d'éducation
# Untersee

L'Untersee, littéralement en allemand « lac inférieur », est le plus petit des deux lacs qui composent le lac de Constance.

## Géographie

Le qualificatif de « inférieur » lui vient du fait qu'il se trouve vers l'aval du Rhin qui l'alimente par rapport à l'Obersee, l'autre partie du lac de Constance dont il est séparé par une portion du fleuve, le Seerhein, qui traverse la ville de Constance.

### Parties

L'Untersee est lui-même composé de plusieurs parties, délimitées par des presqu'îles ou par l'île de Reichenau : le Zeller See, le Gnadensee, le Rheinsee et le Markelfinger Winkel.

### Dimensions

Le lac a une superficie de 62 km$^2$ et un volume de 0,8 km$^3$. Sa profondeur maximale est de 40 m et sa profondeur moyenne de 13 m. À l'altitude de 395,33 m, son périmètre est de 87 km.

### Rives

L'Untersee marque la frontière entre l'Allemagne (Bade-Wurtemberg) et la Suisse (canton de Thurgovie et canton de Schaffhouse). Les villes principales bâties sur ses rives sont : Stein am Rhein et Steckborn du côté suisse, et Radolfzell en Allemagne.
# VMM-364

364e Escadron d'hélicoptère de transport (USMC)
Le Marine Medium Tiltrotor Squadron 364 (ou VMM-364) est un escadron d'hélicoptère à rotors basculants MV-22 Osprey du Corps des Marines des États-Unis. L'escadron, connu sous le nom de "Purple Foxes" est stationné à la Marine Corps Air Station Camp Pendleton en Californie et fait partie du Marine Aircraft Group 39 (MAG-39) et de la 3rd Marine Aircraft Wing (3rd MAW).
Activé en 1961, le HML-364 a été redésigné HMM-364 le 1er février 1962. Il a été désactivé le 22 mars 1971. L'escadron a été réactivé en tant que HMM-364 le 28 septembre 1984 et redésigné HMM-364 le 9 octobre 2014.

## Mission

Le VMM-364 fournit un soutien d'assaut aux troupes de combat, des fournitures et l'équipement pendant les opérations amphibies et les opérations ultérieures à terre. De manière routinière, les escadrons VMM fournissent la base d'un élément de combat aérien (ACE) de n'importe quelle mission de la Force tactique terrestre et aérienne des Marines (MAGTF) qui peut inclure des tâches de soutien d'assaut conventionnel et des opérations spéciales ainsi que la récupération de personnel ou l'évacuation de non-combattants.

## Historique
### Origine

Le Marine Helicopter Squadron 364 (HMR-364) a été créé le 1er septembre 1961 au Marine Corps Air Facility de Santa Ana (en), en Californie, dans le cadre du Marine Aircraft Group 36 (MAG-36). En novembre 1961, il reçut son premier hélicoptère Sikorsky H-34 et en février 1962, la désignation de l'escadron fut changée en Marine Medium Helicopter Squadron 364 (HMM-364).
Le VMM-364 a été actif dans :
* 1962 - Opération Dominic ; soutien des essais nucléaires au milieu du Pacifique opérant depuis l'USS Iwo Jima (LPH-2) (17 avril au 10 août) et depuis l'USS Princeton (CV-37) (30 août au 14 novembre).
* Guerre du Vietnam : Opération Quyet Thang 202 (1964), Opération Harvest Moon (en) (1965), Opération Utah (1966), Bataille de Khe Sanh (1968), Bataille de Huế (1968), Opération Taylor Common (en) (1969)
* 1990 - Opération Bouclier du désert
* 1991 - Opération Tempête du désert
* 1998 - Opération Southern Watch
* 2007 - Opération Iraqi Freedom
# Upstairs at Eric's

Upstairs at Eric's est le premier album du groupe Yazoo sorti le 23 août 1982. On y trouve les plus gros tubes du groupe Don't Go, Situation et Only You.

## Liste des titres

* Sur l'édition nord américaine, Tuesday est remplacé par Situation (chanson figurant à l'origine en face B du single Only You) en version longue remixée par François Kevorkian.
* La réédition au format CD en 1986 reprend la même liste que ci-dessus plus les versions longues de Situation et de The Other Side of Love, chanson sortie en single après l'album en novembre 1982.

## Classements hebdomadaires

| Classement (1982-1983) | Meilleure position |
| Allemagne (Media Control AG) | 14 |
| Australie (ARIA) | 10 |
| Canada (Canadian Albums Chart) | 49 |
| États-Unis (Billboard 200) | 92 |
| Nouvelle-Zélande (RIANZ) | 9 |
| Pays-Bas (Mega Album Top 100) | 9 |
| Royaume-Uni (UK Albums Chart) | 2 |
| Suède (Sverigetopplistan) | 11 |

## Certifications

| Pays | Certification |
| Royaume-Uni (BPI) | Platine |
| États-Unis (RIAA) | Platine |
# Upstream Activator Sequence

Les Upstream Activator Sequences sont des séquences d'ADN présentes dans les levures. Elles sont analogues aux enhancers des eucaryotes supérieur mais ne fonctionnent pas quand elles sont en aval du Promoteur.

## Rôle

Les Upstream Activator Sequences sont des séquences, de l'ADN des levures, présentes en amont d'un gène. Elles sont distinctes du promoteur et augmentent l'expression d'un gène voisin. En raison de son rôle essentiel dans l'activation de la Transcription (biologie), la séquence d'activation en amont est souvent considérée comme analogue à la fonction de l'amplificateur chez les eucaryotes multicellulaires. Les séquences d'activation en amont sont un élément crucial de l'induction, améliorant l'expression de la protéine d'intérêt grâce à une activité transcriptionnelle accrue.
# Valgejõgi

La Valgejõgi (rivière blanche) est un fleuve d'Estonie.

## Description

Il prend sa source dans le lac Porkuni à Pandivere dans le comté de Lääne-Viru et se jette dans la baie de Hara du golfe de Finlande à Loksa dans le comté de Harju. D'une longueur de 85 kilomètres, il arrose Tapa avant de se jeter dans la baie de Hara. Son bassin versant a une superficie de 452 km$^2$.

## Galerie

* Le Valgejõgi à tapa.
* Chutes de Nõmmeveski.
* Le Valgejõgi à Loksa.
# Matthew Wells

* Matthew Wells (1978-), hockeyeur sur gazon australien, champion olympique en 2004 ;
* Matthew Wells (1979-), rameur britannique.
# Indicatif régional 510

L'indicatif régional 510 est l'un des multiples indicatifs téléphoniques régionaux de l'État de Californie aux États-Unis.
Cet indicatif dessert les villes de Oakland, Fremont, Hayward, Berkeley et Richmond.
La carte ci-contre indique en rouge le territoire couvert par l'indicatif 510.
L'indicatif régional 510 fait partie du Plan de numérotation nord-américain.
# Place Flora-Tristan

La place Flora-Tristan est une voie située dans le quartier de Plaisance du 14e arrondissement de Paris.

## Situation et accès

La place Flora-Tristan est desservie à proximité la ligne 13 à la station Pernety.

## Origine du nom

Cette place doit son nom à l'écrivaine et militante féministe Flora Tristan (1803-1844).

## Historique

La place est créée et prend sa dénomination actuelle le 31 octobre 2003.
# Emmi Mäkelin

Emmi Mäkelin, née le 1er avril 1874 à Lappi (grand-duché de Finlande, Empire russe) et morte le 6 août 1962 à Jyväskylä (Finlande), est une femme politique finlandaise membre du Parti socialiste des travailleurs de Finlande (SSTP). Elle est députée entre 1922 et 1923.

## Biographie

Emma Serafia Mäkelin est la fille de Karl Fredrik Lindeman, contremaître en construction. Elle suit des études secondaires et devient sage-femme certifiée en 1904. Elle travaille dans la ville de Kuopio de 1904 à 1931$^,$.
Après l'indépendance de la Finlande vis-à-vis de la Russie en 1917, Emmi Mäkelin s'engage en politique. Elle rejoint le Parti socialiste des travailleurs de Finlande (SSTP) et est élue au conseil municipal de Kuopio en 1918$^,$. Elle est également membre de l'Union des femmes sociales-démocrates de Finlande (fi) ; elle quitte l'organisation en 1920 à la suite d'une scission entre les communistes et les sociaux-démocrates$^,$. Lors des élections législatives de 1922 (en), Emmi Mäkelin est élue députée, représentant la partie occidentale de la province de Kuopio$^,$. Elle est l'une des six femmes députées du SSTP, la plus instruite et la plus âgée du groupe.
Plus tard en 1922, Emmi Mäkelin fait partie d'un groupe de 25 députés communistes qui proposent la création d'une République socialiste soviétique finlandaise. Elle est arrêtée en août 1923 lors d'une répression contre les communistes. Elle est libérée l'année suivante$^,$. En octobre 1923, alors qu'elle est emprisonnée, elle est expulsée du Parlement. Elle continue de travailler comme sage-femme après s'être retirée de la vie politique. Elle meurt en 1962 à Jyväskylä.

## Vie privée

En 1901, elle épouse Antti Mäkelin (fi), député (1907-1909 puis 1917-1918), avec qui elle a trois enfants.
# Boulevard Montmartre, Mardi Gras

Boulevard Montmartre, Mardi Gras (Paris) est un tableau réalisé par Camille Pissarro en 1897. Il est conservé au Musée Hammer, de Los Angeles (Californie). Cette œuvre fait partie d'une série de quatorze peintures représentant différentes périodes de la journée et saisons du Boulevard Montmartre.
# IlianA

IlianA est un groupe belge de musique folk fondé en 2009.

## Historique

Le groupe IlianA s'est d'abord fait connaître sur la scène médiévale et folk alternative belge et néerlandaise. Il se produit dans de nombreux festivals, événements chamaniques et fêtes privées. Le groupe utilise des flûtes, des percussions, de la guitare, du violon, et a intégré récemment le son d'un didgeridoo avec la venue de Luka Aubri-Krieger (ancien membre d'Omnia). Sa musique trouve sa source d'inspiration dans les forêts d'Ardenne, de l'Irlande, des fjords nordiques, ou encore des déserts du Sud.

## Membres

* Lucile Dethy : chant, flûtes, bodhran, darabuka
* Dominic Marchal : guitare
* Stéphan Késenne : violon, chant
* Louis Aubri-Krieger : didgeridoo, chant
* Michel Rozek : percussions
# Innocent Egbunike

Innocent Egbunike, né le 30 novembre 1961, est un athlète nigérian, pratiquant le sprint.

## Palmarès
### Jeux olympiques d'été

* Jeux olympiques d'été de 1984 à Los Angeles ( États-Unis)
** 7e sur 400 m
** Médaille de bronze en relais 4 × 400 m
* Jeux olympiques d'été de 1988 à Séoul ( Corée du Sud)
** 5e sur 400 m
** 7e en relais 4 × 400 m

### Championnats du monde d'athlétisme

* Championnats du monde de 1987 à Rome ( Italie)
** Médaille d'argent sur 400 m

### Jeux africains

* Jeux africains de 1987 à Nairobi.
** Médaille d'or sur 400 m
** Médaille d'or sur 4 x 400 m

### Championnats d'Afrique d'athlétisme

* Championnats d'Afrique d'athlétisme 1984 à Rabat.
** Médaille d'or sur 200 m
* Championnats d'Afrique d'athlétisme 1985 au Caire.
** Médaille d'or sur 400 m
** Médaille d'argent du 200 mètres.
** Médaille d'argent du 4 x 400 mètres.
* Championnats d'Afrique d'athlétisme 1988 à Lagos.
** Médaille d'or sur 200 m

## Records personnels

* 100 mètres - 10 s 15 (1984)
* 200 mètres - 20 s 42 (1983)
* 400 mètres - 44 s 17 (1987) (ancien record d'Afrique)
* 800 mètres - 1 min 51 s 10 (1986)
# Impasse Louise-Émilie-de-La-Tour-d'Auvergne

L'impasse Louise-Émilie-de-La-Tour-d'Auvergne est une voie située dans le quartier de Rochechouart du 9e arrondissement de Paris.

## Situation et accès

L'impasse Louise-Émilie-de-La-Tour-d'Auvergne est desservie à proximité par la ligne 12 à la station Saint-Georges.

## Origine du nom

Elle porte le nom de l'une des abbesses de l'abbaye de Montmartre, Louise-Émilie de La Tour d'Auvergne (1667-1737), en raison de sa proximité avec la rue éponyme.

## Historique

La voie est ouverte en 1896 sous la dénomination « impasse de la Tour-d'Auvergne ».
Par délibérations n$^o$ 168 du Conseil de Paris, en date des 1er, 2, 3 et 4 octobre 2019, l'impasse de La Tour-d'Auvergne devient l'« impasse Louise-Émilie-de-La-Tour-d'Auvergne », dans le cadre de la mise en valeur des voies parisiennes portant un nom de femme$^,$.
# Industrie pharmaceutique dans le Centre-Val de Loire

La région Centre-Val de Loire se situe au 1er rang national pour la production de médicaments, au 3e rang pour les effectifs et le nombre d’établissements.
Deux médicaments sur cinq sont fabriqués en région Centre-Val de Loire. La production annuelle régionale est d’environ 1,5 milliard de boîtes de médicaments. La région est la 3e région pharmaceutique en termes d’effectifs et de nombre d’établissements, après l’Île-de-France et Rhône-Alpes. Elle comprend 53 établissements, dont 45 spécialisés dans la fabrication de médicaments.
L’industrie pharmaceutique emploie en région Centre-Val de Loire près de 10 000 salariés. Elle est une des seules industries à voir son effectif croître d’environ 2 % tous les ans. Deux tiers des 45 établissements « fabrication de médicaments » emploient plus de 100 salariés. Les PME sont peu présentes et les filiales de groupe sont majoritaires.
# Institut pour la Conservation de la Nature et des Forêts

L’Institut pour la Conservation de la Nature et des Forêts (ICNF) est l'organisme gouvernemental du Portugal responsable de l'environnement et des forêts. C'est aussi cet institut qui gère les aires protégées au Portugal.

## Histoire

Cet organisme fut créé en 2007.

## Organisation

L'Institut pour la conservation de la nature et la foresterie est un institut public, indirectement administré par l'État portugais, doté d'une autonomie administrative et financière et de ses propres moyens. La mission de l'ICNF est de proposer, surveiller et assurer la mise en œuvre de politiques dans les domaines de la conservation de la nature et de la foresterie, afin de promouvoir la conservation, l'utilisation durable, l'appréciation et la jouissance du patrimoine naturel. En outre, il promeut le développement durable des forêts et des membres des ressources, pour permettre une compétitivité accrue tout au long de la chaîne de la sylviculture, mais aussi pour défendre les ressources de chasse et l'aquaculture le long des voies navigables intérieures.
Son siège social se situe à Lisbonne.
# Institut national de l'audiovisuel (Pologne)

L'Institut national de l'audiovisuel (en polonais : Narodowy Instytut Audiowizualny, NInA), fondé en 2009, est un institut ayant pour mission de numériser, préserver et promouvoir la culture de la Pologne.
L’institut relève du ministère de la Culture et du Patrimoine national. Son directeur actuel est Michał Merczyński (pl).

## Historique

L’institut est fondé le 1er avril 2009.
# Introduction de la disjonction

L'introduction de la disjonction ou addition (aussi appelé introduction du ou)$^,$$^,$ est une règle de déduction de la plupart des logiques formelles. Comme son nom l'indique, elle permet d'introduire le connecteur logique de la disjonction dans une démonstration. Elle est l'inférence selon laquelle si P est vrai, alors P ou Q doit être vrai. Un exemple informel : à partir de Socrate est un homme en appliquant la règle d'introduction de la disjonction on peut déduire Socrate est un homme ou des cochons volent en formation au-dessus de la Manche. C'est une règle immédiate, c'est-à-dire qu'elle est appliqué à partir d'une seule proposition. Elle se doit d'être valide pour être une règle d'inférence, c'est-à-dire qu'elle ne peut déduire des propositions fausses à partir de propositions vraies, et elle l'est : si la prémisse, Socrate est un homme dans notre exemple, est vraie, "Socrate est un homme ou Q" sera vraie aussi indépendamment de la valeur de Q par la définition du "ou". En effet une formule logique de la forme "A ou B" est vraie si au moins une des propositions A, B est vraie.
L'introduction de la disjonction n'existe pas dans certaines logiques, comme certaines logiques paracohérentes car en combinaison avec d'autres règles logique, elle conduit à une explosion (à savoir, tout devient démontrable). Ces logiques cherchant à éviter cette explosion pour tolérer certaines contradiction dans le raisonnement, et une des solutions consiste à introduire la disjonction d'autres manières.

## Notations formelles

La règle d'introduction de la disjonction peut être écrite en notation séquente :
    $P\vdash (P\lor Q)$
où $\vdash$ est un symbole métalogique qui signifie que $P\lor Q$ est une conséquence syntaxique de $P$ dans un système logique ;
et exprimée en tautologie ou en théorème de logique propositionnelle:
    $P\to (P\lor Q)$
où $P$ et $Q$ sont des propositions exprimées dans un système formel.
La règle est aussi parfois exprimée sous une forme similaire à celle-ci, où on peut lire au-dessus de la ligne verticale la prémisse à l'application de la règle et au-dessous un schéma de formule qu'on peut inférer.
    ${\frac {P}{\therefore P\lor Q}}$
Autrement dit, chaque fois qu'une formule $P$ apparaît sur une ligne d'une démonstration, $P\lor Q$ (avec Q également une formule quelconque) peut être placé sur une ligne subséquente.