Kvantifikátor jednoznačné existence
symbol značící, že daný prvek existuje právě jednou
Kvantifikátor jednoznačné existence (∃!) je matematický symbol používaný nejčastěji v predikátové logice. Do běžného jazyka lze jeho význam přeložit jako existuje právě jedno. Nepatří mezi dva základní kvantifikátory – obecný a existenční, lze ho pomocí nich vyjádřit. Také má na rozdíl od obou výše zmíněných kvantifikátorů smysl pouze v predikátové logice s rovností.
Vyjádření pomocí ostatních kvantifikátorů
editovatKvantifikátor jednoznačné existence lze pomocí existenčního a obecného kvantifikátoru vyjádřit následovně (zápis je pouze schematický a matematicky nepřesný):
- „ “, tj. v uvažovaném oboru existuje právě jeden objekt tehdy, existuje-li nějaký objekt a každý jiný je s ním totožný.
Příklady použití
editovat- Zápis (∃!x)(x ϵ M) znamená „Existuje jediný objekt, který je prvkem množiny M“.
Související články
editovat🔥 Top keywords: Hlavní stranaSpeciální:HledáníTomáš HolýHavárie v národním podniku MESITMistrovství Evropy ve fotbale 2024Tour de France 2024Cristiano RonaldoJana PreissováCommodusMistrovství Evropy ve fotbaleGenerace ZVít KopřivaJaroslav HulešMarie PoledňákováSpeciální:Poslední změnyFrantišek Němec (herec)VlnyLetní olympijské hry 2024ČeskoPatrioti pro EvropuMistrovství světa ve fotbale 2026Karel PoborskýNizozemskoMarcus AureliusGladiátor (film)Tadej PogačarJiří MádlJak vytrhnout velrybě stoličkuTomáš UjfalušiJiří BartoškaTureckoGenerace YVlastimil HarapesTour de FranceGheorghe HagiCéline DionJaroslav a Dana StodoloviSeznam mezinárodních poznávacích značekJiřina Bohdalová