Q1:
Considère les deux assertions suivantes.
Assertion 1 : Si A est vraie, alors B est vraie.
Assertion 2 : A est vraie.
Si les deux affirmations sont vraies, alors la loi du modus ponens nous permet de conclure que B est vraie.
Assertion 1 : Si 𝑎 𝑏 𝑎 𝑏
Assertion 2 : 𝑐 𝑑
Que peut-on en conclure à propos de 𝑐 𝑑 ?
Assertion 3 : Si 𝑝 𝑝
Assertion 4 : 𝑞
Peut-on conclure que 𝑞 ? Pourquoi ?
Q2:
Considère les deux assertions suivantes :
Assertion 1 : Si A est vraie, alors B est vraie.
Assertion 2 : Si B est vraie, alors C est vraie.
Si les deux affirmations sont vraies, la loi du syllogisme nous dit que nous pouvons écrire une troisième assertion vraie :
Assertion 3 : Si A est vraie, alors C est vraie.
Étant données les assertions 3 et 4 ci-dessous, laquelle des affirmations suivantes est également vraie ?
Assertion 3 : Si 𝑎 𝑏 𝑎 𝑏
Assertion 4 : Si 𝑎 𝑏 𝑎 + 𝑏
Assertion 5 : Si une figure est un carré, alors elle a un angle droit.
Assertion 6 : Si une figure est un carré, alors elle a deux côtés parallèles.
La figure 𝑄 𝑄 ?
