Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Stažení
Rychlejší přístup než prohlížeči!
 

Výrok (logika)

Index Výrok (logika)

Z hlediska nižší logiky je výrok každé sdělení (gramaticky vyjádřené oznamovací větou), o němž má smysl tvrdit, že je pravdivé (platí), nebo nepravdivé (neplatí).

25 vztahy: Analytický soud, De Morganovy zákony, Disjunkce, Ekvivalence (logika), Existenční kvantifikátor, Exkluzivní disjunkce, Hradlo NAND, Hradlo NOR, Hypotéza, Implikace, Konjunkce (matematika), Logický obvod, Logika, Matematické symboly a značky, Negace, Negace výroku, Nepravda, Obecný kvantifikátor, Pravda, Pravdivostní tabulka, Predikát (logika), Predikátová logika, Proměnná, Prvočíslo, Syntetický soud.

Analytický soud

Analytický soud (analytický výrok, analytická věta) je takový výrok (či věta), jehož pravdivost či nepravdivost plyne apriori z analýzy použitých pojmů bez jakéhokoli empirického zkoumání.

Nový!!: Výrok (logika) a Analytický soud · Vidět víc »

De Morganovy zákony

De Morganovy zákony určují vztah mezi sjednocením, průnikem a doplňkem množiny a další se zabývají matematickou logikou.

Nový!!: Výrok (logika) a De Morganovy zákony · Vidět víc »

Disjunkce

Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku.

Nový!!: Výrok (logika) a Disjunkce · Vidět víc »

Ekvivalence (logika)

Název ekvivalence je v logice používán pro binární logický operátor značený symbolem ⇔ (\Leftrightarrow \,\!). Významově odpovídá tento operátor větné konstrukci „právě tehdy, když“ (zastarale „tehdy a pouze tehdy, když“ a „tehdy a jen tehdy, když“) (anglicky if and only if, zkráceně iff) — ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne).

Nový!!: Výrok (logika) a Ekvivalence (logika) · Vidět víc »

Existenční kvantifikátor

Existenční kvantifikátor (∃) (také malý kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice.

Nový!!: Výrok (logika) a Existenční kvantifikátor · Vidět víc »

Exkluzivní disjunkce

Exkluzivní disjunkce (někdy též vylučovací nebo úplná disjunkce, exkluzivní OR či XOR) je logická operace, jejíž hodnota je pravda, právě když každá vstupní hodnota nabývá, v porovnání s ostatními vstupy, unikátní hodnotu.

Nový!!: Výrok (logika) a Exkluzivní disjunkce · Vidět víc »

Hradlo NAND

Hradlo NAND je integrovaný obvod s technologii TTL v řadě 7400.

Nový!!: Výrok (logika) a Hradlo NAND · Vidět víc »

Hradlo NOR

Hradlo NOR je integrovaný obvod s technologii TTL v řadě 7400.

Nový!!: Výrok (logika) a Hradlo NOR · Vidět víc »

Hypotéza

Hypotéza (řecky ϋπόθεσις hypo-thesis, podklad, princip, předpoklad) znamená výpověď, jejíž platnost se pouze předpokládá, ale je zároveň formulovaná tak, aby ji bylo možno potvrdit nebo vyvrátit.

Nový!!: Výrok (logika) a Hypotéza · Vidět víc »

Implikace

Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí.

Nový!!: Výrok (logika) a Implikace · Vidět víc »

Konjunkce (matematika)

#PŘESMĚRUJ Konjunkce (logika).

Nový!!: Výrok (logika) a Konjunkce (matematika) · Vidět víc »

Logický obvod

Logický obvod je elektronický obvod, který pracuje s diskrétními stavy.

Nový!!: Výrok (logika) a Logický obvod · Vidět víc »

Logika

Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.

Nový!!: Výrok (logika) a Logika · Vidět víc »

Matematické symboly a značky

Matematický symbol je libovolný znak, používaný v matematice.

Nový!!: Výrok (logika) a Matematické symboly a značky · Vidět víc »

Negace

Logická negace (používá se pro ni symbol \neg nebo \mathrm, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.

Nový!!: Výrok (logika) a Negace · Vidět víc »

Negace výroku

#PŘESMĚRUJ Negace.

Nový!!: Výrok (logika) a Negace výroku · Vidět víc »

Nepravda

#PŘESMĚRUJPravdivostní hodnota.

Nový!!: Výrok (logika) a Nepravda · Vidět víc »

Obecný kvantifikátor

Obecný kvantifikátor (∀) (také univerzální kvantifikátor či velký kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice.

Nový!!: Výrok (logika) a Obecný kvantifikátor · Vidět víc »

Pravda

Ve filozofii je pravda termín, kterým se označuje základní hodnota poznání.

Nový!!: Výrok (logika) a Pravda · Vidět víc »

Pravdivostní tabulka

Pravdivostní tabulka je jeden ze způsobů zápisu logických funkcí.

Nový!!: Výrok (logika) a Pravdivostní tabulka · Vidět víc »

Predikát (logika)

Predikát je v logice takové jazykové sdělení (výraz), o němž má po obsahové stránce smysl tvrdit, že je buď pravdivé (označuje se slovem true nebo číslicí 1), nebo nepravdivé (označuje se slovem false nebo číslicí 0).

Nový!!: Výrok (logika) a Predikát (logika) · Vidět víc »

Predikátová logika

V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět.

Nový!!: Výrok (logika) a Predikátová logika · Vidět víc »

Proměnná

Proměnná je v matematice a programování způsob symbolické reprezentace objektů, který umožňuje zcela abstraktní manipulaci s nimi.

Nový!!: Výrok (logika) a Proměnná · Vidět víc »

Prvočíslo

Prvočíslo je přirozené číslo větší než 1, které je beze zbytku dělitelné jen dvěma děliteli: jedničkou a samo sebou.

Nový!!: Výrok (logika) a Prvočíslo · Vidět víc »

Syntetický soud

Syntetický soud (syntetický výrok, syntetická věta) je takový výrok (či věta), jehož predikát není obsažen v podmětu.

Nový!!: Výrok (logika) a Syntetický soud · Vidět víc »

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »