Dans un exercice de base, voici deux assertions
*
**
A-t-on besoin du principe du tiers exclu pour démontrer une assertion en partant de l'autre ?
Est-ce que ces deux assertions sont équivalentes avec tiers exclu ? sans tiers exclu ?
Il me semble que ces deux assertions sont assez facilement mis en équivalence sans tiers exclu :
De *, en posantje déduis les implications
, donc ** est prouvée
Réciproquement de **, je déduis, donc * est prouvée.
Etes-vous d'accord ?
-----