A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
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:
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.
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.
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
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.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk