Elektronický vzdelávací materiál

Základy výrokovej logiky

VÝROK - je akékoľvek tvrdenie, v ktorom má zmysel hovoriť o tom či je pravdivé alebo nepravdivé
výrok je oznamovacia veta
Napríklad: Auto potrebuje palivo. Navštevujem SPŠDTT. a pod.
každý výrok môže mať iba jednu pravdivostnú hodnotu, a to keď je pravdivý (1) alebo nepravdivý (0)
pravdivostná hodnota - ph
Negovaný výrok - C´ - ku každému výroku môžme vytvoriť výrok s opačnou pravdivostnou hodnotou
C:Navštevujem SPŠDTT C´:Nenavštevujem SPŠDTT