Karteikarten: Introduction à la logique et argumentation — 14 Karten

Raisonnement inductif — définition ?

Part d’observations pour généraliser.

Raisonnement déductif — rôle ?

Applique une règle à un cas particulier.

Proposition — exemple ?

Connecteur logique — exemple ?

Conjonction — relation ?

Vraie si toutes les propositions le sont.

Disjonction — rôle ?

Vraie si au moins une proposition l’est.

Négation — symbole ?

¬ ou non.

Implication — formule ?

Si P, alors Q.

Syllogisme — structure ?

Deux prémisses, une conclusion déduite.

Modus ponens — mécanisme ?

Si P alors Q, P, donc Q.

Contre-exemple — utilité ?

Invalide une règle générale.

Logique formelle — outil clé ?

Langage symbolique et tables de vérité.

Formule bien formée — critère ?

Respecte syntaxe du langage formel.

Table de vérité — but ?

Vérifier la validité d’une formule.