Skriptá: Úvod do matematickej logiky
Skryť detaily | Obľúbený- Kvalita:85,8 %
- Typ:Skriptá
- Univerzita:Univerzita Pavla Jozefa Šafárika v Košiciach
- Fakulta:Prírodovedecká fakulta
- Kategória:Prírodné vedy
- Podkategória:Matematika
- Predmet:Logika a teória množín
- Autor:monyke
- Ročník:2. ročník
- Rozsah A4:62 strán
- Zobrazené:2 916 x
- Stiahnuté:12 x
- Veľkosť:0,4 MB
- Formát a prípona:PDF dokument (.pdf)
- Jazyk:slovenský
- ID projektu:7660
- Posledna úprava:19.04.2018
Výrok a pravdivos» je gramatická veta, ktorá je pravdivá alebo nepravdivá.
Hovoríme, ¾e výrok má pravdivostnú hodnotu: pravdivý, nepravdivý. Pí¹eme 1, 0 alebo P, N. Teda výrok okrem iného, musí by» oznamovacia veta. Z daných výrokov mô¾eme utvori» nové výroky pomocou logických operácií 6; ^; _; !; ´. Logické operátory 6; ^; _; !; ´ sa nazývajú aj logické spojky. Ak máme výrok V, tak jeho negácia je výrok :V je výrok "Neplatí V". Ak máme výroky V; W, tak mô¾eme utvori» nové výroky:
Hovoríme, ¾e výrok má pravdivostnú hodnotu: pravdivý, nepravdivý. Pí¹eme 1, 0 alebo P, N. Teda výrok okrem iného, musí by» oznamovacia veta. Z daných výrokov mô¾eme utvori» nové výroky pomocou logických operácií 6; ^; _; !; ´. Logické operátory 6; ^; _; !; ´ sa nazývajú aj logické spojky. Ak máme výrok V, tak jeho negácia je výrok :V je výrok "Neplatí V". Ak máme výroky V; W, tak mô¾eme utvori» nové výroky: