section_heading: Metode dokazivanja
paragraph_text: Očito je da vrijedi i obrat, odnosno iz tvrdnje ako nema vode, nema ni pare slijedi tvrdnja ako ima pare, ima vode. (Jer prva tvrdnja ristriktira postojanje pare samo u onom slučaju kada ima vode.)