Matematička logika
tpostavku zatvaramo. Pravilo introdukcije kondicionala nije jedino hipotetiˇcko pravilo sistema prirodne dedukcije. Takva su joˇs pravila eliminacija disjunkcije i introdukcija negacije. Sva ostala pravila sistema prirodne dedukcije nazivat ´cemo prirodna...