Výroková logika
Z Wikipédie
Logika výroková
logika výroková je je časť matematickej logiky (výroková algebra), ktorá sa zaoberá tvorbou výrokov (35), ich vzájomným spájaním, zisťovaním logickej pravdivosti výrokov a ich spojení i niektorými spôsobmi odvodzovania.
Výroková logika zahrnuje skúmanie týkajúce sa logického spájania výrokov, najmä tie, ktoré výchádzajú z významu (logického obsahu) výrokových spojení .
[ú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}}.