Logique déductive — Associations et définitions

Au programme

• Dans un raisonnement déductif valide, quelle relation doit exister entre les prémisses et la conclusion ?
• Quel terme désigne l'énoncé dont on cherche à établir la vérité ou la fausseté dans un raisonnement ?
• Lequel de ces schémas correspond au modus ponens ?
• Quelle publication d'Aristote est traditionnellement considérée comme fondatrice de l'étude systématique du syllogisme ?
• Dans la logique des prédicats, que permet principalement l'utilisation d'un quantificateur ?
• Le principe selon lequel une proposition ne peut pas être vraie et fausse en même temps et sous le même rapport est…
• Dans un syllogisme catégorique, les deux prémisses sont la prémisse majeure et la prémisse [____].
• Le symbole logique ¬ placé devant une proposition exprime sa [____].