Citat:
Ursprungligen postat av
Oboymannen
Det är jag med på, däremot om a=0 är falsk så borde väl hela satsen vara falsk?
Nej det är den inte. Det den säger är alltså att
om |a| ≥ b så är a ≥ b eller a ≤ -b.
Satsen säger absolut ingenting om sanningsvärdet hos att |a| ≥ b, utan den säger bara att
om det är sant så gäller även ....
På samma sätt som att jag skulle kunna säga att om bly är lättare än vatten så skulle en blykula flyta. Det är ett helt och hållet sant påstående, däremot är det inte sant att bly är lättare än vatten. Så påståendet är sant även om premissen är falsk.