Verzia z 12:23, 12. február 2009 upraviť VolkovBot (diskusia \| príspevky) Boti 119 188 editací d robot Pridal: id:Kalkulus proposisional ← Predchádzajúca úprava		Verzia z 12:23, 3. máj 2009 upraviť vrátiť JagRoBot (diskusia \| príspevky) Boti 6 959 editací d Robot odstránil zbytočné pomenovanie odkazu Ďalšia úprava →
Riadok 1: '''Logika výroková''' je časť [[matematická logika\|matematickej logiky]] ([[~~výroková algebra\|~~výroková algebra]]), ktorá sa zaoberá tvorbou [[Výrok (logika)\|výrokov]], 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í.

Výroková logika: Rozdiel medzi revíziami