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
  • Výroková logika Logické hádanky, na ktorých riešenie je potrebné využiť logické operácie.



Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.