Výsledky hledání

Stránky s odpovídajícím názvem

Stránky s odpovídajícím textem

  • [[Kategorie:Modální logiky]]
    32 bajtů (4 slova) - 5. 9. 2014, 19:01
  • …sána pravidla jejich zřetězování do složitějších útvarů. '''Jazyk výrokové logiky''' – jde o řetězec znaků, který má formální charakter. '''Jazyk se ==Abeceda výrokové logiky obsahuje==
    3 KB (456 slov) - 19. 7. 2016, 10:50
  • …émantika jazyka určuje, jakým způsobem se jednotlivé prvky jazyka výrokové logiky interpretují'''. Jazyk má sloužit jako nástroj k analýze argumentů, j …finujeme funkci I, která každé jednoduché dobře vytvořené formuli výrokové logiky přiřadí právě jednu ze dvou pravdivostních hodnot''' [0,1] příp. [F
    2 KB (428 slov) - 13. 7. 2016, 10:21
  • == Předmět logiky ==
    4 KB (675 slov) - 13. 4. 2016, 16:59
  • ==='''Vztah přirozeného jazyka a formálního jazyka výrokové logiky'''===
    2 KB (387 slov) - 10. 7. 2016, 11:00
  • ==Struktura výrokové logiky==
    3 KB (461 slov) - 19. 7. 2016, 10:34
  • == Vývoj logiky == …považována za samostatnou disciplínu (logika klasická). Teoretické základy logiky (logika antická) byly položeny<ref name="Etika">NYTROVÁ, Olga a Marcela
    6 KB (1 021 slov) - 2. 4. 2017, 19:00
  • …''' - termín, který stojí v závěru na místě subjektu (ve smyslu predikátovélogiky) a vyskytuje se ve druhé premise. …u (ve smyslu [[Definice syntaxe a sémantiky Predikátové logiky|predikátové logiky]]) a vyskytuje se v první premise.
    4 KB (680 slov) - 29. 9. 2020, 23:42
  • …z forcingových technik. Důsledkem tohoto lemmatu je '''úplnost predikátové logiky''' pro spočetné jazyky.
    879 bajtů (140 slov) - 25. 10. 2014, 20:42
  • …e jedničky a někde nuly jedná se o splnitelnou formuli. '''Ke každé spojce logiky je přiřazena tabulka vyjadřující, za kterých pravdivostních ohodnoce
    795 bajtů (122 slov) - 19. 7. 2016, 10:55
  • …ledu [http://wikisofia.cz/index.php/Port%C3%A1l:Filosofie_logiky filosofie logiky]<br/> [[Kategorie: Filosofie logiky]]
    3 KB (427 slov) - 13. 4. 2016, 17:01
  • Základem [[Co je to výroková logika?|výrokové logiky]] je pochopitelně '''výrok'''. Výrokem je každá oznamovací věta, u k '''Mezi nejznámější „zákony“ výrokové [[logika|logiky]] patří např.:'''
    6 KB (1 104 slov) - 11. 9. 2020, 23:24
  • ===<u>Syntax predikátové logiky</u>=== Syntax neboli jazyk predikátové logiky se skládá z proměnných, konstant, relačních a funkčních symbolů, p
    8 KB (1 425 slov) - 20. 5. 2020, 20:40
  • Poznámky z přednášek Booleovy algebry na [http://logika.ff.cuni.cz/ Katedře Logiky].
    1 KB (216 slov) - 18. 11. 2014, 21:41
  • Poznámky z přednášek Booleovy algebry na [http://logika.ff.cuni.cz/ Katedře Logiky].
    1 KB (238 slov) - 13. 11. 2014, 19:02
  • …ové vědě je možné konceptuální modely možné chápat jako součást aplikované logiky (např. konceptuální model informace).
    2 KB (284 slov) - 29. 5. 2018, 10:20
  • ''"Zákony logiky, například vyloučení třetího a sporu, jsou libovolné. Tento výrok j …e0e3296b0da955061e92459fa&tid=&do=predmet&kod=ALG110016&skr=2014 Filosofie logiky]. Doporučenou literaturu k tomuto tématu naleznete [http://wikisofia.cz/i
    5 KB (766 slov) - 13. 4. 2016, 17:01
  • [[Kategorie: Modální logiky]]
    2 KB (330 slov) - 16. 9. 2014, 04:09
  • 2 KB (312 slov) - 18. 1. 2015, 01:40
  • Uvažuje se o vytvoření speciální logiky pro '''evoluční teorie''', aby se dalo mluvit o nějakém živočišném Pojem je hodně diskutovaný a to i mimo pole logiky, takže je celkem velký problém, že jej logika není schopna technicky z
    6 KB (1 105 slov) - 13. 4. 2016, 17:01

Ukázat (20 předchozích | 20 následujících) (20 | 50 | 100 | 250 | 500).