Výrok (logika)

Výrok je výraz, ktorý má práve jednu pravdivostnú hodnotu.

11 vzťahy: Disjunkcia (logika), Ekvivalencia (logika), Funktor (logika), Implikácia, Konjunkcia, Konjunkcia (logika), Logika, Negácia (logika), Výraz, Výrok (logika), Výroková logika.

Disjunkcia (logika)

Logická disjunkcia (používa sa pre ňu symbol ∨) je výroková spojka, ktorej hodnota je pravda práve vtedy, keď aspoň jeden zo vstupných operandov je pravda.

Nový!!: Výrok (logika) a Disjunkcia (logika) · Pozrieť viac »

Ekvivalencia (logika)

Ekvivalencia je logická operácia, ktorá spočíva v použití spojok typu „vtedy a len vtedy, keď“ alebo „práve vtedy, keď“ v usudzovaní; často sa vyjadruje pomocou implikácie a konjunkcie.

Nový!!: Výrok (logika) a Ekvivalencia (logika) · Pozrieť viac »

Funktor (logika)

Funktor alebo logická spojka je v modernej logike a lingvistike inšpirovanej takouto logikou výraz bližšie určovaný inými výrazmi (argumentmi funktoru).

Nový!!: Výrok (logika) a Funktor (logika) · Pozrieť viac »

Implikácia

Implikácia (z) je logická operácia tvoriaca zložený výrok z dvoch výrokov pomocou logickej spojky, ktorá zodpovedá spojke ak - tak.

Nový!!: Výrok (logika) a Implikácia · Pozrieť viac »

Konjunkcia

Konjunkcia môže byť.

Nový!!: Výrok (logika) a Konjunkcia · Pozrieť viac »

Konjunkcia (logika)

Logická konjunkcia je výroková spojka.

Nový!!: Výrok (logika) a Konjunkcia (logika) · Pozrieť viac »

Logika

Logika (z gr. slova λόγος logos) je veda zaoberajúca sa vyplývaním.

Nový!!: Výrok (logika) a Logika · Pozrieť viac »

Negácia (logika)

Negácia (z lat.) je logické prevrátenie hodnoty alebo výroku.

Nový!!: Výrok (logika) a Negácia (logika) · Pozrieť viac »

Výraz

Výraz môže byť.

Nový!!: Výrok (logika) a Výraz · Pozrieť viac »

Výrok (logika)

Výrok je výraz, ktorý má práve jednu pravdivostnú hodnotu.

Nový!!: Výrok (logika) a Výrok (logika) · Pozrieť viac »

Výroková logika je časť matematickej logiky (výroková algebra), ktorá sa zaoberá tvorbou výrokov, ich vzájomným spájaním, zisťovaním logickej pravdivosti výrokov a ich spojení i niektorými spôsobmi odvodzovania.

Nový!!: Výrok (logika) a Výroková logika · Pozrieť viac »

Presmerovanie tu:

Jednoduchý výrok, Zložený výrok.

Úniapédia je koncepčné mapy alebo sémantickej siete, organizované ako encyklopédia - Slovník. Dáva stručnú definíciu každého konceptu a jej vzťahov.

To je veľká internetová mentálna mapa, ktorá slúži ako základ pre koncepčných diagramov. Je to zadarmo na použitie a každý článok alebo dokument možno stiahnuť. Je to nástroj, zdroj alebo odkaz na štúdium, výskum, vzdelávanie, učenie alebo učenie, ktoré môžu byť použité podľa učiteľa, pedagógov, žiakov alebo študentov; pre akademický svet: pre školské, základným, stredným, vysoké školy, stredné, technický stupeň, vysoké školy, univerzity, vysokoškolák, magisterských a doktorandských titulov; for Papers, správy, projekty, nápady, dokumentácia, prieskumy, súhrny, alebo práce. Tu je definícia, vysvetlenie, popis, alebo význam každá významná, na ktorom by ste potrebovali nejakú informáciu, a zoznam ich pridružené pojmy ako slovníčku. K dispozícii v Slovenský, Angličtina, Španielsky, Portugalčina, Japonský, Čínsky, Francúzsky, Nemec, Talian, Polsky, Dutch, Rusky, Arabčina, Hindčina, Švédska, Ukrajinská, Maďarský, Katalánsky, Český, Hebrejčina, Dánsky, Fínsky, Indonézsky, Norwegian, Rumunský, Turkish, Vietnamci, Korean, Thai, Greek, Bulharská, Chorvátsky, Lithuanian, Filipínsky, Latvian, Estónsky a Slovinsky Ďalšie jazyky čoskoro.

Všetky informácie sa extrahuje z Wikipédia, a je k dispozícii pod licenciou Creative Commons Attribution/Share-Alike License 3.0 Unported.

Úniapédia nie je podporovaná ani pridružená k nadácii Wikimedia Foundation.

Google Play, Android a logo Google Play sú ochrannými známkami spoločnosti Google Inc.

Zásady ochrany osobných údajov