Matematika Flashcards
Výrok
Každé sdělení, u něhož má smysl ptát se, zda je pravdivé či nepravdivé.
Každé sdělení, u něhož má smysl ptát se, zda je pravdivé či nepravdivé.
Výrok
Označení negace výroku.
Písmeno s čarou
Výrok označený A se je v negaci označený A´
Konjunkce
Platí A “a” respektive “a zároveň” Platí B
“a” respektive “a zároveň”
Konjunkce
Zápis konjunkce
A ∧ B (stříška špičkou nahoru)
A ∧ B (stříška špičkou nahoru)
Zápis konjunkce
Disjunkce
A “nebo” B
“nebo”
Disjunkce
Zápis disjunkce
A ∨ B (stříška špičkou dolu)
A ∨ B (stříška špičkou dolu)
Zápis disjunkce
Implikace
“jestliže A, pak B”
“z A plyne B”
“jestliže A, pak B”
“z A plyne B”
Implikace
Zápis implikace
A⇒B
A⇒B
Zápis implikace
Ekvivalence
“A platí, právě když platí B”
“A platí, právě když platí B”
Ekvivalence
Zápis ekvivalence
A⇔B
A⇔B
Zápis ekvivalence
Axiom
Matematický výrok, o kterém se předpokládá, že je pravdivý.
Matematický výrok, o kterém se předpokládá, že je pravdivý.
Axiom
Definice
Přesné vymezení matematických pojmů pomocí pojmů základních a dříve definovaných.
Přesné vymezení matematických pojmů pomocí pojmů základních a dříve definovaných.
Definice
Matematická věta
Matematický výrok, který je důsledkem přijatých definic.
