Kategorie:Logika

Z Wikipedie, otevřené encyklopedie

Hlavní článek: Logika


Podkategorie

Tato kategorie obsahuje 3 podkategorie.

D

  • Druhy matematických důkazů

M

  • Matematická logika

S

  • Sémantika

Články v kategorii „Logika“

Tato kategorie obsahuje 50 článků.

  • Logika

A

  • Analytická věta
  • Antinomie

B

  • Bisimulace
  • Booleova logika
  • Anicius Manlius Severinus Boëthius

D

  • De Morganovy zákony
  • Dedukce
  • Definice
  • Definice kruhem
  • Dichotomie
  • Disjunkce
  • Důkaz sporem

E

  • Ekvivalence (logika)
  • Existenční kvantifikátor
  • Exkluzivní disjunkce

H

  • Hornova klauzule

I

  • Implikace
  • Indukce (logika)
  • Inkonzistence
  • Intuicionistická logika

K

  • Klopný obvod
  • Komplementarita
  • Konjunkce (matematika)
  • Kvantifikátor jednoznačné existence

L

  • Lambda kalkul
  • Logická operace
  • Logický klam
  • Logický člen

M

  • Matematický důkaz

N

  • Negace
  • Nutná a postačující podmínka

O

  • Oxymóron

P

  • Paradox
  • Paradox lháře
  • Paradox sta slov
  • Postulát
  • Pravdivostní hodnota
  • Predikát
  • Premisa
  • Problém zastavení
  • Proměnná
  • Protipříklad

R

  • Rovnost (matematika)
  • Rozhodování
  • Russellova antinomie

S

  • Syntetická věta

T

  • Tautologie

U

  • Univerzální kvantifikátor

Z

  • Zákon o vyloučení třetího
Citováno z „http://cs.wikipedia.org../../../l/o/g/Kategorie%7ELogika_b946.html“

Kategorie: Informatika | Filosofie matematiky | Filosofické disciplíny

Views
  • Kategorie
  • Diskuse
  • Aktuální verze
Navigace
  • Hlavní strana
  • Portál Wikipedie
  • Aktuality
  • Pod lípou
  • Nápověda
  • Podpořte Wikipedii
V jiných jazycích
  • Asturianu
  • Беларуская
  • Български
  • Català
  • Dansk
  • Deutsch
  • English
  • Esperanto
  • Español
  • Eesti
  • فارسی
  • Français
  • עברית
  • Hrvatski
  • Magyar
  • Interlingua
  • Bahasa Indonesia
  • Ido
  • Íslenska
  • Italiano
  • 日本語
  • ქართული
  • 한국어
  • Latina
  • Lëtzebuergesch
  • Lietuvių
  • Nederlands
  • ‪Norsk (bokmål)‬
  • Polski
  • Português
  • Русский
  • Simple English
  • Slovenčina
  • Slovenščina
  • Svenska
  • Türkçe
  • Українська
  • Tiếng Việt
  • 中文
Powered by MediaWiki
Wikimedia Foundation
  • Tuto stránku naposledy měnil uživatel Wikipedie TXiKiBoT v 15:27, 7. 3. 2007. Do textu přispěli uživatel(é) Wikipedie Escarbot, Thijs!bot, Glivi, Mormegil, JAnDbot, JanBlanicky, Tsca.bot, Porthos, ŠJů, Ludek, Egg, YurikBot, Bota47, Beren, Romanm a Elwikipedista a anonymní uživatel(é) Wikipedie.
  • Veškerý text je dostupný za podmínek GNU Free Documentation License (vizte Autorské právo pro podrobnosti).
  • O Wikipedii
  • Vyloučení odpovědnosti