Zadana je sljedeća pretpostavka: ¬(P∨Q)\neg(P \vee Q)¬(P∨Q).
Dokažite da iz zadane pretpostavke slijedi iskaz: ¬P\neg P¬P.
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.
(2 boda)
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.