Klasická výroková logika
Z Wikipédie
Logika výroková klasická (szomolányi, j.)
logika výroková klasická (Szomolányi, J.)
Jazyk klasickej výrokovej logiky
16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)~~
Symboly: V jazyku klasickej výrokovej logiky (KVL) sú nasledujúce
16:34, 6 august 2006 (UTC)~~
kategórie symbolov:
1. Výrokové premenné: Výrokovými premennými v KVL i v ďalších logických
16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)~~
systémoch rozumieme prvky postupnosti p1, p2, p3,..., pričom p, q, r budú
zastupovať ľubovoľnú výrokovú premennú.
2. Logické spojky:
16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)Wizzo-Bot 16:34, 6 august 2006 (UTC)
~ - čítame nie je pravda, že
> - čítame implikuje
& - čítame a
v - čítame alebo
đ - čítame vtedy a len vtedy (klávesnica: Alt-240)
3. Symboly ( , ) 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 KVL FŻ, je najmenšia množina výrazov KVL
16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)16:34, 6 august 2006 (UTC)~
spĺňajúca tieto podmienky:
1. Každá výroková premenná patrí do FŻ
2. Ak X patrí do FŻ, potom je aj ~X z FŻ
3. Ak X, Y sú z FŻ, potom aj výrazy (X > Y), (X & Y), (X v Y)
a (X đ Y) patria do FŻ.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok
[úprava] Pozri aj
logika výroková
logika matematická
logika výroková klasická
slovník formalizovaného jazyka výrokovej logiky
transformácia formúl ekvivalentná
útvary významové výrokovej logiky
zákony de Morganove
[úprava] Logika výroková - významové útvary
logika výroková
výrok jednoduchý (logika výroková)
výrok zložený (logika výroková)