Une proposition complexe est une proposition qui contient des connecteurs logiques et se compose de plusieurs propositions simples.
Dans ce qui suit, nous considérerons les jugements simples comme certains atomes indivisibles, en tant qu'éléments de la combinaison desquels résultent structures complexes. Nous désignerons les propositions simples par des en lettres latines: a, b, c, d, ... Chacune de ces lettres représente une proposition simple. Où peut-on voir ça ? Faire une pause dans le complexe structure interne d'un simple jugement, de par sa quantité et sa qualité, oubliant qu'il a un sujet et un prédicat, on ne retient qu'une seule propriété d'un jugement : qu'il peut être vrai ou faux. Tout le reste ne nous intéresse pas ici. Et quand nous disons que la lettre « a » représente une proposition, et non un concept, ni un nombre, ni une fonction, nous voulons dire une seule chose : que « a » représente la vérité ou le mensonge. Si par « a » nous entendons la proposition « Les kangourous vivent en Australie », nous entendons la vérité ; si par « a » nous entendons la proposition « Les kangourous vivent en Sibérie », nous entendons un mensonge. Ainsi, nos lettres « a », « b », « c », etc. – ce sont des variables qui peuvent être remplacées par vrai ou faux.
Connecteurs logiques représentent des analogues formels des syndicats de notre pays natal langage naturel. Tout comme les phrases complexes sont construites à partir de phrases simples à l'aide de conjonctions « cependant », « depuis », « ou », etc., de même les propositions complexes sont formées à partir de phrases simples à l'aide de connecteurs logiques. Ici, nous ressentons un lien beaucoup plus grand entre la pensée et le langage, c'est pourquoi dans ce qui suit, au lieu du mot « jugement », qui désigne la pensée pure, nous utiliserons souvent le mot « énoncé », qui désigne la pensée dans son sens. expression linguistique. Faisons donc connaissance avec les connecteurs logiques les plus couramment utilisés.
Négation. En langage naturel cela correspond à l’expression « Ce n’est pas vrai que… ». La négation est généralement indiquée par le signe « ¬ » placé avant la lettre représentant une proposition : « ¬a » se lit « Ce n'est pas vrai que a ». Exemple : « Il n’est pas vrai que la Terre soit une sphère. »
Vous devriez prêter attention à une circonstance subtile. Nous avons parlé plus haut de simples jugements négatifs. Comment les distinguer des jugements complexes avec négation ? La logique distingue deux types de négation : interne et externe. Lorsque la négation est à l’intérieur d’une proposition simple avant le connecteur « est », alors dans ce cas nous avons affaire à une simple proposition négative, par exemple : « La terre n’est pas une sphère ». Si le refus extérieurement est attachée à un jugement, par exemple : « Il n'est pas vrai que la Terre soit une boule », alors une telle négation est considérée comme un connecteur logique qui transforme un jugement simple en un jugement complexe.
Conjonction. En langage naturel, ce connecteur correspond aux conjonctions « et », « a », « mais », « cependant », etc. Le plus souvent, une conjonction est indiquée par le symbole « & ». Désormais, cette icône se retrouve souvent dans les noms de diverses sociétés et entreprises. Une proposition avec un tel connecteur est appelée conjonctive, ou simplement conjonction, et ressemble à ceci :
un et b. Exemple : « Le panier de grand-père contenait des cèpes et des cèpes. » Ce jugement complexe est une conjonction de deux propositions simples : « Il y avait des cèpes dans le panier de mon grand-père » et « Il y avait des cèpes dans le panier de mon grand-père ».
Disjonction. En langage naturel, ce connecteur correspond à la conjonction « ou ». Il est généralement désigné par un « v ». Un jugement avec un tel connecteur est appelé disjonctif, ou simplement disjonction, et ressemble à ceci : a v b.
La conjonction « ou » en langage naturel est utilisée dans deux différentes significations: lâche « ou » – lorsque les membres de la disjonction ne s’excluent pas, c’est-à-dire peut être simultanément vrai et un « ou » strict (souvent remplacé par une paire de conjonctions « soit... soit... ») - lorsque les membres de la disjonction s'excluent. Conformément à cela, on distingue deux types de disjonction : stricte et non stricte.
Implication. En langage naturel, cela correspond à la conjonction « si... alors ». Il est indiqué par le signe « -> ». Une proposition avec un tel connecteur est appelée implicative, ou simplement implication, et ressemble à ceci : a -> b. Exemple : « Si un conducteur passe courant électrique, alors le conducteur chauffe. Le premier membre de l’implication est appelé l’antécédent ou la base ; le second est un conséquent ou une conséquence. Dans le langage courant, la conjonction « si... alors » relie généralement les phrases qui expriment la relation de cause à effet des phénomènes, la première phrase fixant la cause et la seconde l'effet. D'où les noms des membres de l'implication.
Représenter des énoncés en langage naturel sous forme symbolique en utilisant les notations ci-dessus signifie leur formalisation, ce qui s'avère dans de nombreux cas utile.
4) Une île magnifique se trouve dans l’océan chaud. Et tout irait bien, mais des étrangers avaient pris l'habitude de s'installer sur cette île. Ils viennent et viennent du monde entier, et les peuples autochtones ont commencé à être pressés. Afin d'empêcher l'invasion des étrangers, le souverain de l'île a publié un décret : « Tout visiteur qui souhaite s'installer sur notre île bénie est obligé de porter un jugement. Si le jugement s’avère vrai, l’étranger doit être fusillé ; si le jugement s’avère faux, il doit être pendu. Si vous avez peur, taisez-vous et faites demi-tour !
La question est : quel jugement faut-il faire pour rester en vie et quand même s’installer sur l’île ?
| |
Négation (signe). Si A est une déclaration, alors (lire : pas A) est également une déclaration ; elle est vraie ou fausse selon que l'énoncé A est faux ou vrai. On voit que l'opération dans la théorie des énoncés correspond pleinement au concept de négation au sens ordinaire du mot. L'opération de négation peut être décrite par le tableau
Conjonction. Le signe l est utilisé comme signe de conjonction, ainsi que & (c'est-à-dire la conjonction et- Et).
Si UN Et DANS- des déclarations, alors UN ˄ DANS(lit : UN Et DANS) - une nouvelle déclaration. C'est vrai si et seulement si UN vrai et DANS vrai.
Contrairement à l'opération de négation, qui dépend d'un énoncé élémentaire, la conjonction, comme tous les connecteurs ultérieurs que nous donnons, dépend de deux énoncés élémentaires, c'est pourquoi on les appelle connecteurs à deux places, tandis que la négation est un connecteur à une place.
Pour spécifier des connecteurs doubles, il convient d'écrire des matrices de vérité sous forme de tableaux à deux entrées : les lignes correspondent aux valeurs de vérité d'un énoncé élémentaire, les colonnes correspondent aux valeurs d'un autre énoncé élémentaire, et dans la cellule où la colonne et la ligne croisent la valeur de vérité de l'énoncé complexe correspondant est placée.
La valeur de vérité d'un énoncé complexe UN˄ DANS est donné par la matrice :
Comme vous pouvez le constater, la définition de l’opération de conjonction est assez cohérente sens ordinaire conjonction "u". Par exemple, le problème de la protection des lignes automatisées contre un accident dépend dans une large mesure de la fiabilité de l'exploitation de l'EA. L'influence des vibrations qui se produisent lors de la fermeture des contacts sur la résistance à l'usure de commutation de l'EA est régulée par le rapport des caractéristiques mécaniques et de traction de l'entraînement électromagnétique.
Disjonction. Nous utiliserons le signe ˅ comme signe de disjonction. Si A et B sont des instructions, alors A contre B (lire : A ou B) est une nouvelle instruction. C'est faux si A et B sont faux ; dans tous les autres cas A v DANS vrai. Ainsi, la matrice de vérité pour l’opération de disjonction ressemble à ceci :
L’opération de disjonction correspond à sens normal union "ou". Par exemple, l'usure des contacts est surveillée en sélectionnant un creux ou en pesant les contacts sur une balance avant et après utilisation.
Implication. Comme signe d'implication, nous utiliserons le signe . Si A et B sont deux énoncés, alors A DANS(lire : A implique B) - une nouvelle déclaration. C'est toujours vrai, sauf quand UN vrai, mais DANS FAUX.
La matrice de vérité de l’opération d’implication est la suivante :
En implication UN DANS premier mandat UN appelé l'antécédent, le deuxième terme DANS-consécutif.
L'implication décrit dans une certaine mesure ce qui est exprimé dans le discours ordinaire par les mots « si UN, Que DANS", "depuis UN devrait DANS», « UN - état suffisant Pour DANS".
Si l'augmentation de la résistance dans l'espace intercontact après le passage du courant par zéro est plus intense que l'augmentation de la tension, alors le réallumage de l'arc ne se produira pas. Si le courant court-circuit dépasse considérablement le courant de fusion du fusible, le fusible grille et le fusible coupe le circuit électrique.
Équivalence. Pour cette opération le signe ⇔ est utilisé. L'opération est définie comme suit : si A et B- déclarations, alors A ⇔ DANS(lit : UNéquivalent DANS) est une nouvelle affirmation qui est vraie si les deux affirmations sont vraies ou si les deux sont fausses.
À l'aide des connecteurs introduits, vous pouvez construire des énoncés complexes qui dépendent non seulement de deux, mais également de n'importe quel nombre d'énoncés élémentaires.
En modes courant nominal 25...600 UN une paire de contacts peut effectuer double rôle: passage prolongé du courant en position passant et arrêt, accompagné de l'apparition d'un arc. Dans le premier cas, les contacts doivent avoir une faible résistance de contact ; dans le second, les exigences d'une résistance de contact élevée sont imposées. Dans les deux cas, le même système de contact à un étage est utilisé. Les deux processus affectent l’usure des contacts.
Note. Une inégalité non stricte est une disjonction A<В ˅ (А = В).Оно истинно, если истинно по меньшей мере одно из входящих в него простых высказываний. Примерами сложных высказываний, встречающихся в практике, являются так называемые двойные неравенства А< В < С(А < В) ˄ (В < С), а, например, означает сложное высказывание (А< В) ˄ ((В Ayant la valeur de vérité d’énoncés simples, il est facile de calculer la valeur de vérité d’un énoncé complexe sur la base de la définition des connecteurs. Soit un énoncé complexe ((B ˅ C) ⇔ (B ˄ A)) et que les énoncés élémentaires qui y sont inclus aient les valeurs de vérité suivantes : A = L, B = I, C =
I. Alors B ˅ C = I, B ˄ A = L, donc l'énoncé en question ((B ˅ C) ⇔ (B ˄ A)) est faux. symboles des langages logiques utilisés pour former des énoncés complexes (formules) à partir d'énoncés élémentaires. Les connecteurs logiques sont également appelés conjonctions en langage naturel correspondant à ces symboles. Typiquement, on utilise des connecteurs logiques tels que la conjonction (la conjonction « et », les notations symboliques : &, l et un point en forme de signe de multiplication, qui sont souvent omis, écrivant la conjonction de A et B comme AB), la disjonction (une conjonction lâche « ou », notée « v »), l'implication (« si..., alors », est désignée par le signe, . Une fonction de vérité propositionnelle attribue à chaque ensemble répertorié l'une des valeurs de vérité - 1 ou 0. Il existe 16 fonctions de ce type au total. La conjonction attribuée à l'expression A& a la valeur 1 uniquement dans le cas où A et B sont tous deux vrais, c'est-à-dire que les deux ont la valeur 1, sinon la valeur de. A&.B vaut 0. La disjonction B, au contraire, n'est fausse que dans un cas, lorsque A et B sont faux. L'implication A et B n'est fausse que si A est vrai (antécédent) et B est faux ( conséquent). Dans les autres cas, A => B prend la valeur 1. Parmi les quatre fonctions unaires, seule la négation présente un intérêt, changeant le sens de l'énoncé en l'opposé : lorsque A est vrai, -A est faux, et vice-versa. versa. Toutes les autres fonctions classiques unaires et binaires peuvent être exprimées en termes de celles présentées. Lorsque le système de connecteurs logiques adopté dans la sémantique correspondante permet de définir tous les autres, il est dit fonctionnellement complet. Les systèmes complets de la logique classique comprennent notamment la conjonction et la négation ; disjonction et négation ; implication et négation. La conjonction et la disjonction sont définissables l'une par l'autre en raison des équivalences (A&B) = -i(-i/4v-i.) et (A v B) a -,(-&-), appelées lois de Morgan, ainsi que : (A ^B)s(-iA^ B), (A&B) s -,(A e -), (B) = ((A => B) zA). Toute équivalence de la forme A = B n'est valable que lorsque la conjonction (A =) B) & (B e A) est généralement valide (toujours vraie). Les fonctions antidisjonction et anticonjonction, définies respectivement par -(B) et -(A&.B), représentent également chacune séparément un système fonctionnellement complet de connecteurs. Cette dernière circonstance était déjà connue de C. Pierce (ouvrage inédit de son vivant en 1880) et fut redécouverte par H. M. Shefier. Utilisant l'antidisjonction comme seul connecteur logique, Schaeffer construisit en 1913 calcul complet déclarations. L'antidisjonction est notée AB et est appelée le premier de Schaefer, en lisant cette expression, comme « non-D et non-B ». J. G. P. Nicod a utilisé la même notation pour l'anticonjonction (« Il n'est pas vrai que A et B soient tous les deux ») et, en utilisant uniquement ce connecteur, il a formulé en 1917 un calcul propositionnel complet avec un (unique !) axiome et une règle d'inférence. . Ainsi, le trait de Schaeffer est essentiellement la ligne verticale elle-même, qui, selon différents auteurs, peut signifier à la fois anti-disjonction et anti-conjonction. L'extensionnalité des connecteurs logiques leur confère un caractère unique, simplifie le problème de construction des calculs logiques et permet de résoudre des problèmes métathéoriques de cohérence, de décidabilité et d'exhaustivité pour ces derniers (voir Métalogiques). Cependant, dans certains cas, l’interprétation vérité-fonctionnelle des connecteurs conduit à un écart significatif avec la façon dont ils sont compris en langage naturel. Ainsi, l'interprétation de vérité indiquée de l'implication nous oblige à reconnaître phrases correctes de la forme « Si A, alors B » même dans le cas où entre les déclarations A et B (et, par conséquent, les événements sur lesquels elles nous parlons de) il n'y a pas vraie connexion. Il suffit que A soit faux ou que B soit vrai. Par conséquent, parmi les deux phrases : « Si A, alors B » et « Si B, alors A », au moins une doit être reconnue comme vraie, ce qui ne correspond pas bien à l’usage habituel du connecteur conditionnel. Implication dans dans ce cas spécialement appelée « matérielle », la distinguant ainsi d'une conjonction conditionnelle, qui suppose qu'il existe un lien réel entre l'antécédent et le conséquent d'une véritable déclaration conditionnelle. En même temps, l'implication matérielle peut être parfaitement utilisée dans de nombreux contextes, par exemple mathématiques, quand on ne l'oublie pas. fonctionnalités spécifiques. Dans certains cas, cependant, c’est le contexte qui ne permet pas d’interpréter la conjonction conditionnelle comme une implication matérielle, suggérant l’interconnexion des énoncés. Pour analyser de tels contextes, il est nécessaire de construire des logiques non classiques, par exemple, pertinent (voir Logique pertinente), dans la langue de laquelle à la place implication matérielle(ou en même temps) d'autres implications sont introduites qui sont comprises intensionnellement (substantiellement) et dont la vérité ne peut pas être justifiée fonctionnellement. D'autres connecteurs logiques peuvent également être interprétés de manière intensive. D'un point de vue grammatical, une affirmation est une phrase déclarative. Phrases complexes sont construits à partir d'expressions désignant certains concepts et connecteurs logiques. Les mots et expressions NON, ET, OU, SI... ALORS, ALORS ET SEULEMENT ALORS EXISTE, TOUS et quelques autres sont appelés connecteurs logiques (opérateurs) et signifient opérations logiques, à l'aide duquel d'autres sont construits à partir d'une seule phrase. Les phrases sans connecteurs logiques sont élémentaires ; elles ne peuvent pas être divisées en parties de sorte que chaque partie soit aussi une phrase. Les déclarations élémentaires sont également appelées déclarations (jugements). Les déclarations contiennent des informations sur les objets, les phénomènes et les processus. Un énoncé élémentaire se compose d'un sujet (sujet logique) - ce qui est discuté dans l'énoncé, et d'un prédicat (prédicat logique) - ce qui est affirmé ou nié dans l'énoncé sur le sujet. Ainsi, un énoncé est une forme de pensée dans laquelle un lien logique entre des concepts agissant comme sujet et prédicat est affirmé ou nié. de cette déclaration. La correspondance ou l'incohérence de ce lien avec la réalité rend la déclaration (le jugement) vraie ou fausse. Le lien logique entre le sujet et le prédicat d'un énoncé est généralement exprimé sous la forme d'un connecteur IS ou IS NOT, bien que dans la phrase elle-même, ce connecteur puisse être absent, mais seulement implicite. En même temps, le sujet de l'énoncé peut être exprimé non seulement par le sujet de la phrase, tout comme le prédicat peut être exprimé non seulement par le prédicat (ceux-ci peuvent aussi être d'autres membres de la phrase). Ce qui est considéré comme un sujet dans une phrase et ce qui est un prédicat d'un énoncé est déterminé par l'accentuation logique. Stress logique associé au sens contenu dans la phrase pour le locuteur ou l’auditeur. Selon la forme, les déclarations sont divisées en déclarations simples (ayant forme logique « S Il y a P." ou " S ne mange pas P.", Où S- sujet, P.– prédicat) et complexe (exprimé grammaticalement en phrases complexes). Un exemple d’énoncé simple : « Tous les ours aiment le miel », un énoncé complexe : « Certains ours aiment le miel et les jeunes pousses de bambou ». Des paroles simples vous permettre d'exprimer types suivants dictons : · déclarations attributives – expriment si une propriété appartient ou non à un objet ou à une classe (par exemple, la Terre est une planète) ; · déclarations sur les relations – parlent de l'existence d'une relation entre des objets (par exemple, 3<5
); · déclarations d'existence (déclarations existentielles) – parlent de l'existence ou de la non-existence d'un objet ou d'un phénomène. Opérations sur un ensemble d'instructions. A partir d'énoncés élémentaires on peut composer déclarations complexes en utilisant des opérations logiques. Les énoncés élémentaires qui font partie d'un énoncé complexe sont reliés par des opérateurs logiques non pas par une description sémantique, mais uniquement par leurs valeurs de vérité. Par conséquent, les énoncés complexes sont des fonctions des énoncés élémentaires qu’ils contiennent. Toutes les opérations en logique propositionnelle sont décrites uniquement par une table de vérité. Les opérations sur un ensemble d'instructions comprennent : · Déni. La table de vérité est la suivante : En langage naturel, il est le plus souvent interprété avec la conjonction « et ». · Une disjonction de deux énoncés élémentaires est vraie si et seulement si au moins un des énoncés élémentaires est vrai. On l'appelle parfois addition logique ou maximum logique. La table de vérité d’une disjonction ressemble à ceci : · L'opération XOR est donnée par la table de vérité suivante, elle est vraie lorsqu'un seul des opérandes est vrai. Cette opération est aussi appelée disjonction stricte ou inégalité logique. Les théorèmes mathématiques sont souvent formulés sous cette forme. Si le théorème est formulé d'une autre manière, il peut alors être reformulé sous la forme indiquée sans perdre son essence. Une proposition complexe est une proposition qui contient des connecteurs logiques et se compose de plusieurs propositions simples. Dans ce qui suit nous considérerons les jugements simples comme certains atomes indivisibles, comme éléments de la combinaison desquels naissent des structures complexes. Nous désignerons les propositions simples par des lettres latines distinctes : a, b, c, d,... Chacune de ces lettres représente une certaine proposition simple. Où peut-on voir ça ? En nous distrayant de la structure interne complexe d'un jugement simple, de sa quantité et de sa qualité, en oubliant qu'il contient un sujet et un prédicat, nous ne retenons qu'une seule propriété d'un jugement : qu'il peut être vrai ou faux. Tout le reste ne nous intéresse pas ici. Et quand nous disons que la lettre « a » représente une proposition, et non un concept, ni un nombre, ni une fonction, nous ne voulons dire qu'une chose : ce « a » représente la vérité ou le mensonge. Si par « a » nous entendons la proposition « Les kangourous vivent en Australie », nous entendons la vérité ; si par « a » nous entendons la proposition « Les kangourous vivent en Sibérie », nous entendons un mensonge. Ainsi, nos lettres « a », « b », « c », etc. - ce sont des variables qui peuvent être remplacées par vrai ou faux. Les connecteurs logiques sont des analogues formels des conjonctions dans notre langue naturelle native. Tout comme les phrases complexes sont construites à partir de phrases simples à l'aide de conjonctions « cependant », « depuis », « ou », etc., de même les propositions complexes sont formées à partir de phrases simples à l'aide de connecteurs logiques. Ici, nous ressentons un lien beaucoup plus grand entre la pensée et le langage, c'est pourquoi dans ce qui suit, au lieu du mot « jugement », qui désigne la pensée pure, nous utiliserons souvent le mot « énoncé », qui désigne la pensée dans son expression linguistique. Faisons donc connaissance avec les connecteurs logiques les plus couramment utilisés. Négation. En langage naturel cela correspond à l’expression « Ce n’est pas vrai que… ». La négation est généralement indiquée par un signe « - » précédant la lettre représentant une proposition : « -a » signifie « Ce n'est pas vrai que a ». Exemple : « Il n’est pas vrai que la Terre soit une sphère. » Vous devriez prêter attention à une circonstance subtile. Nous avons parlé plus haut de simples jugements négatifs. Comment les distinguer des jugements complexes avec négation ? La logique distingue deux types de négation : interne et externe. Lorsque la négation est à l’intérieur d’une proposition simple avant le connecteur « est », alors dans ce cas nous avons affaire à une simple proposition négative, par exemple : « La terre n’est pas une sphère ». Si une négation est extérieurement attachée à un jugement, par exemple : « Il n'est pas vrai que la Terre soit une boule », alors une telle négation est considérée comme un connecteur logique qui transforme un jugement simple en un jugement complexe. Conjonction. En langage naturel, ce connecteur correspond aux conjonctions « et », « a », « mais », « cependant », etc. Le plus souvent, une conjonction est indiquée par le signe « & ». Désormais, cette icône se retrouve souvent dans les noms de diverses sociétés et entreprises. Une proposition avec un tel connecteur est appelée conjonctive, ou simplement conjonction, et ressemble à ceci : un et b. Exemple : « Le panier de grand-père contenait des cèpes et des cèpes. » Ce jugement complexe est une conjonction de deux jugements simples : - « Il y avait des cèpes dans le panier de mon grand-père » et « Il y avait des cèpes dans le panier de mon grand-père ». Disjonction. En langage naturel, ce connecteur correspond à la conjonction « ou ». Il est généralement désigné par un « v ». Un jugement avec un tel connecteur est appelé disjonctif, ou simplement disjonction, et ressemble à ceci : a v b. La conjonction « ou » en langage naturel est utilisée dans deux sens différents : « ou » lâche - lorsque les membres de la disjonction ne s'excluent pas, c'est-à-dire peut être simultanément vrai et un « ou » strict (souvent remplacé par une paire de conjonctions « soit..., soit... ») - lorsque les membres de la disjonction s'excluent mutuellement. Conformément à cela, on distingue deux types de disjonction : stricte et non stricte. Implication. En langage naturel, cela correspond à la conjonction « si... alors ». Il est indiqué par le signe « -> ». Une proposition avec un tel connecteur est appelée implicative, ou simplement implication, et ressemble à ceci : a -> b. Exemple : « Si un courant électrique traverse un conducteur, le conducteur s'échauffe. » Le premier membre de l’implication est appelé l’antécédent ou la base ; le second est un conséquent ou une conséquence. Dans le langage courant, la conjonction « si... alors » relie généralement les phrases qui expriment la relation de cause à effet des phénomènes, la première phrase fixant la cause et la seconde l'effet. D'où les noms des membres de l'implication. Représenter des énoncés en langage naturel sous forme symbolique en utilisant les notations ci-dessus signifie leur formalisation, ce qui s'avère dans de nombreux cas utile. 4) Une île magnifique se trouve dans l’océan chaud. Et tout irait bien, mais des étrangers avaient pris l'habitude de s'installer sur cette île. Ils viennent et viennent du monde entier, et les peuples autochtones ont commencé à être pressés. Afin d'empêcher l'invasion des étrangers, le souverain de l'île a publié un décret : « Tout visiteur qui souhaite s'installer sur notre île bénie est obligé de porter un jugement. Si le jugement s’avère vrai, l’étranger doit être fusillé ; si le jugement s’avère faux, il doit être pendu. Si vous avez peur, taisez-vous et faites demi-tour ! La question est : quel jugement faut-il faire pour rester en vie et quand même s’installer sur l’île ?
