Logika - 2021./22. jesen - 20.

Zadane su sljedeće pretpostavke:
A→BB→C\begin{array}{l}A \rightarrow B \\B \rightarrow C\end{array}
Dokažite da iz zadanih pretpostavka slijedi iskaz A→CA \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 je slika

Nacrtaj sliku na papiru i sačuvaj ju. Kasnije ćeš si sam/a dodijeliti bodove.

2 boda