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

konštanta indivíduová

konštanta výrokovej logiky


[úprava] Konštanta - názory na ňu

konštanta - názory na ňu

konštanta (logika)


[úprava] Pozri aj

konštanta

druhy/príklady konštánt

názory na konštantu