Matemati~ka logika i teorija skupova 2016/2017.

ZADACI ZA VE@BU

)
p (q q) p tautologija.
(
)
Ispitati da li je formula (p q) (q r) (p r) tautologija.

1. Ispitati da li je formula
2.

3. Svo|ewem na protivre~nost dokazati da je formula

)
(
)
p (q r) (p q) (p r)

tautologija.
4. Svo|ewem na protivre~nost dokazati da je formula

(p q r) (p r) (q r),

tautologija.
5. Neka su

A, B , C

proizvoqne iskazne formule. Ako su

tautologije, dokazati da je i
6. Neka su

A, B , C

D A tautologija.

A B C, B C

proizvoqne iskazne formule. Ako je

kontradikcija, dokazati da je
7. Dokazati da je formula

AB

CYD

tautologija i

CD

(B D) (C A) tautologija.

(p1 p2 . . . pn p) (p1 (p2 (pn p) . . .)),

tautologija.
8. Dokazati da je formula

(p1 . . . pn p) (p p1 ) . . . (p pn ), tautologija.

9. Ispitati da li je formula

(p q) (p q) tautologija.

(p q) r p (q r) tautologija.
(
)
(
)
Ispitati da li je formula p (q r) (p q) (p r) tautologija.
(
) (
)
Ispitati da li je formula p (q r) Y (p q) (p r) tautologija.
(
)
Svo|ewem na protivre~nost dokazati da je formula (p q) (q r) (p r)

10. Ispitati da li je formula

11.
12.
13.

tautologija.
14. Svo|ewem na protivre~nost dokazati da je formula

tautologija.
15. Svo|ewem na protivre~nost dokazati da je formula
16.

Neka su

A, B , C

)
)
(p r) (q r) (p q) r

)
p (q q) p tautologija.

proizvoqne iskazne formule. Ako su

tautologije, dokazati da je i
17. Neka su

((

C D tautologija.

A B, A C

B D

A, B , C i D proizvoqne iskazne formule. Ako su A (B C) i (A C) D

(D A) B tautologija.

tautologije, dokazati da je i

D proizvoqne iskazne formule. Ako su A (B C) i (A C) D

tautologije, dokazati da je i (D A) B tautologija.
18. Neka su

A, B , C

19. Neka su

A, B , C i D proizvoqne iskazne formule.

(A C) (B D) tautologija.

dokazati da je i

Ako su

A B

C D tautologije,

20. Nizovi formula

An i Bn su definisani sa:

A0 = p, B0 = q, An+1 = An Bn , Bn+1 = Bn An , n > 0.

Dokazati da nijedna formula An i nijedna formula Bn nije ni tautologija ni kontradikcija.
21. Nizovi formula

An i Bn su definisani sa:

A0 = p, B0 = q, An+1 = (An Bn ) An , Bn+1 = An Bn , n > 0.

Dokazati da nijedna formula An i nijedna formula Bn nije ni tautologija ni kontradikcija.
22. Niz formula

An je definisan sa:

A0 = p, A1 = (q (p q)) p, An+2 = An+1 An , n > 0.

Ispitati koji ~lanovi niza
23. Niz formula

An su tautologije, a koji kontradikcije.

An je definisan sa:

A0 = p, A1 = (q (p q)) p, An = An2 An1 , n > 2.

Ispitati koji ~lanovi niza
24. Nizovi formula

An su tautologije, a koji kontradikcije.

An i Bn su definisani sa:

A0 p, B0 (q p), An (An1 Bn1 ), Bn (An1 Y Bn1 ), n > 1.

Ispitati koji elementi nizova su tautologije.
25. Koriste}i elementarne transformacije dokazati da je

(p r)) tautologija.
26. Odrediti jedan KNF i DNF formule
27. Formula

(p (q r)) ((p q)

p (q r)

A ima tablicu:
p

Odrediti dve formule ekvivalentne sa formulom

28. Odrediti dve formule sa slovima

A.

p, q i r koje su ta~ne samo za valuacije u kojima je jedno

slovo neta~no.
29. Koriste}i elementarne transformacije proveriti da li su formule tautologije:

(a)

(p q) ((p q) (q p));

(b)

(p q) (q r) (p r);

(v)

((p q) r p (q r)) (r p);

(g)

(r p) (p (q r) (p q) r);

(d)

(p r) (q r) r (p q).

30. Odrediti KNF, DNF, KKNF i KDNF za iskazne formule:

(a)

((p q) (r p)) (q r);

(b)

(p (q r)) (r p);

(v)

p (q p);

(g)

(p q) ((q r) (p r));

(d)

(q p) ((q r) p).

31. Formula

A ima tablicu:
p

Odrediti dve formule ekvivalentne sa formulom

A.

32. Konstruisati iskaznu formulu nad tri iskazne promenqive tako da je ona ta~na za neku

valuaciju ako i samo ako su za tu valuaciju ta~ne ta~no dve iskazne promenqive.
33. Odrediti sve me|usobno neekvivalentne formule

A(p, q, r)

takve da je formula

F, F =

A(p, q, r)

takve da je formula

F, F =

(p q A) q r tautologija.
34. Odrediti sve me|usobno neekvivalentne formule

(p q A) (r A) kontradikcija.
35.

Koliko ima me|usobno neekvivalentnih parova formula

F = (A p) Y (B q) tautologija. Ako
neekvivalentne formule A takve da je F tautologija.

je formula

je

(A(p, q), B(p, q))

takvih da

kontradikcija, odrediti sve

36. Pera, Vlada i Sava su drugari koji ~esto izlaze zajedno na pi}e u kafanu. Poznato je da

svako od wih pije uvek isto pi}e i to ili vino ili pivo (samo jedno od toga, jer znaju ako se
pi}e me{a, ujutro boli glava). U vezi toga ko od wih {ta pije, poznati su slede}i iskazi:
(1) Ako Pera pije pivo, onda Vlada pije isto pi}e kao i Sava.
(2) Ako Vlada naru~uje pivo, onda Sava pije druga~ije pi}e od Perinog.
(3) Ako Sava naru~uje vino, onda Pera pije isto pi}e kao i Sava.

Da li su ove izjave neprotivre~ne? Za koga od wih sa sigurno{}u mo`ete da tvrdite {ta

pije?
37. ^etvoro prijateqa Aca, Boki, Ceca i Duda su osumwi~eni za ubistvo. Mogu}e je da je

vi{e osoba istovremeno krivo za ubistvo. Pred istra`nim sudijom oni su izjavili slede}e:
Aca: Ako je Boki kriv, kriva je i Duda.
Boki: Ako Aca nije kriv, onda je kriva Ceca.
Ceca: Ja nisam kriva, ali je ili Aca kriv ili je Duda kriva.
Duda: Ja nisam kriva.

Da li su ove ~etiri izjave neprotivre~ne? Ako svako govori istinu ko je kriv? (Ukoliko
ima vi{e mogu}ih re{ewa navesti ih sva!)
38.

Odrediti sve me|usobno neekvivalentne formule

A(p, q)

takve da su slede}e formule

tautologije:
(a)

((A q) p) ((p q) A);

(b)

q (A (p q));

(v)

(q (p A)) p;

(g)

((q (p A)) p) ((A (p q)) A);

(d)

(p (q (p A))) (A (p A)).

39. Odrediti sve me|usobno neekvivalentne formule

(p q)) (A p) kontradikcija.
40. Odrediti sve me|usobno neekvivalentne formule

A) (q A)) (r A) kontradikcija.
41.

A(p, q) takve da je formula F = (A

A(p, q, r) takve da je formula F = ((p

Odrediti sve me|usobno neekvivalentne formule

A(p, q, r)

takve da je formula

F =

((p q) A) ((q A) r) tautologija.

42. Pred studentske lige u fudbalu, rukometu i ko{arci razgovaraju ~etvorica studenata

PMF-a.
Aca ka`e: "Ako pobedimo u fudbalu, pobedi}emo ili u ko{arci ili u rukometu."
Filip ka`e: "Ako ne pobedimo u ko{arci, pobedi}emo i u fudbalu i u rukometu."
Mihajlo ka`e: "Pobedi}emo u bar jednom od ova tri sporta."
Danko ka`e: "Ako Filip nije u pravu onda je bar jedan od Ace i Mihajla u pravu."
Da li su wihove izjave neprotivre~ne? Da li je Danko u pravu? ukoliko svi studenti
govore istinu za koji sport mo`emo sa sigurno{}u re}i da }e PMF pobediti u wemu?
43.

Ana, Beba, Cica i Daca su drugarice koje ~esto izlaze zajedno u poslasti~arnicu.

Poznato je da svaka od wih jede uvek isti kola~ i to ili baklavu ili orasnicu (samo jedno
od toga). U vezi toga koja od wih {ta jede, poznati su slede}i iskazi:
(1) Ako Ana jede orasnice, onda Beba jede isti kola~ kao i Daca.
(2) Ako Cica jede orasnice, onda Ana i Daca jedu razli~ite kola~e.
(3) Ako Beba i Cica jedu razli~ite kola~e, onda Ana jede baklavu.

(4) Daca i Cica jedu razli~ite kola~e.

Da li su ove izjave neprotivre~ne? Za koje od wih sa sigurno{}u mo`ete da tvrdite koji
kola~ jedu?
44.

Ana, Beba, Cica i Daca su drugarice koje ~esto izlaze zajedno u poslasti~arnicu.

Poznato je da svaka od wih jede uvek isti kola~ i to ili baklavu ili orasnicu (samo jedno
od toga). U vezi toga koja od wih {ta jede, poznati su slede}i iskazi:
(1) Ako Ana jede orasnice, onda Beba jede isti kola~ kao i Daca.
(2) Ako Cica jede baklave, onda Ana i Beba jedu razli~ite kola~e.
(3) Ako Cica i Daca jedu isti kola~, onda Ana jede baklavu.
(4) Beba i Cica jedu isti kola~.
Da li su ove izjave neprotivre~ne? Za koje od wih sa sigurno{}u mo`ete da tvrdite koji
kola~ jedu?
45. Dokazati

(p q r) (p (q r)).

46. Dokazati

(p (q r)) (p q r).

47. Dokazati

(p q r) (p (q r)).

48. Dokazati

(p (q r)) (q (p r)).

49. Dokazati

(p q r) (p r q).

50. Dokazati

(p q r) (p q) (p r).

51. Dokazati

((p q) (q r)) (p r).

52. Dokazati

((p q) (p r)) (p (q r)).

53. Dokazati

(p (q r)) ((p q) (p r)).

54. Dokazati

(((p r) (q r)) (p q)) r.

55. Dokazati

(p (q q)) p.

56. Dokazati

(p r) (q r) (p q r).

57. Dokazati

p (q r) ((p q) r).

58. Dokazati

p (q r) ((p r) q).

59. Dokazati

((p q) r p (q r)) (r p).

60. Dokazati

(p q) (p q).

61. Dokazati

(p q) p q .

62. Dokazati

(p r) (q r) (p q r).

63. Dokazati

((p q) p) (p (p q)).

64. Dokazati

(p (p q)) ((p q) p).

65. Dokazati

((p q) p) p.

66. Dokazati

(p q) (p q).

67. Dokazati

(q r) p (p (q r)).

68. Dokazati

(r p) (p (q r) (p q) r).

69. Metodom rezolucije dokazati da je

F = (p q) ((q r) (p r)) tautologija.

70. Metodom rezolucije dokazati da je

F = (r p) ((p q) r p (q r)) tautologija.

71.

Metodom rezolucije dokazati da je

F = (r p) (p (q r) p q r)

tautologija.
72. Metodom rezolucije dokazati da je

F = (p q) (q r) (r p) (p q) (q r) (r p)

tautologija.
73. Metodom rezolucije dokazati da je

F = (p r) (q r) (p q r) tautologija.

74. Metodom rezolucije dokazati da je

F = (((p r) (q r)) (p q)) r tautologija.

75.

F = (p (q r)) ((p q) (p r))

Metodom rezolucije dokazati da je

tautologija.
76. Metodom rezolucije dokazati da je

F = ((p q) (p r)) (p (q r)) tautologija.

F = (r p) (p (q r) (p q) r) tautologija.
78. Neka je formalna teorija data na slede}i na~in: S = {a, b}, F or su sve re~i nad
alfabetom S , Ax = {b}, R = {, }, gde je
77. Metodom rezolucije dokazati da je

:
Opisati sve teoreme teorije

x
axb

x
.
xb

.
S = {a, b}, F or

su sve re~i nad

S = {a, b}, F or

su sve re~i nad

data na slede}i na~in: S = {a, b}, F or

alfabetom S , Ax = {a, aa, aaa, aaaa, . . .}, R = {}, gde je

su sve re~i nad

data na
alfabetom S , Ax = {a}, R = {, }, gde je

79.

Neka je formalna teorija

:
Opisati sve teoreme teorije
80.

x
aaaxbb

data na slede}i
S , Ax = {abb}, R = {, }, gde je
:

Opisati sve teoreme teorije

x
.
xbbbb

Neka je formalna teorija

alfabetom

81.

slede}i na~in:

x
axbb

na~in:

x
.
aaax

Neka je formalna teorija

ax
.
xb

Opisati sve teoreme teorije

data na slede}i
alfabetom S , Ax = {aba}, R = {, }, gde je

82.

Neka je formalna teorija

:
Opisati sve teoreme teorije

x
axa

Neka je formalna teorija

:
Opisati sve teoreme teorije

data na
alfabetom S , Ax = {b}, R = {}, gde je
:

86.

xa
xab

data na slede}i
S , Ax = {b}, R = {, }, gde je
:

Opisati sve teoreme teorije

su sve re~i nad

S = {a, b}, F or

su sve re~i nad

S = {a, b, c}, F or

su sve re~i nad

S = {a, b}, F or

su sve re~i nad

x
.
xbbb

na~in:

xb
.
xba

Neka je formalna teorija

alfabetom

S = {a, b}, F or

data na slede}i
S , Ax = {a, b}, R = {, }, gde je

Opisati sve teoreme teorije

su sve re~i nad

x
.
aaax

slede}i na~in:

x
aaxbb

87.

Neka je formalna teorija

alfabetom

S = {a, b}, F or

Neka je formalna teorija

Opisati sve teoreme teorije

su sve re~i nad

x
.
xbb

slede}i na~in:

x
axb

85.

S = {a, b}, F or

Neka je formalna teorija

Opisati sve teoreme teorije

su sve re~i nad

x
.
aax

slede}i na~in:

x
axb

data na
alfabetom S , Ax = {b}, R = {, }, gde je

84.

S = {a, b}, F or

data na
alfabetom S , Ax = {b}, R = {, }, gde je

83.

na~in:

x
abx

na~in:

x
.
xcc

Neka je formalna teorija data na slede}i na~in:

4 8 12
alfabetom S , Ax = {a, a , a , a , . . .}, R = {}, gde je

88.

a2 x
.
xb3

Opisati sve teoreme teorije

89.

Neka je formalna teorija data na slede}i na~in:

S , Ax = {b, b3 , b5 , b7 , . . .}, R = {}, gde je

alfabetom

:
Opisati sve teoreme teorije

bx
.
xa

S = {a, b}, F or

su sve re~i nad