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 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 logický
kalkul predikátový
kalkul výrokový
počet operátorový
[úprava] Kalkul - názory naň
kalkul (Kondakov, N. I.)
kalkul (logika moderná)
[úprava] Pozri aj
druhy/príklady kalkulu
systém formálny