Aibės Flashcards
Disfunkcija
teiginių loginė suma - teiginys, sudarytas iš kitų teiginių, sujungtų logine jungtimi „arba” (p ∨ q)
Konjunkcija
teiginių loginė sandauga - teiginys, sudarytas iš kitų teiginių, sujungtų logine jungtimi „ir” (p ∧ q)
Implikacija
teiginys, sudarytas iš kitų teiginių, sujuntų logine jungtimi „jei …, tai …” (išvados ženklas ⇒). Tiesioginė teorema p ⇒ q ir atvirkštinė q ⇒ p
Logiškai ekvivalentūs teiginiai
du teiginiai, sujungti logine jungtimi „ tada ir tik tada, kai” (p ⇔ q, jei abi p ⇒ q ir q ⇒ p yra teisingos)
Kvantoriai
kiekybiškai apibūdina teiginį. Bendrumo ir egzistavimo kvantoriai
Bendrumo kvantorius
∀ - visi
pvz.: ∀x ∈ R : x + 2 = 2 + x
Egzistavimo kvantorius
∃ - egzistuoja bent vienas
pvz.: ∃x ∈ N : x + 2 = 5
Priešingoji teorema ir priešingoji atvirkštinei
|p ⇒ |q ir |q ⇒ |p
Tiesioginė ir priešinga atvirkštinei teoremos yra ekvivalenčios
p ⇒ q ⇔ |q ⇒ |p
Matematinės indukcijos metodas
1) patikriname ar teiginys teisingas, kai n = 1
2) darome prielaidą, kad teiginys teisingas, kai n = k
3) pasinaudodami prielaida parodysime, kad teiginys teisingas, kai n = k + 1
4) darome išvada, jog teiginys teisingas ir su bet kuriuo natūraliuoju skaičiumi n
Aibės sąvoka
neapibrėžiama, pirminė. Objektų, kuriems būdingas tam tikras požymis, visuma.
Elementų x aibė turi savybę P(x)
{x|P(x)}
pvz.: aibė taškų (x; y), kurių
koordinatės tinka nelygybei y^2 − 4x > 0
{(x; y)|y^2 − 4x > 0}
Skaičių aibės
N = {1; 2; 3; …; n; …} – natūralieji (6/3; traukti šaknį iš 16; …)
Z = {…; −3; −2; −1; 0; 1; 2; 3; …} – sveikieji
Q = {m/n ; m ∈ Z, n ∈ N} – racionalieji (1/2; 0,6; -4/5; 0,(3); …)
I = {pi, e, neištraukiamos šaknys} – iracionalieji
R = {visi sk.} – realieji
Aibės poaibis
Aibė A, kurios kiekvienas elementas kartu yra ir aibės B elementas
A ⊂ B arba B ⊃ A
pvz.: N ⊂ Z, Z ⊂ Q,
Q ⊂ R
Aibių sąjunga
Aibė A ∪ B, sudaryta iš elementų, priklausančių bent vienai iš aibių A, B.
A ∪ B = {x|x ∈ A ∨ x ∈ B}