| Sumario: | It follows from this, given standard counterfactual semantics, that: HT <math display="inline" altimg="urn:x-wiley:00294624:media:nous12433:nous12433-math-0131" xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mrow><mo>(</mo><mrow><mo>¬</mo><msub><mi>C</mi><mn>1</mn></msub><mo> </mo><mo>¬</mo><mi>E</mi></mrow><mo>)</mo></mrow><mo><-></mo><mrow><mo>(</mo><mrow><mo>¬</mo><msub><mi>C</mi><mn>2</mn></msub><mo> </mo><mo>¬</mo><mi>E</mi></mrow><mo>)</mo></mrow></mrow><annotation encoding="application/x-tex">$({\neg {C 1} > \neg E}) \leftrightarrow ({\neg {C 2} > \neg E})$</annotation></semantics></math> ht . 28 By the principle: HT <math display="inline" altimg="urn:x-wiley:00294624:media:nous12433:nous12433-math-0132" xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><msub><mi> </mi><mn>1</mn></msub><mo> </mo><msub><mi> </mi><mn>2</mn></msub><mo>,</mo><mspace width="0.16em" /><msub><mi> </mi><mn>2</mn></msub><mo> </mo><msub><mi> </mi><mn>1</mn></msub><mo>,</mo><mspace width="0.16em" /><msub><mi> </mi><mn>1</mn></msub><mo> </mo><mi> </mi><mo> </mo><msub><mi> </mi><mn>2</mn></msub><mo> </mo><mi> </mi></mrow><annotation encoding="application/x-tex">${\phi 1} > {\phi 2},\,{\phi 2} > {\phi 1},\,{\phi 1} > \psi \models {\phi 2} > \psi $</annotation></semantics></math> ht . Xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>G</mi><mi>r</mi><mi>u</mi><mi>e</mi></mrow><annotation encoding="application/x-tex">$Grue$</annotation></semantics></math> ht .
|
|---|