Analizați logica următorului argument: dacă mașina este scumpă, trebuie să fie rapidă; dacă mașina este rapidă, este nesigură; prin urmare, dacă mașina este scumpă, este nesigură.
Argumentul este logic valabil, deoarece urmează proprietatea tranzitivă: dacă A implică B, iar B implică C, atunci A implică C. Cu toate acestea, ipotezele (mașinile scumpe sunt rapide, iar mașinile rapide sunt nesigure) ar putea fi puse la îndoială.