Logika - 2022./23. jesen - 20.

Zadana je sljedeća pretpostavka: (AB)C(A \vee B) \rightarrow C.
Dokažite da iz zadane pretpostavke slijedi iskaz: ACA \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...
© 2026, Gradivo.hr