Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
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.
Variable propositionnelleUne variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux.
Attitude propositionnelleUne attitude propositionnelle est la manière dont un sujet se comporte par rapport à une proposition. Les attitudes propositionnelles les plus courantes sont croire que p, dire que p, penser que p, désirer que p... où p est la proposition qui est crue, dite, pensée ou désirée. Les attitudes propositionnelles sont un sujet d'étude de la philosophie de la logique depuis la création avec Frege et Russell de la logique mathématique. Celle-ci obéit à une règle qui est le principe de substitution.
PhraseEn grammaire, une phrase peut être considérée comme un ensemble autonome, réunissant des unités syntaxiques organisées selon différents réseaux de relations plus ou moins complexes appelés subordination, coordination ou juxtaposition. D'un point de vue acoustique ou visuel, cependant (c'est-à-dire, aussi bien à l'oral qu'à l'écrit), la phrase apparaît comme une succession de mots (de même qu'un train apparaît comme une succession de wagons).
LuneLa Lune, ou Terre I, est l'unique satellite naturel permanent de la planète Terre. Il s'agit du cinquième plus grand satellite naturel du Système solaire, et du plus grand des satellites planétaires par rapport à la taille de la planète autour de laquelle il orbite. Elle est le deuxième satellite le plus dense du Système solaire après Io, un satellite de Jupiter. La Lune est en rotation synchrone avec la Terre, lui montrant donc constamment la même face.
Pleine lunevignette|La super lune du 14 novembre 2016 se trouvait à du centre de la Terre, l'occurrence la plus proche depuis 1948. Elle ne sera pas encore plus proche avant 2034. vignette|droite|Photographie de la pleine lune vue par un télescope Schmidt-Cassegrain de 235 mm. La Lune était près de sa plus grande latitude d'écliptique nordique, donc les cratères méridionaux sont particulièrement proéminents. vignette|Photographie de la pleine lune au cours de l'éclipse lunaire totale du 28 septembre 2015.
Sentence clause structureIn grammar, sentence and clause structure, commonly known as sentence composition, is the classification of sentences based on the number and kind of clauses in their syntactic structure. Such division is an element of traditional grammar. In standard English, sentences are composed of five clause patterns: Subject + Verb (intransitive)Example: She runs. Subject + Verb (transitive) + ObjectExample: She runs the meeting. Subject + Verb (linking) + Subject Complement (adjective, noun, pronoun)Example: Abdul is happy.
Tempsthumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.
CapitalLe capital est une somme d'investissements utilisée pour en tirer un profit, c'est-à-dire un stock de biens ou de richesses nécessaires à une production. Cet emploi, courant en sciences économiques, en finance, en comptabilité, en sociologie et en philosophie, a néanmoins dans les domaines distincts des significations spécifiques. Au , « capital » est un adjectif dérivé de la racine latine caput : la tête, signifiant « principal ». Dans le dictionnaire de Nicot publié en 1606, l'adjectif est transformé en substantif pour désigner « le capital d'un marchand ».
FranceLa France (), en forme longue depuis 1875 la République française (), est un État souverain transcontinental dont le territoire métropolitain s'étend en Europe de l'Ouest et dont le territoire ultramarin s'étend dans les océans Indien, Atlantique, Pacifique, ainsi qu'en Antarctique et en Amérique du Sud. Le pays a des frontières terrestres avec la Belgique, le Luxembourg, l'Allemagne, la Suisse, l'Italie, l'Espagne, Monaco et l'Andorre en Europe, auxquelles s'ajoutent les frontières terrestres avec le Brésil, le Suriname et les Pays-Bas aux Amériques.
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).
Fonds propres réglementairesLes fonds propres réglementaires correspondent aux fonds propres que doivent détenir les établissements financiers en lien avec l'exigence réglementaire définie par le Comité de Bâle. Historique sur les accords internationaux (Bâle I, puis Bâle II dit Mc Donough) Le Tier 1 correspond à la partie jugée la plus solide (le noyau dur) des capitaux propres des institutions financières. Le ratio correspond au rapport entre le Tier 1 et le total des actifs ajustés du risque est un ratio financier qualifiant le risque d'instabilité de ces institutions en cas de crise financière.
Capital humainLe capital humain est l'ensemble des connaissances, aptitudes, expériences, talents, et qualités accumulées par une personne, une équipe, une organisation, ou un groupe d'organisations, et qui déterminent en partie leur capacité à travailler ou à produire pour eux-mêmes ou pour les autres. En 1866, justifiant la création d'un « secondaire spécial », le ministre de l'Instruction publique Victor Duruy affirme que « par le développement de cet enseignement, on répondra à une nécessité impérieuse de la nouvelle organisation du travail : mettre l'homme en valeur, c'est un capital et le plus précieux de tous ».
Air FranceAir France (Code IATA : AF ; code OACI : AFR) est la compagnie aérienne nationale française, fondée le . Ses activités principales sont le transport de passagers, de fret ainsi que la maintenance et l'entretien des avions. Elle dessert les principaux aéroports français ainsi que de nombreux aéroports étrangers. Sa plate-forme de correspondance principale est située sur l'aéroport de Paris-Charles-de-Gaulle avec lequel elle entretient de nombreux accords d'exploitation.
Voyage dans le tempsLe voyage dans le temps est un des grands thèmes de la science-fiction, au point d’être considéré comme un genre à part entière. L’idée d’aller revivre le passé ou de découvrir à l’avance le futur est un rêve humain causé par le fait que l’être humain avance dans le temps de manière permanente, mais irréversible (et, à l’état de veille, apparemment de façon linéaire). La première mention d’un voyage dans le temps serait le personnage de Merlin l’Enchanteur dans le cycle arthurien des chevaliers de la Table ronde, qui visitait les temps passés.
Orbite de la Lunevignette|redresse=1.62|Schéma du système Terre - Lune. Echelle de distance non respectée. L’orbite de la Lune autour de la Terre est effectuée en environ . La Lune la décrit à environ du centre de la Terre en moyenne, à la vitesse moyenne de . Elle diffère de la plupart des satellites naturels des autres planètes par son orbite plus proche du plan de l'écliptique que de l'équateur terrestre. Bien que globalement elliptique, l'orbite de la Lune présente de nombreuses irrégularités (connues sous le nom de perturbations), dont l'étude possède une très longue histoire.
France libreLa France libre est le régime de résistance extérieure fondé à Londres par le général de Gaulle à la suite de son appel du . La veille, le , face à la progression allemande, Philippe Pétain, chef du gouvernement de la République, avait appelé l’armée française à cesser les combats pendant les négociations de l'armistice avec les Allemands, qui les signèrent cinq jours plus tard, le . Quelques semaines plus tard, le , l'Assemblée nationale, réunie à Vichy, vota une loi constitutionnelle en vue de rédiger une nouvelle Constitution et délégua les pleins pouvoirs constituants à Pétain.
Logical biconditionalIn logic and mathematics, the logical biconditional, also known as material biconditional or equivalence or biimplication or bientaiment, is the logical connective used to conjoin two statements and to form the statement " if and only if " (often abbreviated as " iff "), where is known as the antecedent, and the consequent. Nowadays, notations to represent equivalence include . is logically equivalent to both and , and the XNOR (exclusive nor) boolean operator, which means "both or neither".
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.
