Logika - 2021./22. jesen - 20.

Zadane su sljedeće pretpostavke:
\[\begin{array}{l}A \rightarrow B \\B \rightarrow C\end{array}\]
Dokažite da iz zadanih pretpostavka slijedi iskaz $A \rightarrow C$.
Dokaz izvedite naravnom (prirodnom) dedukcijom primjenjujući pritom isključivo osnovna pravila na način da upisujete iskaz koji slijedi, broj retka u kojemu on slijedi, broj retka ili redaka iz kojih slijedi i pravilo prema kojemu slijedi.
Odgovor:
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.
© 2025, Gradivo.hr