Pripema za prvu kontrolnu vežbu, LOGIKA, SKUPOVI

1. Dati su iskazi p, q, r i formula F. Odrediti istinitosnu vrednost formule F.

a)
p: Centar upisanog kruga u trougao nalazi se u preseku težišnih duži trougla.
q: Zbir unutrašnjih uglova u pravilnom n-touglu je 360o
3 4 7 3 −1 2 1 1
r: ⋅ + : <( − ) :(−3)−6 :(−6 ).
5 6 8 4 14 7 13 13

F: (¬ p∨q)⇒ ( p∧q) .

b)

p: Rešenje jednačine x 2 +16=0 je x = -4.

q: Rešenje nejednačine |x|≤4 , gde je x ceo broj je: (-4, -3, -2, -1, 0, 1, 2, 3, 4).

r: Negacija rečenice: “Svi zadaci su teški.”, glasi: “Postoji zadatak koji je lak.”

F: ¬( p∨q )⇒( p∧¬q ).

2. Metodom svođenja na apsurd dokazati da je formula tautologija:

(( p ⇔ q ) ⇒ r ) ∨ ((s ∧ t ) ⇒ ( r ∨ p)). q ) ⇒ r ) ∨ ((s ∧ t ) ⇒ ( r ∨ p)). r ) ∨ ((s ∧ t ) ⇒ ( r ∨ p)). ((s ∧ t ) ⇒ ( r ∨ p)). t ) ⇒ r ) ∨ ((s ∧ t ) ⇒ ( r ∨ p)). ( r ∨ ((s ∧ t ) ⇒ ( r ∨ p)). p)).
3. Dati su skupovi: A = {x|x ∈ N ∧ x|6}, B = {x|x ∈ Z ∧ 0 ≤ 1 − x < 3}i C = {x|x ∈ Z N ∧ t ) ⇒ ( r ∨ p)). x|6}, B = {x|x ∈ N ∧ x|6}, B = {x|x ∈ Z ∧ 0 ≤ 1 − x < 3}i C = {x|x ∈ Z Z ∧ t ) ⇒ ( r ∨ p)). 0 ≤ 1 − x < 3}i C = {x|x ∈ N ∧ x|6}, B = {x|x ∈ Z ∧ 0 ≤ 1 − x < 3}i C = {x|x ∈ Z Z
∧ t ) ⇒ ( r ∨ p)). |x| 3}. Odrediti elemente skupa:
a) A\C
b) B × (A ∩ C)
c) P(B ∩ C).
4. Proveriti da li važe sledeće skupovne jednakosti:

a) A∪( A c ∩ B)= A∪B

b) A∩( B∩C)=( A∩B)∩C

c) A∩( B∪C)=( A∩B)∪( A∩C )

5. Da li su sledeća dva iskaza logički ekvivalentna:

- “Biti bogat je potreban uslov za sreću.”

 - “Ako je neko bogat, tada je srećan.”

6. Primenom tablice proveriti da li je slede’a formula tautologija:

F: ¬ p∨q ⇒ ¬¬q∧¬q
7. Ako su [a, b], (a, b), [a, b), (a, b] standardne oznake za zatvorene, otvorene i
poluotvorene intervale odrediti:

a) −∞ , 1∩(1,+∞)
b) 8. strana 32. zadatak

8. 36. zadatak
9. 37. zadatak
10. 54. zadatak

11. 55. zadatak

12. Relacija ρ na skupu A = {2,4,6,8} data je sledećom tablicom (Napomena: 1
označava “te”, 0 označava “ne-te”):

ρ 2 4 6 8
2 0 0 0 0
4 1 0 0 0
6 1 1 0 0
8 1 1 1 0

Odrediti:

a) τ (6 ρ 2)
b) τ (4 ρ 4)
c) τ (3 ρ 6 )
d) τ (6 ρ 8)

13. Relacija ρ predstavljena je tablicom:

ρ 1 2 3
1 0 1 1
2 1 0 1
3 1 1 1

Zašto ovo nije relacija ekvivalencije? Relacija ρ je relacija ekvivalencije ako je R, S, T.ρ ρ je relacija ekvivalencije ako je R, S, T.je ρ je relacija ekvivalencije ako je R, S, T.relacija ρ je relacija ekvivalencije ako je R, S, T.ekvivalencije ρ je relacija ekvivalencije ako je R, S, T.ako ρ je relacija ekvivalencije ako je R, S, T.je ρ je relacija ekvivalencije ako je R, S, T.R, ρ je relacija ekvivalencije ako je R, S, T.S, ρ je relacija ekvivalencije ako je R, S, T.T.

14. Dat je skup A = {1,2,3,4,5,6} i na njemu je data relacija ρ na sledeći način:

x ρ y akko x | y

Pokazati da je ovo relacija poretka. Relacija ρ je relacija ekvivalencije ako je R, S, T.ρ ρ je relacija ekvivalencije ako je R, S, T.je ρ je relacija ekvivalencije ako je R, S, T.relacija ρ je relacija ekvivalencije ako je R, S, T.poretka ρ je relacija ekvivalencije ako je R, S, T.ako ρ je relacija ekvivalencije ako je R, S, T.je ρ je relacija ekvivalencije ako je R, S, T.R, ρ je relacija ekvivalencije ako je R, S, T.AS, ρ je relacija ekvivalencije ako je R, S, T.T
15. Naučiti sve zakone zaključivanja koje smo radili na času.