Logika - 2023./24. jesen - 20.

Zadana je sljedeća pretpostavka: ¬A∧B i ¬A→¬C\neg A \wedge B \mathrm{~i}~ \neg A \rightarrow \neg C.
Dokažite da iz zadane pretpostavke slijedi iskaz: B∧¬CB \wedge \neg 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.
Naša ponuda
Online skripte
Pravne stranice
© 2026, Gradivo.hr