Přednášky Zadání teoretických otázek a úkolů Řešení teoretických otázek a úkolů

1 Základní pojmy

Cíle

Na konci kapitoly bude student umět

· interpretovat základní pojmy z oblasti matematické logiky,

· diskutovat formulace matematických vět,

· formulovat věty v souladu se základy logiky,

· řešit úlohy s množinami,

· aplikovat různé typy zobrazení.

Výrok

Sdělení, o kterém lze rozhodnout, zda je pravdivé či nepravdivé, přičemž nastane jediná z obou možností

Pravdivostní hodnota

1 – výrok je pravdivý

0 – výrok je nepravdivý

Výroková forma

Sdělení, které se stává výrokem, když za proměnné dosadíme konstanty.

Definiční obor výrokové formy

Soubor všech hodnot proměnné, které mění výrokovou formu na výrok.

Obor pravdivosti výrokové formy

Soubor všech hodnot proměnné, které mění výrokovou formu na výrok pravdivý.