Spiser jeg fastfood til middag, så har jeg vondt i magen om kvelden. Jeg hadde vondt i magen denne kvelden. Derfor spiste jeg fastfood til middag.
Selv om dette argumentet kan høres overbevisende ut, er det logisk feil og utgjør et eksempel på en samtalefeil.
Vi ser på denne argumentasjonsformen i generalitet, så det vil være bedre å la P og Q representere ethvert logisk utsagn. Dermed ser argumentet ut:
Det kan være lettere å se hvorfor det oppstår en feil i denne typen argumenter ved å fylle ut spesifikke utsagn for P og Q. Anta at jeg sier “Hvis Joe ranet en bank så har han en million dollar. Joe har en million dollar. ” Ranet Joe en bank?
Vel, han kunne ha frarøvet en bank, men "kunne ha" utgjør ikke et logisk argument her. Vi vil anta at begge setningene i sitater er sanne. Bare fordi Joe har en million dollar, betyr ikke det at den ble anskaffet på ulovlig vis. Joe kunne ha vant lotteriet, jobbet hardt hele livet eller fant millionen dollar i en koffert igjen på dørstokken. Joes ran av en bank følger ikke nødvendigvis av at han hadde en million dollar.
En betinget uttalelse er alltid logisk ekvivalent med dens kontrapositive. Det er ingen logisk ekvivalens mellom det betingede og det omvendte. Det er feilaktig å sidestille disse utsagnene. Vær på vakt mot denne uriktige formen for logisk resonnement. Den dukker opp på alle slags forskjellige steder.
Når vi skriver matematiske bevis, for eksempel i matematisk statistikk, må vi være forsiktige. Vi må være forsiktige og presise med språk. Vi må vite hva som er kjent, enten gjennom aksiomer eller andre teoremer, og hva det er som vi prøver å bevise. Fremfor alt må vi være forsiktige med vår logikkjede.
Hvert trinn i beviset skal flyte logisk fra de som går foran det. Dette betyr at hvis vi ikke bruker riktig logikk, vil vi ende opp med feil i beviset vårt. Det er viktig å gjenkjenne gyldige logiske argumenter så vel som ugyldige. Hvis vi gjenkjenner ugyldige argumenter, kan vi ta skritt for å sikre at vi ikke bruker dem i bevisene våre.