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 "p₁, p₂, p₃, ...," pričom "p", "q" a "r" budú zastupovať ľubovoľnú výrokovú premennú.
Logické spojky:

znak	význam	možné iné znaky
~	nie je pravda, že	¬ !
→	implikuje	→ ⊃
&	a	∧ •
\|	alebo	∨ +
⇔	vtedy a len vtedy	↔ ≡

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

FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
Výroková logika O základoch logiky, o logických spojkách, pravdivostných tabuľkách a tautológiách.

Zdroj:
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.