Pozorno proučite sljedeći točan opis deduktivnoga sustava intuicionističke iskazne logike i zadani zaključak nakon njega.
Intuicionistički deduktivni sustav za iskaznu logiku sadržava pravila uvođenja i isključenja za logičke poveznike $\rightarrow, \wedge, \vee, \leftrightarrow$ te $u \neg$ i ex falso quodlibet (iz neistine što god), no ta pravila nisu dovoljna da bismo pod pretpostavkom $\neg \neg P$ dokazali $P$.
Zadan je sljedeći zaključak:
(P1): U intuicionističkome deduktivnom sustavu za iskaznu logiku ne možemo dokazati zakon dvostruke negacije.
(P2): U nekome deduktivnom sustavu možemo dokazati zakon dvostruke negacije ako i samo ako pod pretpostavkom $\neg \neg P$ možemo dokazati $P$.
(K): Stoga, u nekim deduktivnim sustavima ne možemo pod pretpostavkom $\neg P$ dokazati $P$.
Pozorno pročitajte zadani zaključak i upišite odgovore na prazne crte tako da postanu točni upisujući neku od sljedećih riječi: istinito, neistinito, valjano, nevaljano u odgovarajućemu rodu, broju i padežu.