Logika

Matematická logika se zabývá přesným formálním studiem jazyka matematiky a matematických pracovních postupů. Při studiu matematiky se setkáváme s pojmy výrok, axiom, definice, věta, důkaz atd. Tyto pojmy považujeme za základní prvky logické výstavby matematiky. Vyskytují se v celém dalším výkladu, proto je nezbytné se s nimi obeznámit a pochopit přesně jejich význam. Zá-kladní význam v matematické logice mají výroky.

Výrok je jakékoliv sdělení (tvrzení), o němž má smysl rozhodnout, zda je pravdivé či nepravdivé, přičemž z těchto dvou možností nastane právě jedna. Pravdivému výroku přiřazujeme pravdivostní hodnotu 1 a nepravdivému 0. Stručně budeme psát ph 1 a ph 0.