ÚVODNÉ POJMY
1. Výroky, výrokové formy
Jedným zo základných pojmov logiky je výrok.
Výrokom nazývame každé tvrdenie (výraz), o ktorom má zmysel hovoriť,
či je pravdivé alebo nepravdivé, pričom obe možnosti nemôžu nastať
súčasne.
Pr.: Trojuholník ABC je pravouhlý.
2 + 7 = 8
Prievidza je najväčšie mesto na svete.
Výroky budeme označovať malými písmenami p, q, r.
Ak je výrok p pravdivý, hovoríme, že má pravdepodobnostnú hodnotu 1.
Ak je výrok p nepravdivý, hovoríme, že má pravdepodobnostnú hodnotu 0.
K výroku p môžeme utvoriť výrok, ktorý popiera výrok p.
Takýto výrok nazývame negácia výroku p ... non p, p´....