Zadane su sljedeće pretpostavke: \[\begin{array}{l}A \wedge B \\B \rightarrow(C \wedge D)\end{array}\] Dokažite da iz zadanih pretpostavka slijedi iskaz: $A \wedge D$.
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.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.