Klasická výroková logika

Podľa Szomolánya v jazyku klasickej výrokovej logike sú nasledujúce kategórie symbolov:
 Výrokové premenné: Výrokovými premennými v klasickej výrokovej logike a v ďalších logických systémoch rozumieme prvky postupnosti "p1, p2, p3, ...," pričom "p", "q" a "r" budú zastupovať ľubovoľnú výrokovú premennú.
 Logické spojky:

 Symboly "(" a ")" nazývame ľavá a pravá zátvorka.

Pomocou uvedených symbolov možno tvoriť výrazy daného jazyka. Pod jazykovým výrazom rozumieme ľubovoľnú konečnú postupnosť symbolov. Nás budú zaujímať iba určité, tzv. dobre utvorené výrazy, čiže formuly, ktoré tvoria vlastnú podmnožinu množiny všetkých výrazov, definovanú nasledovne:

Množina všetkých formúl klasickej výrokovej logike F, je najmenšia množina výrazov klasickej výrokovej logike spĺňajúca tieto podmienky:
 Každá výroková premenná patrí do F
 Ak X patrí do F, potom je aj ~X z F
 Ak X, Y sú z F, potom aj výrazy (X → Y), (X & Y), (X | Y) a (X ⇔ Y) patria do F.

Externé odkazy 
 
 Výroková logika  O základoch logiky, o logických spojkách, pravdivostných tabuľkách a tautológiách.

Logika