Detta är logiskt:

H1 säger att om den oberoende variabeln A är viktig så kommer resultatet B att uppnås. -Q ger inte rätt svar, den säger bara att A inte är viktig. H0 säger att om den oberoende variabeln A är ointressant så kommer vi inte få resultat B. -Q innebär att P inte är sant, dvs att A är intressant.

Jag vet. Det är förjävligt.

Ett test av detta påstående ger i praktiken:

P: Modus ponens: Om något är logiskt så är det förjävligt. Vi har bekräftat p.

-P: Om något inte är logiskt så är det inte förjävligt. Denna slutsats kan ej dras eftersom något kan vara förjävligt av någon annan orsak än att det är logiskt.

Q: Om något är förjävligt så är det logiskt. Denna slutsats kan ej dras eftersom det kanske finns någon annan orsak till att det är logiskt.

-Q: Modus tollens: Om något inte är förjävligt så kan det inte vara logiskt. Vi har negerat Q.