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.
14.1. U zadanome zaključku prva premisa (P1) jest .
14.2. U zadanome zaključku druga premisa (P2) jest .
14.3. Zadani zaključak jest .
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.