Logika - 2024./25. ljeto - 20.

Zadana je sljedeća pretpostavka:
\[\neg A \rightarrow \neg B .\]
Dokažite da iz zadane pretpostavke slijedi sud: $\neg A \rightarrow \neg(B \wedge C)$.
Dokaz izvedite naravnom (prirodnom) dedukcijom primjenjujući pritom isključivo osnovna pravila na način da upisujete sud 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.

3 boda