Logika - 2022./23. jesen - 20.


Zadana je sljedeća pretpostavka: $(A \vee B) \rightarrow C$.

Dokažite da iz zadane pretpostavke 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 je slika...
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
© 2025, Gradivo.hr