LÓGICA
LÓGICA
L
Machine Translated by Google
TRILCE
Chapitre
1 NOTIONS DE BASE
Dans notre travail quotidien, nous faisons constamment des déductions, ce qui signifie que chaque conclusion que nous établissons est
déduit de « quelque chose » ; ce quelque chose, ce point de départ, est appelé une « prémisse ». Par exemple, si nous exposons un morceau de glace à la chaleur, il
en déduit que la glace fond ; ou lorsqu'un agriculteur voit un épais nuage dans le ciel, il en déduit qu'il va pleuvoir ; ou encore
« Tous les mammifères sont des vertébrés », nous pouvons conclure que « certains vertébrés sont des mammifères ». De là
De cette façon, on peut affirmer qu’il existe toujours un critère logique pour l’analyse des situations qui permettra
établir une notion scientifique de la réalité.
Alors, souvienstoi !
« La logique, précisément, est une science qui étudie les méthodes ou les procédures
qui appliquent des définitions et des lois ou des règles dans le but de déterminer la
validité des inférences, du raisonnement ou des arguments. »
La logique, en tant que connaissance organique et systématique, apparaît pour la première fois avec Aristote (IVe siècle avant J.C.) qui la définit
comme un « instrument » qui aide l'homme à raisonner correctement, améliorant ainsi l'investigation de la nature
(« Organon »). Son objectif était l'analyse formelle du raisonnement.
*
LOGIQUE FORMELLE
C'est une science qui cherche à trouver des schémas universels et valables à tout moment, selon lesquels elle doit et doit habituellement
l'homme pense atteindre la vérité.
L'objet d'étude de la logique formelle est d'étudier la structure des concepts, des jugements et du raisonnement, leur
relations de validité, méthodes et principes qui la déterminent.
Actuellement, la logique formelle est devenue la logique mathématique (ou symbolique), dont l'objectif est de démontrer la « validité »
d'arguments symboliques ou formalisés (« La logique est la science de l'inférence formellement valide »)
C'est une structure de propositions d'où une ou plusieurs d'entre elles, appelées « Locaux) ",
une autre proposition est obtenue qui est appelée «Conclusion" ; elle sera valable lorsque les prémisses
impliquent la conclusion ; lorsqu'il existe une relation cohérente entre ses composants, c'estàdire que la
conclusion est logiquement déduite des prémisses.
Exemple:
Bruno est psychologue et aide les gens.
Flavia est psychologue et aide les gens.
Arturo est psychologue et aide les gens.
Il est probable que tous les psychologues aident les gens.
2. Inférences déductives :
Ce sont ceux dont la conclusion est nécessaire par rapport aux prémisses. Pour obtenir une inférence déductive,
partie des prémisses générales, obtenant une conclusion particulière.
9
Machine Translated by Google
Logique
Exemple :
Tous les humains sont mortels.
Aristote est un être humain.
Aristote est mortel.
À leur tour, ces inférences sont classées comme suit : A)
INFERENCES IMMEDIATES : Elles ont une prémisse et une conclusion.
B) INFERENCES MÉDIATES : Elles comportent deux ou plusieurs prémisses et une conclusion.
PROPOSITIONS
Les « propositions » sont des expressions du langage informatif qui ont la qualité d’être vraies (V) ou fausses (F), c’estàdire qu’elles ont une valeur de
vérité.
Exemple :
*
Le fer à repasser est un appareil électrique.
*
A. Salazar Bondy est né au Pérou. 4 + 3 = 7
*
*
Les oiseaux sont aquatiques.
Il est nécessaire de souligner que ce qui est fondamentalement intéressant dans les propositions est leur sens de vérité ou de fausseté, étant donné que
différentes déclarations peuvent exprimer la même proposition.
Exemples :
*
Diego et Sebastian sont frères.
*
Diego est le frère de Sebastian.
*
Sebastian est le frère de Diego.
De plus, il convient de noter que des expressions dans différentes langues peuvent également présenter la même proposition.
Exemple :
*
Mariella et Ricky sont étudiants.
*
Mariella et Ricky sont étudiants.
2. FONCTION EXPRESSIVE :
Il est responsable de la communication des événements qui se produisent dans le monde subjectif, c'estàdire des expériences.
Exemples :
La vie est belle et vaut la peine d’être vécue.
Oh, plus dur que le marbre, Galatée !
Mon Dieu, je pleure, l'être que je vis.
J'aime la robe que tu as achetée.
Je t'aime, viens dans mes bras.
3. FONCTION APPELLATIVE :
Elle est utilisée pour modifier, inciter ou empêcher l'exécution d'une action spécifique au moyen de phrases exclamatives. Elles sont classées comme des
ordres, des requêtes, des suggestions, des questions, des conseils, des commandements, des supplications, des insinuations, etc.
Exemples :
Asseyezvous et écoutez ce que je vous dis.
Il est interdit de jeter des détritus sous peine d'arrestation.
Quand aura lieu l'examen UNMSM ?
"Il vaut mieux être la tête d'une souris que la queue d'un lion."
10
Machine Translated by Google
TRILCE
PR À CTICA
01. La validité d'une inférence est établie lorsque : a) Il y a du vrai a) Un syllogisme catégorique. b)
dans ses propositions. b) Le raisonnement est Un raisonnement. c) Un
vrai. c) Les prémisses impliquent la argument indirect. d) Tous. e) a
conclusion. d) La conclusion n'est pas fausse si les et b.
prémisses sont ambiguës.
eaux.
e) Toutes. 09. Indiquez une proposition vraie :
a) Il n'y a pas de Péruviens qui soient Cubains. b)
02. « Votre devoir est d'entrer à l'université. » Quelle fonction langagière Les chats sont bruns. c) Si
fondamentale est remplie dans la phrase précédente ? a) Informative. Carlos étudie, Carlos entre. d) Les patriotes
b) Directive. sont des rebelles. e) Chaque plante
c) Expressive. d) est saine.
Descriptive. e)
Référentielle. 10. Logique formelle : a)
Analyse le contenu. b)
Formule des syllogismes. c)
Analyse les hypothèses.
03. L'objectif le plus important de la logique dans son application à la d) Formule des théories.
science et au discours quotidien est : a) La e) Analyse les structures.
structuration des inférences. b) La justification
et la critique des inférences. c) L'analyse de la théorie 11. Indiquez à quelle fonction du langage correspond la
propositionnelle. d) La validité d'un schéma logique :
a) Directive. b)
moléculaire conjonctif. e) La pensée cohérente.
Déclaratoire. c)
Interrogative. d)
Active. e)
04. La logique est une science formelle qui étudie : a) Les
Réflexive.
propositions vraies. b) La pensée
abstraite. c) La structure valide de
la pensée rationnelle. d) La vérité dérivée d'une 12. Quelle fonction exprime l'énoncé suivant : « Je voudrais obtenir le
inférence. e) La pensée correcte et logiquement Tinka ? » a) Informatif. b)
11
Machine Translated by Google
Logique
16. Quelle affirmation exprime une fonction descriptive ? a) Estce que 24. Laquelle des expressions suivantes ne fait pas partie du langage utilisé
tu vas au cinéma ? par la logique ? a) « La logique
b) « Ne me regarde pas. » n'étudie pas les faits. » b) « L'eau bout à une certaine
c) Elena est enseignante. température. » c) « J'aimerais que tu sois à mes côtés. » d)
d) Flor, tu es une bonne amie. e) Je « Tous les mammifères ne sont pas des
prends un bain aujourd'hui. vertébrés. » e) « Il est possible que certains
Péruviens ne soient pas originaires d'Ayacucho. »
20. Le raisonnement suivant est le suivant : 27. La logique est classée comme science : a) Empirique.
Les physiciens sont des scientifiques factuels. b) Sociale. c)
Les scientifiques factuels sont des naturalistes. Factuelle. d)
Par conséquent, certains naturalistes ne sont pas des Formelle. e)
physiciens. a) Naturelle.
Invalide. b)
Incorrect. c)
Vrai. d) 28. Déduire est une expression logique qui signifie : a) Déduire.
Valide. e) Faux. b) Raisonner.
c) Argumenter.
21. La validité se caractérise par le fait qu'elle est le produit de ................ d) Arriver à une
spécifiques conclusion. e) Toutes ces
a) Un ensemble de vérités. b) expressions.
L'utilisation de règles. c)
Des valeurs et des normes. 29. Indiquez une expression qui contient une fonction de
d) Des déclarations. Langage logique :
e) Des assertions. a) « Tous les poissons vivent dans les océans. » b)
« L'histoire de l'homme. » c) « Les
22. N'indique pas une fonction informative : a) triangles sont jaunes. » d) « Quelle belle
Belle matinée. b) Nuit froide. pleine lune. » e) « Je ne te laisserai
c) Pantalon long. jamais partir. »
d) Forte fièvre. e) c et
d. 30. Pour former une inférence, il doit y avoir au moins : a) Deux
propositions. b) Plusieurs
propositions. c) Une proposition.
23. La logique, au sens général, comprend l'étude d) Trois propositions. e)
de : Plus de deux propositions.
a) Vérité. b)
Propositions. c) Jugements
valides. d) Inférences. e) 31. Le terme « validité » s'applique à ............... et cela est démontré par
Connaissances formelles. l'analyse de ses ................. a) inférences contenu.
12
Machine Translated by Google
TRILCE
32. Pour qu’une phrase soit considérée comme une proposition logique, il
faut tenir compte du fait que : 1. La phrase décrit un fait réel.
43. Inférence qui présente une prémisse à partir de laquelle elle est dérivée
35. Dans une inférence inductive, la conclusion est : a) une conclusion. a)
Inductive. b)
Nécessaire. b)
Médiate. c)
Absolue. c)
Sophisme. d)
Probable. d)
Proposition. e)
Relative. e)
Immédiate.
Contingente.
13
Machine Translated by Google
Logique
47. Une inférence inductive est définie par son caractère de : a) Nécessité. 54. Une inférence dont la conclusion découle nécessairement des prémisses
b) Validité. c) est dite : a) Incohérente. b) Fallacieuse. c) Inductive. d) Vraie.
Falsification. e) Valide.
d) Probabilité. e)
Nonconclusion.
56. S'il pleut, les vêtements ne sèchent pas. Il pleut. Par conséquent, les vêtements ne sèchent pas.
52. Parmi les expressions suivantes, indiquez laquelle est une proposition : a)
Je dois entrer à 59. Une proposition est caractérisée par : a) Être
l'UNI. b) Je veux étudier l'architecture. c) Il vraie ou fausse. b) Être
est interdit de fumer. d) x + 1 = ye) 2 > 4 exclamative. c) Être
composée. d) Être
affirmative. e)
Avoir des opérateurs.
53. Un syllogisme présente : a) Deux 60. À quelle fonction langagière appartient l'énoncé « Changetoi et allons
inférences. b) Une faire les courses » ? a) Informatif. b) Expressif. c)
prémisse et une conclusion. c) Deux Conatif. d) Directif.
conclusions. d) Une paire de e) c et d.
prémisses. e) Seulement des
prémisses.
14
Machine Translated by Google
TRILCE
Chapitre
2 LOGIQUE PROPOSITIONNELLE
I. DÉFINITION : On l'appelle aussi la logique des propositions non analysées, son objet d'étude est les propositions
et sa formalisation afin de déterminer ses valeurs logiques.
II. PROPOSITION (ÉNONCÉ) : C'est le nom donné aux expressions linguistiques dont on peut affirmer que
sont vrais ou faux.
CARACTÉRISTIQUES
*
Chaque proposition est une phrase assertive, mais chaque phrase n’est pas une proposition.
*
Chaque proposition est soit vraie (V) soit fausse (F) (elle ne peut pas être les deux à la fois).
*
Dans le raisonnement, la proposition peut être une prémisse ou une conclusion.
*
La proposition vraie ou fausse peut être affirmée ou niée.
*
Les énoncés mathématiques ont rang de propositions.
Par
exemple : Les footballeurs sont des athlètes. (V)
Chaque Africain est Asiatique. (F)
La botanique étudie les plantes. (V)
III. TYPES DE PROPOSITIONS : Les propositions sont essentiellement classées comme suit : simples et composées.
A. PRÉDICATIFS. Ceux qui présentent, dans leur structure, un seul sujet et un seul prédicat (le sujet
peut être tacite).
Par
exemple : Les habitants de Huancay sont heureux.
Les baleines sont des mammifères.
B. RELATIONNEL. Ils présentent dans leur structure un lien, deux ou plusieurs sujets.
Ex :
Pedro est un ami de José.
La trigonométrie est plus complexe que la géométrie.
Lucho et Maricarmen se détestent.
A. Négatifs. Ce sont ceux qui présentent la négation (non, ce n'est pas vrai que, c'est faux que, c'est un mensonge que, il n'arrive pas que,
etc.).
Par exemple : Rocío n'est pas mineur.
Il est faux que le coq et la poule soient aquatiques.
B. Conjonctifs – Ce sont les connecteurs de « ET ». La conjonction peut être implicite ou remplacée par ses synonymes : comme, mais, en
même temps, de plus, même, aussi, bien que, malgré, cependant, ni, etc.
Par exemple : Nelly et Roger sont médecins.
Ruby est linguiste et également écrivain.
C. Disjonctifs. Ils se présentent comme des connecteurs « Ou », « ou », « ou ... ou... », ils sont de deux types :
Inclusif ou faible. Lorsque toutes les alternatives proposées sont satisfaites, soit en même temps, soit en alternance.
15
Machine Translated by Google
Logique
Exclusif ou fort. Lorsque seulement une des alternatives proposées est remplie et que l'autre est exclue.
Ex. : César Vallejo est mort à Lima ou à Paris.
Soit nous courons , soit nous marchons
D. Conditionnel (implicatif). Ils présentent comme connecteur le mot « alors » ou ses équivalents : alors, donc, en conclusion, par conséquent,
d'où, etc. Cette proposition indique une relation de cause à effet (antécédentconséquent).
Il est divisé en :
Conditionnel direct. Ici, l'antécédent est présenté en premier, puis le conséquent (cause effet).
Par exemple.
Conditionnel inverse. Ici, le conséquent est présenté en premier, puis l'antécédent. Les connecteurs utilisés sont : étant donné que, puisque,
parce que, si, chaque fois que, chaque fois que, etc.
Par exemple.
E. Biconditionnel (double implication). Ils se présentent comme un connecteur « Si et seulement si », ou ses équivalents : quand et
seulement quand, alors et seulement alors, etc.
Par exemple.
16
Machine Translated by Google
TRILCE
PR À CTICA
01. Indiquez la proposition qui n'est pas une disjonction exclusive : e) John Locke était un empiriste car il soutenait que la seule source
a) Demain c'est lundi ou mardi. b) Le de connaissance est l’expérience sensorielle.
a) IAIIBIIICIVD b) IB
d) Les étudiants universitaires sont pauvres et ont des limitations
IIDIIIAIVC c) ICIID économiques.
IIIAIVB d) IDIIAIIIB
e) Aucun, car ce n’est pas une proposition conditionnelle.
IVC e) IBIIDIIICIVA final.
17
Machine Translated by Google
Logique
d) Rommel est un leader ou un orateur. e) Charo et Sophie sont sœurs ; mais elles ne travaillent pas
e) C'est soit toi, soit moi qui épousera Diana. ensemble.
14. Une proposition est élémentaire lorsque : 20. Laquelle des affirmations suivantes est une affirmation ?
a) Il manque des phrases. logique?
b) Il n'y a qu'une seule phrase. 1. Mon désir est de travailler pour les pauvres.
c) Contient une implication. 2. La théorie de la relativité.
d) Il est divisé en deux ou plusieurs significations. 3. Le soleil est une étoile.
e) Il n’a qu’un seul sens. 4. Certains mammifères sont carnivores.
présente une disjonction exclusive car : a) Il comporte au moins une proposition de base.
a) Il est aux deux endroits en même temps. b) Il doit avoir des quantificateurs.
b) C'est à Chincha oui et seulement si c'est à Lima. c) Il doit contenir des termes de liaison.
c) Si vous êtes à Lima, allez à Chincha. d) Doit avoir une copulation.
d) Vous ne pouvez pas être aux deux endroits en même temps. e) Il relie nécessairement deux sujets.
e) Vous pouvez aller aux deux endroits en même temps.
22. Indiquez la correspondance :
17. Laquelle n’est pas une proposition conjonctive ? 1. Un ami gentil.
I. Marco et Dante sont amis. 2. Même si je t'apprécie, je ne te salue pas.
II. César est aussi gentil que Zoila. 3. Je pars en voyage car c'est la fin de l'année.
III. Bien que Juan soit grand, il n'atteint pas le plafond. 4. Marcelo et Rosita sont partenaires.
IV. Aujourd’hui tu chantes parce que tu es heureux.
V. L'enfant pleure s'il a faim. a. Conditionnel.
b. Simple ou atomique.
a) I II III. c. Conjonctive.
b) III IV V. d. Relationnel simple.
c) Seulement IV et V.
d) I IV V. a) 1a , 2b , 3c , 4d.
e) I II V. b) 1b c) , 2c , 3a , 4d.
1d d) , 2a , 3b , 4c.
18. Indiquez la correspondance : 1a e) 1c , 2d , 3b , 4c.
1. Si la porte est ouverte, le chat sort dans la rue. , 2d , 3b , 4a.
2. L’histoire est une science sociale ou factuelle.
3. Peutêtre que tu viendras demain si aujourd'hui c'est lundi. 23. Indiquez quelle est une proposition conjonctive :
4. Peutêtre que je t'appellerai demain. a) Sonia et Martha sont médecins.
b) Le cheval hennit à chaque fois qu'il trotte.
a. Dilemme. c) La physique est une science factuelle puisqu'elle requiert la
b. Conditionnel. mathématiques.
18
Machine Translated by Google
TRILCE
e) Cela ne peut pas être négatif. 33. Dans la liste suivante de propositions connexes
correctement:
26. Indiquez quelle proposition est : 1. Conditionnel.
27. Indiquez ce qui n’est pas caractéristique de la proposition : C. L’eau est salée parce qu’elle vient de la mer.
D. Nous avons mangé du ragoût ou du riz frit pour le déjeuner.
a) Chaque proposition est soit vraie, soit fausse.
b) La proposition fausse peut être affirmée ou niée.
c) Chaque phrase exclamative est une proposition. a) C1 , D2 , A3 , B4.
31. Indiquez ce qui n’est pas une proposition conjonctive : 37. La proposition simple est également connue sous le nom de :
a) "Emelly et Flavia sont comptables". a) Composé.
b) « Le cheval hennit en trottinant. » b) Atomique.
c) « La physique est une science tactique même si elle nécessite c) Moléculaire.
des mathématiques. » d) Universel.
d) "Je t'aime, mais je ne me marierai pas." e) Privé.
e) "Gloria et Ramón sont amants."
38. Énoncez la condition inverse :
32. La proposition : a) J'irai au concert tant que j'aurai de l'argent.
« Même si c'est cher, j'achèterai un ordinateur. » b) L’équipe péruvienne a gagné parce qu’elle s’est beaucoup entraînée.
est : c) Nous nous sommes bien amusés à la fête.
a) Un dilemme. d) Il fait froid, alors je porte un manteau.
b) Prédicatif simple. e) oui b.
c) Relationnel simple.
d) Une conjonctive. 39. Indiquez la bonne réponse :
19
Machine Translated by Google
Logique
une proposition. c) 47. « Alberto et José sont frères » est un exemple de proposition : a)
Le téléphone est bavard. d) Atomique. b)
Seulement Conjonctive. c)
b. e) a et c. Moléculaire. d)
Disjonctive. e)
40. Identifiez la proposition négative simple : a) Pedro Conditionnelle.
et Omar sont inconsidérés. b) Ce n’est pas le cas
que quelqu’un fasse confiance à quelqu’un et le trahisse.
c) Il est faux que Juan soit immoral. d) 48. « Lorsqu'il pleut un aprèsmidi ensoleillé, un arcenciel se forme. »
Mariela partira en voyage si et seulement si elle obtient de bonnes Voici un exemple de proposition : a) Conjonctive. b) Simple. c)
notes. e) Il est impossible pour Juan de mentir. Conditionnelle.
d) Biconditionnelle.
41. « L’Empire Inca est situé en Amérique du Sud » ;
e) Disjonctive.
C'est une proposition des types
suivants : a) Prédicatif
simple. b) Atomique relationnel par localisation.
c) Prédicatif simple par degré. d)
Conjonctif relationnel. e)
49. « Je suis soit vivant, soit mort » est une proposition : a) Disjonctive
Atomique prédicatif disjonctif.
faible. b) Conjonctive. c)
Conditionnelle. d)
42. Ce sont des propositions dépourvues de liens logiques ou de
Disjonctive forte. e)
conjonctions grammaticales. Ce sont : a) Conjonctives. b)
Biconditionnelle.
Disjonctives. c)
Simples. d)
43. Javier travaille et étudie également l'anglais ; c'est une proposition. a) qu'il pleuvra dans les montagnes de Lima. d)
Simple. b) Ce n'est pas vrai qu'elle étudie à l'UNI. e)
Colligatif. c) Puisque tu pratiques, tu maîtrises le cours.
Composé. d)
Moléculaire. e) 51. Quelle structure correspond à une proposition conditionnelle ?
Tous sauf a. a) ..................
ou .................. b) ..................
donc .................. c) .................. bien
44. La logique propositionnelle est également connue sous le nom de que .................. d) .................. comme ..................
e) .................. cependant ..................
Logique : a)
Classes. b) Prédicats.
c) Quantificationnelle. d)
52. Trouvez la proposition conjonctive : a) Ce
Propositions analysées. e) Propositions non
n'est pas vrai que je chante et que je
analysées.
danse. b) Ángel et Melissa sont voisins.
c) Lima se trouve entre Ica et Ancash. d)
45. Connecteur monadique, également considéré comme un modificateur
César et Andrés sont médecins. e) Tout
logique : a) Conjonction.
comme je t'aime, je te déteste.
b) Disjonction. c)
Négation. d)
53. ".................. parce que ..................... "; correspond à : a) Conditionnel
Conditionnel. e)
inverse. b) Conditionnel direct.
Biconditionnel.
c) Disjonctif. d) Conjonctif. e)
Négatif.
20
Machine Translated by Google
TRILCE
d) Négation conjonction biconditionnelle. e) 58. « Dario viendra aujourd'hui, seulement si son frère reste à la maison.
Négation conjonction disjonction. maison". C'est une proposition :
a) Conditionnel c) b) Négatif d)
55. Proposition moléculaire qui établit une relation de
Disjonctif e) Conjonctif
Antécédent et conséquent : a)
Biconditionnel
Conjonction. b)
Disjonction. c) 59. « Salma joue du piano, et aussi du violon. » C'est une proposition :
Conditionnel. d)
Biconditionnel. e)
Négation. a) Conjonctif c) b) Disjonctif d)
Conditionnel e) Biconditionnel
56. Indiquez l'expression qui établit une disjonction exclusive : Négatif
21
Machine Translated by Google
TRILCE
Chapitre
FORMALISATION DANS LE
3 LOGIQUE PROPOSITIONNELLE
(SYMBOLISATION)
La symbolisation des propositions consiste en la représentation du langage ordinaire au moyen d'un langage artificiel
(conventionnel). Formaliser signifie remplacer chaque proposition par une variable et chaque connecteur (terme de liaison) ou
modificateur (négation) par un opérateur logique, le tout correctement hiérarchisé par des signes de regroupement.
1. VARIABLES
Elles servent à représenter des propositions simples. Ce sont les lettres minuscules : p, q, r, s, t, etc.
Exemple:
a) Juan Pablo est un compositeur.
p
b) Rosario est une femme d’affaires et une étudiante universitaire.
p q
2. OPÉRATEURS LOGIQUES
Ils sont de deux types :
a) Dyadiques. Ils sont utilisés pour représenter des connecteurs (termes de liaison).
Connectif .... et .... .... ou .... ou ... ou ... si ... alors... ...si et seulement si ...
Opérateur
Exemple:
b) Monadique. Il est utilisé pour remplacer le modificateur « no » ou ses expressions équivalentes (ce n'est pas vrai, c'est faux que, no
il est vrai que, etc.).
Modificateur non
Opérateur ~
Exemple:
*
Mars n'est pas une étoile.
*
Il n’est pas vrai que les poulets ont deux pattes et ne sont pas des oiseaux.
23
Machine Translated by Google
Logique
a) HIÉRARCHIE
La hiérarchisation consiste à regrouper des variables et des opérateurs au sein de signes de collection, également appelés
regroupement.
Pour établir des priorités, les exigences suivantes doivent être prises en compte :
*
Seuls les connecteurs logiques (et, ou, alors, si et seulement si, etc.) présentent une hiérarchie.
*
Pour prioriser correctement, vous devez prendre en compte les signes de ponctuation du texte à prioriser,
car ils indiquent l'emplacement des panneaux de collecte.
*
Dans le texte, le point a la plus haute hiérarchie, suivi en 2ème place par le pointvirgule, et en 3ème place par la virgule.
b) RÈGLES DE HIÉRARCHISATION
1. Là où se trouve le signe de ponctuation le plus important du texte, se trouve le connecteur.
principal.
2. Lorsqu'il y a un signe de ponctuation, un signe de collection (parenthèses, crochets ou
clé)
3. Le connecteur qui se trouve à l'extérieur ou dans la partie la plus externe des signes de collection est celui qui a la plus grande
hiérarchie.
4. Si nous trouvons un texte où une succession de signes de ponctuation identiques est présentée, celui qui est le plus grand sera
présent comme connecteur alors, alors ou l'un de ses synonymes.
5. La négation précède la variable (~p), elle ne relie pas les propositions, car elle n'est pas connective : (p ~ q).
Exemple:
Esther étudie la physique et la chimie, ou la logique. Cependant, elle étudie les mathématiques.
hiérarchie 2 hiérarchie 1
[(p q) r] s (hiérarchisation)
4. FORMULES
C'est le résultat de la formalisation et de la hiérarchisation correctes des propositions ou des inférences.
Exemple:
a) Galilée était un physicien et un mathématicien.
p q
Formule : p q
Nom : formule conjonctive
b) Si l'eau de la rivière est douce , alors cela peut être destiné à la consommation humaine ou
p q
utilisé pour arroser les cultures de tomates.
r
Formule : p (q r)
Nom : Formule conditionnelle
REMARQUE : Si lors de la formalisation, nous trouvons le conditionnel inverse, les propositions qui composent le conditionnel doivent être permutées.
conditionnel.
24
Machine Translated by Google
TRILCE
Exemple:
*
Lucy participe au cours de recyclage parce qu'elle a de l'argent.
p q
Formule : q p
Nom : Formule conditionnelle inverse
exemple
* *
p q pq * (p q) (r s)
* *
p q p q * (p q) [r (p q)]
* *
p q * (p q) r p q r
*
p q r
IV. Aucune autre formule n'est une FBF. Sinon, ce sont des formules mal formées (IFF).
Par exemple.
*
p~q C'est un FMF car la négation n'est pas un opérateur dyadique.
*
p q C'est un fmf car l'opérateur « » n'est pas monadique et doit être entre variables.
(Ex. p q)
*
p q r Il s'agit d'un FMF car il est impossible de déterminer lequel des opérateurs a la hiérarchie la plus élevée, étant donné
il manque le signe de regroupement.
(Par exemple (p q) r)
Hiérarchie supérieure
1
* (pq) (rs) * p (qp) (q r)
2 2 45
Mineure 1 24 3
hiérarchie Hiérarchie supérieure
25
Machine Translated by Google
Logique
Exemple:
*
L'alcool et les cigarettes sont nocifs pour la santé = pourquoi
p . q
*
Si Noriega est un astronaute, alors il voyage vers la Lune = pq
p q
1) La conjonction a une hiérarchie plus élevée que tout autre opérateur qui n'a pas de points ou qui est affecté par des points.
Par exemple :
Hiérarchie supérieure
1
p . qr pq . rs 2 1 2
Hiérarchie supérieure
2) L'opérateur dyadique avec le plus grand nombre de points est le plus élevé dans la hiérarchie, si et seulement s'il n'est pas limité par les signes
de regroupement.
Par exemple :
p q . .r r: : p. . pvr . q
2 1 1 243
Hiérarchie supérieure
Hiérarchie supérieure
3) L'opérateur monadique (négation) ne peut pas se voir attribuer de points auxiliaires, car ceuxci ne sont attribués qu'à
aux opérateurs dyadiques. Par conséquent, lorsqu'il s'agit de négation libre, il est nécessaire d'utiliser les signes de
groupement .
Par exemple :
26
Machine Translated by Google
TRILCE
PR À CTICA
01. « Si Jennifer est grande ou petite, alors la bague de fiançailles lui va. » 07. Formule:
"Carmen n'a pas acheté de vin ; cependant, parce qu'elle a soif,
Symbolisant ce qui précède, il en résulte : elle a demandé une glace." a) ~ p (q r) b) ~
a) (p q) r b) p (r q) c) p
(p q) ~ r c) (p (q r) d) ~ p (q
q) r d) (p q) r) e) ~ p (q
r e) p (q ~r
r)
02. Symbolique :
L'avion décollera à 5 heures du matin, à moins que le brouillard ne 08. Quelle est la formule correcte pour : « Le
recouvre l'aéroport. a) p q b) p q maire sera réélu s'il maintient la beauté de la ville ou n'augmente
c) q p d) pas la taxe foncière » ? a) p (q ~ r)
p q e) p
q
b) (q ~ r) p
c) (q ~ r) p
d) p ~ q e)
03. Symbolique :
(~ q p) r
Soit Martin étudie l'allemand et le portugais, soit il va à la bibliothèque
et cherche des
informations. a) (p q) 09. « Si Gloria travaille, alors elle gagne de l'argent ; si elle gagne de
(r s) b) (p q) l'argent, elle achète une voiture ; donc, si elle travaille, elle achète
(r s) c) p [q (r une voiture. »
s)] d) p [(q s) Indiquez l'alternative qui vous correspond : a) (p
r] e) (p q) (r s) q) {(q r) (p r)} b) (p q) [(r
q) (p r)] c) (p q) [(q p)
04. Cochez l'alternative qui correspond à la formule : ~ q p a) Si je ne (r p)] d) [(p q) (q r)] (p
vais pas r) e) (p q) [(q r) (p r)]
au musée, alors je suis content. b) Je cours ou je ne
serai pas en retard. c) Je ne
marcherai pas si et seulement si j'ai mal aux pieds. d) Je 10. Formalité :
serai en retard parce que je ne cours pas.
Hugo pleure si Milagros ne vient pas, mais Milagros ne vient pas
e) Il est faux de dire que si je vais au musée, je serai malheureux.
parce qu'Hugo pleure. a) (~ q
p) ~(p ~ q) b) (p ~ q) ~(~ q
05. « Le pantalon de Manuel est froissé parce qu'il ne l'a pas repassé, et il
est usé. » p) c) (~ q p) (p ~ q) d) p
Sa formalisation donne : ~q p q e) (~ q p)
a) (p ~ q) r b) (p ~ q)
(~ q p) r c) p
q d) ~ p 11. Formalisez ce qui suit : « María
a 15 ou 16 ans et étudie le droit ou l'ingénierie des systèmes.
q
s b) [(p q) ~ q] p
12. Symbolique :
c) [(p q) ~ q] Lorsque Platon méprise le sensible mais apprécie l’idéal, il manifeste
p d) (p ~ q) r e) (p q) (~ q p)
la caractéristique de la valeur appelée hiérarchie.
27
Machine Translated by Google
Logique
q c) (p b) pc) p
q) r d) pe) p q d)
q ~p ~ q e)
~q ~p
13. Symbolique :
« Le poète est sensible parce qu'il est romantique, parce qu'il est 19. « Sonia n'est pas venue au Séminaire ni au Concours de Bourses
sensible. » a) q. .pr b) parce qu'elle a voyagé dans le Sud. »
p. .q p c) Symbolisant ce qui précède, il s'ensuit : a)
q p d) r. .q r. . ~ p. ~ q b) r. .
p e) p ~ pq c) ~ pq .r
q. .r d) ~ p ~q r
e) q p
14. Symbolique :
« Eduardo et Victor sont voisins et étudient également à l'UNMSM. » 20. Quels opérateurs présentent le texte suivant : « Il est impossible que le
a) p . qvrb) p . qc) pvqd) (p . q) . (r . soleil se lève et qu'il fasse nuit.
s) e) p . (q . r) Donc, c'est soit le jour, soit la nuit.
a) ~, . , , v b)
~, . , ,v
, / c) ~,,
d) ~, /, ,
15. « Comme un philosophe, Pythagore était un mathématicien, car il
concevait le nombre comme le fondement de toute existence. » La e) ~, . , , /
formule
qui le représente, est : a) pq 21. Formaliser :
r b) q p S'il pleut à midi, tes vêtements ne sècheront pas ; s'il ne pleut pas,
c) r. .pq ils sécheront et tu iras à la fête. Donc, si tu vas à la fête, il n'a pas
plu. a) p ~ q (~ p q r):
e) r pq e) r.
.p q :r ~ p b) p ~q ~p q r:
:r ~ p c) p ~q ~p q r: :r
~ p d) p ~q ~p q r: :r ~
16. Symbolique : p e) ~ q p: :~ p q r: :~ p r
« Soit l'ornithorynque est un mammifère, soit un oiseau. Mais
q b) p q r ~ r b) p q
r c) q ~r
~ q c) p q
p d) p
r q d) p q r
q r s e) q
~ q e) p q r ~q
p
opposés". Ses amis l'ont soutenu, ce n'est pas vrai qu'il est au chômage ou
qu'il n'a pas progressé."
En formalisant, on obtient :
Après avoir formalisé ce qui précède, il en
a) p q r résulte : a) p ~q ~r ~s
b) p q r c)
b) p ~q ~(~ r ~ s)
p q d) q
c) ~ q p ~(~ r ~ s)
p e) p
q r
28
Machine Translated by Google
TRILCE
d) ~ p (q ~ r) d) [~ (p q) p] ~ q e) [~
e) p ~q ~ (~ r ~ s) (p q) p] ~q
24. L'écrivain est sensible parce qu'il est amoureux, parce qu'il est 30. Symbolisez correctement la proposition suivante :
sensible. a) (p q)
« Alonso est avocat ou diplomate, et s’il est diplomate, il voyage
p b) (p q) p
presque toujours à l’étranger. »
c) p (q p) d) p
(Si nous savons que P = Alonso est avocat ; q = Alonso est
(q p) e) (p diplomate ; r = Alonso voyage presque toujours à l'étranger). a) (p
q) q q) (r
s) b) (p q) (r s)
c) (p q) (q r) d)
25. L'histoire estelle une science sociale ou une science (p q) (q r) e) (p
factuel, alors il est soit objectif, soit subjectif. a) (p q) (r
q) (q r)
s) b) (p q) (r
s) c) (p q) (r s)
q) r} ~ s c) {(p q) p) e) p ~q
r} s d) s {(p q)
r} e) {( p q) r} ~
(q r)
29. « Il n'est pas vrai que tu sois à la fois femme et homme, puisque tu es (q r) e) p
q) q] ~ p b) [q ~ (p 34. L'argument :
« Pythagore était à la fois mathématicien et philosophe. Mais Luther
q)] ~ p c) [p ~ (p q)] ~
a toujours été un protestant, qui ne s'est pas soumis au catholicisme. »
q
29
Machine Translated by Google
Logique
40. « Judas est déloyal et malhonnête parce qu’il n’a pas dit la vérité à
35. Formalisez correctement : Jésus et l’a livré aux Juifs ; c’est pourquoi il n’est plus une personne
« Ce n’est pas qu’il n’y a pas de contrôle des prix ou que les prix du digne de confiance. »
carburant augmentent. » En formalisant l'expression précédente, on obtient : a) ~ t
La formule logique correcte pour l'expression cidessus est : a) ~ (p [(~ r s) (~ p ~ q)] b) [(~ r s)
q) b) ~ (~ p (~ p ~ q)] ~ t c) [~ (~ p ~ q) (~ r
d) ~p ~q [(p q) r] ~s
e) ~ (p q)
41. Il m'a fallu un certain temps pour arriver ici car la voiture est tombée en
36. « Si Diego est mathématicien et Sebastian ingénieur, alors ils panne et j'ai dû venir
37. Symbolique : a) ~ p (q r) b) ~
« Il est faux qu'il ait acheté des actions de compagnies de téléphone ou des p (q r) c) ~ p
obligations d'État. Il a ensuite perçu de bons dividendes grâce à ses achats
(q r) d) (q r)
d'actions de compagnies de téléphone. »
p e) (q r) p
a) r (~ p q) (s t)
b) ~ (p q) (p t) c) ~
43. Sans justice sociale, il n'y a ni démocratie ni légalité. a) ~ p (~ q
(p q) (r s) d) r (p ~ r) b) ~ (p
q) (s t) e) ~ (p q) q) r c) (~ p ~q)
(s t) ~ r d) (~ p ~q)
~ r e) (~ p ~q) ~r
38. Formaliser :
S'il pleut à midi, tes vêtements ne sècheront pas ; s'il ne pleut pas,
ils sécheront et tu iras à la fête. Donc, si tu vas à la fête, il n'a pas
plu.
a) {[(p q) ~ (p q)]} (s r) b) (p 44. Si Salma est grande ou petite, alors la robe ne lui va pas.
q) (r s) ~ p c) {[(p ~
a) (p q) ~ r b) (p
q) ~r (q s)]} (r ~ p) d) [(p q) ~ (p r)]
q) ~ r c) (p q)
(p ~ r) e) {(p ~ q) [~ p (q r)]}
~ r d) (p q) ~
(r ~ p)
r e) (p ~ q) r
30
Machine Translated by Google
TRILCE
45. Si c'est un jour férié, je n'irai pas travailler. Ce n'est pas un jour férié. physiciens. a) p
~q ~ p) ~ p b) (p ~ q r s c) p.~q
q ~ q) ~ p c) (~ p p) (~ = d) p q . r. s
r s e) p q
q ~ p) d) p ~q ~p
q e) ~ q p ~p q r s
r) (q ~ p) ~r
47. Les oiseaux migrent si c'est l'hiver ; mais ils ne migrent pas 53. Nous partirons en voyage ou nous ne ferons aucune visite touristique,
s'ils ne sont pas reproduits auparavant. si et seulement si nous avons le temps. a) (p
a) q p ~r ~ p b) q ~ q) r b) (p ~
p ~r ~ p c) p q) r c) (p ~ q)
q ~r ~ p d) p q
r d) r (p ~ q) e)
~p ~ r e) q p r
~r (p ~q)
~p
(p q) a) p (r q) b)
(p r) q c) p
(q r) d) (p
q) r e) r (p
49. J'irai chez le médecin chaque fois que je serai malade. Mais je ne suis
q)
pas malade. Par conséquent, je ne vais pas chez le médecin.
a) (q p ~ p) ~ q b) (p 55. Il pleut même quand ce n'est pas l'été. Mais c'est l'été.
q ~ p) ~ q c) (q p On conclut qu'il ne pleut pas ou qu'il ne fait pas froid ou qu'il n'est pas
été.
~ q) ~ p d) (p q ~
a) [(p ~ q) p] [(~ r ~ s) ~ t] b) [(~ q
q) ~ p e) (p q ~ q)
p) p] [(~ r ~ s) ~ p] c) [(~ q p)
~p
p] [(~ p ~ r) ~ q] d) [(~ q p) q] [(~ p
50. C'est faux que je vais chez le médecin et qu'il ne me trouve pas. ~ r) ~ q] e) [(p ~ q) q] [(~ p ~ r) ~
mauvaise santé.
q]
a) ~ p ~ q b)
~ (p ~ q) c) ~ (p 56. Symbolique :
« Si Locke est un empiriste, il a rejeté l'innéisme et a considéré que
~ q) d) ~ (p ~
l'esprit à la naissance est vide. » a) (p q) r b) p (q r)
q) e) ~ (p q) c) p (q r) d)
p (q r) e) (q
r) p
51. Soit la psychologie est une science sociale et les phénomènes naturels
ne sont pas des déterminants du comportement, soit c'est une
science naturelle et les événements psychiques ne sont qu'une
simple continuité de
31
Machine Translated by Google
Logique
57. Formaliser : 59. « Si Luis se rend en France, il a un passeport. C'est vrai qu'il
« Il n'est pas vrai qu'Alex soit ingénieur ou avocat ; en se rend en France. Il a donc un passeport. »
conclusion, Alex est avocat. » a) (~ p
q) p b) ~ (p Sa formule est :
q) q c) ~ (p a) [(p q) p] q b)
q) q d) (~ p
[(~ p q) ~ p] q c)
q) p e) q (p
[(p q) p] q d) (p
q)
q) (q p) e) (p
d) (r p) q c) (~ p ~ q) ~ r d) ~ r
e) p q (~ p ~ q) e) p q
32
Machine Translated by Google
TRILCE
Chapitre
FONCTIONS DE VÉRITÉ
4 TABLETTES DE VÉRITÉ
I. FONCTIONS DE VÉRITÉ
1. DÉFINITION : Ce sont des interprétations sémantiques des possibilités de vérité ou de fausseté des propositions
moléculaires en fonction de leurs connecteurs ou modificateurs.
Il s'agit des suivants :
A) Négation : Logiquement, elle est régie par la règle suivante : « La négation d'une proposition vraie est fausse.
La négation d’une proposition fausse est vraie.
Schématiquement, cela est représenté par la table de vérité suivante :
p~p
VF
FV
Cela signifie que si « p » est V, sa négation est F ou vice versa.
B) Conjonction : La fonction de vérité de la conjonction est régie par la règle suivante : « Une proposition conjonctive est vraie lorsque toutes les
propositions qui la composent sont vraies, étant fausses dans les autres cas. »
C) Disjonction inclusive ou faible : Dans ce cas, elle est : « Elle n'est fausse que lorsque toutes ses composantes sont fausses,
Dans d’autres cas, c’est vrai.
Schématiquement, nous avons :
pqp q
VVV
VFV
FVV
FF F
D) Disjonction exclusive ou forte : La règle est : « Une proposition disjonctive forte est fausse lorsque sa
les composants ont des valeurs égales, dans les autres cas c'est vrai."
Schématiquement, il est représenté :
pqp q
VVF
VFV
FVV
FF F
33
Machine Translated by Google
Logique
E) Conditionnel : La règle est : « Une proposition conditionnelle n'est fausse que lorsque l'antécédent est vrai. »
« C'est vrai et le conséquent est faux, étant vrai dans les autres cas. »
La fonction de vérité est exprimée dans le schéma suivant :
pqp q
VVV
VF F
FVV
FFV
F) Biconditionnel : La règle est : « Une proposition biconditionnelle est vraie lorsque ses deux composantes
ont des valeurs égales, et elle est fausse lorsque ses deux composantes ont des valeurs différentes.
Schématiquement, nous avons :
pqp q
VVV
VF F
FVF
FFV
RÉSUMÉ:
Dilemme Dilemme
Conjonctive faible fort Négation conditionnelle biconditionnelle
Scholz ~
Russell ~
.
pq ~p
p q p q p q p q p q
VV Dans Dans F Dans Dans F
VF F Dans Dans F F F
FV F Dans Dans Dans F Dans
Exemples :
1. Si : p = F, q = V et r = F, indiquez la valeur de vérité (vrai ou faux) des formules suivantes :
a) (q p) (r p)
b) ~ [r q. .~ (pq)]
Développement:
a) (q p) (r p)
Étapes à suivre :
1. Attribuez les valeurs correspondantes à chaque variable :
(q p) (r p)
VF F F
2. Évaluez les formules selon les règles des fonctions de vérité :
(qp) (r p)
VF FF
Dans Dans
Dans
3. La valeur finale est obtenue à partir de l'opérateur principal (hiérarchie la plus élevée).
Résultat = V (vrai).
Remarque : Pour résoudre l'exercice suivant, nous procédons directement, car nous connaissons déjà les étapes à suivre.
continuer.
34
Machine Translated by Google
TRILCE
Dans F
Dans
Dans
Résultat : F (faux).
2. Si la formule (p q) (p s) est fausse, trouvez les valeurs de p, q et r, respectivement :
Développement:
Étapes à suivre :
1. La valeur de vérité de la formule se situe dans l'opérateur principal (hiérarchie la plus élevée).
(p q) (p r)
F
2. La valeur correspondante est donnée à chaque formule ou variable en fonction de la valeur donnée de l'opérateur
principal, qui respecte les règles des fonctions de vérité.
(p q) (p r)
VFFFVFF
Résultat : VFF.
1. TABLES DE VÉRITÉ
Également appelés valeurs, tables de vérité, méthode matricielle. Ce sont des graphiques dans lesquels sont représentées toutes les
valeurs vraies ou fausses que peuvent supposer les différentes interprétations d'un schéma ou d'un ensemble.
formule logique.
Wittgenstein (1889 – 1951), philosophe viennois, père de la philosophie néopositiviste et analytique, est celui qui propose la
tables de vérité.
FORMULE : C = 2n
C = Nombre de lignes ou de dispositions que comportera le tableau.
2 = Constante numérique
n = Nombre de variables
GRAPHIQUE:
Variables
de formule Formule logique
Combinaisons
(matriz (ces))
de V y/o F
Marge Corps
Gauche
REMARQUE : Pour trouver les valeurs Vrai ou Faux de la matrice principale d'une formule logique dans la table de vérité,
il est nécessaire d'utiliser des fonctions de vérité.
35
Machine Translated by Google
Logique
*
FONCTIONS DE LA VÉRITÉ :
Disjonctif Disjonctif
Conjonctif Compris Exclusif Conditionnel équivalent négatif
VV VV
V sera F
VV = VFF = F F VF = F Dans
F sera V
FF FF
n p q p q p q p q p q p q p
C=2 n
C=2
Dans Dans Dans
Dans
Dans Dans
Dans
Dans Dans
F Dans Dans
Dans
Dans Dans
Dans
Dans F Dans Dans
2
C=2 F F F Dans
F Dans
F F F F F 1
Dans Dans Dans Dans Dans Dans
C=2
F Dans F F Dans F Dans
Dans F Dans
Dans F Dans
Dans F F Dans
Dans F F
C=4 F F F F F F F F F F F F Dans
F F Dans
F
C=2
*
ÉTAPES À SUIVRE POUR ÉVALUER LES FORMULES LOGIQUES :
EXEMPLES:
Déterminer la matrice principale des formules suivantes :
A) p q
B) (p q) (r p)
C) p
DÉVELOPPEMENT
1
UN) pqp q
VV Dans
Nombre d'arrangements :
VF F C = 2n
FV Dans
FF Dans
C = 22 = 4
quartier général
2 1 2
B) pqr (p q) (r p) nombre d'arrangements
C = 2n
VVF Dans Dans Dans
VFV
C = 23 = 8
Dans Dans Dans
FVF Dans F F
FFV F F Dans
FFF F F F
Matrice principale
C) pp nombre d'arrangements
VF
C = 2n
FV
C = 21 = 2
quartier général
36
Machine Translated by Google
TRILCE
1. Tautologiques (T) : Ce sont celles dont la matrice principale ne contient que des valeurs de vérité. On les appelle
également « Principes logiques ».
Exemple:
3 2312
pq [(p q) q] p
F VF
F VF
F VV
Dans VV
EL Conditionnel tautologique
2. Cohérent (Q) : Également appelés schémas contingents. Dans ces formules logiques, la matrice principale de
Leur table de vérité présente au moins une valeur de vérité et une valeur de fausseté.
Exemple:
3212
pq
q) [(pq)
q] pq [(p q] p
LE Contingent Biconditionnel.
3. Contradictoires ( ) : Ce sont des formules formellement fausses, la matrice principale de leur table de vérité seulement
contient de fausses valeurs.
Exemple:
2 1 2 pq 3
[(pq) pq [(p q) (p
(pq) q)
La conjonctive contradictoire
37
Machine Translated by Google
Logique
PR À CTICA
01. Indiquez la matrice principale du schéma moléculaire suivant :
c) FFVV d)
FVFV e)
[(p q) q] p VVVV
a) VVFV b)
VFVV c)
08. Si p # q ~ (p q), trouvez les valeurs de : (p # q)#
VVVF d)
p
FFV e)
VVVV a) FFVF b)
VVFV c)
02. Quelle matrice principale correspond au schéma suivant VFVF d)
moléculaire?
FVFV e)
[(p q) (q r)] (p r) FFFF
a) VVVVVVVV b) VVVVVFFV c)
VFFVVFFFF d) VVVVVVFF e) 09. Si p q ~p q, trouver la matrice de :
VVVFVVVF (p + q) + (p + ~q)
a) FFVF b)
03. Indiquez la matrice principale du diagramme suivant VVVF c)
moléculaire:
FFFV d)
[( q r) p] (p q) VFFV e)
a) FFFFVVVV b) FVVF
FFFVVVFF c)
FFFFVFVV d) 10. Sachant que :
VVVVVVVV e) pqp ~ qypq ~ p ~ q
VVVVVVVF Indiquez les valeurs de :
(pq) (pq)
04. Un schéma moléculaire est tautologique lorsque sa matrice
a) VVVV b)
Il se compose de :
FFVF c)
a) Uniquement des valeurs vraies. b)
FFFV d)
Uniquement des valeurs fausses.
c) Des valeurs vraies et fausses. d) VFVF e)
FFVV e) FFV
VVVF
12. Si le schéma est F, indiquez la valeur de chaque variable : [(p
06. Si le schéma est F, dites la valeur des variables : p, q, r et s q) (s p)] [(q r) (~ s t)] a) VVVVV b)
FFVVF c)
respectivement : [(p
FFFVF d)
q) (q r)] [r (s p)]
FFFFF e)
a) VVVV b)
FFFFFF
VVFF c)
VVVF d)
VFVF e)
13. Si le schéma est V, dites la valeur des variables : [(~ p q)
FFFF
r] ~ [(r p) s]
a) FVVF b)
07. Et :
FFVF c)
p q ~ (p q) et p q ~(p q) FVFV d)
Indiquez la matrice de : VFVF e)
[p (q q)] q VVFF
a) VFVF b)
VVFF
38
Machine Translated by Google
TRILCE
a) VVVV b)
21. Si le schéma (p q) (q r) est faux, alors : (p
FFFF c)
q)
VFFV d)
JE.
n'est pas faux.
FVVF e)
VFVV II. (q s) est vrai.
17. Si le schéma (p q) (s r) est faux, trouvez la valeur Déterminer respectivement les valeurs des formules suivantes :
de p, q, rys respectivement : a) ( ) (r p) (~ r ~
VFFV b) t) ( ) (q r) (r t) ( ) p
FVVF c)
(r t) a) FFF b) FVV
VVFV d)
c) VFF d) FVF d)
VVVF e)
VV
VFVF
(p ~ r) F ( ) [(p q) r] s
* (r q) V
()r (s q) ( )
*
(q t) (p r) ~ (r ~ s) a)
F Trouvez les valeurs de p, q, r et t respectivement. a) VFF b)
VFFF b) VVV c)
VVFV c) FFF d)
FFFF FVV e)
VVF
39
Machine Translated by Google
Logique
26. Étant donné la proposition : 33. Laquelle des formules suivantes a les valeurs suivantes :
« S’il pleut, le sol est mouillé. » VVVF ?
Les valeurs de la matrice principale de votre table de vérité
fils: a) r)qp( b)
a) FVFV b) r )qp( c)
VFVF c)
q~ r)(p d)
VVVV d)
VFVV e) pr)p(~ e) p)(qr
FFVV
27. Si la proposition composée : 34. Si p = V et q = F, alors l'une des formules suivantes est vraie : a) p q
b) p q c) ~pq
)tr()qp( est faux
Indiquez les propositions qui sont vraies. a) pyr b) py q c) d) ~ p q e)
ry t d) q y p ~q
t e) p ; ry t
29. Une proposition qui admet la valeur V seulement lorsque les deux « Il est faux de dire que le tremblement de terre n’a pas eu lieu et qu’il y a eu des glissements de terrain »,
est:
propositions composantes sont vraies : a) Conjonction. b)
Disjonction. c) a) VVFV b)
Conditionnelle. d) V et F c) V
Biconditionnelle. e) ou F d)
Négation. FFVFF e)
Toujours faux.
30. Une proposition n'admet la valeur V que lorsque les deux propositions 37. Nous avons que : ~p = F ; q = V et ~r = F.
ont la même valeur de vérité : a) Conjonction. b) Disjonction. c) Donc:
Biconditionnelle. d)
a) )qp( est faux. b)
Conditionnelle. e)
Négation. )r~ q(p est vrai. c) )qp(~ est
31. C'est une proposition dans laquelle il suffit qu'une des propositions soit
vraie pour que la proposition soit vraie :
38. Si le schéma : )rs()qp( est faux, trouvez la valeur de p , q , r et
a) Conjonction. b) s, respectivement : a) V F F V. b) F
Disjonction. c) V V F. c) V V
Biconditionnelle. d) F V. d) V V V
Conditionnelle. e) F. e) V F V F.
Négation.
32. Si : p = V ; q = F yr = V.
39. La formule )qp( est fausse.
Indiquez laquelle des formules suivantes n'est pas vraie : a)
Trouver la valeur de vérité du schéma suivant : )q~ p(~~ a) Vrai.
r)qp( b)
b) Faux. c)
r )qp( c) q~ r)
Indéfini. d)
(p d) pr)p(~ e) Cohérent.
p)(qr e) NA
jhsf
40
Machine Translated by Google
TRILCE
40. Connaître la vraie valeur de : 47. Quel est le résultat final de la proposition ?
[q (p ~ r)] ~ (r s) [(p q) (~ r q)] [r ~ p]
q
50. Si nous retrouvons le tableau des valeurs de la formule :
comme : a)
FVVV c)
FFFF d)
Tautologique. b)
VFFV e)
Contradictoire. c)
Cohérente. d) VFVF
Contingente. e)
Incohérente. 53. Les valeurs FVVV appartiennent à la formule : a) ~ p
~ q b) ~ (p
46. Faites l'exercice suivant : [p (q
q) c) ~ p ~q
r)] [(q ~ r) p] a) VFVFVFVF d) aybe) b et c
b) FFFFVVVV c)
VVVVVVVVV d)
VVVVFFFF e)
FFFFFFFF
41
Machine Translated by Google
Logique
54. Le tableau des valeurs de (~ p ~ q) est équivalent à la négation 58. Quelles valeurs appartiennent
de : a) p q à : (p ~ q) (q r)
b) p q a) VFVVVVVF b)
FVFFFFFF c)
c) p q
VFVVVVVV d)
d) p q VVFVVVVV e)
e) ~ (p VVVFVVFF
q)
59. Quelle est la matrice de :
42
Machine Translated by Google
TRILCE
5 LOIS LOGIQUES I :
Équivalences notables
I. PRINCIPE LOGIQUE :
Un principe logique est le fondement de toute vérité logique (tautologie). À partir d'un principe logique, nous pouvons générer des tautologies à
l'infini, et, parallèlement, toute tautologie de l'univers logique peut être réduite à un principe logique.
Les trois principes sont connus.
Par exemple : « Si le livre porte sur les mathématiques, il s’ensuit que le livre porte sur les mathématiques. »
Par exemple : Il est faux de dire que la girafe est un mammifère et qu’elle n’est pas un mammifère.
Ces lois permettent de transformer et de simplifier des diagrammes moléculaires en diagrammes plus simples. On les appelle équivalences car
l'expression originale et l'expression simplifiée ont la même matrice principale dans leurs tables de vérité respectives. Les lois d'équivalence
sont présentées cidessous.
43
Machine Translated by Google
Logique
~ ~ AA
1. Double négation ~~pp
(DN) ~ ~ AA ~
~~~p ~p
3. Cumulatif ABBA
(Conm) ABBA
ABBA
ABBA
4. Associatif A (BC) (AB) C pqpqpqqppqqppqqpp (qr) (pq)
(Assoc.) A (BC) (AB) C rpqrp (qr) (pq) rpqr
5. Distributive A (BC) (AB) (AC) p (qr) (pq) (pr) p (qr) (pq) (pr)
(Dist.) A (BC) (AB) (AC) ~(pq) ~p ~q ~(pq) ~p ~qpq
6. De Morgan ~(AB) ~A ~B ~(AB) ~A ~pqpq ~(p ~q) pq (pq)
(DM) ~BAB ~ABAB ~(A ~B) (qp) pq (pq) (~p ~q) p
7. Définition du (pq) pp (pq) pp
Conditionnel (DC) (~pq) pqp (~pq) pq
8. AB biconditionnel (AB) (BA)
(DB) AB (AB) (~A ~B)
Absorption A A (AB) A 9.
(AB) A (Abs)
A (~AB) ABA (~AB) AB
10. Transposition AB ~B ~A pq ~q ~p
EXEMPLES:
2. Structure formelle Si p
alors q.
pq ~ pq
pq ~(p ~q)
*
Federico décide de ne pas rester à la bibliothèque après les cours ou il révisera la leçon d'aujourd'hui ~p q.
*
Il est impossible pour Federico de décider de rester à la bibliothèque après le cours et de ne pas revoir la leçon d'aujourd'hui ~(p ~q).
44
Machine Translated by Google
TRILCE
q) b) ~p q ~(q p) q
Développement:
a) p (p
q) (pp) q Associatif
pq Idémpotence
45
Machine Translated by Google
Logique
PR À CTICA
01. Cochez la formule qui ne représente pas l'une des
a) q p b) p q c) p q
principes logiques classiques :
d) p q e) ~p q
a) ~(p ~p) b) p p c) p p
( ~p q) p ~(q ~ p) p , on
02. Laquelle des alternatives suivantes est logiquement
obtient : a) Une
vrai (principe logique) ? a) Si
conjonction. b) Un
Amparo entre dans le premier, alors elle est heureuse
dessus.
tiers exclu. c)
Une identité. d) Une
b) Si la disquette contient des informations, alors
ça servira à Lalo ou ça ne le servira pas. noncontradiction. e) Une idempotence.
04. « Ce n’est pas le cas que Pepe soit médecin et non chirurgien. »
a) p b) ~p c) p q
b) s (~s r)
13. « Si Juanito siffle, Yolita rougit » est équivalent
un:
c) ~ p (q ~p)
a) Yolita rougit si et seulement si Juanito siffle. b)
d) p (p q) Si Yolita rougit, alors Juanito siffle. c) Juanito siffle et
e) (p q) r (p q) Yolita rougit. d) Juanito ne siffle pas ou
Yolita rougit. e) Il est faux que Juanito siffle
06. Selon la règle de Morgan, l'équivalent de ce qui suit et Yolanda rougisse.
La proposition est :
14. Indiquez la formule équivalente à : p
« C'est un mensonge de dire qu'il neige et qu'il pleut en
même temps. » a) Il n'est pas vrai qu'il neige (q r)
ou qu'il pleut. b) Il ne neige
a) (p q) (p r)
ni ne pleut. c) Il ne neige pas ou
il ne pleut pas. d) Soit il b) (p q) r
neige, soit il pleut. e) S'il pleut, alors il neige. c) (p q) r
46
Machine Translated by Google
TRILCE
15. Qu'estce qui représente le principe du tiers exclu ? a) Si vous 22. La proposition : « Si
vous préparez, alors vous postulerez. b) Si la je m’entraîne à Trilce, alors j’entre en premier » est logiquement
neige est blanche, alors nous en déduisons que équivalente à : a) Si j’entre en premier, je me suis
la neige est blanche.
entraîné à Trilce. b) Si je ne m’entraîne pas à Trilce, alors
c) Il n'arrive pas que vous postuliez et que vous ne je n’entre pas en premier. c) Il ne m’est pas possible de m’entraîner
postuliez pas. d) Maribel va à la plage ou elle ne va pas à
à Trilce
la plage. e) b et c.
et de ne pas entrer en premier. d) J’entre en premier si et
seulement si je
16. À partir d’un principe logique, nous pouvons générer :
m’entraîne à Trilce. e) Je n’entre pas en premier ou je ne m’entraîne
a) Des implications.
b) Des équivalences. pas à Trilce.
c) Des lois.
d) Des tautologies indéfiniment. e) Tout 23. ~ (A B) ~ (B ~ A) , trouvez son équivalent.
ce qui précède.
a) A B b)
19. L’expression : « Il est faux que Julien s’applique à la Médecine et ne 25. Simplifiez le diagramme suivant :
le fasse pas » représente le principe logique : a) [(~ q p) (~ p q)] [(p q) ~ p] a) ~pb)
Contradiction. b) Tiers
p q c) p q d) pe) q
exclu. c) Identité. d) Non
contradiction. e)
Conditionnel.
26. Réduire :
~ (p r) ~ [(~ p q) (~ q ~ r)] a) p q
20. S'il pleut et qu'il fait froid, il s'ensuit qu'il fait froid et aussi b) p q c) ~ p q d) p r e) p r
Il pleut".
L'expression cidessus est appelée : a)
Principe de contradiction. b) Principe
de De Morgan. c) 27. Si p q p ~ q ; indiquez la proposition équivalente
un:
Idempotence. d)
Principe d'identité. e) Principe [~ (~ p q) ~ q] ~ p b) ~ q
du tiers exclu.
a) q p p c) ~p ~q
d) ~ p ~ q e) p q
21. Identifiez l’expression équivalente à l’affirmation suivante : « Ce n’est
pas le cas
que vous travaillez et que vous n’avez pas d’argent. » 28. La proposition : « Il
est faux de dire que si je vais à la campagne, je serai distrait. »
a) Vous ne travaillez pas ou vous n'avez pas
47
Machine Translated by Google
Logique
30. La proposition :
37. L'application des équivalences notables simplifie :
« Il est faux que si vous ne parvenez pas à entrer, vous serez mis à
[(p q) ~ q] ~q
travail".
Cela équivaut à : a) ~qd) b) ~ p q c) q ~p
c) Vous gagnez mais vous travaillez aussi. 38. Déterminer la proposition équivalente la plus simplifiée
de:
d) Soit tu travailles, soit tu ne travailles pas.
e) Vous ne travaillez pas et ne gagnez pas d’argent. [(p p) q][(p p) q] où :
pq ~ [~ p q]
31. « Vous lisez l'histoire parce que demain, jeudi, c'est le jour
« examen de cours ». a) p q b) q p c) ~ p ~q
Cela équivaut à : d) p q e) p q
a) Demain, ce n'est pas l'examen ou tu lis l'histoire.
b) Vous lisez l'histoire et demain c'est l'examen. 39. Réduisez la formule suivante en utilisant des équivalences
c) L'examen d'histoire a lieu jeudi. notables:
d) Si vous lisez l'histoire, l'examen est demain.
{p [~ q (~ q ~ p)]} ~p
e) Parce que tu lis l'histoire, demain c'est l'examen.
a) p q b) q ~ p c) q ~p
32. Étant donné le schéma : d) ~ q p e) ~p
(p q) (~ q r)
Indiquez la proposition équivalente qui présente uniquement 40. Laquelle des formules logiques suivantes est
les connecteurs : " " "~" équivalents ?
A. [(p q) q] ~ (p q)
a) (p q) (~ r ~ q)
B. (~ p q) ~ (~ q ~ p)
b) (p q) ~r
C. [(~ q ~ p) q] (~ p q)
c) (p ~ q) (q r)
d) (r q)~ p a) A y C b) C d) B y b) A et B
e) (q p) (q r) C e) A , Par C
48
Machine Translated by Google
TRILCE
53. Simplifier :
a) S'il joue à l'oreille, il n'a aucune formation musicale. b) Il
[(p q) q] ~q
joue à l'oreille ou il n'a aucune formation musicale. c) Il a
une formation musicale, il joue également à l'oreille. d) Il ne joue
a) p q b) ~pe) c) ~q
pas à l'oreille, il a donc une formation musicale.
cal. d) p p ~q
e) Si vous ne jouez pas à l’oreille, vous manquez de formation musicale.
54. Réduire :
p) (~ r ~ q) b) (~ r a) ~pd) qe) p ~q
~q
p) (~ r ~ q) c) (p ~ r)
a) p q d) c) F e) ~p
p
57. La proposition : « Si
48. « Si je fume, je serai malade. »
Basadre est de Tacna, alors il est péruvien. »
Équivalent à :
C'est logiquement équivalent à : a) Si
a) Si je ne suis pas malade, je ne fume pas.
Basadre est péruvien, alors il est de Tacna. b) Si Basadre
b) Je ne fume pas ou je serai malade.
n'est pas de Tacna, alors il n'est pas péruvien. c) Il n'est pas possible
c) Je fume et je ne suis pas malade.
que Basadre soit de Tacna et que je sois
d) Je ne fume pas et je ne suis pas
Péruvien.
malade. e) A et B.
d) Basadre est péruvien si et seulement s'il est de Tacna.
e) Basadre n'est pas péruvien ou il est de Tacna.
49. « Je n’écris pas de poésie, car je suis en équilibre. »
Cela équivaut 58. « Si Richard n’étudie pas, Jorge travaillera ; ou Richard étudiera. »
à : a) Il est faux que j'écris de la poésie et que je sois en équilibre.
b) Si je ne suis pas en équilibre, j'écris de la poésie. c) C'est logiquement équivalent à : a)
Je suis en équilibre ou je n'écris pas de poésie. d) Je Richard étudie et Jorge travaille. b) Richard
n'écris pas de poésie et je ne suis pas en équilibre. e) étudie si et seulement si Jorge travaille. c) Richard
Il est faux que j'écris de la poésie ou que je sois en équilibre. travaille ou Jorge étudie. d) Jorge travaille
ou Richard étudie. e) Richard étudie mais
50. [~(p ~q) ~p] q , se réduit à : a) p q Jorge ne travaille pas.
b) q p c) p q d) ~pe) q
59. Identifiez laquelle des formules suivantes symbolise une loi commutative :
a) (A B) (B A)
51. « Il est faux que Silver soit un homme d’État et pas en même temps un
mathématicien. »
b) (~ A B) (B A) c)
Ils sont équivalents
(p q) (~ q p) d) (A
à : a) Si Silver est mathématicien, il est statisticien. b)
Silver est soit un homme d'État, soit un mathématicien. B) (~ A ~ B) e) [(p q) r]
c) Silver n'est pas un homme d'État ou il n'est pas mathématicien.
(p r)
d) Si Silver est un homme d'État, il est mathématicien. e)
Silver est soit un homme d'État, soit il n'est pas mathématicien.
60. Simplifiez : {[(A
B) (A C)] ~ A} Ba)A C
52. Indiquez le schéma équivalent à : (p q) (~ r q) a) q (p ~
b)B A c) ~B d) ~A
r) b) (p ~ r) q c) q (r ~ p) d) q (p
e) ~ A B
~ r)
49
Machine Translated by Google
TRILCE
Chapitre
6 LOGIQUE ET INFORMATIQUE
La logique constitue le fondement théorique de l'informatique dans la mesure où elle fournit les outils pour la construction
des langages de programmation. Parmi ses nombreuses applications, la logique est appliquée à la technologie. Dans ce domaine, la logique
Elle s'applique à la construction de circuits logiques et parmi eux des circuits électriques, des portes logiques, des schémas de flux,
etc.
I. CIRCUITS ÉLECTRIQUES
Pour toute formule propositionnelle, nous pouvons construire un circuit électrique qui sera plus facile tant que la formule
«
n'ont que des opérateurs « », " et/ou "~".
les circuits électriques sont constitués d' interrupteurs ou de commutateurs qui sont les organes logiques qui permettent
laisser passer ou ne pas laisser passer le courant électrique.
Nous pouvons maintenant construire les circuits. La procédure suivie est la même que celle utilisée pour la construction de
ordinateurs électroniques. Ces circuits sont de deux types : série et parallèle.
A. Circuits en série : Les circuits en série sont constitués de deux ou plusieurs interrupteurs, l'un d'eux étant situé après l'autre.
d'un autre, et ainsi de suite. Le graphe d'un circuit en série est la représentation d'une formule propositionnelle
conjonctive, dont l'expression la plus simple est « p q », et qui est représentée comme suit :
p q
@
lampe
batterie
Par exemple :
p q pq
Pour que ce circuit soit fermé et que la lampe s'allume, « p » et « q » doivent être fermés, c'estàdire « p » et « q »
doit être vraie en même temps. Autrement dit, c'est l'application de la table de vérité de la formule « p q ».
B. Circuits parallèles : Les circuits parallèles sont constitués de deux ou plusieurs commutateurs, où un commutateur est
sur l'autre ligne, et ainsi de suite. Le graphique d'un circuit parallèle est la représentation d'une formule
"
propositionnelle disjonctive, dont l'expression la plus simple est p q ", et est représenté comme suit :
q @
lampe
batterie
Par exemple :
p
pq
q
Pour que ce circuit soit fermé et que la lampe s'allume, il suffira que l'un des interrupteurs soit fermé.
Autrement dit, le circuit sera fermé soit lorsque « p » est vrai, soit lorsque « q » est vrai, soit lorsque les deux
sont vraies. La lampe ne s'allumera que si les deux interrupteurs sont ouverts, c'estàdire
« p » et « q » sont tous deux faux en même temps. Ce cas est l'application de la table de vérité pour « p q ».
51
Machine Translated by Google
Logique
PR À CTICA
01. Indiquez la bonne réponse : a) ~ p q b) p ~ q c) q
I. La formule simple d’un circuit en série est p q. d) pe) p ~q
II. La contradiction dans un circuit en série allume le
lampe.
06. Étant donné les affirmations suivantes :
III. À (~p q), une lampe ne s’allume pas.
IV. Dans un circuit en série, la lampe s'allume si I. Dans un ( ) un interrupteur peut être ouvert et
l'un de ses interrupteurs est ouvert.
l'autre fermé, la lampe étant allumée.
a) I et II sont vrais. c) II b) I et IV sont vrais.
et IV sont faux. e) Tous d) I et III ne sont pas corrects. II. Dans un ( ) un interrupteur peut être ouvert et
sont faux. fermé en même temps, la lumière ne s'allume pas.
02. La formule suivante est représentée graphiquement dans le III. Un interrupteur ouvert équivaut à un état logique.
système de circuit logique : aussi vrai que cela puisse paraître.
p q p ~p ~q
b) pq p p
q
~q
p q un) ~p ~q
b) p
c) pq
q
p' q' c) ~p
d) TA d) q ~p
e) Seul b est valide.
et) ~q p
03. Le diagramme
p q
08. Concernant les circuits parallèles, indiquez la bonne réponse :
q p
I. Formule logique (p q)
II. La lumière s'allume si les valeurs ne sont pas fausses.
p q q
09. Le circuit logique le plus simple qui représente :
r ~p p
q q ~p ~p
b)
~p ~p q q
52
Machine Translated by Google
TRILCE
p a) p [(~ p q) (p q)] b)
c) p [(~ p q) (p q)] c) (~
q
p q) [(p q) p]
d) p q d) (~ p q) [p (p q)]
et) ~p q e) (~ p q) [p (p q)]
q p q r
a) (p q) r [(~ p q) r] b)
q) r (p q) d) (p
b) p
q) r [(~ p q) r] e) Vous
c) 'p ne pouvez pas.
d) q 'p
15. Après avoir simplifié le circuit suivant, indiquez sa valeur.
et) 'q p final
q
pp r
11. Indiquez la formule simplifiée du circuit suivant
logique: p
p 'q a) V b) F c) FV e) Indéterminé.
d) VF
'q p
16. Indiquez la formule finale du schéma suivant :
p q
q
r
a) (p ~ q) (q p) b)
q r
p q c) p
p q
~ q d) ~ p
a) [(p q) r] q
~ q e) ~q p
b) [(q r) (p q)] q
c) (p q) (r q)
12. La formule du circuit logique suivant est :
d) (p q) (r q)
p
p e) {[(p q) r] q} [(q r) (p q)]
q
17. Lequel des circuits logiques suivants représente une contradiction ?
p q q
JE. 'p
a) [p (~ p q) (p q)] b) p
[(p ~ p) q] (p q) c) [p 'p q
(~ p q)] (p q) d) (p II. p
'p
q) (~ p q q) e) p
p qp
(~ p q) (p q)
III.
p
13. La formule du circuit logique suivant est :
p q
53
Machine Translated by Google
Logique
18. Lequel des circuits suivants peut être représenté uniquement par d) ~ (p p) r p e)
l’interrupteur « p » ?
~ (p p) r p
p q p
un)
r 'p jeu de rôle 24.
'p q
b) 'p 'p
q r
q Dans le schéma cidessus :
p p a) La lampe s'allume. b) La lampe
c)
r ne s'allume pas. c) C'est un circuit en
série. d) C'est un circuit en
q parallèle. e) Plus d'une réponse est
d) pq correcte.
r
p q
25. Simplifiez le circuit suivant :
et)
r 'p p
p q
19. Dans :
q
'p q p
1
a) p q b) p q d) ~ p c) p (p q)
r 's
q e) p
a) L'ampoule ne s'allume pas. b)
C'est un circuit en série. c) 26. Dans un circuit en série, si un interrupteur est ouvert
C'est un faux circuit. d) donc:
L'ampoule s'allume. e)
a) L'ampoule peut s'allumer. b) L'ampoule
Toutes les réponses sont correctes.
s'allume nécessairement. c) L'ampoule peut ne
20. Déterminez la valeur finale du circuit suivant : pas s'allumer. d) L'ampoule ne s'allume pas
q
22. La formule simple d'un cercle parallèle est :
a) p q b) p q c) ~ p ~q
r s
d) p q e) NA
a) (p q) (r s)
23. Indiquez la formule dans le schéma suivant :
b) ~ (p ~ q) (r s) c) ~
'p q'
(p q) (r s) d) (p
r q) (~ r ~ s) e) (p
p q) (r s)
a) (~ p ~ q) (r p) b)
(~ p ~ q) (r p) c) (~
p ~ q) (r p)
54
Machine Translated by Google
TRILCE
q p
~r p p
r
q q q pq
s d) ~p
p p
a) [(~ p q) (r s)] ~r (p q) b)
r s q
[(~ p q) (r s)] ~r (p q) c) (p
q r s) ~r (p ~ q) d) (p p
pq
q r s) ~r (p ~ q) e) Il n'y a et) q
~p
pas de formule.
pq r
33. Trouvez la formule simplifiée pour :
~r
s
s
t
p
s
~q
a) s t b) s t d) ~ q c) p s
s e) t q
55
Machine Translated by Google
Logique
c) p (~ p q) un) r
d) p (~ p q) b) r'
p
e) (p ~ p) q
c)
q
38. Le circuit correspond à :
p' q' r
d)
q p p
a) p q b) q p et) r q
c) ~ p q d) ~ q p
e) p q 43. Quel circuit correspond à :
(p q) ~q
39. Quel circuit correspond à :
(p q) ~p
un) p
p' b) q
un)
q c) q'
b) p d) p'
c) p' p
et)
d) p' q q'
et) q'
44. Simplifier :
40. À quel schéma cela correspondil ? p'
q' p' q
p q
p p'
q
r q
p
p'
a) b) c) ~p
pd) ~q qe) r
un) p' q
41. Simplifiez le circuit suivant :
56
Machine Translated by Google
TRILCE
p ~p
47. Indiquez la formule pour :
p p
a) p t b) ~qe) c) ~ q ~p
~p d) ~p t s
~q p~q
un)
48. Le circuit ~r
q p
r
q p
b)
q
p pq
Équivalent au circuit :
c)
a) q r
b) ~p
d) Il n'a pas de diagramme
q
~p
c)
p
d) ~q
et) q
e) p ~r
49. L'expression p)~ q(~ est équivalente au circuit : 53. Représente : )sr()qp(
p
p
un)
q q
b) ~p q
un) ~r
s
c) q ~p
~p ~p
d)
~q ~q
et) p q b) ~r
50. La formule de :
s
p
p ~r
~q q
c)
~p r q s
p ~q
~p ~q
r d)
~r s
a) rr)] q(~q)[(pp) q(~ p~
p
b) rr]r) q(~q)[(pq)~ p(~
et) ~r s
q
c) rr)] q(~q)[(pp)]q(~p[~
57
Machine Translated by Google
Logique
d) q ~q
~pqr
p
a) (p q r) (p ~ q r)
pq
b) (p ~q r) (~ p q r)
et)
c) (p ~q r) (~ p q r)
~p ~q
d) (p q) r e) 58. Simplifiez le diagramme suivant :
(p q r) q r
r
s p
55. L'équivalent du diagramme est : p
p
p q
a)
qq pb)
p
p qc) r s
d) p q
a) p q
b) e) p q
pc) p q
59. Quel schéma correspond à :
d) p (p q) r
q
e) q p'
p'
56. Le diagramme de : (p q) (q r) , est:
r' q'
~p ~q
un) a) [~ p (q ~ p)] (~ r ~ q) b)
q r
[~ p (q ~ p)] (~ r ~ q) c) ~
p p ~q ~ r d) ~
b) p (~ q ~ r)
q
e) ~ p (~ q ~ r)
~p
c)
p 60. Simplifier :
q
p q'
d) parce que e) Il p
n’a pas de diagramme logique. q'
p'
57. Le diagramme de : p q , a) est:
q
pq
a) V
~p ~q
b) F
b) c) p (~ p q)
q p
d) ~ q p
p e) ~ q p
c)
p
q
58
Machine Translated by Google
TRILCE
Chapitre
LOIS LOGIQUES II :
7 IMPLICATIONS NOTABLES
Également appelées lois implicatives, ce sont des schémas conditionnels tautologiques, elles représentent donc des inférences valides.
Par conséquent, en ayant les prémisses, nous pouvons immédiatement déduire leur conclusion respective.
Les plus importants sont les suivants :
1. Modus Ponendo Ponens (MPP) : Si l'antécédent d'une prémisse conditionnelle est affirmé, l'affirmation est conclue
à partir de la conséquence de ladite prémisse.
Règle: Loi:
A B [(p q) p] q
UN
Exemple : Formalisation :
2. Modus Tollendo Tollens (MTT) : Si le conséquent d'une prémisse conditionnelle est nié, la négation de la prémisse conditionnelle est conclue.
antécédent de ladite prémisse.
Règle: Loi:
A B [(p q) ~ q] ~p
~B
~A
Exemple: Formalisation :
P
1
: Si vous êtes un étudiant de Trilce, vous êtes bien préparé. P1: pq
P : Ils ne vous préparent pas correctement. P2:~ q
2
C : Par conséquent, vous n’êtes pas un étudiant de Trilce. C~p
3. Syllogisme disjonctif (SD) : Si l'un des éléments d'une prémisse disjonctive est nié, l'énoncé est conclu
de l'autre élément.
Règle: Loi:
A B A B [(pq) ~ p] q
~A ~B [(pq) ~ q] p
B UN
Exemple: Formalisation :
4. Syllogisme hypothétique pur (PHS) : Si, à partir d'un ensemble de deux prémisses conditionnelles, le conséquent de l'une des
les prémisses sont l'affirmation de l'antécédent de l'autre prémisse, puis de l'antécédent de l'une des prémisses elle est dérivée
la conséquence de l'autre prémisse.
59
Machine Translated by Google
Logique
Règle: Loi :
AB BC [(pq) (q [(q r)] (p r)
BC AB r) (pq)] (p r)
A C A C
Par exemple : si Carnap était néopositiviste, il a formé le Cercle de Vienne. Et s’il a formé le Cercle de Vienne, il croyait en la logique
symbolique. Par conséquent, si Carnap était néopositiviste, il croyait en la logique symbolique.
Formalisation :
P : pq 1
P : qr 2
C pr
Exemple:
Juan est écrivain. Juan est poète. Juan est donc à la fois écrivain et poète.
p q q
Formalisation :
P1: p
P:q2
C pq
6. Simplification : À partir d’une prémisse conjonctive, on peut conclure n’importe lequel de ses composants.
Règle: Loi:
A BA B (pq) q (pq)
B UN p
Exemple : Formalisation :
P
1
: Copernic était un astronome et un physicien. P1: pq
C Copernic était un astronome. Cp
Cette procédure consiste à obtenir la conclusion souhaitée en appliquant des lois logiques selon une séquence finie d'étapes. Ainsi, étant
donné un ensemble de prémisses, la déduction logique doit permettre de tirer des conséquences qui découlent logiquement uniquement de
ces prémisses ; autrement dit, des conséquences qu'elles impliquent.
Exemple:
P1:~ p (q ~ r)
P :~ p 2
P : sr 3
C~s
Indiquez les étapes qui ont été suivies pour obtenir la conclusion : « ~ s ».
60
Machine Translated by Google
TRILCE
Résolution:
P1:~ p (q ~ r)
P2:~ p
P3: sr // ~ s
2. Soit le raisonnement :
« S'il fait beau, c'est l'été, ou alors on va à la plage. Il fait beau, mais ce n'est pas l'été. Alors, on va à la plage. »
*
Pour faciliter la démonstration, la formalisation est nécessaire :
P1: p (qr)
P2: p ~ q
r
*
Nous effectuons maintenant la dérivation :
P1: p (qr)
P2: p ~ q // r
3) p 4) (2) x simp.
q r 5) ~q (1) et (3) x MPP
6) r (2) x simp.
(4) y (5) x écart type
61
Machine Translated by Google
Logique
PR À CTICA
01. Si vous êtes un leader, vous avez de nombreuses admiratrices. Si vous
c) Les politiciens sont des avocats et aussi des diplomates
avez de nombreuses admiratrices, vous serez choisi comme meilleur cos.
ami. Par conséquent : a) d) Les politiciens ne sont pas des avocats mais des diplomates.
Soit vous êtes un leader, soit vous ne cos.
l'êtes pas. b) Si vous êtes un leader, vous serez choisi comme meilleur e) Il n’y a pas de conclusion valable.
ami. c) Vous avez de nombreuses admiratrices si et seulement si vous êtes un
chef.
08. « Robert va chez le médecin ou le psychiatre. Robert
d) Vous êtes un leader et vous serez choisi comme meilleur ami. e) « Il ne va pas chez le psychiatre. »
Si vous n’êtes pas un leader, vous ne serez pas admiré. Donc:
a) Il ne va pas non plus chez le
02. La proposition : « Claudia est capricieuse ou Martin est respectueux, médecin. b) Il va chez
mais ce n'est pas le cas que Claudia soit capricieuse. » le médecin. c) Il a peur des
psychiatres. d) Il sait qu'il n'est
pas fou. e) Il n'a pas d'argent.
Cela
implique : a) Martín n'est pas
09. Déterminer la conclusion : P : q (p 1
respectueux. b) Claudia est
capricieuse. c) Claudia n'est pas
r)
respectueuse. d) Martín est P2:~ (pq)
respectueux. e) Aucune de ces réponses. C //
03. S'il pleut et neige, alors il y aura une tempête. Il s'avère qu'il n'y a pas a) pb)
qc)
d'orage. Par conséquent : a) Il
rd)
ne pleut pas et il neige. b) Il
~pe) ~r
pleut mais il ne neige pas. c) Il est
faux qu'il pleuve ou qu'il neige. d) Il ne
neige pas ou il ne pleut pas. e) 10. La conclusion de :
Il ne pleut ni ne neige. P : pq 1
P :~r ~q 2
04. Si Junior connaît la logique, il échouera à l'examen, mais il l'a réussi ;
par conséquent : a) Junior ne connaît pas la P :s ~r 3
logique. b) S'il ne connaît pas la P :st 4
logique, il ira à l'université. c) Il est faux qu'il ne
P~t5
connaisse pas la logique. d) Junior n'a
pas passé l'examen. e) Junior doit C//
étudier davantage.
05. Si vous étudiez à l'UNI, vous aimerez les mathématiques ; cependant, C'est :
il est impossible de ne pas étudier à l'UNI. Par conséquent : a) Vous a) pb)
n'aimerez sc)
pas les mathématiques. b) Vous aimerez rd) ~pe)
les mathématiques. c) Vous étudiez à q
l'UNI. d) Vous êtes étudiant
à l'UNI et mathématicien. e) Si vous êtes mathématicien, 11. « Si Aurora n'est pas une commerçante, elle est une femme d'affaires.
alors vous étudiez à l'UNI. Mais on sait qu'elle n'est pas une femme d'affaires.
La conclusion est donc la suivante :
06. Dans le Modus Ponendo Ponens (MPP), la conclusion est
a) Aurora est une marchande. b)
alors il y a que : a)
Le conséquent est affirmé. b) Aurora n'est pas une marchande. c)
12. « Si j'ai le même âge que toi et que tu as le même âge que lui, alors j'ai
07. Les hommes politiques sont des avocats, sauf s'ils sont diplomates.
le même âge que lui. »
Cependant, les hommes politiques ne sont pas des avocats, donc : a)
Les hommes
Le raisonnement cidessus correspond à : a) MPP
politiques sont des diplomates. b) Les hommes
b) MTT
politiques ne sont pas des diplomates.
62
Machine Translated by Google
TRILCE
a) Je ne fume pas.
b) Je vais tomber
13. Je ne parle pas japonais.
malade. c) Je vais chez le
Je ne parle pas chinois non plus.
médecin. d) Je
Je parlerais chinois ou japonais si j'étais polyglotte.
fume. e) Je dépense de l'argent.
Il est faux qu’il parle plusieurs langues et qu’il n’est pas polyglotte.
Par conséquent:
19. « Si tu finis tes devoirs, tu iras à la fête. Tu ne réussiras pas l'examen si tu
a) Je parle plusieurs langues. b)
Je ne parle pas plusieurs langues. c) négliges tes obligations. De plus, si tu vas à la fête et que tu négliges
suis polyglotte. e) Je
parle japonais et chinois.
Nous concluons que :
14. Déterminez la conclusion du raisonnement suivant : « Si vous conduisez a) Vous ne allez pas à la
une voiture, vous ne devriez pas boire de bière. Mais vous buvez de la fête. b) Vous négligez vos obligations. c) Vous
bière. » échouez à l'examen. d) Vous
En conclusion: n'étudiez pas. e)
simplement. d) Vous buvez de la bière et ne buvez Débora étudie l'éducation de la petite enfance, alors elle instruira les enfants »,
pas de bière. e) Vous ne buvez pas de bière et vous conduisez. « Si Lucila étudie les soins infirmiers, elle guérira les malades » et « Débora
1. p (~ q r)
On en
2. ~ p ~ r//
déduit : a) Débora n'étudie pas l'éducation de la petite enfance ou Lucila
n'étudie pas les soins
a) qb)
rc) infirmiers. b) Débora étudie l'éducation de la petite enfance ou Lucila étudie
pd) Allaitement.
~qe) q c) Débora n'étudie pas l'éducation de la petite enfance ni Lucila
~r Journée des infirmières.
63
Machine Translated by Google
Logique
23. Soit je suis un athlète, soit je ne suis pas un athlète. a) Nous sommes heureux.
Si je suis fumeur, je ne suis pas un athlète. b) Nous gagnons. c)
Je suis en bonne santé, car je ne fume pas. Nous ne sommes pas
Il est faux qu’il soit en bonne santé. expulsés. d) Nous ne sommes
Par conséquent, il n’est pas vrai pas heureux. e) NA
que : a) Il n’est pas un
athlète. b) Il est fumeur.
30. Manuel assiste à la fête parce qu'il a été invité, parce qu'il est l'ami de José.
c) Il est un athlète. d) Il
Manuel est l'ami de José. Donc : a) Il est l'ami de José et assiste à la fête. b)
n’est pas un athlète. e) Il n’est
Il n'a pas été invité ou il assiste à la fête. c) Il n'a pas été
pas en bonne santé.
invité et n'est pas l'ami de José. d) Il est l'ami de José
et ne assiste pas à la fête. e) Il est invité mais ne assiste pas
24. D'après les prémisses :
à la fête.
« Andromède est une constellation, à moins qu'il ne s'agisse d'une
galaxie », et « il est absurde de penser qu'Andromède est une
constellation ».
On en déduit : 31. Si je n'obtiens pas la bourse, je ne voyagerai pas. Je sais que je ne serai pas un
professionnel si je ne voyage pas. J'en conclus donc que : a) Il est faux de
a) Andromède est une constellation. b) Andromède
dire que j'obtiendrai la
est une galaxie. c) Andromède est une étoile.
bourse ou que je serai un professionnel. b) Il est faux de dire que je
d) Andromède n'est pas une galaxie. e)
n'obtiendrai pas la bourse et que je ne voyagerai pas. c) Il est faux de
Andromède n'est pas une constellation.
dire que j'obtiendrai la bourse ou que je serai un professionnel.
final.
d) Il est faux qu’il n’ait pas obtenu la bourse et qu’il n’était pas un professionnel.
25. À partir des prémisses suivantes : « Si
final.
Willy est enseignant, alors il n’est pas millionnaire. »
e) J'obtiens une bourse et je ne voyage pas.
« Si Willy n’est pas mathématicien, alors il est corrompu » et « Willy
est un professeur, à moins qu’il ne soit pas mathématicien ».
32. Si tu es admis, tu seras ingénieur. Si tu n'es pas manager,
alors tu n'es pas ingénieur.
On en déduit que :
Il s'ensuit :
a) Willy est mathématicien et enseignant. b) Willy
a) Si vous êtes admis, vous n'êtes pas ingénieur.
n'est ni millionnaire ni corrompu. c) Willy n'est pas
b) Si vous êtes admis, vous serez
millionnaire à moins d'être corrompu. d) Willy est un enseignant non
manager. c) Si vous êtes manager, alors vous êtes
corrompu. e) Willy n'est pas mathématicien.
admis. d) Si vous n'êtes pas admis, vous serez
manager. e) Si vous n'êtes pas ingénieur, vous êtes manager.
64
Machine Translated by Google
TRILCE
36. Si c'est la saison des vacances et de la foire, nous irons nous promener. Si nous 41. Si tout va bien, nous partirons vers le sud, mais s'il y a trop de travail, le voyage
n'allons pas nous promener, alors : a) Ce ne sont pas les vacances sera reporté à la semaine prochaine. Donc, soit tout va bien, soit il y a trop de
et la saison des vacances. b) Ce sont les vacances, mais il n'y
travail.
a pas de foire. c) C'est faux que ce soit les vacances
ou la saison des vacances. d) Ce ne sont pas les vacances ou ce n'est pas la
Alors : a)
saison des vacances. e) Ce ne sont ni les vacances ni la saison des
Si nous voyageons vers le Sud, nous n'irons pas la semaine prochaine.
vacances.
b) Nous voyageons vers le Sud ou nous le reportons à la semaine prochaine.
37. Et : semaine.
*
Il y a de la pollution ou le climat est très humide. c) Nous voyageons vers le Sud la semaine prochaine. d)
*
Mais le climat n’est pas très humide. Nous voyageons vers le Sud
Alors : a) maintenant. e) Nous ne partirons plus en voyage.
Il n’y a pas de pollution. b) Le climat
est très humide et il n’y a pas de pollution. c) Il y a de la pollution et le climat
42. Si p n'est pas vrai alors q n'est pas vrai.
est très humide. d) Il y a de la pollution. e) Le climat est très humide ou il
Mais il arrive qu'aucun p.
n’y a pas de pollution.
Par
b) Non, s'il vous
*
Niño se produit, il y aura une vague de chaleur. a) qc) Non pe) s
*
Mais il n’y aura pas de vague de chaleur. 43. Il se trouve que Pierre a reçu le message. On suppose que Pierre est allé faire des
Que peuton conclure de tout cela ? a) Le courses ou se promener s'il l'a reçu.
phénomène El Niño se produira. b) Le phénomène
El Niño se produira, mais il n'y aura pas de vague de chaleur. Que peuton déduire de telles situations ? a) Pedro n'est pas allé
faire des courses mais il est allé se promener. b) Pedro est allé faire
c) Il y aura une vague de chaleur, mais le phénomène ne se produira pas. des courses ou se promener. c) Il est faux que Pedro
moins que l'Enfant.
soit allé faire des courses ou se promener.
d) Le phénomène El Niño se produira et il y aura une vague de saisir.
chaleur.
d) Pedro n'est pas sorti faire du shopping ou se promener.
e) Le phénomène El Niño ne se produira pas.
e) Il est faux que Pedro ne soit pas sorti faire du shopping ou se promener.
Si nous savons que Carolina revient de Moscou, cela s'ensuit : I. Jorge sera
content.
46. Lorsque vous obtiendrez votre diplôme, vous serez un professionnel.
II. L'avion arrivera à l'aube.
De plus, si vous travaillez, vous gagnerez de l’argent.
III. Il n’y a pas de brouillard dans la ville. Mais c'est faux de dire que vous êtes un professionnel et que vous gagnez de l'argent,
donc : a)
65
Machine Translated by Google
Logique
47. Si un corps est chauffé, il est évident qu'il se dilate. Cependant, s'il c) Vous ne travaillez pas au Congrès ou vous ne travaillez pas dans un
n'est pas vrai qu'un corps se dilate, on peut conclure que : 1. Ce Cabinet d'avocats.
n'est pas un corps.
d) Vous ne travaillez pas dans un cabinet d’avocats parce que vous travaillez
2. Il chauffe. au Congrès. e)
3. Il se dilate et se réchauffe. Tous se conforment.
4. Il se dilate et ne chauffe pas.
5. Il ne se dilate pas même s'il ne chauffe pas. 52. « Si Diego se prépare au TRILCE, il est admis ; comme s'il connaissait
les sciences, il postule en médecine. En réalité, c'est un mensonge
Ils sont vrais :
de prétendre qu'il est admis et postule en médecine. »
a) 1 et 5.
b) 2 et 3.
Quelle affirmation serait correcte ?
c) Seulement
5. d) 3 et
a) Diego se prépare au TRILCE, puis postule à Medi
4. e) NA
Chine.
q) ~ q] ~ p c) [(p q)
49. « Il est faux de prétendre que vous n'êtes pas le criminel et que vous
n'avez pas été en prison. Mais si vous êtes condamné, vous avez ~ p] q d) p (p q)
menti, puisque soit vous êtes le criminel, soit vous avez été en e) [(p q) p]
prison. »
La conclusion correcte est : q
a) Vous êtes le criminel, mais vous n'étiez pas en prison. b) Si 54. De quelles prémisses A ~ B découletil ?
vous êtes condamné, alors vous avez menti. c) Si vous
un) CA
avez menti, vous êtes le criminel. d) Vous
CB
n'étiez pas en prison parce que vous avez menti. e) Si vous
êtes le criminel, alors vous êtes en prison. b) CA
~ BC
50. Trouvez la conclusion correcte à partir des prémisses suivantes : Il est
faux de dire qu'il y a des problèmes à la frontière ou que l'accord de c) UN B
paix est accepté, et l'accord de paix est accepté tant qu'il y a une
B~C
menace de guerre :
d) C~A
a) S’il y a des problèmes à la frontière, il n’y a pas de menace de B C
guerre. b) L’accord de
paix est accepté s’il y a une menace de guerre. et) C~A
guerre. ~B C
c) Il y a des problèmes à la frontière si et seulement s’il y a une menace
zone de guerre. d)
55. Indiquez le schéma correspondant au Modus Tollendo
Il existe une menace de guerre si l'accord est accepté
Prise.
paix.
e) Tous se conforment. a) [(p ~ q) q] p b) [(p
~ q) ~ p] q c) [(~ p
51. Il est faux que vous soyez avocat ou criminaliste. Si vous travaillez au
q) p] ~ q d) [(p ~ q) q]
Congrès dans un cabinet d'avocats, vous êtes avocat ou criminaliste.
~ p e) [(~ p q) q] p
Avocat pénaliste.
Ainsi:
66
Machine Translated by Google
TRILCE
56. Je maîtrise le cours parce que je l'étudie. Mais je ne le maîtrise pas. 59.
Alors, je ne l'étudie pas. PP: A (BC)2 1
:.......
Quelle loi est présentée ?
a) MPP b)
P:A3
MTT c)
SHP d) Quelle prémisse manque pour déduire C ?
MSD e) a) B
Simp. b) ~C c)
~A d) ~B
57. e) A B
AB
ColombieBritannique
~ CD 60. Dériver :
P : p (qr) 1
a) A D b)
P :~ qp 2
~A ~ D c) D
P:s~r 3
A d) A e)
A D a) qn)
~sc)
~pd) qe)
58. Si c'est l'hiver, il fait froid.
~r
Il ne fait pas froid et je ne porte pas de manteau.
67
Machine Translated by Google
TRILCE
Chapitre
8
LOGIQUE PRÉDICATIVE :
PROPOSITIONS CATÉGORIQUES
CONCEPT : Les propositions catégoriques sont des assertions sur des classes qui affirment ou nient qu'une classe est
inclus dans un autre, que ce soit partiellement ou totalement.
Une « classe » est un ensemble d'objets partageant des caractéristiques spécifiques. Propositions
catégoriquement affirmer ou nier la relation entre les classes.
CARACTÉRISTIQUES
*
Ce sont des propositions prédicatives (Sujet Verbe Prédicat).
*
Ils ont 2 termes : Terme Sujet (S) et Terme Prédicat (P).
*
Ils ont des quantificateurs (Tous, Aucun, Certains, Plusieurs, Peu).
*
Ils sont QUANTITATIFS : C'estàdire qu'ils ont une Quantité (Universelle et Particulière).
*
Ils sont QUALITATIFS : Ils ont une Qualité (Affirmative et Négative).
*
Ils utilisent le langage booléen.
*
Ils sont représentés par des diagrammes de Venn.
Exemple:
Une proposition catégorique est une affirmation qui affirme ou nie quelque chose. Cette proposition est un élément central de la théorie déductive.
Aristotélicienne, car la proposition catégorique exprime des relations d'inclusion ou d'exclusion entre des classes, qui peuvent être, par exemple,
D’autre part, les relations d’inclusion totale ou partielle.
Dans la proposition « tous les hommes sont mortels », la relation d'inclusion totale est exprimée. La classe des hommes est
inclus entièrement dans la classe des mortels. Il s'exprime par : Tout S est P.
Dans la proposition « Nul n'est mortel », la relation d'exclusion totale est exprimée. Aucun élément de la classe des
les hommes appartiennent à la classe des mortels. Cela s'exprime par : Aucun S n'est P.
Dans la proposition « Certains hommes sont mortels », la relation d'inclusion partielle est observée. Au moins un des membres de la classe des
les hommes sont inclus dans la classe des mortels. Cela s'exprime par : Certains S sont P.
Dans la proposition « Certains hommes ne sont pas mortels », la relation d'exclusion partielle est notée. Elle exprime qu'au moins
L'un des hommes n'appartient pas à la classe des mortels. Cela s'exprime par : « Un certain S n'est pas P. »
69
Machine Translated by Google
Logique
QUALITÉ ET QUANTITÉ
Les propositions catégoriques sont généralement affirmatives et négatives en qualité, et universelles et négatives en quantité.
particulier. Il existe quatre formes typiques de propositions catégoriques :
Nous utilisons normalement les lettres majuscules A, E, I, O, pour représenter les quatre formes typiques de propositions catégoriques :
On dit que A et I, qui représentent des propositions affirmatives, viennent du verbe latin « Affirmo » (j'affirme), E et O qui
représentent les négatifs viennent du verbe latin "nEgO" (je nie).
La quantité de la proposition catégorique est généralement universelle ou particulière. Elle est universelle lorsqu'elle englobe tout.
membres de la classe désignée par le terme « sujet ». Il est particulier lorsqu'il ne couvre que certains (au moins un
ou plus d'un) membres de la classe désignée par le sujet.
Exemples :
Tous les joueurs sont des athlètes.
Aucun reptile n’est un oiseau.
Certains joueurs sont des athlètes.
Certains reptiles ne sont pas des oiseaux.
Les propositions catégoriques commencent généralement leurs énoncés par les quantificateurs « tous », « aucun », « certains ».
Ces quantificateurs indiquent la quantité des propositions.
.
Certains contribuables ne sont pas mortels
C S Dans P
Dans ce dernier cas, la négation est ajoutée avant la copule. Dans sa symbolisation correspondante :
On peut noter que les lettres a, e, i, o, placées entre le sujet (S) et le prédicat (P), correspondent à leurs
lettres majuscules A E I O et qui indiquent la qualité et la quantité des propositions.
70
Machine Translated by Google
TRILCE
Lorsqu'un terme donné du syllogisme possède une quantité universelle, on dit qu'il est distribué. Le tableau suivant
présente les termes distribués enfermés dans un cercle :
UN : Tout S est P
ET : Aucun S n'est P
je : Certains S sont P
Diagrammes de Venn
Ce sont des cercles qui sont déplacés et utilisés pour représenter graphiquement les relations entre les ensembles ou les classes et, par conséquent, dans le
analyse des propositions catégoriques.
TABLEAU RÉCAPITULATIF :
71
Machine Translated by Google
Logique
PR À CTICA
01. Indiquez la véracité de : d) Uniquement privé.
« Certains matérialistes ne sont pas socialistes. » e) Uniquement universel.
a) Terme particulier négatif, distribué : socialistes.
b) Terme universel affirmatif et distribué : socialis 07. Quelle lettre représente : « Aucun oiseau n'a de fourrure » ?
que.
a) A b) E c) Je
c) Particulièrement affirmative, T. distribuée : matérialiste. d) O e) U
d) Terme particulier négatif, distribué : matérialisé
que
08. Quelle est la formule qui correspond à : « Tout philosophe
e) Négatif universel, il n'y a pas de termes distribués. est critique" ?
DANS
S
ET P ET P x
x
c) d)
x
Correspond à :
ET P
a) S b) S c) S
et)
d) S e) S ?
S P
c) S P d) S P
a) SP b) SP x
c) SP d) SP
e) S P
e) SP
c) Catégorique. d) Conditionnel.
S P
e) Négatif.
x
06. La proposition catégorique est une proposition :
a) Tout ce qui est S n’est pas P.
a) À propos des cours.
b) Aucun S n'est P.
b) Cela ne fait qu’affirmer.
c) Certains nonS sont nonP.
c) Cela ne fait que nier.
72
Machine Translated by Google
TRILCE
d) Certains S sont P.
a) P b) S c) S
e) Certains nonS sont P.
d) P e) P
14. Tout voleur est malhonnête. Alors :
a) Aucun voleur n’est honnête.
21. Il a fait une interprétation algébrique de la Logique de
b) Certains voleurs sont honnêtes.
c) Toute personne honnête est un voleur.
prédicats :
d) Aucun voleur n’est malhonnête. a) Leibniz.
e) Certains nonvoleurs sont malhonnêtes. b) Aristote.
c) Frege.
15. S'il n'est pas vrai que certains reptiles sont vivipares, d) Booléen.
donc:
e) Ami.
a) Tout animal vivipare est un reptile.
b) Aucun reptile n’est vivipare. 22. ........... sont des affirmations sur les classes qui affirment
c) Certains reptiles sont vivipares. ou nier qu'une classe soit incluse ou exclue dans une autre,
que ce soit en tout ou en partie.
d) Certains animaux vivipares sont des reptiles.
a) Inférences immédiates.
e) Certains nonreptiles ne sont pas vivipares.
b) Propositions.
c) Inférences médiates.
16. Équivalent au quantificateur « Some » : d) Propositions catégoriques.
a) N'importe lequel, chacun. e) Déclarations catégoriques.
b) Certains, beaucoup.
c) Il n'y en a pas, ça n'existe pas. 23. Ce n’est pas une caractéristique des propositions catégoriques :
d) 100 %, divers. a) Il a un quantificateur.
e) La, la totalité. b) Il a un sujet et un prédicat.
c) Il a un verbe copulatif.
17. Indiquez la formule pour : d) Ils déterminent la validité des inférences.
e) par c.
S P 24. La proposition :
« Tous les hommes sont mortels. »
x
a) Inclusion partielle.
b) Exclusion totale.
b) SP c) Inclusion totale.
a) SP c) SP
d) Exclusion partielle.
d) PS e) PS e) Proposition universelle valide.
18. Trouvez la formule pour : 25. Laquelle des alternatives suivantes exprime que
au moins un élément de la classe S n'appartient pas à la
S P classe P ?
x x
un) b)
S P S P
a) S b) P c) PS
d) SP e) SP c) d) x
S P S P
19. Quelle formule appartient à : x
et)
DANS
S P
d) AB e) AB a) SP b) SP c) SP
d) SP e) S
20. Trouvez la formule pour :
S P
73
Machine Translated by Google
Logique
74
Machine Translated by Google
TRILCE
Type « O » et formule SP O e)
x
et) Proposition universelle particulière.
UN M
45. La proposition SAP diffère de la proposition SEP dans le sens où : a)
39. La phrase : Elles ont la même quantité,
mais des qualités différentes. b) Elles diffèrent en quantité. c) Elles
« Certains agriculteurs sont des financiers. »
C'est le contraire de : diffèrent à la fois en quantité et en qualité.
d) Elles ont des quantités différentes, mais les mêmes qualités. e)
a) Certains agriculteurs ne sont pas financiers. b)
Elles ont la même quantité et la même qualité.
Certains agriculteurs sont financiers. c) Certains
agriculteurs ne sont pas financiers. d) Certains
agriculteurs sont financiers. e) Certains agriculteurs
46. Les types propositionnels « A » et « I » déterminent respectivement : a)
ne sont pas financiers.
Relation d'inclusion
totale. b) Relation d'exclusion partielle.
40. Concernant les propositions catégoriques. Indiquez ce qui suit :
pas correct: c) Relation d'inclusion et d'exclusion. d)
Relation d'inclusion totale et partielle. e) Relation
a) Ce sont des affirmations sur les classes. b)
d'exclusion totale et partielle.
Elles affirment ou nient l'inclusion ou l'exclusion de classes. c) Un
quantificateur indique une quantité définie ou indéfinie.
nid.
47. Il est faux que les riches ne soient pas humbles, cela est schématisé
d) L'ensemble S est P il y a exclusion totale. e) comme suit :
Les types sont respectivement A E I O.
DANS DANS
x x
et)
42. Déterminez la formule qui représente la proposition : « Certaines S P
personnes non fières ne sont pas incultes. » a) SP O
e) SP O O : Négative universelle. c) I : SP O:
Affirmative particulière. d) O : SP O:
43. Étant donné la proposition :
Négative particulière. e) Toutes sont correctes.
« Toutes les personnes célèbres sont riches. »
II. Sa formule catégorique est SP = O. 49. « Presque tous ceux qui ont suivi une formation au TRILCE sont entrés
III. Le quantificateur est indéfini.
à San Marcos. »
IV. Il appartient au type « A ». La relation correcte est : a)
SP O ; Type I b) SP
a) Tous sont vrais. b) II et
O ; Type O. c) SP O;
III sont faux. c) I et IV
Type A. d) SP = O ; Type
sont faux. d) I et II sont
E. e) SP O ; Type I.
vrais. e) Seul IV est vrai.
44. L'expression : « Il y
a au moins un Péruvien qui n'a pas voyagé à Cuba. »
75
Machine Translated by Google
Logique
50. Dans, « Les êtres vivants sont constitués de 56. Indiquez une proposition de type I :
"de nombreuses cellules". a) « Plusieurs universitaires n’ont pas de bons emplois »
La relation dans cette proposition catégorique est : b) « Les pommes sont des fruits »
a) Inclusion partielle. c) « Même l’âme n’est pas immortelle »
b) Inclusion totale. d) « La plupart des poètes sont lettrés »
c) Exclusion totale. e) « C'est un mensonge que de dire que certains catholiques sont athées »
d) Exclusion partielle.
e) Opposition totale. 57. « Les chercheurs du TRILCE participent toujours
aux Jeux olympiques internationaux", la formulation
la bonne chose est :
51.
DANS
a) SP = O b) SP O c) SP O
d) SP O e) SP O
S P
Le diagramme cidessus a la formule : 58. Identifiez le diagramme correct dans l'expression : « Tous
« L’athée est un matérialiste. »
a) SP O b) SP O c) ~ (SP O)
d) Tous les e) a et c
un) b)
52. « Certains politiciens sont des avocats », formule qui UN M UN M
correspond à la proposition est :
x
a) SP O b) SP O c) SP O
c) d)
d) SP O e) SP O UN M UN M
professionnels".
54. Laquelle des propositions catégoriques est de qualité
affirmative? Cela contredit la proposition :
b) « Il n’est pas vrai que tous les enfants sont égocentriques. » b) « Aucun économiste n’est un technicien professionnel. »
c) « Aucun enseignant n’est un professeur d’université. » c) « Certains économistes ne sont pas des techniciens professionnels. »
les".
d) « Tous les entrepreneurs ne sont pas des investisseurs. »
d) Aucun technicien professionnel n’est économiste.
e) « Il est impossible à un jeune de devenir un aventurier. »
e) Tous les techniciens professionnels ne sont pas des économistes.
a) Exclusion totale.
b) Exclusion partielle.
c) Inclusion totale.
d) Inclusion partielle.
e) Inclusion exclusion.
76
Machine Translated by Google
TRILCE
Chapitre
9
INFERENCES IMMÉDIATES
TABLEAU DE BOÈCE
Une inférence ou un raisonnement est un processus par lequel, à partir d’une ou plusieurs propositions appelées prémisses, une conclusion est tirée.
déduit une autre proposition appelée conclusion.
Les inférences immédiates de la logique traditionnelle sont des structures de « propositions catégoriques » dans lesquelles
une prémisse donne la conclusion.
En souvenir :
Propositions catégoriques
UN : Tout est SP (SAP) Inclusion totale
ET
:Aucun n'estSP (SEP) Exclusion totale
je
: Certains leSP
sont (SIP) Inclusion partielle
LE :Certains neSsont pasP(SOP) Exclusion partielle
Exemple:
Prémisse: Chaque Péruvien est latino.
Conclusion: Certains Latinos sont Péruviens.
4. IMAGE DE BOÈCE
Ce sont des inférences immédiates qui résultent de la mise en relation des quatre formes typiques selon le tableau traditionnel des
opposition de Boèce (480524).
Le tableau de Boèce fournit la base pour déterminer si les inférences immédiates sont valides ou non, objectif pour lequel il est
Vous devez connaître la vérité ou la vérité de l'une des quatre propositions catégoriques de manière typique, afin de pouvoir en déduire immédiatement la
vérité ou fausseté des autres.
(S a P) A Contraire ET
(Sep)
subalternes
Contre discours
subalterne
subalterne
Contre discours
subalternes
(S i P) Je Souscontraires LE (S o P)
* CONTRADICTOIRE
AE IOV F
OI EAFV
77
Machine Translated by Google
Logique
* CONTRAIRES
* SUBCONTRARIAS
* SUBALTERNATIVES
* SUBALTERNANT
Exemples :
1. Par équivalence
je ~ Et
Le ~ Le
2. Par implication
*
Parmi les opposés
P Aucun oiseau n'a de poils
A~E C Tous les oiseaux n'ont pas de poils
ET ~ Un
*
Parmi les souscontraires
P Il n’est pas vrai que certains juges ne sont pas corrompus.
~ IO C Un juge est corrompu
~OI
*
Parmi les subordonnés
P Tous les Français sont des Européens
IA C Certains Français sont européens.
ET LE
*
Parmi les subordonnés
P Il n’est pas vrai qu’un enfant soit vieux.
~ Je ~ Un C Tous les enfants ne sont pas vieux
~O~E
78
Machine Translated by Google
TRILCE
PR À CTICA
01. « Il est impossible que chaque poisson soit un oiseau. » 08. L'affirmation suivante est fausse : « Certaines baleines sont des mammifères. »
Déterminez la conclusion correcte de l’argument cidessus : Déterminez la vraie conclusion :
02. "Si toutes les souris mangent du fromage, alors............ "La conclusion b) Il est peu probable que certains cardiologues ne soient pas des
correcte pour que le raisonnement soit valide est : a) Certaines souris ne professionnels. c)
mangent pas de fromage. b) Personne Certains cardiologues sont des professionnels. d) Tous les
qui mange du fromage n'est une souris. c) Certains cardiologues ne sont pas des professionnels. e) Tous
qui mangent du fromage sont des souris. d) les cardiologues sont des nonprofessionnels.
Certains qui mangent du fromage ne sont pas des souris. e)
Tous ceux qui mangent du fromage ne sont pas des souris.
10. Si : « Tout citoyen n’est pas majeur », alors il s’ensuit que : a) Aucun citoyen
n’est majeur. b) Certaines
personnes majeures sont citoyens.
03. La proposition équivalente à « Il est faux que tous les Argentins soient sud
américains » est : a) Tous les Argentins sont sud nous.
américains. b) Tous les Argentins ne sont pas sud c) Certains adultes ne sont pas citoyens.
américains. c) Aucun Argentin n'est sudaméricain. d) dégâts.
Certains Argentins ne sont pas sudaméricains. e) d) ay b. e)
Certains Argentins peuvent être sudaméricains. par c.
serpents sont venimeux. b) Tous les serpents ne sont vivent pas éternellement. e) Aucun mortel ne vit
79
Machine Translated by Google
Logique
a) Beaucoup de Péruviens ne sont pas millionnaires. b) 22. Quelle est la proposition équivalente à : « Tous les Limeños ne sont pas
Il est faux de dire que tous les Péruviens sont millionnaires. impartiaux » ? a) Tous les
c) Aucun Péruvien n'est millionnaire. d) Limeños sont biaisés. b) Aucun
Certains Péruviens ne sont pas millionnaires. e) Il y a Limeño n'est biaisé. c) Certains Limeños
des Péruviens qui ne sont pas millionnaires. ne sont pas biaisés. d) Certains nonLimeños
sont biaisés. e) Certains Limeños ne sont
pas impartiaux.
16. « Toute la richesse halieutique provient de notre mer territoriale. » Par
conséquent, nous pouvons valider les informations suivantes : a)
23. Quel est le souscontraire du subalterne du contradictoire de :
Certains produits provenant de notre mer
« Certains soldats ne sont pas officiers. »
sont une richesse halieutique. b) Nous devons prendre soin de notre
mer territoriale. c) Aucune
a) Aucun soldat n'est un officier. b)
richesse halieutique ne provient de notre
Certains soldats ne sont pas officiers. c)
Tout officier est un soldat. d)
autre mer territoriale.
Certains soldats sont officiers. e) Tout non
d) Tout ce qui provient de nos eaux territoriales est une richesse soldat est un nonofficier.
halieutique. e) Plusieurs
options sont valables. 24. « Certains hommes politiques ne sont pas avocats », la formule qui
correspond à son contraire évident est :
17. « Certains journalistes sont impartiaux » est une conclusion tirée de :
a) Certains un) 0PS b) 0PS
journalistes ne sont pas partiaux. b) Toutes les c) 0PS d) 0PS
personnes impartiales ne sont pas des
journalistes. c) Aucun journaliste n'est
et) 0PS
impartial. d) Certaines personnes impartiales ne sont
pas des journalistes. e) Presque tous les journalistes sont impartiaux. 25. Il est impossible que certains dirigeants ne soient pas honnêtes. Le
schéma correspondant, après avoir déterminé son avers, est le
18. Si « Aucun catholique n’a la foi » est faux, alors
suivant :
indiquer la vraie conclusion :
G H G H
a) Tous les catholiques ont la foi.
un) b)
b) Certains catholiques ont la foi. c)
Certains catholiques n’ont pas la foi. d)
Personne qui a la foi n’est catholique. e) Il G H
n’y a pas de conclusion. x
c) d)
19. Si « Tous les Péruviens sont Latino » est faux, alors quelle affirmation est
vraie : a) Aucun Péruvien n'est Latino. b) Certains G H
Péruviens sont Latino. c) Tous les
et)
Latino sont Péruviens. d) Certains Péruviens
ne sont pas Latino. e) Plus d'une
affirmation est correcte.
26. Le contradictoire d'une proposition universelle affirmative est une
proposition de forme typique. b) S e P d) S i P
a) S o P
20. Indiquez les conclusions valables de la prémisse : « Aucune
« Le socialiste est inhumain. » c) No S i P e)
I. Toute personne inhumaine n’est pas socialiste. SaP
a) Uniquement I et
généralement : a) Oui/
Non c) b) Pas de S e
IV b) Uniquement
Oui/Non P d) S o P
I et III c) I, II et
e) Non
III d) I, III et IV
e) Uniquement III et IV
28. Si « Aucun scientifique n’est généreux » est faux, sa contradictoire
21. Si « Certains Péruviens sont Vénézuéliens » est faux, alors il est vrai que : est : a) Incorrect. b) Vrai.
jhsf
80
Machine Translated by Google
TRILCE
29. Les relations entre les propositions de type I et O dans 36. Si : « Chaque adventiste est religieux » est vrai, alors il est faux que : a)
Le tableau d'opposition est : a) Sous Chaque adventiste est
contraire. b) Subalternatif. religieux. b) Certains nonadventistes ne
c) Contraire. d) sont pas religieux. c) Aucun adventiste n'est religieux. d)
Contradictoire. e) Certains adventistes sont religieux. e) Certains
81
Machine Translated by Google
Logique
43. De l'affirmation suivante « Aucune personne mariée n'est célibataire », on 50. Indiquez l'alternative correcte :
conclut valablement : a) Une personne mariée a) La conclusion d'une inférence immédiate est pro
est célibataire. b) Toute personne babiller.
célibataire est mariée. c) Une
b) Des relations d'opposition se produisent entre des propositions
personne mariée est célibataire. d)
gestes simples.
Une personne divorcée est mariée. e) NA
c) Le tableau d'opposition a été conçu par Aristote. d) L'inférence
immédiate consiste en une seule prémisse
. et sa conclusion respective. e) Le
44. Indiquez l'équivalence de « Aucun F n'est L » : a) Il est faux
tableau d'opposition a été conçu par Platon.
que tout L soit F. b) Certains F sont L.
c) Il n'est pas vrai que
51. Concernant les subalternes, il est faux que : a) Ce sont
certains F soient L. d) Il est impossible qu'un
des propositions qui diffèrent en quantité
certain L ne soit pas F. e) Tout F est L.
mais pas de qualité.
b) Ce n’est pas un type de relation entre des propositions
45. Indiquez l'affirmation contradictoire de : « Un certain joueur de football catégoriques.
c) La relation s’étend du particulier à l’universel. d) Une inférence
est blessé sur le terrain. » a) Un certain joueur
valide est obtenue en niant à la fois la prémisse et la conclusion.
de football n'est pas blessé sur le terrain.
aller.
e) La relation est exclusive.
b) Tous les joueurs de football sont blessés sur le terrain. c) Les joueurs
de football ne sont jamais blessés sur le terrain. d) Il est faux de dire
52. Déterminer le souscontraire du subalterne de « non »
qu'aucun
K est G".
joueur de football n'est blessé sur le terrain. e) NA
a) Tout K est G. b)
Certains K sont G. c)
Certains K ne sont pas G.
d) Aucun K n'est G. e)
46. Énoncez le contraire du contradictoire de : « Certains M ne sont pas P. »
Tout G est K.
a) Il n’est pas vrai que toutes les mines sont des mines de mercure. b)
55. Trouvez le subalterne de : « Aucun cartésien n'est empiriste »
Il est faux de dire qu’aucune mine n’est une mine de mercure.
c) Certaines mines sont des mines de mercure.
a) Tout empiriste est cartésien. b) Certains
d) Il n’est pas vrai que certaines mines sont des mines de mercure. e) empiristes sont cartésiens. c) Certains
Toutes les mines sont des mines de mercure. cartésiens ne sont pas empiristes. d) Très peu
de cartésiens sont empiristes. e) Les cartésiens sont
49. Obtenir le subcontraire du subalterne du contraire empiristes.
de : « Aucune personne insouciante n'est réaliste. » a)
Certaines personnes insouciantes sont réalistes. b) Il 56. Trouvez l'équivalent de : « Il n'est pas vrai que certains Esquimaux sont
n'est pas vrai que toutes les personnes insouciantes sont réalistes. c) charpentiers. » a) Les Esquimaux sont
charpentiers. b) De nombreux charpentiers
Certaines personnes inquiètes sont insouciantes. d) Certaines
sont des Esquimaux. c) Il n'y a aucun Esquimau qui
personnes insouciantes ne sont pas réalistes. e) Certaines
soit charpentier. d) Les Esquimaux sont charpentiers. e)
personnes inquiètes peuvent être réalistes.
Il n'y a pas d'Esquimaux.
82
Machine Translated by Google
TRILCE
57. Trouvez le contradictoire du subalterne selon lequel tout X est M : a) 59. Trouver le contradictoire du souscontraire : de Certains D
Tout M est X. b) est Q.
Certains S sont M. c) a) Chaque Q est D.
Aucun X n'est M. d) Il
b) Chaque D est Q.
n'y a pas de M qui soit X. e) Peu
de X sont M. c) Certains Q sont D.
d) Certains D ne sont pas
83
Machine Translated by Google
TRILCE
Chapitre
SYLLOGISME
10 CATÉGORIQUE
GÉNÉRALITÉS
Le syllogisme est une théorie déductive dont l’importance historique est pertinente car elle a été la première théorie logique développée.
rigoureusement par Aristote (386 322 av. J.C.) dans l'« Organon ».
Le mot « syllogisme » vient du grec « syllogismos » dont les racines sont « syn » qui signifie « avec » et « logismos » qui signifie
signifie « raisonnement ». Étymologiquement, « syllogisme » signifie raisonnement lié, raisonnement connexe.
1. TERME MAJEUR : Représenté par la lettre (P), il se trouve dans la première prémisse et agit comme un prédicat dans
la conclusion.
2. MOYEN TERME : Représenté par la lettre (M), il apparaît dans les deux prémisses et disparaît dans la conclusion.
3. TERME MINEUR : Représenté par la lettre (S), il se trouve dans la deuxième prémisse et fait office de sujet dans la
conclusion.
B. Propositions du syllogisme :
1. Prémisse majeure : c'est la première prémisse et relie le terme majeur au terme moyen.
2. Prémisse mineure : c'est la deuxième prémisse et relie le terme mineur au terme moyen.
3. Conclusion : relie le terme mineur au terme majeur, c'estàdire le sujet au prédicat.
Exemples explicatifs :
1. P(1) (Prémisse principale) : Tous les mammifères sont des animaux qui boivent du lait.
P(2) (Prémisse mineure) : Tous les chats sont des mammifères. .
C : Conclusion : Par conséquent, tous les chats sont des animaux qui boivent du lait.
85
Machine Translated by Google
Logique
FIGURES DU SYLLOGISME
Les figures du syllogisme dépendent des différentes positions que prend le terme dans le syllogisme. Il y a quatre figures du
Syllogisme exprimé dans les structures suivantes :
MODES DE SYLLOGISME
Les modes du syllogisme dépendent de la combinaison des propositions catégoriques qui composent le syllogisme ; il est représenté
par un type catégorique défini.
Exemples :
P(1) : Certains adolescents ne sont pas responsables. (Tapez "O")
P(2) : Tout adolescent est mineur. . (Type "A")
C : Certains mineurs ne sont pas responsables. (Tapez « O »)
86
Machine Translated by Google
TRILCE
PR À CTICA
01. Indiquez l'alternative correcte pour la manière dont cela devrait être d) Classes de figures. e)
avoir un syllogisme : Syllogisme invalide.
a) Le moyen terme doit être dans la conclusion. b) Le terme
mineur doit être répété dans les deux prémisses. c) Le sujet du 07. Indiquez le mode et la figure du syllogisme « Il est faux que les
syllogisme scientifiques soient des poètes, puisqu'aucun scientifique n'est
est dans la prémisse majeure. bohème et que tout poète est bohème. » a) A E O ; 2e fig. b)
toi. O E A ; 2e fig. c) A E
d) Le moyen terme ne doit pas être dans la conclusion. e) Le A ; 2e fig. d) A E O ; 3e
prédicat du syllogisme est dans le deuxième prédicat fig. e) A E A ; 3e fig.
masse.
06. Les expressions : "BARBARA", "FERISON", "BAROCO" ou encore 13. Dans l'argument : « Aucun aventurier n'est sédentaire, certains
"DISAMIS" désignent : a) Des figures de aventuriers sont des étrangers.
syllogisme. b) Des modes Par conséquent, certains étrangers ne sont pas sédentaires. »
Indiquez la bonne réponse :
syllogistiques. c) Des
syllogismes immédiats. a) Le terme moyen est « étrangers ».
87
Machine Translated by Google
Logique
14. Les figures du syllogisme sont définies comme les différentes formes 20. Indiquez le mode et la figure du syllogisme : « Il est faux que les
que prend ce raisonnement, selon la position du moyen terme philosophes soient des ingénieurs puisqu'aucun philosophe n'est
dans les deux prémisses. Par exemple, le syllogisme : « Les mathématicien et tout ingénieur est mathématicien. »
humains sont mortels, les Huancaínos sont humains. Par
conséquent, les Huancaínos sont mortels. » a) A E O ; 2e fig. b) O
E A ; 2e fig. c) A E O ;
3e fig. d) A E A ; 2e fig.
Il appartient à la figure .........
e) A E A ; 3e fig.
a) Premier. b)
Deuxième. c)
Troisième. d)
21. Le syllogisme catégorique est un raisonnement : a)
Quatrième. Déductif immédiat. b) Inductif
e) Cinquième. médiat. c) Déductif médiat.
d) Inductif est bon. e) Inductif
15. Indiquez la figure et le mode du syllogisme suivant : « Tous les déductif.
poissons sont des êtres vivants aquatiques et un grand pourcentage
d’entre eux ne sont pas carnivores. Par conséquent, certains
animaux carnivores ne sont pas aquatiques. » 22. Il s'agit d'une inférence intermédiaire, structurée à partir de
propositions catégoriques typiques, à partir de laquelle une
conclusion est tirée de deux prémisses :
a) 1ère figure ; A O A b)
a) Proposition catégorique. b)
2ème figure ; A O O c)
Déduction intermédiaire. c)
3ème figure ; A O O d)
Syllogisme catégorique. d)
4ème figure ; A O A e) 5ème
Opérateur logique. e) a
figure ; A O A
et b
figure. SM MS
c) d)
SP SP
88
Machine Translated by Google
TRILCE
26. Le syllogisme : « Aucun homme n’est parfait. Tous les Allemands sont 33. Indiquez les termes majeurs, moyens et mineurs du syllogisme suivant :
des hommes. Aucun Allemand n’est donc parfait », correspond au
« Aucun humaniste n'est
mode et à la figure suivants : a) 1 AAA b) 1 AEE c) 1 EEA d) 1
AEA e) 1 EAE diplomate. Tous les hommes politiques sont diplomates. Par
conséquent, aucun homme politique n'est humaniste. » a) Humaniste
diplomate homme politique. b)
Homme politique diplomate humaniste. c)
Humaniste homme politique diplomate. d)
Homme politique humaniste diplomate. e)
27. Dans un syllogisme, il y a : a) Une Diplomate homme politique humaniste.
prémisse et une conclusion. b)
Deux prémisses et une conclusion. c)
Plus de deux prémisses et une conclusion. d) Une
34. C'est un terme qui se répète dans les prémisses, c'est le plus important
seule prémisse et deux conclusions. e) Des
du syllogisme : a) T majeur. b) T supérieur.
propositions assertives.
c) T mineur. d)
T moyen. e) NA
28. Les modes du syllogisme résultent de :
a) L'utilisation du langage booléen. b) Les prémisses
majeures et mineures d'un syllogisme. c) La position du moyen
terme. d) La conclusion du sujet et du
35. Indiquez le mode et la figure du raisonnement suivant : Tous les
prédicat. e) Les types de propositions
footballeurs sont des athlètes.
catégoriques.
Certains athlètes sont faibles.__________ Certains
joueurs faibles sont des joueurs de
29. Le syllogisme est une inférence indirecte, construite par football. a) IAI : quatrième
Propositions : a) chiffre b) IEI : deuxième chiffre
Simples et composées. b) c) AII : quatrième chiffre d)
Catégoriques. c) Le OAA : deuxième chiffre e) AOO :
terme majeur, le terme mineur du syllogisme. d) Constantes sujet deuxième chiffre
et prédicat. e) c et d
36. Indiquez le mode et la figure du syllogisme suivant : P1 : Tous
les avocats sont vénaux.
P2 : Certains politiciens ne sont pas vénaux.________ C :
30. Dans l'argument : « Si certaines villes sont côtières et que les zones
Certains politiciens ne sont pas avocats. a) AOO :
côtières sont humides, alors certaines zones humides sont des villes »
1er chiffre b) AOI : 3e chiffre
c) AEO : 3e chiffre d) AOO :
Signalez la figure et le mode ; respectivement: a) 1ra. 4e chiffre e) AOO : 2e chiffre
figue ; A AI b) 4ta.
figue ; Je A Je c) 1ra.
figue ; Je A Je d) 2da.
figue ; Je A Je e) 3ra. 37. Indiquez la forme syllogistique de l'expression suivante : « Si tout P est
C et qu'un certain C est Y, donc beaucoup de Y sont P » a) AIII 3 b)
figue ; Je Un Je
IAI 4 c) IAI1
31. Indiquez le mode et la figure du syllogisme suivant : « Certains
d) IIA 2 e)
animaux sont bipèdes. Les animaux sont
AII 4
des êtres vivants.
Certains êtres vivants sont bipèdes" a) 3e
fig ; O A O b) 2e fig ; I A
I c) 3e fig ; I A I d) 2e
38. Indiquez la forme syllogistique de l'expression suivante : « Aucun V n'est
fig ; I A A e) 2e fig ; O
F, puisque tout A est F et il n'y a pas de V qui soit A » a) AEE3 b)
AO EAE2
c) AAE1 d)
EAE4 e)
32. Le syllogisme :
AEE1
Tous les M sont P.
Aucun S n’est M._____
Tous les S sont P.
Correspond à la ......figure et au mode....... a) Premier :
39. Indiquez la lettre typique de la conclusion : « 75 % des D sont des C, car
I A I b) Deuxième : A
les D sont des L et de nombreux L sont des C ». a) A b) E
E A c) Premier : A E A
d) Troisième : E A E e)
Quatrième A I A
89
Machine Translated by Google
Logique
45. À propos d'un syllogisme dont la forme est EIO3 est correcte
affirmer:
52. Dans le syllogisme catégorique :
a) La conclusion est affirmative. b) La PM : Aucun Indien n’est islamiste.
prémisse majeure est particulière. c) Le terme Pm : Certains islamistes sont arabes.
C : Certains Arabes ne sont pas juifs.
moyen n'est pas un sujet. d) La prémisse
C'est correct :
mineure n'est pas universelle. e) Les deux
a) La deuxième prémisse est une prémisse mineure.
prémisses sont négatives. b) « Juif » est un terme de la prémisse mineure. c) La
conclusion n'est pas une proposition catégorique.
90
Machine Translated by Google
TRILCE
d) « Islamiste » peut être utilisé dans la conclusion. 58. Indiquez la figure et le mode de : Chaque marin
e) Cela montre que la première prémisse n’est pas nécessairement la est fort.
meilleure. Certains marins sont courageux.
Un homme courageux est fort.
53. Dans un syllogisme, le terme mineur est : a) Le prédicat de la a) 2e chiffre : AOE b) 3e
prémisse majeure. b) Le sujet de la conclusion. c) chiffre : AII c) 4e chiffre :
Le terme que l'on trouve uniquement AEO d) 1er chiffre : AEO e)
dans les prémisses. d) Le prédicat de la conclusion. e) C'est l'antécédent. 2e chiffre : AEA
Premier – EOI. SM MS
un) b)
SP SP
a) 1 époque. OEA
b) 2da. AIO c)
2ème. VRAI d)
4ème. DETTE e)
3ème. NON
91
Machine Translated by Google
TRILCE
Chapitre
11
RÈGLES DE LA
SYLLOGISME
Afin d'établir que le raisonnement ou le syllogisme est formellement valide ou logiquement correct, la logique traditionnelle applique les règles suivantes :
1. Le syllogisme doit contenir uniquement les trois termes : Majeur, Moyen et Mineur, chacun d'eux étant utilisé dans le
même sens tout au long du raisonnement.
Exemple :
P(1) : Aucun animal n’est une plante
P(2) : Certaines plantes sont des aliments comestibles.
C : Certains aliments comestibles ne sont pas des animaux
Les termes : Animal (T. Majeur), Végétal (T. Moyen) et Aliment Comestible (T. Mineur), ont une seule et même signification tout au long du
syllogisme.
2. Le terme moyen doit être contenu uniquement dans les deux prémisses et non dans la conclusion.
Exemple :
P(1) : Certains enseignants sont des mathématiciens.
P(2) : Chaque enseignant est un éducateur.________
C : Certains éducateurs sont des mathématiciens.
Le terme moyen (enseignants) est un terme qui sert uniquement d'intermédiaire, de pont, de moyen pour unir les termes restants des prémisses
dans la conclusion.
3. Le terme moyen doit être « distribué » dans au moins une des prémisses.
En souvenir !!!
Un terme est distribué dans une proposition catégorique lorsqu'il fait référence à
tous les membres de la classe désignée, c'estàdire que le terme a une quantité
universelle.
*
Tout S est P :Le terme distribué est « S ».
*
Aucun S n'est P : Les termes distribués sont « S » et « P ».
*
Certains S sont P : Il n'y a pas de termes distribués.
*
Certains S ne sont pas P : Le terme distribué est « P ».
Exemple:
Le Moyen Terme : Chiclayano est distribué dans la première prémisse parce qu'il est dans la position du « sujet », en ce sens, il a une quantité
universelle.
4. Il ne peut y avoir aucun terme distribué dans la conclusion qui ne soit également distribué dans les prémisses.
Exemple :
P(1) : Aucun matérialiste n’est religieux.
Q(2) : Tous les catholiques sont religieux._____ C :
Certains catholiques ne sont pas matérialistes.
93
Machine Translated by Google
Logique
Si le terme intermédiaire « religieux » est distribué dans la première prémisse (Proposition SEP) en étant dans la position
du prédicat, alors les termes « catholique » et « matérialiste », respectivement, n'ont pas une plus grande quantité dans le
conclusion que celle qu'ils ont dans les locaux.
Exemple:
P(1) : Certains professionnels sont dentistes (PIM) : Affirmatif
P(2) : Chaque dentiste soigne les caries (MAIS) : Affirmatif
C : Certaines personnes qui soignent les caries sont des professionnels (SIP) : Affirmatif
Exemple:
P(1) : Aucune personne agressive n'aime la paix :Prémisse négative (MEP)
P(2) : Certaines femmes ne sont pas agressives :Prémisse négative (SOM)
C : Aucune conclusion Et ?
7. La conclusion suit toujours la prémisse la plus faible, c'estàdire la prémisse particulière ou la prémisse la plus faible.
négatif.
Exemple (1)
P(1) : Certains penseurs sont des historiens : Prémisse affirmative (PIM)
P(2) : Tout historien est un chercheur :Prémisse universelle (SEM)
C : Certains chercheurs sont des penseurs : Conclusion particulière (SIP)
Exemple (2)
P(1) : Chaque être vivant possède des cellules : Prémisse affirmative (PAM)
P(2) : Aucun minéral n'a de cellules :Prémisse négative (SEM)
C : Aucun minéral n'est un être vivant :Conclusion négative (SEP)
Exemple:
P(1) : Certains prêtres sont des soldats :Locaux privés (PIM)
P(2) : Certains soldats sont intrépides : Localité particulière (MIS)
C : Aucune conclusion : Et toi?
94
Machine Translated by Google
TRILCE
PR À CTICA
01. Si dans un syllogisme catégorique, l'une des prémisses est négative, 08. Si dans un syllogisme les deux prémisses sont universelles, alors il est
alors : a) L'autre possible que la conclusion soit : I. Universelle
prémisse est négative. b) L'autre affirmative dans la première figure.
prémisse est universelle. c) La conclusion II. Négatif universel dans toutes les figures.
n'est pas affirmative. d) L'autre prémisse est III. Affirmatif particulier dans toutes les figures.
faible. e) La conclusion n'est pas IV. La négation particulière est l'ensemble des négations.
négative. a) Seulement
I. b)
Seulement
02.Quelle n’est pas une règle valable dans la formation d’un syllogisme ?
II. c) I et IV.
d) II et III. e) Tous.
a) Le terme moyen ne se trouve pas dans la conclusion. b) La
conclusion découle de la prémisse faible. c) Les deux 09. Le mode AAA est valide :
prémisses peuvent être universelles. d) Si les prémisses a) Seulement dans la première figure.
sont faibles, la conclusion est faible. e) Si les prémisses sont b) Dans toutes les figures. c)
négatives, il n'y a pas de conclusion. Dans la quatrième figure. d)
Dans la deuxième figure. e)
Seulement dans la troisième figure.
03. Indiquez la conclusion correcte du syllogisme suivant : « Aucun ouvrier
n'est capitaliste, et tout ouvrier est prolétaire . » a) Aucun prolétaire
10. Si « Aucun triomphaliste n'est pessimiste » et « Tout gagnant est
n'est capitaliste. triomphaliste », alors la conclusion valable est : a) « Tout
b) De nombreux prolétaires sont capitalistes. gagnant n'est pas pessimiste. » b) « Aucun
c) Aucun capitaliste n'est prolétaire. d) Certains gagnant n'est pessimiste. » c) « Certains
prolétaires ne sont pas capitalistes. e) a et c gagnants ne sont pas pessimistes. » d) Toutes ces
sont des conclusions valables. affirmations sont possibles. e)
Seule la réponse b est valable.
11. Le mode AEE est valable dans la figure ....... et dans le .......
04. Si « les juges sont des avocats et tout avocat est un juriste », alors nous
figure.
pouvons affirmer que : a) Tout juriste est un juge. b) a) premier troisième. b)
Certains juristes sont des deuxième quatrième. c)
avocats. c) Aucun juge n'est juriste. d) premier quatrième. d)
deuxième troisième. e)
Certains juristes sont des juges.
troisième quatrième.
e) Il n'y a pas de conclusion car c'est
une erreur. 12. Si « Certains marchands vendent des tissus importés » et « Beaucoup
de ceux qui vendent des tissus importés ne consomment pas ce que
05. Si « Tout peintre est un dessinateur et aucun acteur n'est un le pays produit », alors « Certains consommateurs de ce que le pays
dessinateur », alors : a) produit ne sont pas des marchands » est un syllogisme manifestement
invalide parce que : a) Le moyen terme se trouve dans la
Aucun dessinateur n'est un acteur. b)
conclusion. b) À partir de prémisses particulières, il n'y a
Tout peintre est un acteur. c)
pas de conclusion. c) À partir de prémisses affirmatives, il n'y
Certains peintres sont des dessinateurs.
a pas de conclusion négative.
d) Aucun acteur n'est peintre. e) et.
Certains peintres ne sont pas des acteurs. d) Le terme moyen ne doit pas être distribué dans au moins une
prémisse. e) Si la prémisse
06. Dans le syllogisme, à partir de deux prémisses particulières : est universelle, alors la conclusion,
est nécessairement universelle.
a) Rien n’est conclu. b) Une
conclusion négative est atteinte. c)
13. Cochez la bonne option : a) Le terme
Une conclusion particulière est atteinte. d) La
moyen ne doit figurer que dans la conclusion. b) Les prémisses
conclusion est valide. e) La doivent avoir les caractéristiques les plus faibles par rapport à la
conclusion n’est pas particulière. conclusion. c) À partir de prémisses affirmatives,
il n'y a pas de conclusion négative.
et.
07. Dans un syllogisme, l'une des prémisses est faible, de telle sorte
d) Le terme moyen ne doit pas être distribué dans au moins une
sens:
prémisse. e) Si la
a) Sa conclusion est particulière. b) Sa prémisse est particulière, alors la conclusion est universelle.
conclusion est négative. c) La
conclusion n'est pas faible. d) L'autre
prémisse est également faible. e) a ou b.
95
Machine Translated by Google
Logique
14. Indiquez l’alternative incorrecte dans le syllogisme : 20. Dans un syllogisme, si l'une des prémisses est faible, alors la
conclusion : a) Est universelle.
a) Il doit exister au moins une proposition universelle
devoir.
b) Peut être
affirmative ou négative. c) Peut être
b) Si les prémisses sont affirmatives, la conclusion n’est pas négative.
particulière ou négative. d) Est toujours négative. e) Est
c) Il doit y une particulière négative dans
avoir au moins une proposition affirmative. tous les cas.
savoir.
d) Si les prémisses sont négatives, il n’y a pas de conclusion. e) Si les 21. « Chaque chanteur est un artiste et chaque artiste est un bohème », alors :
16. Si dans un syllogisme l'une des prémisses est particulièrement négative, a) Toutes les personnes instruites sont des
alors, nécessairement, l'autre prémisse doit fanatiques. b) Certaines personnes instruites
être:
sont des fanatiques. c) Aucun fanatique
a) Également négatif. b) n'est instruit. d) Tous les fanatiques ne sont pas
Affirmatif. c)
instruits. e) Il n'y a pas de conclusion.
Universel. d)
Universel négatif. e) Universel 23. Déterminez la conclusion correcte :
affirmatif. « Certains psychologues sont humanistes, et tout humaniste est un
phénoménologue. » a)
17. Pour qu'un syllogisme soit bien structuré, il est important que : a) Les Certains phénoménologues sont humanistes. b) De nombreux
prémisses soient phénoménologues sont psychologues. c) Aucun
96
Machine Translated by Google
TRILCE
Dans le raisonnement cidessus, il est indiqué qu'il est incorrect dans une proposition négative. c) On
pourquoi: ne peut rien conclure de deux prémisses négatives. d) Le moyen
a) Le terme moyen est dans la conclusion. b) Le terme majeur
terme est distribué dans l'une des prémisses. e) Le moyen terme
n'est pas dans les prémisses. c) La conclusion ne devient
n'apparaît
pas la prémisse faible. d) Tous. e) b et c.
que dans les prémisses.
31.Si:
les agrumes sont des fruits. Certaines bêtes sont des tigres._______
Certaines bêtes viennent de Malaisie.
Certains fruits sont charnus.
C'est un raisonnement incorrect car : a) Le
Certains fruits charnus ne sont pas des agrumes.
terme moyen apparaît dans la conclusion. b) De deux
Le raisonnement cidessus est incorrect car il ne suit pas la règle
prémisses affirmatives, on conclut une proposition affirmative. c) De
syllogistique, qui stipule : a) Rien
deux prémisses particulières,
ne peut être conclu de deux prémisses négatives. b) Rien ne
on ne conclut rien. d) L'une des prémisses doit être universelle. e)
peut être conclu de deux prémisses particulières. c) Le moyen
La conclusion suit toujours la plus
terme ne doit apparaître que dans les prémisses. d) Le syllogisme ne
doit contenir
faible.
que trois termes. e) Aucune proposition négative ne peut être
conclue de deux prémisses affirmatives.
32. Indiquez ce qui est incorrect dans le syllogisme catégorique : a) Il doit
toujours y avoir une prémisse universelle. b) Si les deux
28. Tous les enseignants sont des professionnels dévoués. prémisses sont faibles, la conclusion est
Certains biologistes sont des enseignants._____________ Tous faible.
les biologistes sont des professionnels dévoués. c) Le terme moyen est uniquement dans les prémisses. d)
Le raisonnement cidessus est incorrect car il ne suit pas la règle L'une des prémisses doit être universelle. e) Il n'y a pas de
syllogistique qui stipule que : a) La conclusion si les deux prémisses sont négatives.
conclusion suit toujours la prémisse la plus faible. b) Il ne peut y avoir ton.
aucun terme distribué dans la conclusion qui ne soit pas distribué dans
les prémisses. c) Le syllogisme ne doit avoir que trois
33. Dans un syllogisme catégorique :
termes. d) À partir de prémisses affirmatives, on ne conclut pas
a) Il y a deux termes principaux, majeur et mineur. b) Les deux
dans un
prémisses peuvent être négatives. c) Il est possible que
proposition négative. e) Le le terme moyen apparaisse dans le
moyen terme est distribué dans l'une des prémisses. conclusion.
b) On ne conclut rien de deux prémisses particulières. c) Le moyen c) Certains criminels ne sont pas des dirigeants. d) Tous les
dirigeants sont des criminels. e) De nombreux criminels
terme est distribué dans l'une des prémisses. d) La conclusion suit
ne sont pas des dirigeants.
toujours la
prémisse la plus décimale.
35. Certains musiciens sont intimes ; mais tous les romantiques sont intimes.
était.
Par conséquent : a)
e) Le terme moyen doit apparaître uniquement dans les locaux. Certains romantiques sont musiciens. b)
Certains romantiques ne sont pas musiciens.
c) Certains musiciens ne sont pas
30. Et : romantiques. d) Certains romantiques
Dire que vous êtes un animal, c'est dire la vérité. sont musiciens. e) Certains romantiques ne sont pas intimes.
Vous appeler un âne, c'est dire que vous êtes un animal.
Donc : vous traiter d'âne, c'est dire la vérité. 36. Il n'est pas vrai qu'un Péruvien soit Asiatique, ni qu'un Asiatique soit
C'est un raisonnement incorrect que de ne pas respecter la règle : Chinois. En conclusion : a) Certains
a) Le syllogisme ne doit contenir que trois termes et chacun Asiatiques sont Chinois.
un, utilisé dans le même sens.
b) De deux prémisses affirmatives, on ne peut pas conclure
97
Machine Translated by Google
Logique
Chinois. c) Certains Chinois ne sont pas tous les logiciens sont des philosophes.
Péruviens. d) Certains Péruviens ne sont Tous les logiciens sont des mathématiciens.
pas Chinois. e) Il n'y a pas de conclusion. Tous les mathématiciens sont des philosophes.
38. Certains vivipares sont des oiseaux. Certains adultes sont pervers.
Certains animaux à plumes ne sont pas des oiseaux. Certains prêtres sont des adultes._______
Si ces affirmations sont fausses, quelles conclusions obtenonsnous ? Certains prêtres sont des pervers.
a) Certains animaux à plumes sont vivipares. b) Il s'agit d'un raisonnement incorrect car : a) Le
Certains animaux vivipares ne sont pas des animaux syllogisme comporte quatre termes. b) Le terme
à plumes. c) Certains animaux à plumes ne sont pas moyen est ambigu. c) La conclusion ne
vivipares. d) Aucun animal à plumes n'est vivipare. découle pas de la prémisse faible. d) L'une des prémisses est
e) Tous les animaux à plumes sont vivipares. fausse. e) Rien ne peut être conclu à partir
de deux prémisses particulières.
39. Chaque insecte est un invertébré.
Certains vertébrés sont des serpents. 45. C'est une règle du syllogisme : a) Rien
Par conséquent :
n'est conclu de deux prémisses particulières. b) Le syllogisme est une
a) Aucun insecte n’est un serpent. b)
inférence médiate. c) Le syllogisme a des prémisses et
Certains insectes sont des serpents. c)
une conclusion. d) La conclusion du syllogisme a un sujet et
Certains serpents sont des invertébrés. d) Chaque
serpent est un vertébré. e) Certains serpents un prédicat.
ne sont pas des insectes. faire.
41. Et : MeRHoR
moyen apparaît dans la conclusion. c) Le terme moyen n'a pas EAE1 – invalide c) EAE4 –
de quantité universelle. d) Le syllogisme comporte plus de trois valide d) EAE4 –
termes. e) Tout ce qui précède. invalide
42. Et :
Les pics sont des caractéristiques géographiques. 48. Aucun reptile n’est vivipare.
Certains outils sont des pioches._________ Certains outils Chaque serpent est un reptile.
sont des caractéristiques géographiques. Certains serpents sont venimeux.
C'est un raisonnement incorrect car : a) Le terme Ergo :
moyen n'est pas utilisé dans le même sens. b) Le terme moyen est a) Aucun organisme venimeux n'est vivipare. b)
répété dans la conclusion. c) La conclusion ne découle pas de la Tout organisme vivipare est venimeux. c)
Tout organisme venimeux est un reptile.
prémisse faible. d) Avec deux prémisses affirmatives, la
d) Certains organismes venimeux sont vivipares.
conclusion est large.
e) Certains organismes venimeux ne sont pas vivipares.
bigua.
e) Ce sont des pseudopropositions.
98
Machine Translated by Google
TRILCE
49. Si un individu est philosophe, il n’est pas dogmatique. d) Certaines personnes ignorantes ne sont pas des
Un certain philosophe est un matérialiste. aviateurs. e) Plus d’une.
Donc:
a) Certains matérialistes ne sont pas individualistes. b) 56. La conclusion des locaux est : PM Certains
Certains matérialistes sont dogmatiques. c) léopards sont lents.
Certains matérialistes ne sont pas dogmatiques. d) Pm Chaque léopard est un animal.
Aucun matérialiste n'est dogmatique. e) Certains C:
dogmatiques ne sont pas matérialistes. a) Certains animaux sont lents. b)
Aucun animal n’est lent. c) Tous les
50. Si une personne est jeune, elle est rebelle. Tout rebelle critique le animaux sont lents. d) Certains
système. Par animaux lents ne sont pas des animaux
conséquent : a) Si quelqu'un critique le système, il lents. e) Tous les animaux sont des léopards.
n'est pas jeune. b) Quiconque critique le système est
jeune. c) Si quelqu'un est rebelle, il est 57. Déterminer la conclusion des prémisses suivantes P1 Aucun M n'est P.
critique. d) Tout jeune critique le système.
e) Quiconque critique le système n'est pas jeune. P2 Certains M sont S.
C:
51. Dans le syllogisme suivant, la conclusion est : PM Quelques a) Certains S sont P.
rois catholiques. b) Tous les S sont
Certains catholiques sont justes. P. c) Aucun S n'est P.
C : a) d) Certains S ne sont pas
Tout roi est juste. b) Toute P. e) Plusieurs S sont P.
personne juste est un roi. c)
Certains rois sont justes. d) 58. Trouvez la conclusion de :
Certaines personnes justes
PM Aucun Allemand n’est sanguinaire.
sont rois. e) Il n'y a pas de conclusion.
Pm Chaque Allemand est un homme. _______
C:
52. La conclusion du syllogisme est : PM Tout
a) Certains hommes ne sont pas sanguinaires. b)
artiste n’est pas intelligent.
Aucun homme n’est sanguinaire. c) Aucun
Aucun artiste n’est un enfant.
C: Allemand n’est sanguinaire. d) Certains
hommes sont allemands. e) Plusieurs
a) Aucun enfant n’est intelligent. b) Aucun
artiste n’est intelligent. c) Il n’y a pas de hommes sont allemands.
PM Chaque général est rigoureux Pm 60. Indiquez l'énoncé correct concernant les règles du syllogisme : a) Le
Certains hommes sont généraux.
moyen terme
C:
se trouve dans la conclusion. b) La conclusion particulière
a) Tous les hommes sont rigoureux. b)
découle des deux prémisses particulières. c) La conclusion négative
Certains hommes sont rigoureux. c)
ne découle pas d'une
Certains généraux sont des hommes.
prémisse universelle.
d) Aucun homme n'est rigoureux. e)
Chaque général est courageux.
d) Il doit toujours y avoir une prémisse universelle. e) Si les
deux prémisses sont faibles, la conclusion est
55. PM Chaque aviateur est un officier. faible.
PM Aucune personne ignorante n’est un fonctionnaire.
La conclusion est : a)
99
Machine Translated by Google
TRILCE
Chapitre
DIAGRAMMES DE VENN EN
12 LE SYLLOGISME CATÉGORIQUE
La méthode du diagramme de Venn est utilisée pour vérifier si les règles du syllogisme ont été appliquées correctement, c'estàdire
qu'elle nous permet de déterminer la validité ou l'invalidité du syllogisme catégorique.
Dans cette méthode, il n'est pas nécessaire de connaître le mode et la figure du syllogisme, c'estàdire que l'ordre de la prémisse majeure et de la
prémisse mineure respectivement n'est pas important, mais il suffit que la conclusion soit distinguée des prémisses.
Les propositions des composants peuvent être ou non sous leur forme typique, l'important est leur représentation dans le diagramme.
Pour analyser un syllogisme, on utilise un diagramme à trois cercles, car le syllogisme est composé de trois termes. On obtient ainsi :
Où : S = 1. SP M
syndrome prémenstruel
T le plus bas. P
= T le plus élevé.
3
MS P
2. SM P
syndrome prémenstruel
4
syndrome prémenstruel
M = T moyen.
2 3. SM P
PMS
1 567 4. SM P
PMS MPS 8
5. SM P
syndrome prémenstruel
6. SM P
DANS
S 7. SM P
8. SM P
M
conclusion du syllogisme doivent être représentées ou formalisées par leurs formules booléennes
respectif:
Exemple 1 :
Athéniens Occidentaux
Grecs
DANS
101
Machine Translated by Google
Logique
3. Seules les « prémisses » sont schématisées (la conclusion n'est pas schématisée), en commençant par la prémisse universelle ; puis
par la prémisse particulière, s'il y en a une.
M DANS
4. Analyser le diagramme : si la conclusion est automatiquement représentée graphiquement lors de la représentation graphique des prémisses, le syllogisme
est valide. En revanche, si la conclusion n'est pas représentée graphiquement lors de la représentation graphique des prémisses, le syllogisme est invalide.
invalide.
L'exemple cidessus est un syllogisme valide car la conclusion a été schématisée automatiquement.
Exemple : 2
P(1) : Tout leader est un bon orateur.
M P
P(2) : Certains membres du syndicat sont des dirigeants.
S M .
C : De nombreux membres de syndicats sont de bons orateurs.
S P
P(1) : MAPMP = O x P
S
P(2) : SIMSM = O
C : SIP SP = O
M
Exemple : 3
P(1) : Certains indigénistes sont des historiens
P M
P(2) : Tous les archéologues sont des historiens
SM .
C : Certains archéologues ne sont pas indigénistes
S P
P(1) : PIMPM = O
P(2) : SAMSM = O S x P
C : SOPSP = O
M
Le syllogisme est invalide : la conclusion ne peut pas être lue à partir du diagramme.
102
Machine Translated by Google
TRILCE
PR À CTICA
01. Le diagramme de Venn suivant : a) 2, 3 et 4 b) 5, 6 et 7
c) 1, 5 et 7 d) 1, 7, 2 et 5
e) NA
S P
SM C'est valide. b) Ce
SM
un) b) n'est pas valide. c) Il est impossible que
SP SP ce soit valide. d) Il est faux que ce ne
soit pas valide. e) Cela ne peut pas être valide.
1
264P35
x 78
S
b) S P M
M
a) 2, 3, 6 et 7 b) 1, 2, 5, 6 et 7
c) 2, 3, 5, 6 et 7 e) d) 3, 4, 5, 6 et 7
P 2, 3, 5 et 7
x
c) S
07. Dans les propositions suivantes : I. Les
M
diagrammes de Venn démontrent si le syllogisme est valide ou
invalide.
DANS
2 34
6 Donc, nécessairement, la conclusion est : a)
P 5 7 sur
Tout S est P. b)
1
M Aucun S n'est P.
103
Machine Translated by Google
Logique
un) x b)
S P S P x
S x P S P
c) d)
x x M M
c) d)
S P S P
S x P
et) et)
M
S P
M M
S 23
1
P
4 5 6
S x P S x P 7
c) d) M
11. Le syllogisme : « Aucun animal n'est un oiseau. Tous 15. Dans le syllogisme suivant :
Les pigeons sont des oiseaux. Par conséquent, aucun pigeon n'est un animal.
Aucun arbre n’est un oiseau.
ruminant". Son diagramme de Venn montre que le syllogisme
est: Chaque colombe est un oiseau.
a) Valide.
Aucune colombe n’est un arbre.
b) Invalide.
c) Faux. Les zones schématisées respectivement sont :
d) Vrai.
e) Erreur.
DANS
1 23
P
4 5 6
12. Indiquez les zones qui ont été schématisées dans ce qui suit S
7 8
syllogisme: M
a) 1, 2, 3, 4, 5 et 6.
P(1):PM=0
DANS
S un et c
b) 1, 2, 5 et 6.
P(2):MS=0
d b f P
C: SP=0 c) 1, 2, 4, 5 et 6.
h g M d) 1, 2, 4, 5, 6 et 7.
a) a, b, c, yd e) 4, 5, 6 et 7.
b) b, c, e, fyg
c) g, f, eyc
d) d, b, f, gyc
e) a, f, g, h, cyd
104
Machine Translated by Google
TRILCE
P M
a) M a P b) P a M c) S o M
d) S o P e) S a P
et la conclusion est : SP a) , la prémisse mineure sera :
Tous les S sont M.
17. Tous les artistes sont des égocentriques. b) Certains M sont S.
Certains artistes sont sans abri.
c) Certains S ne sont pas
Certains sansabri sont des égocentriques.
M. d) Certains S ne sont
Le syllogisme cidessus est :
a) Correct. b) pas M. e) Aucun S n'est M.
Valide. c)
Invalide. d) 22. Et :
Faux. e) a M
ou b
PP
1 M P2S
a) Aucun S n'est P. b)
S
P Tous les S sont P.
x c) Certains S sont
P. d) Certains S sont
M M. e) Tous les S sont M.
Le correspondant a:
23. Et :
a) OIO2 b)
EII3 c) PM 1 P2 P M S
EIO4 d)
x
EAE2 e)
AEO1
on en déduit :
c) SP d) SP
P
S e) SM
M
24. Dans le syllogisme suivant, les zones schématisées de la prémisse
a) Première figure, mode EAE. b)
du terme majeur sont : P1 : Un étranger
Deuxième figure, mode EAI. c)
est chilien.
Troisième figure, mode EAO. d)
P2 : Tous les Chiliens sont
Quatrième figure, AEE. e)
Américains. Certains Américains sont étrangers.
Première figure EIO.
1 23
20. Dans l'argument syllogistique : S P
« Certains diplomates ne mentent pas, et les diplomates sont aussi
546
des orateurs ; il s'ensuit que de nombreux orateurs ne mentent pas. » 7
M
Les domaines schématisés sont respectivement :
a) 4, 5, 6. b)
5, 6, 7. c) 2
et 5. d)
abcefd Seulement
LE M 5. e) 6 et 7.
g
D
105
Machine Translated by Google
Logique
25. Dans la formulation suivante et après vérification de la 29. Certains métalloïdes ne sont pas des gaz.
schéma, indiquez le bon : Chaque métalloïde est un élément chimique.
Donc:
P1 : PM P2 : MS 0;SP 0 a) Certains gaz sont des
métalloïdes. b) Certains éléments chimiques ne
DANS
sont pas des gaz. c) Certains éléments
x P chimiques sont des gaz. d) Chaque élément
S
chimique est un gaz. e) Aucun élément chimique n'est un gaz.
M
30. Aucun logicien n’est un menteur.
a) Cela vient de la quatrième Certains journalistes sont des menteurs.
Donc:
figure. b) C'est
a) Certains journalistes sont logiques.
valide. c) Ce n'est pas
b) Certains journalistes ne sont pas
incorrect. d) La conclusion se lit dans le diagramme. logiques. c) Tous les journalistes
e) Tous sont corrects. sont logiques. d) Aucun journaliste n'est
logique. e) Aucun nonjournaliste n'est logique.
1 23 S P
ET P x P x
546 comme b)
7 M
G M
a) 1; 2; 3; 4; 5; 6 et 7. b) 1;
2; 3; 5 et 6. c) 1; 2; 5
S x P x P
et 6. d) 1; 2; 3; 4;
c) S d)
5 et 6. e) 2; 5 et 6.
M M
106
Machine Translated by Google
TRILCE
P MP 0
S
x MS 0
et) et)
M SP 0
34. Identifiez le schéma correct du syllogisme : P1 : Aucun arbitre 37. Indiquez la forme syllogistique qui donne naissance au diagramme :
n’est impartial.
P2 : Chaque arbitre est humain.
Aucun humain n’est impartial. P
S
M
P
comme
P b) S
a) AEA4 b)
M M I EO3 c)
AEE1 d)
EAE4 e)
P P EAE2
c) S x S d)
S P P
abcefg x
b) S
d M
M
a) a, b, cy e. b)
a, par c. c) d,
b, ey f. d) b, c, P
x
dy e. e) d, ey f. c) S
DANS
d) S P
S x P
M
M
MP 0 PM 0 S P
et)
SM 0 b) SM 0
un) M
SP 0 SP 0
MP 0 MP 0
MS 0 MS 0 d)
c)
SP 0 SP 0
107
Machine Translated by Google
Logique
PM PM M ET
PM MP a) 2, 7 et 8 b)
SM SM 3, 5, 7, 8 c) 2,
c) d)
4 et 7 d) 4,
SP SP
7, 8, 3 e) 3, 5,
2, 7
MP
44. Quelles zones devonsnous colorier pour déterminer la validité
SM
et) du syllogisme suivant :
SP
S P PM PM
23 4
567 P m SM
40. Indiquez l'énoncé correct concernant le diagramme :
1 8
M SP
a) 6, 5, 7.
S P
b) 2, 3, 4.
M c) 8, 7, 5. d)
3, 4, 7. e) 3,
a) La forme obtenue est AEI3 . b) Le 4, 5.
diagramme représente un syllogisme valide. c) Le
terme majeur du diagramme est S. d) La 45. Trouvez la forme schématique du syllogisme suivant : « Certains
conclusion n'est pas représentée graphiquement dans le diagramme. policiers ne sont pas honnêtes et aucune personne honnête n’est
Venn. un criminel ; par conséquent, certains policiers ne sont pas des
e) Aucune de ces affirmations n’est correcte.
criminels. »
Px D
M x
D
c) P d)
a) AEE2 H H
b) AAA4
c) EAE2
d) IAI3 P x D
e) EAE4
et)
8 6
1 PM Chaque F est un A PM : Aa V
3 F
G 725 Pm No G est A Pm:PaA
4 Do sans sol, c'est Fa
Eh bien, dans
UN
108
Machine Translated by Google
TRILCE
PM : AV
P m : PA P
un) et)
S
PV
M
b) P m : PA
PV P
S
PM : AV M
a) EAE2 b)
P m : PA
c) AEE1 c)
PV EAE3 d)
AEE2 e)
EAE4
PM : AV
P m : PA 50. Déterminez la forme syllogistique à l'origine du diagramme :
d)
PV
x P
S
PM : AV
M
P m : PA a) OAO3 b)
et)
AOO2 c)
PV
IAI3 d)
AII1 e)
47. Le diagramme de Venn du syllogisme valide : « Tous les œillets sont EIO4
des légumes et aucun chat n'est un légume, donc aucun chat n'est
un œillet » est : 51. Quelles prémisses peuvent être lues dans le graphique ?
P
comme b) S
P S x P
M M M
a) M a P
P SiM
P
c) S d) S b) P a M
SoM
M M
c) M et P
SiM
d) P a M
P MiS
e) S
e) M i P
M SaM
48. Le diagramme de Venn du syllogisme AAA1 est : 52. Obtenir les formules correspondant au schéma :
DANS
x
P P
un) b)S
S P
S
M M
M
P P PM PM
c) S x d)S
SM SM
M M a) b)
SP SP
109
Machine Translated by Google
Logique
député P P
comme b)
SM
e) M M
SP
P
53. Quelles zones doivent être ombrées pour représenter graphiquement le
c) S d) S P
syllogisme :
Aucun ornithorynque n’est un oiseau.
M
Chaque canard est un oiseau.
P
Par conséquent, aucun canard n’est un ornithorynque. S
S P et)
23 4 M
567
1 8
M 57. La formule booléenne dans le diagramme suivant est :
a) 2, 3, 6 b) 3, , 8
4, 5, 6 c) 2, 3, 5,
7 d) 3, 4, 7, 8 e) P
2, 3, 5, 6 S
M
a M c) M a S MS SM
c) d)
d) S i P e) M
SP SP
oP
PM
55. Lequel des diagrammes correspond à un syllogisme de forme OAO3 ? MS
e)
SP
M M
S P
x
S
x P
S P x
c) d)
M
a) AIO3 b)
M M
AIO4 c)
AIO1 d)
AIO2 e)
P
EIO2
x
S e)
110
Machine Translated by Google
TRILCE
59. Quel graphique correspond à : 60. La forme du syllogisme représenté dans ce qui suit est :
Non Y est X.
x
Certains Z sont X.___
P
Certains Z ne sont pas Y. S
M
a) AOO2
x
x b) EIO1
et
a) de b) z et c) OAO2
x x d) OAE2
e) AOO3
et
x et x
c) Avec d) z
x x
x
e) avec et
111