Výrok (logika)
Výrok je výraz, ktorý má práve jednu pravdivostnú hodnotu. Výrokmi nie sú opytovacie, rozkazovacie, zvolacie a neúplné vety.
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ý. Z hľadiska platnosti rozoznávame teda výroky platné, ktorý má pravdivostnú hodnotu (1), a neplatné, ktorý má pravdivostnú hodnotu (0).[1]
Vo výrokovej logike je výrok výraz, ktorým sa tvrdí, že niečo je, alebo nie je (že niečo bolo, alebo nebolo, bude, alebo nebude), za predpokladu, že o tomto tvrdení možno rozumne povedať, že je pravdivé, alebo že je nepravdivé. Výroková logika rozlišuje jednoduché výroky a zložené výroky.[2]
Zložený výrok
upraviťZložený výrok je vo výrokovej logike výrok, ktorý vznikne z jednoduchých výrokov (prvotných formúl) aplikáciou jednej alebo viacerých logických spojok (funktorov).
Na základe definície výrokovej formuly môžeme povedať, že zložený výrok je výroková formula, ktorá súčasne nie je prvotnou formulou a teda obsahuje zložky, ktoré sú sami prvotnými formulami.
Základnými výrokovými operáciami, pomocou ktorých možno tvoriť zložené výroky, sú
- negácia ( )
- konjunkcia ( )
- disjunkcia ( )
- implikácia ( )
- ekvivalencia ( )
Názov | Symbol | Pravdivostné hodnoty | Slovne | |||
---|---|---|---|---|---|---|
Výrok A | A | 1 | 1 | 0 | 0 | |
Výrok B | B | 1 | 0 | 1 | 0 | |
Konjunkcia | A ∧ B | 1 | 0 | 0 | 0 | Konjunkcia A ∧ B je pravdivý výrok práve vtedy, ak A, B sú obidva pravdivé výroky. |
Disjunkcia | A ∨ B | 1 | 1 | 1 | 0 | Disjunkcia A ∨ B je pravdivý výrok práve vtedy, ak aspoň jeden z výrokov A, B je pravdivý. |
Implikácia | A B | 1 | 0 | 1 | 1 | Implikácia A B je pravdivý výrok práve vtedy, ak nenastane situácia, že výrok A je pravdivý a súčasne výrok B je nepravdivý. |
Ekvivalencia | A B | 1 | 0 | 0 | 1 | Ekvivalencia A B je pravdivý výrok práve vtedy, ak výroky A, B majú rovnakú pravdivostnú hodnotu. Výroky A, B sú ekvivalentné, ak platia obe implikácie A B, B A.[3] |
Slovné príklady
upraviť- Konjunkcia – „Idem do školy a prší.”
- Disjunkcia – „23 alebo 6 je prvočíslo”
- Implikácia – „Ak vonku sneží, tak nejdem do práce.”
- Ekvivalencia – „V sobotu pôjdeme do lesa práve vtedy, ak v nedeľu pôjdeme na návštevu."
Jednoduchý výrok
upraviťJednoduchý (elementárny alebo atomický) výrok je výrok, ktorý neobsahuje logické spojky. Je logicky nedeliteľný a je reprezentovaný výrokovými premennými (alebo výrokovými symbolmi).
Slovné príklady
upraviť- „volám sa Marek”
- „včera pršalo”
- „71 je prvočíslo”
Negácia
upraviťNegácia je logické prevrátenie hodnoty alebo výroku. Označuje sa znakom alebo apostrofom za výrokom '. Ak máme výrok A, potom negácia výroku môže vyzerať takto A alebo A' . Slovne negáciu vytvoríme tak, že pred výrok povieme „Nie je pravda, že ... .“ , alebo pomocou predpony „ne ..“, slovného spojenia „nie je“.
A | B | A´( ) | B´( ) | A ∧ B | A ∧ B´ | (A ∧ B)´ | A ∨ B | A ∨ B´ | (A ∨ B)´ | A B | (A B)´ | A B | (A B)´ | (A ∧ B´) ∨ (A´∧ B) |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 |
Slovné príklady
upraviť- ak výrok A je „mám auto”, tak A´ je „nemám auto”
- ak výrok A ∨ B je „mám auto alebo motorku”, tak (A ∨ B)´ je „nemám auto ani motorku”
- ak výrok A B je „ak mám, auto tak mám aj motorku”, tak (A B)´ je „mám auto, ale nemám motorku”
Referencie
upraviť- ↑ JIRÍČEK, Stanislav. ÚVOD DO MATEMATICKEJ LOGIKY [online]. Gymnáziu Ľ.J.Šuleka, [cit. 2023-05-15]. Dostupné online.
- ↑ HECHT, Tomáš. Matematika pre 4. ročník gymnázií a SOŠ. [1. vyd.]. Bratislava: Orbis Pictus Istropolitana, 2005, Zošit 2, Matematická analýza. ISBN 8071586021.
- ↑ cloud8s.edupage.org, [cit. 2022-02-11]. Dostupné online.
Zdroje
upraviť- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.