Matematicka Logika, nejasan zadatak

Matematicka Logika, nejasan zadatak

offline
  • Pridružio: 10 Mar 2009
  • Poruke: 101
  • Gde živiš: Podgorica

Dokazati:

A,┐B├ ┐(A^B)


Resenje ide ovako:

Σ = {A, ┐B}, A^B

1) A                          (predpostavka)
2) ┐B                        (predpostavka)
3) A^B                    (predpostavka)
4) (A^B)→B         (aksioma)
5) B                           (modus ponens iz 3 i 4)

Iz Σ,A ^ B├B i Σ,A^B├ ┐B zakljucujem Σ├ ┐(A^B )    (Ovo je pravilo za uvodjenje negacije)


Kapiram sve, osim jedne stvari, na koju foru je dodata predpostavka A ^ B, ali kapiram iz kojeg razloga je dodata, samo ne znam otkud se ona stvorila ?? 0__o
Imam jos par zadataka kod kojih se dodaje ovako neka predpostavka koja je negacija od formule koja treba da se dokaze. Sad da ne bih ja na pamet dodadavao, zelim da znam zasto se to dodaje ?

Druga stvar.
Kada imam zadatak: Dokazati da je data formula dokaziva u iskasnom racunu koriscenjem teoreme potpunosti. Da li ovde treba da kazem sta je teorema potpunosti (pozovem se na nju) i onda dokazem da je formula tautologija koristeci tablicu ili svodjenjem na apsurd ? Ili treba nesto drugo da radim, preko 'Teoreme o tablici' da dokazem ?

Napomena: Karakter '^' oznacava logicki veznik "i" (Nisam nasao nigdje simbol za ovo xD).



Registruj se da bi učestvovao u diskusiji. Registrovanim korisnicima se NE prikazuju reklame unutar poruka.
offline
  • Milan
  • Pridružio: 17 Dec 2007
  • Poruke: 14713
  • Gde živiš: Niš

Pazi, kada nešto dokazuješ u matematici imaš dva načina. Ili da pokažeš da je nešto tačno, ili da pokažeš da nije tačno.

Recimo dokazuješ F. Imaš dva načina. Ili direktno pokažeš da je F tačno. Ili pokažeš da ┐F nije tačno, što je potreban i dovoljan uslov da je F tačno.



Ko je trenutno na forumu
 

Ukupno su 855 korisnika na forumu :: 44 registrovanih, 4 sakrivenih i 807 gosta   ::   [ Administrator ] [ Supermoderator ] [ Moderator ] :: Detaljnije

Najviše korisnika na forumu ikad bilo je 3466 - dana 01 Jun 2021 17:07

Korisnici koji su trenutno na forumu:
Korisnici trenutno na forumu: ajo baba, aleksmajstor, Apok, Arahne, b_z_b, Bane san, Ben Roj, Bluper, Branke90, Bubimir, cenejac111, Denaya, doklevise, Džordžino, Georgius, Gosha101980, goxin, helen1, hyla, ikan, ivicasimo, jovanjov90, Lord Nem, MiroslavD, mkukoleca, nenad_l, nevjerna beba, operniki, Panter, Parker, Profica, RobinHood12, Skakac7, SOVO515, Srpska zauvjek, stegonosa, Stoilkovic, TITAN DUDIN JARAN, tomigun, vandrej, vathra, Vlada78, vobo, x9