Matematick logika

Matematick logika 29.11.2015. u 18:25 · pre 133 meseca #1

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

ML.jpg64.1k

Re: Matematick logika 29.11.2015. u 23:12 · pre 133 meseca #2

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

Potpis

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

Re: Matematick logika 01.12.2015. u 15:42 · pre 133 meseca #3

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

Re: Matematick logika 01.12.2015. u 15:59 · pre 133 meseca #4

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 !

Re: Matematick logika 01.12.2015. u 18:47 · pre 133 meseca #5

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

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

Potpis

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

Re: Matematick logika 15.12.2015. u 13:49 · pre 132 meseca #6

Evo. Nadam se da nisam mnogo izgresio.

Logica.docx172.59k

Re: Matematick logika 15.12.2015. u 19:19 · pre 132 meseca #7

Negativno označena (sa F) konjunkcija je beta formula, a ne alfa formula jer je
$\lnot(A\lan B)\Leftrightarrow(\lnot A\lor\lnot B)$ .

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.

$\begin{array}{|c|c|c|} \hline \alpha & \alpha_1 & \alpha_2 \\% \hline\hline T\,A\land B & T\,A & T\,B \\ \hline F\,A\lor B & F\,A & F\,B \\ \hline F\,A\Rightarrow B & T\,A & F\,B \\ \hline \end{array}$ $\begin{array}{|c|c|c|} \hline \beta & \beta_1 & \beta_2 \\ \hline\hline F\,A\land B & F\,A & F\,B \\ \hline T\,A\lor B & T\,A & T\,B \\ \hline T\,A\Rightarrow B & F\,A & T\,B \\ \hline \end{array}$ $\begin{array}{|c|c|} \hline \gamma(x) & \gamma(t) \\ \hline\hline T\,(\forall x)A(x) & T\,A(t) \\ \hline F\,(\exists x)A(x) & F\,A(t) \\ \hline \end{array}$ $\begin{array}{|c|c|} \hline \delta(x) & \delta(t) \\ \hline\hline F\,(\forall x)A(x) & F\,A(t) \\ \hline T\,(\exists x)A(x) & T\,A(t) \\ \hline \end{array}$

Potpis

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

Re: Matematick logika 15.12.2015. u 20:48 · pre 132 meseca #8

Hvala.

Moze li ispravka gde sam izgresio.

Re: Matematick logika 16.12.2015. u 15:28 · pre 132 meseca #9

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

Potpis

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

tableaux.pdf45.1k

Re: Matematick logika 11.03.2016. u 11:12 · pre 129 meseci #10

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)

Forum kao aplikacija na telefonu

Srodne teme