TERMINOLOGIE - Notions De Base Flashcards
Composants du raisonnement
La proposition
__________________________
La proposition est [l’? de ?] du raisonnement composée d’un ou plusieurs [?] (entité(s) dont il est question) + un [?] (ce qui est dit à propos de l’entité)
Elle est toujours soit [?], soit [?] = [? de ?]
Il en existe deux types :
1) proposition [?] : un [?] + un [?] (ex : “le chien ([?]) aboie ([?])”)
2) proposition [?] (ou [?]) : plusieurs propositions [?] reliées par un [?] (ex : “le chien aboie (proposition [?] 1) et ([?]) la caravane passe (proposition [?] 2)”
La proposition est [l’unité de base] du raisonnement composée d’un ou plusieurs [arguments] (entité(s) dont il est question) + un [prédicat] (ce qui est dit à propos de l’entité)
Elle est toujours soit [VRAIE], soit [FAUSSE] = [VALEUR DE VÉRITÉ]
Il en existe deux types :
1) proposition [simple] : un [argument] + un [prédicat] (ex : “le chien ([argument]) aboie ([prédicat])”)
2) proposition [complexe] (ou [composée]) : plusieurs propositions [simples] reliées par un [connecteur] (ex : “le chien aboie (proposition [simple] 1) et ([connecteur]) la caravane passe (proposition [simple] 2)”
Composants du raisonnement
Les prémisses
__________________________
Les prémisses sont des [?] qui servent de [?] au raisonnement.
Il en existe deux types :
1) prémisse [?] : proposition [?] (ou [?])
2) prémisse [?] : proposition [?].
Les prémisses sont des [propositions] qui servent de [base] au raisonnement.
Il en existe deux types :
1) prémisse [majeure] : proposition [complexe] (ou [composée])
2) prémisse [mineure] : proposition [simple].
Composants du raisonnement
La conclusion
__________________________
⬜️ La prémisse [?] + la prémisse [?] donnent une nouvelle [?] : la conclusion.
⬜️ L’ensemble prémisses + conclusion = [?] ou [?].
–> Si une seule conclusion, le raisonnement est [?]
–> Si plusieurs conclusions, le raisonnement est [?]
⬜️ La prémisse [majeure] + la prémisse [mineure] donnent une nouvelle [proposition] : la conclusion.
⬜️ L’ensemble prémisses + conclusion = [argument] ou [syllogisme].
—> Si une seule conclusion, le raisonnement est [valide]
—> Si plusieurs conclusions, le raisonnement est [fallacieux]
Convention de notations
__________________________
◻️ proposition : une [?] (ex : “[?]”)
◻️ connecteur : un [?] (ex : “[?]”)
◻️ les prémisses sont séparées par “[?]”
◻️ la conclusion est introduite par “[?]”
◻️ la négation d’une proposition : “[?]” (ex : la négation de p se note : “[?p]”)
◻️ connecteur de l’implication : “[?]” (équivalent à “[? … ? …]”)
◻️ proposition : une [lettre] (ex : “[p]”)
◻️ connecteur : un [symbole] (ex : “[¬]”)
◻️ les prémisses sont séparées par “[;]”
◻️ la conclusion est introduite par “[triangle de trois points, pointe en haut]”
◻️ la négation d’une proposition : “[¬]” (ex : la négation de p se note : “[¬p]”)
◻️ connecteur de l’implication : “[=>]” (équivalent à “[si … alors …]”)
Table de vérité
__________________________
Afin de déterminer la validité d’un argument, constituez une table de vérité avec deux prémisses (p et q) et un connecteur d’implication (si … alors)…
Exemple de table de vérité avec deux prémisses (p et q) et un connecteur d'implication (si ... alors) : \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ p q p => q \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ V V V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ V F F \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ F V V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ F F V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
Compatibilité : Dans la table de vérité ci-dessous, avec deux prémisses (p et q) et un connecteur d'implication (si ... alors), quelle(s) ligne(s) est/sont dites compatible(s) et laquelle/lesquelles est/sont incompatible(s) avec l'implication VRAIE ? \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ p q p => q \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ V V V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ V F F \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ F V V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ F F V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
Dans cette table de vérité :
⬜️ les lignes 1, 3 et 4 sont dites compatibles avec l’implication VRAIE
⬜️ la ligne 2 est dite incompatible avec l’implication VRAIE
Quelles sont les possibilités pour un argument ?
Il existe deux possibilités pour un argument :
1) argument valide : une seule ligne correspond aux valeurs de vérités des prémisses.
2) argument fallacieux : plusieurs lignes correspondent aux valeurs de vérités des prémisses.
Donnez des exemples de détermination de la validité des arguments si "p=>q" (implication) est vraie : \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ p q p => q \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ V V V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ V F F \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ F V V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_ F F V \_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
⬜️ affirmation de l’antécédent (p) valide (ligne 1)
⬜️ négation du conséquent (¬q) valide (ligne 4)
⬜️ négation de l’antécédent fallacieux (¬p) (lignes 3 et 4)
⬜️ affirmation du conséquent fallacieux (q) (lignes 1 et 3)
Quels sont les principes du raisonnement formel ?
Principes du raisonnement formel :
⬜️ principe de clôture des prémisses : l’argument n’est constitué que des propositions explicitement présentées
⬜️ principe du tiers exclu : que deux valeurs de vérité possibles : VRAI ou FAUX
⬜️ principe de non-contradiction : une proposition ne peut être vraie et fausse en même temps