Ang isang hypothetical na panukala ay isang kondisyong pahayag na kumukuha ng form: kung ang P pagkatapos Q. Ang mga halimbawa ay isasama:
Kung siya ay nag-aral, pagkatapos ay nakatanggap siya ng isang mahusay na grado.
Kung hindi tayo kumain, magugutom na tayo.
Kung isinusuot niya ang kanyang amerikana, hindi siya magiging malamig.
Sa lahat ng tatlong pahayag, ang unang bahagi (Kung ...) ay may label na antecedent at ang pangalawang bahagi (kung gayon ...) ay may label na bunga. Sa ganitong mga sitwasyon, mayroong dalawang wastong mga inpormasyon na maaaring iguguhit at dalawang hindi wastong mga inpormasyon na maaaring iguhit - ngunit kapag ipinapalagay natin na ang ugnayan na ipinahayag sa hypothetical na panukala ay totoo . Kung ang relasyon ay hindi totoo, pagkatapos ay walang mga valid na mga inpormasyon na maaaring makuha.
Ang isang pahayag na hypothetical ay maaaring tukuyin ng sumusunod na talahanayan ng katotohanan:
| P | Q | kung P pagkatapos Q |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
Sa pag-aakma ng katotohanan ng isang hypothetical na panukala, posible na gumuhit ng dalawang may bisa at dalawang hindi wastong mga inpormasyon:
Affirming the Antecedent
Ang unang wastong pag-iintindi ay tinatawag na nagpapatunay sa antecedent, na nagsasangkot sa paggawa ng wastong argumento na dahil ang antecedent ay totoo, kung gayon ang kahihinatnan ay totoo rin. Kaya: dahil totoo na nagsusuot siya ng kanyang amerikana, kung gayon totoo rin na hindi siya magiging malamig. Ang salitang Latin para dito, modus ponens, ay madalas na ginagamit.
Pagtanggi sa Kinahinatnan
Ang pangalawang wastong pag-iintindi ay tinatawag na pagtanggi sa kinahinatnan, na nagsasangkot sa paggawa ng wastong argumento na dahil ang kahihinatnan ay hindi totoo, kung gayon ang antecedent ay hindi rin mali. Ganito: malamig siya, samakatuwid hindi niya isinusuot ang kanyang amerikana. Ang salitang Latin para dito, modus tollens, ay madalas na ginagamit.
Pagpapatunay ng Kinahinatnan
Ang unang hindi wastong pag-iintindi ay tinatawag na nagpapatunay ng kahihinatnan, na nagsasangkot sa paggawa ng hindi wastong argumento na dahil ang kahihinatnan ay totoo, kung gayon ang antecedent ay dapat ding maging totoo. Kaya: hindi siya malamig, samakatuwid dapat ay isinusuot niya ang kanyang amerikana. Minsan ito ay tinutukoy bilang isang pagkahulog ng bunga.
Pagtanggi sa Antecedent
Ang pangalawang hindi wastong pag-iintindi ay tinatawag na pagtanggi sa antecedent, na nagsasangkot sa paggawa ng hindi wastong argumento dahil ang antecedent ay hindi totoo, kung gayon, samakatuwid, ang kahihinatnan ay dapat ding mali. Kaya: hindi niya isinusuot ang kanyang amerikana, samakatuwid dapat ay malamig siya. Minsan ito ay tinutukoy bilang isang pagkahulog ng antecedent at may mga sumusunod na form:
Kung P, samakatuwid Q.
Hindi P.
Samakatuwid, Hindi Q.
Ang isang praktikal na halimbawa nito ay:
Kung si Roger ay isang Democrat, siya ay liberal. Si Roger ay hindi isang Democrat, samakatuwid hindi siya dapat maging liberal.
Dahil ito ay pormal na kabiguan, anumang bagay na nakasulat sa istraktura na ito ay magiging mali, kahit na anong mga term na ginagamit mo upang mapalitan ang P at Q.
Ang pag-unawa kung paano at kung bakit ang nasa itaas ng dalawang hindi wastong mga inpormasyon na nagaganap ay maaaring makatulong sa pag-unawa sa pagkakaiba sa pagitan ng kinakailangan at sapat na mga kondisyon. Maaari mo ring basahin ang mga patakaran ng inference upang malaman ang higit pa.
