Logika - 2024./25. jesen - 20.

Zadana je sljedeća pretpostavka:
A→(B∨C)(A∧D)∨(B∧C).\begin{array}{l}A \rightarrow(B \vee C) \\(A \wedge D) \vee(B \wedge C) .\end{array}
Dokažite da iz zadanih pretpostavki slijedi sud: B∨CB \vee 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...
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
Naša ponuda
Online skripte
Pravne stranice
© 2026, Gradivo.hr