Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica OSTALE MATEMATIČKE OBLASTI MATEMATIČKA LOGIKA

Dokaz uz osnovna pravila prirodne dedukcije

[inlmath]\left[p\land\left(q\Rightarrow\lnot p\right)\right]\Leftrightarrow\lnot\left(p\Rightarrow q\right)[/inlmath]

Dokaz uz osnovna pravila prirodne dedukcije

Postod DaniloJ » Subota, 11. Novembar 2023, 20:03

Dobro veče svima, nisam siguran ako pravilno zapisujem dokaze i ako su oni zapravo tačni, pa vas molim da mi ukažete na greške ukoliko postoje.

[inlmath]p\Rightarrow(q\Rightarrow r)\vdash p\land q\Rightarrow r[/inlmath]

[inlmath]1.\;p\Rightarrow(q\Rightarrow r)[/inlmath] - pretpostavka
[inlmath]2.\;\mid p[/inlmath] - dodatna pretpostavka
[inlmath]3.\;\mid q\Rightarrow r (\Rightarrow_e )[/inlmath] na 1, 2
[inlmath]4.\;\mid\mid q[/inlmath] - dodatna pretpostavka
[inlmath]5.\;\mid\mid r(\Rightarrow_e)[/inlmath] na 3, 4
[inlmath]6.\;\mid\mid p\land q(\land_u)[/inlmath] na 2, 4
[inlmath]7.\;p \land q\Rightarrow r (\Rightarrow_u)[/inlmath] na 2 - 6
DaniloJ  OFFLINE
 
Postovi: 26
Zahvalio se: 17 puta
Pohvaljen: 1 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+
  • +1

Re: Dokaz uz osnovna pravila prirodne dedukcije

Postod ubavic » Ponedeljak, 13. Novembar 2023, 19:55

Nije dobro. Prvih 6 linija je tehnički dobro, ali se ne ide u pravom smeru. U sedmoj liniji si napravio tehničku grešku: pogledaj kako tačno glasi pravilo uvođenja implikacije. Tebi je pretpostavka [inlmath]p[/inlmath] a iskoristio si to pravilo kao da ti je pretpostavka [inlmath]p\land q[/inlmath] (uvođenje pretpostavke [inlmath]p\land q[/inlmath] nije isto kao uvođenje pretpostavke [inlmath]p[/inlmath] pa [inlmath]q[/inlmath] kao što si ti uradio).

Ali upravo ti ova greška ukazuje koji je pravi put ka rešenju zadatka. Pošto želimo [inlmath]p\land q \Rightarrow r[/inlmath], naša pretpostavka treba da bude [inlmath]p\land q[/inlmath]....
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 625
Zahvalio se: 385 puta
Pohvaljen: 644 puta


Povratak na MATEMATIČKA LOGIKA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 2 gostiju

cron

Index stranicaTimObriši sve kolačiće boarda
Danas je Nedelja, 21. Jul 2024, 06:56 • Sva vremena su u UTC + 1 sat [ DST ]
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs