[ erc kragujevac @ 29.11.2015. 17:25 ] @
Moze li neko da pogleda ove zadatke i da im se posveti.
Ne trazim da se uradi domaci vec mi treba brzo resenje, a ja sam ovo radio pre 20 godina.
Hvala unapred
[att_img]
Pozdrav
[ Nedeljko @ 29.11.2015. 22:12 ] @
Šta se očekuje od onoga ko treba da odgovori, ako to nije postavljanje celih rešenja?
[ erc kragujevac @ 01.12.2015. 14:42 ] @
Hvala na odgovoru.
Kao sto ste primetili, trazio sam brzo resenje u smislu da mi neko odgovori u kom pravcu treba da se ide?
Ne vidim razlog da neko vasih kvaliteta trosi vreme na ovakve komentare.
Molim vas da se ubuduce uzdrzite od komentara ukoliko ne zelite ili ne mozete da pruzite konstruktivan predlog ili resenje.

Srdacan pozdrav
[ T.r.o.n.i.c.Srb @ 01.12.2015. 14:59 ] @
Citat:
erc kragujevac:

Ne trazim da se uradi domaci vec mi treba brzo resenje


Sta je brzo resenje ako nije odgovor na pitanje, a to je onda i zavrsen domaci !


[ Nedeljko @ 01.12.2015. 17:47 ] @
Evo, možeš početi odavde, pa javi gde si zapeo


https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
[ erc kragujevac @ 15.12.2015. 12:49 ] @
Evo. Nadam se da nisam mnogo izgresio.
[ Nedeljko @ 15.12.2015. 18:19 ] @
Negativno označena (sa F) konjunkcija je beta formula, a ne alfa formula jer je
.

Dakle, negativno označene formule (sa F) su tipa alfa ako su isjunkcija ili implikacija, a tipa beta ako je konjunkcija.
Pozitivno označene formule (sa T) su tipa alfa ako su konjunkcije a tipa beta ako su disjunkcije i implikacije.

Gama formule su pozitivno označene univerzalne i negativno označene egzistencijalne, a delta formule su pozitovno označene egzistencijalne i negativno označene univerzalne.

[ erc kragujevac @ 15.12.2015. 19:48 ] @
Hvala.

Moze li ispravka gde sam izgresio.
[ Nedeljko @ 16.12.2015. 14:28 ] @
Cepanje se vrši kod beta pravila, a kod ostalih ne.
[ erc kragujevac @ 11.03.2016. 10:12 ] @
Uradio sam na nekoliko nacina ali ispada da nije dobar ni jedan.

- Solver je dao skoro 120 linija
- Ja isao sa pretpostavkam

(((p<=> q) <=>r) & (q<=> r)) => p is valid.
1. ~ (((p<=> q) <=>r) & (q<=> r)) => p (~ negacija)
2. (((p<=> q) <=>r) & (q<=> r)) (1)
3. ~ p (1)
4. ((p<=> q) <=>r) (&E,2)
5. q<=> r (&E,2)
6. q (5)
7. r (5)
8. ~q (5)
9. ~ r (5)
10. (p<=> q) (4)
11. r (4)
12. ~ (p<=> q) (4)
13. ~ r (4)
14. p (10)
15. q (10)
16. ~ p (10)
17. ~q (10)
18. (p q) (4)
19. r (4)
20. (p<=> q) (4)
21. r (4)
22. p (20)
23. q (20)
24. ~ p (20)
25. ~ q (20)

ali nisam siguran da su pravila izvodjenja iskoriscena kako treba


Evo sta sam poslednje probao, ali nisam siguran idem li u dobrom pravcu i kako bi izgledalo bez pretpostavki

1. ~ ((((p⟺q)⟺r) & (q⟺r))⇒p )
2. (((p⟺q)⟺r) & (q⟺r))
3. ~ p - assume
4. (p⟺q⟺r) & (q⟺r) from 2
5. (p⟺q⟺r) &E,4
6. (q⟺r) &E,4
7.p=>(q<=>r) from 4
8.(q<=>r) => p from 4
9.p(=>E 6,8)