Sa kaugnay ngunit maibubukod na paggamit , ang katagang ipotesis ay ginagamit sa lohikang pormal para sa nauna sa isang proposisyon ; kung kaya 't ang panukalang " Kung P , kung gayon ay Q " ay nagpapahiwatig ng ipotesis ( o pagkauna o antesedente ) ; ang Q ay maaaring tawagin na bunga o konsikwente.
