denis_berthier wrote:Mauriès Robert wrote:Yes, it is indeed conjugated tracks that you have used in 3 successive steps. You present it as sets, which is in accordance with my definition
Thanks; that's all I wanted you to admit. Conjugated tracks are Forcing-T&E
No Denis, you interpret my answer as it suits you. For two sets T&E, as you construct them, to form conjugate tracks, the invalidity of one (contradiction) must lead to the validity of the other (solution). In your steps this is the case because these T&E sets are derived from a pair. If this were not the case, these T&E sets would not be conjugate tracks. It is possible to construct conjugate leads that are not from a pair and this requires a condition for them to be conjugate leads.
So your Forcing-T&E are conjugate tracks, and not the other way around.
Robert