4.25 Se la proposizione elementare è vera, allora lo stato di cose sussiste; se la proposizione elementare è falsa, allora lo stato di cose non sussiste.