Konštanta výrokovej logiky
Z Wikipédie
Konštanta výrokovej logiky
konštanta výrokovej logiky je vyrokotvorná častica. Konštanty výrokovej logiky sú výrokotvroné funktory, čiže nesamostatné výrazy, ktorými sa z jednoduchých výrokov vytvárajú zložené výroky.
Základné funktory výrokovej logiky sú štyri, a to je negácia, ktorá je jednomiestnym funktorom a označujeme ju vlnovkou pred príslušným symbolom, teda napríklad ~p bude znamenať negáciu p (nie je pravda p),
- konjunkcia, ktorá sa vyjadruje spojkou a a symbolom &,
- disjunkcia, ktorá sa vyjadruje spojkou alebo a symbolom v,
- implikácia, vyjadrujúca spojenie pomocou výrazu ak, tak, ktorú označujeme symbolom ->.
Obsah |
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok
Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.
[úprava] Konštanta - druhy/príklady
konštanta indivíduová
konštanta výrokovej logiky
[úprava] Konštanta - názory na ňu
konštanta - názory na ňu
[úprava] Pozri aj
druhy/príklady konštánt
názory na konštantu