Verzia z 05:55, 10. marec 2013 upraviť Addbot (diskusia \| príspevky) 108 055 editací d Bot: Odstránenie 36 odkazov interwiki, ktoré sú teraz dostupné na Wikiúdajoch (d:q200694) ← Predchádzajúca úprava		Verzia z 20:58, 12. september 2019 upraviť vrátiť Radoslav Ivan (diskusia \| príspevky) 3 658 editací Wikilinky Značky: úprava z mobilu úprava z mobilného webu Ďalšia úprava →
Riadok 1: '''~~Logika~~Výroková ~~výroková~~logika''' je časť [[matematická logika\|matematickej logiky]] ([[výroková algebra]]), ktorá sa zaoberá tvorbou [[Výrok (logika)\|výrokov]], ich vzájomným spájaním, zisťovaním logickej [[pravdivostná hodnota\|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í.

Výroková logika: Rozdiel medzi revíziami