Přednášky z Matematiky

1. Základní matematická terminologie

Struktura matematického textu:
axióm, definice, věta, lemma, důsledek, poznámka, příklad.
důkaz

Výrok V je takový jazykový výraz (sdělení), o němž má po obsahové stránce smysl tvrdit, že je buď pravdivý anebo nepravdivý, přičemž nastává právě jedna z těchto možností.

Pravdivostní hodnota výroku V je číslo 0 nebo 1, přičemž:
- pravdivostní hodnota 1 (pravda), je-li výrok pravdivý,
- pravdivostní hodnota 0 (nepravda), je-li výrok nepravdivý.

Logické spojky - výroky můžeme negovat nebo spojovat pomocí logických spojek a vytvářet tak složené výroky:

Negace:
Konjunkce:
Disjunkce:
Implikace:
Ekvivalence: