(P1) Sudovi \(\forall x(Z x \vee B x)\) i \(\forall x Z x \vee \forall x B x\) su međusobno istovrijedni. (P2) Ako su neka dva suda međusobno istovrijedna, onda je i svaki sud koji je protuslovan jednomu sudu protuslovan i drugomu sudu. (K) Ako je sud \(\exists x(Z x \wedge B x)\) protuslovan sudu \(\forall x(Z x \vee B x)\), onda je on protuslovan i sudu \(\forall x Z x \vee \forall x B x\).
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 je zaključku prva premisa (P1) .
14.2. U zadanome je zaključku druga premisa (P2) .
14.3. Zadani je zaključak .
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.