[es] - Matematick logika

erc kragujevac
Radomir Brzakovic
Focal point for SAP

Član broj: 30491
Poruke: 144
*.dynamic.sbb.rs.

+2 Profil

^{29.11.2015. u 17:25 - pre 114 meseci}

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

Pozdrav

Prikačeni fajlovi

ML.jpg - 64.1k

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8704
*.ptt.rs.

+2801 Profil

Re: Matematick logika

^{29.11.2015. u 22:12 - pre 114 meseci}

Šta se očekuje od onoga ko treba da odgovori, ako to nije postavljanje celih rešenja?

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

erc kragujevac
Radomir Brzakovic
Focal point for SAP

Član broj: 30491
Poruke: 144
*.static.isp.telekom.rs.

+2 Profil

Re: Matematick logika

^{01.12.2015. u 14:42 - pre 114 meseci}

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

Odgovor na temu

T.r.o.n.i.c.Srb

Član broj: 330926
Poruke: 81
*.dynamic.sbb.rs.

+11 Profil

Re: Matematick logika

^{01.12.2015. u 14:59 - pre 114 meseci}

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 !

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8704
*.dynamic.sbb.rs.

+2801 Profil

Re: Matematick logika

^{01.12.2015. u 17:47 - pre 114 meseci}

Evo, možeš početi odavde, pa javi gde si zapeo

https://en.wikipedia.org/wiki/Method_of_analytic_tableaux

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

erc kragujevac
Radomir Brzakovic
Focal point for SAP

Član broj: 30491
Poruke: 144
*.static.isp.telekom.rs.

+2 Profil

Re: Matematick logika

^{15.12.2015. u 12:49 - pre 114 meseci}

Evo. Nadam se da nisam mnogo izgresio.

Prikačeni fajlovi

Logica.docx - 172.59k

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8704
*.dynamic.sbb.rs.

+2801 Profil

Re: Matematick logika

^{15.12.2015. u 18:19 - pre 114 meseci}

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.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Odgovor na temu

erc kragujevac
Radomir Brzakovic
Focal point for SAP

Član broj: 30491
Poruke: 144
*.dynamic.sbb.rs.

+2 Profil

Re: Matematick logika

^{15.12.2015. u 19:48 - pre 114 meseci}

Hvala.

Moze li ispravka gde sam izgresio.

Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8704
*.dynamic.sbb.rs.

+2801 Profil

Re: Matematick logika

^{16.12.2015. u 14:28 - pre 114 meseci}

Cepanje se vrši kod beta pravila, a kod ostalih ne.

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Prikačeni fajlovi

tableaux.pdf - 45.1k

Odgovor na temu

erc kragujevac
Radomir Brzakovic
Focal point for SAP

Član broj: 30491
Poruke: 144
*.static.isp.telekom.rs.

+2 Profil

Re: Matematick logika

^{11.03.2016. u 10:12 - pre 111 meseci}

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)

Odgovor na temu