Výrokový kalkul

Z Wikipédie

Kalkul výrokový

kalkul výrokový je propozicionálny kalkul - logický systém, ktorý formalizuje úvahy založené na štruktúre zloženych výrokov nezávisle od vnutornej štruktúry jednoduchých výrokov.

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] Kalkul - druhy/príklady

kalkul

kalkul logický

kalkul predikátový

kalkul výrokový

počet operátorový


[úprava] Kalkul - názory naň

kalkul


kalkul (Kondakov, N. I.)

kalkul (logika moderná)


[úprava] Pozri aj

kalkul

druhy/príklady kalkulu


systém formálny