Zákon o vyloučení třetího
(Přesměrováno z Princip vyloučeného třetího, přímý odkaz na u, 08 Jan 2009 06:46:29 GMT
Server: Apache
X-Powered-By: PHP/5.2.4-2ubuntu5wm1
Cache-Control: private, s-maxage=0, max-age=0, must-revalidate
Content-Language: cs
Vary: Accept-Encoding,Cookie
X-Vary-Options: Accept-Encoding;list-contains=gzip,Cookie;string-contains=cswikiToken;string-contains=cswikiLoggedOut;string-contains=cswiki_session;string-contains=centralauth_Token;string-contains=centralauth_Session;string-contains=centralauth_LoggedOut
Last-Modified: Thu, 23 Oct 2008 10:49:27 GMT
Content-Length: 17947
Content-Type: text/html; charset=utf-8
X-Cache: MISS from sq23.wikimedia.org
X-Cache-Lookup: MISS from sq23.wikimedia.org:3128
X-Cache: MISS from knsq1.knams.wikimedia.org
X-Cache-Lookup: MISS from knsq1.knams.wikimedia.org:3128
X-Cache: MISS from knsq5.knams.wikimedia.org
X-Cache-Lookup: MISS from knsq5.knams.wikimedia.org:80
Via: 1.0 sq23.wikimedia.org:3128 (squid/2.6.STABLE21), 1.0 knsq1.knams.wikimedia.org:3128 (squid/2.6.STABLE21), 1.0 knsq5.knams.wikimedia.org:80 (squid/2.6.STABLE21)
Connection: close
Zákon o vyloučení třetího - Wikipedie, otevřená encyklopedie
Zákon o vyloučení třetího (latinsky tertium non datur) je logický princip, který říká, že pro každé tvrzení P platí, že tvrzení P není pravda, nebo že P je pravdivé.
Například pokud P je
- Kaktus je zvíře.
následující disjunkce
- Kaktus je zvíře, nebo kaktus není zvíře.
je pravdivá.
Název zákona popisuje výslednou disjunkci, která zhruba vyjadřuje fakt, že příslušné tvrzení je buď pravdivé, nebo nepravdivé, neexistuje žádná třetí možnost.
Zákon je jedním ze základních axiomů platných v mnoha klasických dvouhodnotových logikách. V některých logických systémech však tento princip neplatí. Příkladem mohou být vícehodnotové logiky (např. fuzzy logika) či intuicionistická logika.
Kategorie: Logika
u, 08 Jan 2009 06:46:29 GMT
Server: Apache
X-Powered-By: PHP/5.2.4-2ubuntu5wm1
Cache-Control: private, s-maxage=0, max-age=0, must-revalidate
Content-Language: cs
Vary: Accept-Encoding,Cookie
X-Vary-Options: Accept-Encoding;list-contains=gzip,Cookie;string-contains=cswikiToken;string-contains=cswikiLoggedOut;string-contains=cswiki_session;string-contains=centralauth_Token;string-contains=centralauth_Session;string-contains=centralauth_LoggedOut
Last-Modified: Thu, 23 Oct 2008 10:49:27 GMT
Content-Length: 17947
Content-Type: text/html; charset=utf-8
X-Cache: MISS from sq23.wikimedia.org
X-Cache-Lookup: MISS from sq23.wikimedia.org:3128
X-Cache: MISS from knsq1.knams.wikimedia.org
X-Cache-Lookup: MISS from knsq1.knams.wikimedia.org:3128
X-Cache: MISS from knsq5.knams.wikimedia.org
X-Cache-Lookup: MISS from knsq5.knams.wikimedia.org:80
Via: 1.0 sq23.wikimedia.org:3128 (squid/2.6.STABLE21), 1.0 knsq1.knams.wikimedia.org:3128 (squid/2.6.STABLE21), 1.0 knsq5.knams.wikimedia.org:80 (squid/2.6.STABLE21)
Connection: close
Zákon o vyloučení třetího - Wikipedie, otevřená encyklopedie
Zákon o vyloučení třetího v jiných jazycích: Deutsch, Ελληνικά, English, Esperanto, Español, Suomi, Français, עברית, Magyar, Íslenska, Italiano, 日本語, 한국어, Nederlands, Norsk (bokmål), Polski, Português, Русский, Svenska, 中文
Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/Z%C3%A1kon_o_vylou%C4%8Den%C3%AD_t%C5%99et%C3%ADho“
Stránka byla naposledy upravena v Stránka byla naposledy editována 23. 10. 2008 v 10:49.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).
Stránka byla naposledy upravena v Stránka byla naposledy editována 23. 10. 2008 v 10:49.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).