Matematika - Úvod do výrokové logiky
1. Hodina
Výrok je sdělení, u něhož můžeme jednoznačně určit, zda je pravdivé nebo nepravdivé.
Hypotéza je sdělení, u něhož v dané chvíli nemohu rozhodnout, zda je pravdivé nebo nepravdivé, ale víme, že jedna z těchto možností nastává (např. Můj vzor právě hraje na fagot.)
Výroková forma je sdělení, v němž se vyskytuje neznámá; může se stát výrokem, když:
1. Za neznámou dosadíme
2. KVANTIFIKACÍ (upřesním počet – např. Existuje alespoň jedno reálné číslo, pro které platí, že... nebo Pro všechna reálná čísla platí, že...
Příklady:
1. X+2=6 ... výroková forma
2. 4+2=6 ...(pravdivý) výrok
3. Pro všechna xR; x+2=6 ...nepravdivý výrok
Pravdivostní hodnotu výrazu zapisujeme pomocí symbolů 1 (=PRAVDA) a 0 (=NEPRAVDA).
Komentáře
Přehled komentářů
Zatím nebyl vložen žádný komentář