1. Définition. 2. Les quatre types de propositions. La transcription dans la logique des prédicats

Documents pareils
Logique : ENSIIE 1A - contrôle final

Ecran : Processeur : OS : Caméra : Communication : Mémoire : Connectique : Audio : Batterie : Autonomie : Dimensions : Poids : DAS :

Chapitre 2. Eléments pour comprendre un énoncé

dans un cadre richement typé

Mathématiques Première L, ES, S, Concours Post-Bac Equations et inéquations du second degré FORMAV

Chapitre 3. Les distributions à deux variables

Indications pour une progression au CM1 et au CM2

Fiche d animation n 1 : Pêle-mêle

Comment susciter la participation des étudiant e s et en tirer parti?

NOTIONS DE PROBABILITÉS

Probabilités sur un univers fini

Merci de compléter les informations du bon de commande ci-joint. Veuillez consulter et parapher les Conditions Générales de Vente (p 3-7)

Navigation dans Windows

Les symboles français

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

TP Service HTTP Serveur Apache Linux Debian

ROTOLINE NOTICE DE POSE

Les devoirs en Première STMG

L ANALYSE EN COMPOSANTES PRINCIPALES (A.C.P.) Pierre-Louis GONZALEZ

COPIER, COUPER, COLLER, SELECTIONNER, ENREGISTRER.

Le CAHIER NORMATIF pour les travaux de construction. 5. Électricité 5.4 Alarmes, communications et sécurité

Votre Réseau est-il prêt?

Qu est-ce que le ehealthcheck?

OPÉRATIONS SUR LES FRACTIONS

Une introduction rapide à Coq

Date M.P Libellé Catégorie S.Catégorie Crédit Débit Solde S.B

Continuité en un point

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Alarme domestique- Présentation

1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R.

Définition 0,752 = 0,7 + 0,05 + 0,002 SYSTÈMES DE NUMÉRATION POSITIONNELS =

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1

LES MODES D ADAPTATION ET DE COMPENSATION DU HANDICAP : Les personnes handicapées motrices à domicile (enquête HID 1999)

Extrait du poly de Stage de Grésillon 1, août 2010

Cours 02 : Problème général de la programmation linéaire

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

Expression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e

Fonctions homographiques

Chapitre 11. Séries de Fourier. Nous supposons connues les formules donnant les coefficients de Fourier d une fonction 2 - périodique :

Programmation linéaire

GUIDE D UTILISATION. Informations importantes Toshiba FOLIO 100 Conseils pour une première utilisation, configuration et principaux usages

DEVENEZ UN POKER-KILLER AU TEXAS HOLD EM!

Distribution Uniforme Probabilité de Laplace Dénombrements Les Paris. Chapitre 2 Le calcul des probabilités

UGVL : HOMOLOGATION PS ZAC du bois Chaland 6 rue des Pyrénées LISES EVRY Cedex FRANCE Tel Fax

FctsAffines.nb 1. Mathématiques, 1-ère année Edition Fonctions affines

La gestion des exceptions

Déclaration des postes SIP 67xxi

Optimiser les performances du mouvement de monte de l Axe Z.

Conditions Générales de Vente

I GENERALITES SUR LES MESURES

SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique

À quoi vous attendre si vous devez présenter une demande de règlement

I. Le déterminant Il détermine le nom. Le déterminant indique le genre, le

Résolution d équations non linéaires

Algorithme. Table des matières

OPTIMISATION À UNE VARIABLE

Les risques liés à l activité de l entreprise : quels outils pour les identifier?

Formation analyse des accidents du travail avec l arbre des causes

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions

IMAGES NUMÉRIQUES MATRICIELLES EN SCILAB

Leçon N 4 : Statistiques à deux variables

Théorie des sondages : cours 5

Les Français, l Ecole et le métier d enseignant

La technologie au collège

Voici Léa : elle est blonde et elle a les yeux bleus. Elle a douze ans. Elle porte un t-shirt blanc. a. b. c.

Qu est-ce qu une probabilité?

Pour l épreuve d algèbre, les calculatrices sont interdites.

Dossier Logique câblée pneumatique

Tablette Pegasus PC Notes. Code : Conrad sur INTERNET Version 02/ Conditions du système.

Création d un site Internet

Du Premier au Second Degré

La Mesure du Temps. et Temps Solaire Moyen H m.

Merci d utiliser la clef haut débit à port USB. Avec cette clef, vous pourrez accéder aux réseaux sans fil haute vitesse. Remarque : Ce guide décrit

Bases de données cours 4 Construction de requêtes en SQL. Catalin Dima

C++ Programmer. en langage. 8 e édition. Avec une intro aux design patterns et une annexe sur la norme C++11. Claude Delannoy

Recommandations pour la réalisation pratique et la diffusion des mémoires

Thermodynamique (Échange thermique)

Probabilités sur un univers fini

le «Yoga psychologique», créé par Nicolas Bornemisza.

Manuel d administration de Virtual Box MANUEL D UTILISATION VIRTUAL BOX

Les nouveaux programmes de l él. école primaire. Projet soumis à consultation

STRICTEMENT CONFIDENTIEL

Sommaire. G. Pujolle, F. Ravat, C. Soulé-Dupuy, G. Zurfluh

Economie de l incertain et de l information Partie 1 : Décision en incertain probabilisé Chapitre 1 : Introduction à l incertitude et théorie de

Le code à barres EAN 13 mes premiers pas...

Guide d utilisateur pour ADT Sélecte Ver. 6.28

Chapitre 5. Équilibre concurrentiel et bien-être

Note d orientation : La simulation de crise Établissements de catégorie 2. Novembre This document is also available in English.

Construire un tableau de bord par Marc Maisonneuve

Chapitre 18 : Transmettre et stocker de l information

Le don et le dû. Aspects juridiques, éthiques et politiques de quelques mutations des transferts

Club langue française Quiz. Par Julien COUDERC et Maxence CORDIEZ

LE PRODUIT SCALAIRE ( En première S )

Gé nié Logiciél Livré Blanc

Chapitre 2 : La structure en escalier ARISE

TRACER LE GRAPHE D'UNE FONCTION

Chapitre 2. Classes et objets

L E MERGENCE DE LA LECTURE G E NERIQUE

Tuto pour connecter une source RVB RGB à un moniteur Commodore / Amiga

Transcription:

La transcription dans la logique des prédicats 1. Définition La logique des prédicats sert à vérifier la validité des raisonnements où la structure interne des propositions élémentaires doit être analysée en termes de sujet et prédicat (= attribut, qualité). Il est impossible de symboliser avec les moyens de la logique des propositions le raisonnement suivant : (1) Tous les hommes sont mortels. (2) Socrate est un homme. (3) Donc Socrate est mortel. A = Tous les hommes sont mortels B = Socrate est un homme C = Socrate est mortel Si nous essayons de rendre compte de la structure du raisonnement par les moyens utilisées dans la logique des propositions, nous aurons : (1) A (2) B C Ceci n est pas très convaincant, car rien nous permet de vérifier la validité de ce raisonnement. Si nous voulons rendre compte d un tel raisonnement, il faut tenir compte de la structure interne des propositions! Pour faire cela, il faut d abord connaître les différents types de propositions. 2. Les quatre types de propositions La structure prédicative permet de distinguer quatre possibilités de propositions. En effet, on peut opérer deux distinctions : entre propositions affirmatives et négatives entre propositions universelles (générales) et existentielles (particulières) Ces deux distinctions nous donnent les quatre types suivants : a. proposition universelle affirmative: Tous, chaque, la totalité, l ensemble des b. proposition universelle négative: Aucun, nul, personne, il n existe pas c. proposition particulière affirmative: Quelques, certains, il y a, il existe d. proposition particulière négative: Quelques/certains/il y a ne pas On appelle proposition singulière une proposition à sujet concret : Noms propres («Socrate», «César»); termes désignés (par «ce», «ces», «ceci», «cela», «celui-ci», «celui-là»); pronoms personnels («je», «tu» etc.); termes désignant un objet unique («le pape», «l auteur du Rénert» etc.). 1

3. L extension du sujet et du prédicat Suivant les quatre types de propositions, les sujets et les prédicats ont des extensions différentes, c'est-à-dire qu ils s appliquent à des ensembles plus ou moins grand d êtres. «Tous les hommes sont mortels» signifie que «la totalité des hommes représente une partie des êtres mortels». «Aucun homme n a de branchies (Kiemen)» signifie que «la totalité des hommes ne fait pas partie de la totalité des êtres ayant des branchies». «Quelques hommes ont les yeux bleus» signifie «Une partie des hommes correspond à une partie des êtres aux yeux bleus». «Quelques hommes n ont pas les yeux bleus» signifie «Une partie des hommes ne fait pas partie de la totalité des êtres aux yeux bleus». 4. Symbolisation Avec la logique des prédicats nous voyons l introduction de quantificateurs qui nous permettent de faire des affirmations au sujet d une, de plusieurs ou de tous les individus : a) Spécialisation Existentielle ( x) Si on a ( x) Sx [il existe au moins un individu «x», qui a la propriété «S»] b) Spécialisation Universelle ( x) Si on a ( x) Rx [tout individu «x» a la propriété «R»] 2

5. Exemple Si on analyse le raisonnement auparavant en respectant la logique des prédicats, nous trouvons alors la structure suivante : Exemple : (1) Tous les hommes sont mortels. (2) Socrate est un homme. (3) Donc Socrate est mortel. Structure : (1) Tous les A sont B (2) s est A (3) Donc s est B Ax = x est un homme Bx = x est mortel s = Socrate Transcription : (1) ( x) [Ax Bx] (Pour tous les hommes, on a qu ils sont mortels) (2) As (Socrate est une proposition singulière, qui est un homme) Bs (Socrate est mortel) 6. Interprétation de ( x) et ( x) (livre p.79) Considérons la proposition : Ceci signifie aussi : «Tous sont venus» = ( x) Ax «Il n'existe aucun individu qui ne soit pas venu» = ( x)ax Nous voyons que les quantificateurs sont interdéfinissables. Nous pouvons dresser le tableau de ces relations: 3

7. Remplacer les Quantificateurs 8. Conseils (livre p. 107-120) Pour la symbolisation en logique des prédicats (PTR), on suivra les mêmes principes que pour la transcription en logique des propositions. On veillera en plus à: reprendre dans le lexique: - les prédicats (Eigenschaftsworte) qui désignent les qualités (ou les propriétés) que les x sont censés posséder, - un éventuel univers du discours (à savoir un prédicat qui reviendrait dans chacune des prémisses pour tous les x). En ce cas, x n est plus indéfini, mais est délimité et prend donc une certaine signification qu autrement il n aurait pas; identifier correctement les quantificateurs: - les propositions singulières (portant sur un individu clairement désigné par son nom) ne sont pas quantifiées, - certaines prémisses peuvent comporter deux ou plusieurs propositions quantifiées, - dans certaines locutions la quantification (universelle) n est pas apparente (p.ex. les roses sont rouges = toutes les roses.), - les universelles s expriment généralement par des implications et les existentielles par des conjonctions (des exceptions sont possibles: «tous sont venus (A) et sont restés (B)» ( x) [Ax Ʌ Bx]); distinguer clairement les conditions nécessaires (CN) et les conditions nécessaires et suffisantes (CNS): - en transcrivant «seul» ou «seulement (si)» toujours par une (CN), - en transcrivant «si et seulement si» toujours par une (CNS); se laisser guider par son intuition et son bon sens: - ce qui en français est une universelle peut éventuellement être mieux saisi comme une existentielle ceci peut être très différent d une personne à une autre, - la question qu il faut toujours se poser est: «quel est le sens de la proposition à transcrire et estce que ma transcription est conforme à ce sens?», - pour cerner le sens de la proposition, il peut s avérer utile de la traduire en sa langue maternelle. 4

9. Exercices d initiation Déterminez le lexique, la structure et la transcription pour chacun des exercices suivants : 7.1. Proposition singulière (p.108) 7.2. Existentielle (p.108) 7.3. Universelle (p.109) 5

7.4. Universelle et Existentielle (p.109) Structure : Transcription 1 : Alternative : Transcription 2 : 7.5. Expressions traîtresse : Quantification universelle niée (p.110) Structure : Transcription 1 : Alternative : Transcription 2 : 6

7.5. Double négation (p.110) Structure : Transcription 1 : Alternative : Transcription 2 : 7.5. Condition Nécessaire (CN) (p.112) 7

7.5. Condition Nécessaire et Suffisante (CNS) (p.117) 7.5. Cas particulier (p.118) 8