vprašanja - Arnes

Ustna vprašanja 1ce-mat - 1.7.2013
13
Osnove logike in
teorije množic
Izjave in izjavne
povezave
Linea 56-61
Naštejte vrste izjavnih povezav in zapišite njihove pravilnostne tabele.
Preverite vrednost izjave
osnovnih izjav A,
B in C.
( A ⇒ B) ∨ ( ¬ ( B ∧ C)
)
pri vseh vrednostih
14
Osnove logike in
teorije množic
Izjave in izjavne
povezave
Linea 56-61
Kaj sta tavtologija in protislovje Naštejte jih nekaj.
De Morganova zakona in zanikanje implikacije.
Zanikajte izjavo a > 2 ⇒ a > 0
15
Osnove logike in
teorije množic
Množice in računanje
z njimi
Linea 62-67
Definiraj tri osnovne operacije med množicami:
unijo,
presek in razliko dveh množic.
Prikaži jih z Vennovimi diagrami.
Izračunaj
A =
{ x;
x ∈ N ∧ x |12} B = { x;
x ∈ N ∧ x |18}
presek , unijo in razliko množic A in B:
16
Osnove logike in
teorije množic
Množice in računanje
z njimi
Linea 62-67
Distributivnostna zakona in de Morganova
zakona za unijo in
Vsaj enega od zakonov dokažite z Vennovim diagramom.
presek.
17
Osnove logike in
teorije množic
Množice in računanje
z njimi
Linea 62-67
Definiraj potenčno množico.
Kolikšna je moč potenčne množice
Zapiši potenčno množico množice A = { x;
x ∈ Z ∧ x < 3}.
18
Osnove logike in
teorije množic
Množice in računanje
z njimi
Linea 62-67
Definiraj kartezični produkt množic.
Koliko elementov ima
Kateri od
naslednjih petih elementov:
( 1,1 ),
( 2,3) , ( 3,3) , ( 4,2) in ( 1,5)
{ 1, 2, 3} in { 3, 4, 5}
so v kartezičnem produktu množic A = B =