Výroky: Základy logiky a ich definícia

Matematická logika, ako základný pilier mnohých vedeckých disciplín, pracuje s výrokmi a ich pravdivostnými hodnotami. Tieto výroky, či už napísané alebo vyslovené, predstavujú tvrdenia, o ktorých má zmysel uvažovať z hľadiska ich pravdivosti alebo nepravdivosti. V samotnom jadre logiky stojí definícia výroku: je to každé napísané alebo vyslovené tvrdenie, o ktorého pravdivosti má zmysel uvažovať.

Čo je to výrok a ako ho rozpoznať?

Výrok je teda oznamovacia veta, ktorá má práve jednu pravdivostnú hodnotu - buď je pravdivý (označovaný ako P, VP, alebo 1) alebo nepravdivý (označovaný ako N, nepravdivý, alebo 0). V tomto kontexte nie sú výrokmi otázky, rozkazy, zvolania, ani neúplné vety, pretože týmto typom viet nemožno jednoznačne priradiť pravdivostnú hodnotu. V matematickej logike je výrok čokoľvek v jazykovom tvare, čo vyjadruje nejaké tvrdenie, alebo čokoľvek v jazykovom tvare, čomu možno priznať pravdu alebo nepravdu. Výrok je taká gramatická veta, pre ktorú má zmysel otázka na jej platnosť (správnosť, pravdivosť), t. j. otázka, či ten výrok platí, alebo či ten výrok neplatí. Namiesto slov platí a neplatí používajú sa aj slová správny a nesprávny alebo pravdivý a nepravdivý.

Jednoduché, nazývané aj elementárne alebo atomické výroky, sú také výroky, ktoré neobsahujú žiadne logické spojky. Tieto základné stavebné kamene logiky sa v matematickej logike zvyčajne označujú malými písmenami, ako napríklad p, q, r. Príklady atomických výrokov môžu byť: "Číslo 25 nie je prvočíslo." alebo "V Bratislave teraz prší."

Pravdivostné hodnoty a princíp vylúčenia tretej možnosti

Každému výroku je možné priradiť jednu z dvoch pravdivostných hodnôt: pravda alebo nepravda. Ak je výrok p pravdivý, hovoríme, že platí p. V tomto kontexte sa často stretávame s princípom vylúčenia tretej možnosti, ktorý hovorí, že buď je pravdivý výrok p, alebo platí jeho negácia ¬p. Neexistuje žiadna tretia možnosť.

Negácia výroku: Obrátenie pravdy

Ku každému výroku V možno utvoriť výrok ¬V (alebo ØV, či V'), ktorý sa nazýva negácia výroku V. Negácia výroku je výrok opačnej pravdivostnej hodnoty ako pôvodný výrok. Slovne negáciu vytvoríme tak, že pred výrok p povieme „Nie je pravda, že…“. Napríklad, ak je výrok p: "Všetci ľudia sú zdvorilí.", potom jeho negácia ¬p znie: "Nie je pravda, že všetci ľudia sú zdvorilí.". Dôležitou vlastnosťou negácie je zákon dvojitej negácie: ¬(¬p) ⇔ p. To znamená, že negácia negácie výroku je ekvivalentná s pôvodným výrokom.

Spájanie výrokov: Logické spojky a zložitejšie tvrdenia

Základné výroky môžeme spájať pomocou logických spojok, čím vznikajú zložitejšie výroky. Pravdivostné hodnoty týchto zložených výrokov sú potom závislé od pravdivostných hodnôt ich jednotlivých častí a od typu použitej spojky. Medzi základné logické spojky patria:

• Konjunkcia (a, ∧): Výrok "p a q" je pravdivý práve vtedy, keď sú oba výroky p aj q pravdivé.
• Disjunkcia (alebo, ∨): Výrok "p alebo q" je pravdivý, ak je pravdivý aspoň jeden z výrokov p alebo q. V matematickej logike sa používa tzv. nevylučovacia disjunkcia, čo znamená, že oba výroky môžu byť pravdivé súčasne.
• Implikácia (ak …, potom …, ⇒): Implikácia "ak p, potom q" je nepravdivá len vtedy, keď je výrok p pravdivý a výrok q je nepravdivý. V ostatných prípadoch je implikácia pravdivá. Tento typ logického spojenia vyjadruje následnosť alebo podmienenosť. Príkladom môže byť: "Ak má mnohouholník aspoň 2 osi súmernosti, potom má aj stred súmernosti v priesečníku osí súmernosti."
• Ekvivalencia (práve vtedy, keď …, ⇔): Výrok "p práve vtedy, keď q" je pravdivý vtedy a len vtedy, ak výroky p a q majú rovnakú pravdivostnú hodnotu. Inými slovami, oba výroky sú buď súčasne pravdivé, alebo súčasne nepravdivé.

Tieto logické spojky tvoria základ pre konštrukciu tzv. výrokových formúl. Výroková formula je výraz vytvorený z konečného počtu výrokových premenných (atomických výrokov), logických spojok a zátvoriek. Zátvorky určujú poradie operácií, pričom operácie v zátvorkách majú prednosť pred ostatnými.

Výrokové funkcie a kvantifikátory: Zovšeobecnenie výrokov

Okrem výrokov, ktoré majú jednoznačnú pravdivostnú hodnotu, sa v logike stretávame aj s pojmom výrokovej funkcie. Výroková funkcia je výraz V(x), ktorý závisí od premennej x a stáva sa výrokom po dosadení konkrétnej hodnoty za x. Množina všetkých hodnôt x, pre ktoré je V(x) výrokom, sa nazýva definičný obor výrokovej funkcie.

Na prácu s výrokmi, ktoré obsahujú premenné alebo sa vzťahujú na celé triedy objektov, používame kvantifikátory. Kvantifikácia je proces doplnenia výrokovej formuly informáciou o počte objektov, na ktoré sa výrok vzťahuje. Základné kvantifikátory sú:

• Všeobecný kvantifikátor (∀): Označuje "pre každé x", "pre všetky x". Výrok s týmto kvantifikátorom tvrdí, že daná vlastnosť platí pre všetky prvky danej množiny. Príklad: "∀x ∈ M: p(x)" znamená "Pre každé x z množiny M platí výrok p(x)."
• Existenčný kvantifikátor (∃): Označuje "existuje (aspoň jedno) x". Výrok s týmto kvantifikátorom tvrdí, že existuje aspoň jeden prvok v danej množine, pre ktorý platí daná vlastnosť. Príklad: "∃x ∈ M: p(x)" znamená "Existuje x z množiny M také, že platí výrok p(x)."
• Kvantifikátor jednoznačnej existencie (∃!): Označuje "existuje práve jedno x".

Hypotézy a ich úloha v poznaní

Výroky, o ktorých pravdivosti zatiaľ nedokážeme jednoznačne rozhodnúť, sa nazývajú hypotézy. Hypotézy predstavujú dôležitý krok v procese vedeckého poznania. Sú to tvrdenia, ktoré sú formulované na základe pozorovaní a predpokladov, a ich pravdivosť sa následne overuje experimentmi a ďalším výskumom. Ak sa hypotéza potvrdí, môže sa stať výrokom s ustálenou pravdivostnou hodnotou, prípadne dokonca vedeckým zákonom.

Pravdivostná tabuľka: Nástroj na overovanie výrokov

Pre systematické určovanie pravdivostných hodnôt zložených výrokov sa používa metóda pravdivostnej tabuľky. Táto metóda systematicky vypisuje všetky možné kombinácie pravdivostných hodnôt vstupných atomických výrokov a na základe definícií logických spojok určuje pravdivostnú hodnotu celého zloženého výroku. Pravdivostná tabuľka je v podstate zobrazenie sémantiky výrokovej logiky, ktoré definuje význam jednotlivých formúl.

Prostredníctvom pravdivostnej tabuľky je možné určiť, či je daná výroková formula tautológiou (vždy pravdivá), kontradikciou (vždy nepravdivá) alebo splniteľnou (pravdivá pre niektoré ohodnotenia). Formula ϕ(p,q,r) obsahujúca tri atomické výroky vytvára 2³ (teda 8) možných kombinácií pravdivostných ohodnotení.

Vzťah medzi výrokovou logikou a inými disciplínami

Výroková logika má úzke väzby na iné matematické a logické systémy. Napríklad, Boolova algebra a výroková logika sú považované za izomorfné systémy, čo znamená, že medzi nimi existuje jednoznačné matematické prepojenie. Prostredníctvom definovaných logických spojok je možné definovať aj ďalšie, menej bežné logické spojky, ako napríklad XOR (⊗), NAND (↑), alebo NOR (↓).

Pojem ekvivalencia je v logike označovaný dvomi symbolmi: ⇔ (odvodená logická spojka) a ≡ (matematický metasymbol jazyka). Ich použitie závisí od kontextu.

Zatiaľ čo jednoduché výroky sú základom logiky, ich spájanie a kvantifikácia umožňujú formulovať komplexné tvrdenia a budovať základy pre formálne uvažovanie v rôznych oblastiach vedy a techniky.

tags: #co #moze #byt #nedokoncenym #vyrokom