Demonstrace (logika)